0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280805-1503171664.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4280805-1503171664.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19 c 8 solvers in parallel
0.33/0.26 c parse instance...
1.15/0.58 c solve instance...
712.02/89.78 s SATISFIABLE
712.02/89.78 v <instantiation>
712.02/89.78 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>
712.02/89.78 v <values>28 12 5 1 15 3 13 16 11 18 14 4 19 23 25 2 27 21 24 26 20 17 0 6 9 29 10 22 7 8 7 4 18 20 21 1 3 0 23 19 8 24 17 11 22 13 6 15 29 27 26 2 9 10 14 12 5 25 28 16 22 21 13 16 26 5 0 19 25 24 3 28 11 17 18 23 12 27 10 29 14 15 4 1 6 2 7 8 9 20 23 27 4 21 6 24 18 3 0 15 11 16 20 10 7 12 9 13 26 5 8 28 25 22 2 14 17 1 29 19 26 19 7 28 25 29 2 11 24 21 1 5 13 27 14 6 17 12 22 0 16 20 3 9 8 10 18 4 23 15 29 24 26 3 28 21 4 8 20 0 15 22 10 7 19 1 25 9 18 14 5 13 2 16 12 17 6 23 11 27 5 8 9 25 19 6 14 17 21 26 12 10 23 20 16 3 0 11 2 13 15 27 28 4 7 1 29 18 22 24 18 0 24 14 16 22 17 15 5 12 7 11 6 9 29 8 26 10 27 2 19 23 1 13 28 4 21 20 3 25 27 17 22 9 0 28 16 14 1 5 21 29 8 3 20 4 24 26 12 6 25 10 13 11 19 18 23 2 15 7 9 22 3 13 4 26 5 23 2 1 20 15 27 19 10 11 8 24 21 17 28 7 12 18 16 6 0 14 25 29 6 11 23 29 27 0 9 28 22 2 24 1 7 15 17 21 16 4 5 10 12 19 14 26 18 20 25 3 8 13 3 1 25 22 23 15 29 4 7 20 10 9 12 16 2 27 5 19 13 18 24 6 17 8 26 11 28 21 14 0 20 18 2 0 13 23 10 1 3 11 17 7 25 26 21 14 4 16 19 12 6 24 22 27 29 28 8 15 5 9 21 23 28 10 2 14 22 27 18 4 9 12 24 6 26 16 11 8 25 3 7 0 20 29 1 19 15 13 17 5 24 3 19 8 18 12 7 10 17 16 23 0 1 29 28 5 20 22 9 4 2 14 6 15 25 21 13 11 27 26 16 2 11 23 10 13 15 18 9 22 27 17 14 21 6 19 3 28 8 25 4 5 29 7 20 26 1 0 24 12 0 9 16 19 7 27 28 13 29 17 4 26 3 18 1 25 14 2 20 11 21 8 15 12 22 23 24 5 6 10 14 25 27 12 1 9 6 5 10 8 13 23 2 0 15 28 18 29 17 7 22 3 26 24 11 16 20 19 21 4 4 29 14 6 5 7 24 12 27 3 16 8 21 28 23 15 22 25 11 1 0 26 18 20 13 9 19 17 10 2 2 15 6 11 12 18 20 26 14 7 29 19 4 25 27 17 21 5 28 23 9 22 10 3 0 8 16 24 13 1 19 16 1 5 8 4 11 21 12 23 18 25 0 2 13 29 28 7 6 22 3 9 27 17 24 15 26 10 20 14 25 14 20 17 29 19 8 2 4 6 5 18 9 13 24 0 10 3 23 28 1 12 16 21 15 27 11 7 26 22 13 20 12 26 9 10 21 25 19 28 2 6 15 1 11 24 7 17 16 8 27 4 23 0 5 22 14 29 18 3 1 10 29 4 11 2 19 6 26 9 25 13 16 8 5 20 15 23 3 24 17 18 7 14 21 0 22 27 12 28 15 26 8 27 17 16 23 24 6 25 22 21 28 14 0 10 2 1 7 20 13 29 11 19 3 5 12 9 4 18 8 6 10 7 24 11 25 22 16 13 19 14 26 12 4 18 23 20 1 15 29 21 5 2 27 3 9 28 0 17 12 13 17 2 22 20 26 29 15 27 28 3 18 24 8 7 19 14 0 9 10 11 21 5 23 25 4 16 1 6 11 7 21 15 14 17 27 9 28 29 6 20 5 22 3 26 13 0 4 16 18 1 8 25 10 24 2 12 19 23 10 5 0 24 20 25 12 7 8 14 26 27 29 4 9 22 1 18 15 21 23 16 19 28 17 13 3 6 2 11 17 28 15 18 3 8 1 20 13 10 0 2 22 5 12 9 29 6 14 19 11 25 24 23 4 7 27 26 16 21 </values>
712.02/89.78 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 (13014 MiB free)
memory of node 1: 16384 MiB (12570 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280805-1503171664/watcher-4280805-1503171664 -o /tmp/evaluation-result-4280805-1503171664/solver-4280805-1503171664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 62348949 HOME/instance-4280805-1503171664.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=17153, runsolver pid=17150
[startup+0.100136 s]*
/proc/loadavg: 6.50 6.92 6.48 2/199 17174
/proc/meminfo: memFree=26183472/32770624 swapFree=67108860/67108860
[pid=17153] ppid=17150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150254004 9740288 346 33554432000 4194304 5098028 140727029292640 140727029290744 139713159668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24956928 140727029298278 140727029298487 140727029298487 140727029301227 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17155] ppid=17153 vsize=25999808 memory=27048 CPUtime=0.12 cores=0-7
/proc/17155/stat : 17155 (java) S 17153 17153 13260 0 -1 1077944320 5621 0 0 0 11 1 0 0 20 0 20 0 150254005 26623803392 6762 33554432000 4194304 4196468 140725653390752 140725653373296 139669361118967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
/proc/17155/statm: 6499952 6762 2872 1 0 6488269 0
[pid=17155/tid=17156] ppid=17153 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17155/task/17156/stat : 17156 (java) R 17153 17153 13260 0 -1 4202560 3638 0 0 0 8 0 0 0 20 0 20 0 150254005 26623803392 6762 33554432000 4194304 4196468 140725653390752 139669365352240 139669361130902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17157] ppid=17153 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17155/task/17157/stat : 17157 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150254006 26623803392 6762 33554432000 4194304 4196468 140725653390752 139669317671696 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17158] ppid=17153 vsize=25999808 memory=139740813923968 CPUtime=0 cores=0-7
/proc/17155/task/17158/stat : 17158 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26623803392 6762 33554432000 4194304 4196468 140725653390752 139668918762384 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17159] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17159/stat : 17159 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26623803392 6762 33554432000 4194304 4196468 140725653390752 139668917709840 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17160] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17160/stat : 17160 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26623803392 6762 33554432000 4194304 4196468 140725653390752 139668916657296 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17161] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17161/stat : 17161 (java) S 17153 17153 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150254006 26623803392 6762 33554432000 4194304 4196468 140725653390752 139668915603728 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17162] ppid=17153 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17155/task/17162/stat : 17162 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150254006 26623803392 6762 33554432000 4194304 4196468 140725653390752 139668914551184 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17163] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17163/stat : 17163 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150254006 26623803392 6762 33554432000 4194304 4196468 140725653390752 139668913498640 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17164] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17164/stat : 17164 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26623803392 6762 33554432000 4194304 4196468 140725653390752 139668912446096 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17165] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17165/stat : 17165 (java) S 17153 17153 13260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 150254007 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667565414896 139669361130114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17166] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17166/stat : 17166 (java) S 17153 17153 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150254008 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667564361120 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17167] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17167/stat : 17167 (java) S 17153 17153 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150254008 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667563308528 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17168] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17168/stat : 17168 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254010 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667562257104 139669361137563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17169] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17169/stat : 17169 (java) S 17153 17153 13260 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 150254010 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667561203696 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17170] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17170/stat : 17170 (java) R 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254010 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667560151152 139669361130114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17171] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17171/stat : 17171 (java) S 17153 17153 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150254010 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667559098608 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17172] ppid=17153 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17155/task/17172/stat : 17172 (java) R 17153 17153 13260 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 150254010 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667558046064 139669361140314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17173] ppid=17153 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17173/stat : 17173 (java) S 17153 17153 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150254010 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667556993760 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17174] ppid=17153 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17155/task/17174/stat : 17174 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254011 26623803392 6762 33554432000 4194304 4196468 140725653390752 139667555941296 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28432 KiB
[startup+0.210211 s]*
/proc/loadavg: 6.50 6.92 6.48 2/199 17174
/proc/meminfo: memFree=26172588/32770624 swapFree=67108860/67108860
[pid=17153] ppid=17150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150254004 9740288 346 33554432000 4194304 5098028 140727029292640 140727029290744 139713159668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24956928 140727029298278 140727029298487 140727029298487 140727029301227 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17155] ppid=17153 vsize=26004064 memory=39044 CPUtime=0.33 cores=0-7
/proc/17155/stat : 17155 (java) S 17153 17153 13260 0 -1 1077944320 8340 0 0 0 31 2 0 0 20 0 20 0 150254005 26628161536 9761 33554432000 4194304 4196468 140725653390752 140725653373296 139669361118967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
/proc/17155/statm: 6501016 9761 3055 1 0 6488269 0
[pid=17155/tid=17156] ppid=17153 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17155/task/17156/stat : 17156 (java) D 17153 17153 13260 0 -1 1077944384 5471 0 0 0 18 1 0 0 20 0 20 0 150254005 26628161536 9782 33554432000 4194304 4196468 140725653390752 139669365329776 139669353798189 0 4 0 16800975 18446744072101625380 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17157] ppid=17153 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/17155/task/17157/stat : 17157 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150254006 26628161536 9782 33554432000 4194304 4196468 140725653390752 139669317671696 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17158] ppid=17153 vsize=26004096 memory=288370116965635712 CPUtime=0 cores=0-7
/proc/17155/task/17158/stat : 17158 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26628194304 9782 33554432000 4194304 4196468 140725653390752 139668918762384 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17159] ppid=17153 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/17155/task/17159/stat : 17159 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26628194304 9782 33554432000 4194304 4196468 140725653390752 139668917709840 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17160] ppid=17153 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17160/stat : 17160 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26628194304 9782 33554432000 4194304 4196468 140725653390752 139668916657296 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17161] ppid=17153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17161/stat : 17161 (java) S 17153 17153 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150254006 26628161536 9782 33554432000 4194304 4196468 140725653390752 139668915603728 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17162] ppid=17153 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17155/task/17162/stat : 17162 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150254006 26628161536 9782 33554432000 4194304 4196468 140725653390752 139668914551184 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17163] ppid=17153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17163/stat : 17163 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150254006 26628161536 9782 33554432000 4194304 4196468 140725653390752 139668913498640 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17164] ppid=17153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17164/stat : 17164 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26628161536 9782 33554432000 4194304 4196468 140725653390752 139668912446096 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17165] ppid=17153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17165/stat : 17165 (java) S 17153 17153 13260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 150254007 26628161536 9782 33554432000 4194304 4196468 140725653390752 139667565414896 139669361130114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17166] ppid=17153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17166/stat : 17166 (java) S 17153 17153 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150254008 26628161536 9782 33554432000 4194304 4196468 140725653390752 139667564361120 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17167] ppid=17153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17167/stat : 17167 (java) S 17153 17153 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150254008 26628161536 9782 33554432000 4194304 4196468 140725653390752 139667563308528 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17168] ppid=17153 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17168/stat : 17168 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254010 26628194304 9782 33554432000 4194304 4196468 140725653390752 139667562257104 139669361137563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17169] ppid=17153 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/17155/task/17169/stat : 17169 (java) S 17153 17153 13260 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 20 0 150254010 26628194304 9782 33554432000 4194304 4196468 140725653390752 139667561203696 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17170] ppid=17153 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/17155/task/17170/stat : 17170 (java) S 17153 17153 13260 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 20 0 150254010 26628194304 9782 33554432000 4194304 4196468 140725653390752 139667560151152 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17171] ppid=17153 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17155/task/17171/stat : 17171 (java) S 17153 17153 13260 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 150254010 26628161536 9782 33554432000 4194304 4196468 140725653390752 139667559098608 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17172] ppid=17153 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/17155/task/17172/stat : 17172 (java) S 17153 17153 13260 0 -1 1077944384 734 0 0 0 7 0 0 0 20 0 20 0 150254010 26628161536 9782 33554432000 4194304 4196468 140725653390752 139667558046064 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17173] ppid=17153 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17173/stat : 17173 (java) S 17153 17153 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150254010 26628161536 9782 33554432000 4194304 4196468 140725653390752 139667556993760 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17174] ppid=17153 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17155/task/17174/stat : 17174 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254011 26628161536 9782 33554432000 4194304 4196468 140725653390752 139667555941296 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40428 KiB
[startup+0.309575 s]*
/proc/loadavg: 6.50 6.92 6.48 3/199 17174
/proc/meminfo: memFree=26166384/32770624 swapFree=67108860/67108860
[pid=17153] ppid=17150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150254004 9740288 346 33554432000 4194304 5098028 140727029292640 140727029290744 139713159668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24956928 140727029298278 140727029298487 140727029298487 140727029301227 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17155] ppid=17153 vsize=26004064 memory=45780 CPUtime=0.5 cores=0-7
/proc/17155/stat : 17155 (java) S 17153 17153 13260 0 -1 1077944320 9178 0 0 0 47 3 0 0 20 0 20 0 150254005 26628161536 11445 33554432000 4194304 4196468 140725653390752 140725653373296 139669361118967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
/proc/17155/statm: 6501016 11445 3068 1 0 6488269 0
[pid=17155/tid=17156] ppid=17153 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17155/task/17156/stat : 17156 (java) R 17153 17153 13260 0 -1 4202560 6224 0 0 0 27 2 0 0 20 0 20 0 150254005 26628239360 11445 33554432000 4194304 4196468 140725653390752 139669365351328 139669345199454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17157] ppid=17153 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17157/stat : 17157 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150254006 26628239360 11445 33554432000 4194304 4196468 140725653390752 139669317671696 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17158] ppid=17153 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17158/stat : 17158 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26628239360 11445 33554432000 4194304 4196468 140725653390752 139668918762384 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17159] ppid=17153 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17159/stat : 17159 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26628239360 11445 33554432000 4194304 4196468 140725653390752 139668917709840 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17160] ppid=17153 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17160/stat : 17160 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26628239360 11445 33554432000 4194304 4196468 140725653390752 139668916657296 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17161] ppid=17153 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/17155/task/17161/stat : 17161 (java) S 17153 17153 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150254006 26628239360 11445 33554432000 4194304 4196468 140725653390752 139668915603728 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17162] ppid=17153 vsize=26004140 memory=139740653384623 CPUtime=0 cores=0-7
/proc/17155/task/17162/stat : 17162 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150254006 26628239360 11445 33554432000 4194304 4196468 140725653390752 139668914551184 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17163] ppid=17153 vsize=26004140 memory=139740653386928 CPUtime=0 cores=0-7
/proc/17155/task/17163/stat : 17163 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150254006 26628239360 11445 33554432000 4194304 4196468 140725653390752 139668913498640 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17164] ppid=17153 vsize=26004140 memory=139740653389232 CPUtime=0 cores=0-7
/proc/17155/task/17164/stat : 17164 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254006 26628239360 11445 33554432000 4194304 4196468 140725653390752 139668912446096 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17165] ppid=17153 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17165/stat : 17165 (java) S 17153 17153 13260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 150254007 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667565414896 139669361130114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17166] ppid=17153 vsize=26004140 memory=279481306785424 CPUtime=0 cores=0-7
/proc/17155/task/17166/stat : 17166 (java) S 17153 17153 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150254008 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667564361120 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17167] ppid=17153 vsize=26004140 memory=279481306792336 CPUtime=0 cores=0-7
/proc/17155/task/17167/stat : 17167 (java) S 17153 17153 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150254008 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667563308528 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17168] ppid=17153 vsize=26004140 memory=279481306733616 CPUtime=0 cores=0-7
/proc/17155/task/17168/stat : 17168 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254010 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667562257104 139669361137563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17169] ppid=17153 vsize=26004140 memory=279481306806160 CPUtime=0.01 cores=0-7
/proc/17155/task/17169/stat : 17169 (java) S 17153 17153 13260 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 150254010 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667561203696 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17170] ppid=17153 vsize=26004140 memory=279481306813072 CPUtime=0.04 cores=0-7
/proc/17155/task/17170/stat : 17170 (java) S 17153 17153 13260 0 -1 1077944384 348 0 0 0 4 0 0 0 20 0 20 0 150254010 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667560151152 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17171] ppid=17153 vsize=26004140 memory=279481306810768 CPUtime=0 cores=0-7
/proc/17155/task/17171/stat : 17171 (java) S 17153 17153 13260 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 150254010 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667559098608 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17172] ppid=17153 vsize=26004140 memory=279481306826928 CPUtime=0.12 cores=0-7
/proc/17155/task/17172/stat : 17172 (java) S 17153 17153 13260 0 -1 1077944384 799 0 0 0 12 0 0 0 20 0 20 0 150254010 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667558046064 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17173] ppid=17153 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17173/stat : 17173 (java) S 17153 17153 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150254010 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667556993760 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17174] ppid=17153 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/17155/task/17174/stat : 17174 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150254011 26628239360 11445 33554432000 4194304 4196468 140725653390752 139667555941296 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47164 KiB
[startup+0.709482 s]
/proc/loadavg: 6.30 6.87 6.47 6/199 17174
/proc/meminfo: memFree=26138992/32770624 swapFree=67108860/67108860
[pid=17153] ppid=17150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150254004 9740288 346 33554432000 4194304 5098028 140727029292640 140727029290744 139713159668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24956928 140727029298278 140727029298487 140727029298487 140727029301227 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17155] ppid=17153 vsize=26538700 memory=122940 CPUtime=2.33 cores=0-7
/proc/17155/stat : 17155 (java) S 17153 17153 13260 0 -1 1077944320 15429 0 0 0 227 6 0 0 20 0 28 0 150254005 27175628800 30735 33554432000 4194304 4196468 140725653390752 140725653373296 139669361118967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
/proc/17155/statm: 6634675 30735 3216 1 0 6621909 0
[pid=17155/tid=17156] ppid=17153 vsize=26538700 memory=279481307184816 CPUtime=0.57 cores=0-7
/proc/17155/task/17156/stat : 17156 (java) S 17153 17153 13260 0 -1 1077944384 6694 0 0 0 54 3 0 0 20 0 28 0 150254005 27175628800 30735 33554432000 4194304 4196468 140725653390752 139669365359744 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17157] ppid=17153 vsize=26538700 memory=139740653593456 CPUtime=0 cores=0-7
/proc/17155/task/17157/stat : 17157 (java) S 17153 17153 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150254006 27175628800 30735 33554432000 4194304 4196468 140725653390752 139669317671696 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17158] ppid=17153 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/17155/task/17158/stat : 17158 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150254006 27175628800 30735 33554432000 4194304 4196468 140725653390752 139668918762384 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17159] ppid=17153 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/17155/task/17159/stat : 17159 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150254006 27175628800 30735 33554432000 4194304 4196468 140725653390752 139668917709840 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
################
# More data... #
################
[pid=17155/tid=17177] ppid=17153 vsize=26538700 memory=1236 CPUtime=86.73 cores=0-7
/proc/17155/task/17177/stat : 17177 (java) R 17153 17153 13260 0 -1 4202560 2166 0 0 0 8671 2 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667546320616 139669003415194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17178] ppid=17153 vsize=26538700 memory=960 CPUtime=86.81 cores=0-7
/proc/17155/task/17178/stat : 17178 (java) R 17153 17153 13260 0 -1 4202560 2417 0 0 0 8679 2 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667545270848 139668998138629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17179] ppid=17153 vsize=26538700 memory=2424 CPUtime=86.36 cores=0-7
/proc/17155/task/17179/stat : 17179 (java) R 17153 17153 13260 0 -1 4202560 1091 0 0 0 8636 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667544215512 139669003804032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17180] ppid=17153 vsize=26538700 memory=2236 CPUtime=86.92 cores=0-7
/proc/17155/task/17180/stat : 17180 (java) R 17153 17153 13260 0 -1 4202560 537 0 0 0 8692 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667543162984 139668998137645 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17181] ppid=17153 vsize=26538700 memory=4084 CPUtime=86.5 cores=0-7
/proc/17155/task/17181/stat : 17181 (java) R 17153 17153 13260 0 -1 4202560 438 0 0 0 8650 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667542110440 139669002814218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17182] ppid=17153 vsize=26538700 memory=932 CPUtime=86.54 cores=0-7
/proc/17155/task/17182/stat : 17182 (java) R 17153 17153 13260 0 -1 4202560 1734 0 0 0 8652 2 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667541057648 139669003368467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
Current children cumulated CPU time: 698.51 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 264560 KiB
[startup+88.8015 s]
/proc/loadavg: 8.05 7.27 6.65 9/207 17183
/proc/meminfo: memFree=25951808/32770624 swapFree=67108860/67108860
[pid=17153] ppid=17150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150254004 9740288 346 33554432000 4194304 5098028 140727029292640 140727029290744 139713159668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24956928 140727029298278 140727029298487 140727029298487 140727029301227 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17155] ppid=17153 vsize=26538700 memory=263176 CPUtime=704.84 cores=0-7
/proc/17155/stat : 17155 (java) S 17153 17153 13260 0 -1 1077944320 47000 0 0 0 70444 40 0 0 20 0 28 0 150254005 27175628800 65794 33554432000 4194304 4196468 140725653390752 140725653373296 139669361118967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
/proc/17155/statm: 6634675 65794 3279 1 0 6621909 0
[pid=17155/tid=17156] ppid=17153 vsize=26538700 memory=1384 CPUtime=0.57 cores=0-7
/proc/17155/task/17156/stat : 17156 (java) S 17153 17153 13260 0 -1 1077944384 6694 0 0 0 54 3 0 0 20 0 28 0 150254005 27175628800 65794 33554432000 4194304 4196468 140725653390752 139669365359744 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17157] ppid=17153 vsize=26538700 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/17155/task/17157/stat : 17157 (java) S 17153 17153 13260 0 -1 1077944384 311 0 0 0 5 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139669317671696 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17158] ppid=17153 vsize=26538700 memory=796 CPUtime=0.08 cores=0-7
/proc/17155/task/17158/stat : 17158 (java) S 17153 17153 13260 0 -1 1077944384 1314 0 0 0 6 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668918762384 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17159] ppid=17153 vsize=26538700 memory=10088 CPUtime=0.08 cores=0-7
/proc/17155/task/17159/stat : 17159 (java) S 17153 17153 13260 0 -1 1077944384 492 0 0 0 6 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668917709840 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17160] ppid=17153 vsize=26538700 memory=1384 CPUtime=0.06 cores=0-7
/proc/17155/task/17160/stat : 17160 (java) S 17153 17153 13260 0 -1 1077944384 1031 0 0 0 5 1 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668916657296 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17161] ppid=17153 vsize=26538700 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/17155/task/17161/stat : 17161 (java) S 17153 17153 13260 0 -1 1077944384 1419 0 0 0 5 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668915603728 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17162] ppid=17153 vsize=26538700 memory=1292 CPUtime=0.05 cores=0-7
/proc/17155/task/17162/stat : 17162 (java) S 17153 17153 13260 0 -1 1077944384 1297 0 0 0 4 1 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668914551184 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17163] ppid=17153 vsize=26538700 memory=1728 CPUtime=0.07 cores=0-7
/proc/17155/task/17163/stat : 17163 (java) S 17153 17153 13260 0 -1 1077944384 1008 0 0 0 5 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668913498640 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17164] ppid=17153 vsize=26538700 memory=5788 CPUtime=0.07 cores=0-7
/proc/17155/task/17164/stat : 17164 (java) S 17153 17153 13260 0 -1 1077944384 1111 0 0 0 5 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668912446096 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17165] ppid=17153 vsize=26538700 memory=1228 CPUtime=0.02 cores=0-7
/proc/17155/task/17165/stat : 17165 (java) S 17153 17153 13260 0 -1 1077944384 2169 0 0 0 2 0 0 0 20 0 28 0 150254007 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667565414896 139669361130114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17166] ppid=17153 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/17155/task/17166/stat : 17166 (java) S 17153 17153 13260 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 150254008 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667564361120 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17167] ppid=17153 vsize=26538700 memory=10088 CPUtime=0 cores=0-7
/proc/17155/task/17167/stat : 17167 (java) S 17153 17153 13260 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 150254008 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667563308528 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17168] ppid=17153 vsize=26538700 memory=1948 CPUtime=0 cores=0-7
/proc/17155/task/17168/stat : 17168 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667562257104 139669361137563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17169] ppid=17153 vsize=26538700 memory=33 CPUtime=1.18 cores=0-7
/proc/17155/task/17169/stat : 17169 (java) S 17153 17153 13260 0 -1 1077944384 6106 0 0 0 117 1 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667561203696 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17170] ppid=17153 vsize=26538700 memory=288293289722133483 CPUtime=1.3 cores=0-7
/proc/17155/task/17170/stat : 17170 (java) S 17153 17153 13260 0 -1 1077944384 4048 0 0 0 128 2 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667560151152 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17171] ppid=17153 vsize=26538700 memory=279481308721472 CPUtime=1.15 cores=0-7
/proc/17155/task/17171/stat : 17171 (java) S 17153 17153 13260 0 -1 1077944384 4220 0 0 0 113 2 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667559098608 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17172] ppid=17153 vsize=26538700 memory=279481308721664 CPUtime=0.55 cores=0-7
/proc/17155/task/17172/stat : 17172 (java) S 17153 17153 13260 0 -1 1077944384 4477 0 0 0 54 1 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667558046064 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17173] ppid=17153 vsize=26538700 memory=279481308721856 CPUtime=0 cores=0-7
/proc/17155/task/17173/stat : 17173 (java) S 17153 17153 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667556993760 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17174] ppid=17153 vsize=26538700 memory=279481308722048 CPUtime=0.03 cores=0-7
/proc/17155/task/17174/stat : 17174 (java) S 17153 17153 13260 0 -1 1077944384 533 0 0 0 0 3 0 0 20 0 28 0 150254011 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667555941296 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17175] ppid=17153 vsize=26538700 memory=279481308722240 CPUtime=87.65 cores=0-7
/proc/17155/task/17175/stat : 17175 (java) R 17153 17153 13260 0 -1 4202560 503 0 0 0 8764 1 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667548425608 139669002616159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17176] ppid=17153 vsize=26538700 memory=279481308722432 CPUtime=87.03 cores=0-7
/proc/17155/task/17176/stat : 17176 (java) R 17153 17153 13260 0 -1 4202560 521 0 0 0 8703 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667547374168 139669002614231 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17177] ppid=17153 vsize=26538700 memory=6791534058613427641 CPUtime=87.53 cores=0-7
/proc/17155/task/17177/stat : 17177 (java) R 17153 17153 13260 0 -1 4202560 2166 0 0 0 8751 2 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667546320616 139669003414859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17178] ppid=17153 vsize=26538700 memory=279481308722816 CPUtime=87.6 cores=0-7
/proc/17155/task/17178/stat : 17178 (java) R 17153 17153 13260 0 -1 4202560 2421 0 0 0 8758 2 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667545270848 139669003342207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17179] ppid=17153 vsize=26538700 memory=279481308605952 CPUtime=87.15 cores=0-7
/proc/17155/task/17179/stat : 17179 (java) R 17153 17153 13260 0 -1 4202560 1092 0 0 0 8715 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667544215512 139669002614213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17180] ppid=17153 vsize=26538700 memory=279481308723200 CPUtime=87.71 cores=0-7
/proc/17155/task/17180/stat : 17180 (java) R 17153 17153 13260 0 -1 4202560 537 0 0 0 8771 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667543162984 139669003415011 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17181] ppid=17153 vsize=26538700 memory=279481308723392 CPUtime=87.29 cores=0-7
/proc/17155/task/17181/stat : 17181 (java) R 17153 17153 13260 0 -1 4202560 438 0 0 0 8729 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667542110440 139669002616028 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17182] ppid=17153 vsize=26538700 memory=279481308723584 CPUtime=87.33 cores=0-7
/proc/17155/task/17182/stat : 17182 (java) R 17153 17153 13260 0 -1 4202560 1735 0 0 0 8731 2 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667541057648 139669003214672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
Current children cumulated CPU time: 704.84 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 264560 KiB
[startup+89.6015 s]
/proc/loadavg: 8.05 7.27 6.65 9/207 17183
/proc/meminfo: memFree=25951828/32770624 swapFree=67108860/67108860
[pid=17153] ppid=17150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150254004 9740288 346 33554432000 4194304 5098028 140727029292640 140727029290744 139713159668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24956928 140727029298278 140727029298487 140727029298487 140727029301227 0
/proc/17153/statm: 2378 346 289 221 0 87 0
[pid=17155] ppid=17153 vsize=26538700 memory=263176 CPUtime=711.22 cores=0-7
/proc/17155/stat : 17155 (java) S 17153 17153 13260 0 -1 1077944320 47005 0 0 0 71082 40 0 0 20 0 28 0 150254005 27175628800 65794 33554432000 4194304 4196468 140725653390752 140725653373296 139669361118967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
/proc/17155/statm: 6634675 65794 3279 1 0 6621909 0
[pid=17155/tid=17156] ppid=17153 vsize=26538700 memory=1384 CPUtime=0.57 cores=0-7
/proc/17155/task/17156/stat : 17156 (java) S 17153 17153 13260 0 -1 1077944384 6694 0 0 0 54 3 0 0 20 0 28 0 150254005 27175628800 65794 33554432000 4194304 4196468 140725653390752 139669365359744 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17157] ppid=17153 vsize=26538700 memory=261128 CPUtime=0.07 cores=0-7
/proc/17155/task/17157/stat : 17157 (java) S 17153 17153 13260 0 -1 1077944384 311 0 0 0 5 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139669317671696 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17158] ppid=17153 vsize=26538700 memory=240556 CPUtime=0.08 cores=0-7
/proc/17155/task/17158/stat : 17158 (java) S 17153 17153 13260 0 -1 1077944384 1314 0 0 0 6 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668918762384 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17159] ppid=17153 vsize=26538700 memory=0 CPUtime=0.08 cores=0-7
/proc/17155/task/17159/stat : 17159 (java) S 17153 17153 13260 0 -1 1077944384 492 0 0 0 6 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668917709840 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17160] ppid=17153 vsize=26538700 memory=288230574492221466 CPUtime=0.06 cores=0-7
/proc/17155/task/17160/stat : 17160 (java) S 17153 17153 13260 0 -1 1077944384 1031 0 0 0 5 1 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668916657296 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17161] ppid=17153 vsize=26538700 memory=288230596050944315 CPUtime=0.07 cores=0-7
/proc/17155/task/17161/stat : 17161 (java) S 17153 17153 13260 0 -1 1077944384 1419 0 0 0 5 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668915603728 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17162] ppid=17153 vsize=26538700 memory=15262558084933483 CPUtime=0.05 cores=0-7
/proc/17155/task/17162/stat : 17162 (java) S 17153 17153 13260 0 -1 1077944384 1297 0 0 0 4 1 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668914551184 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17163] ppid=17153 vsize=26538700 memory=1384 CPUtime=0.07 cores=0-7
/proc/17155/task/17163/stat : 17163 (java) S 17153 17153 13260 0 -1 1077944384 1008 0 0 0 5 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668913498640 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17164] ppid=17153 vsize=26538700 memory=263176 CPUtime=0.07 cores=0-7
/proc/17155/task/17164/stat : 17164 (java) S 17153 17153 13260 0 -1 1077944384 1111 0 0 0 5 2 0 0 20 0 28 0 150254006 27175628800 65794 33554432000 4194304 4196468 140725653390752 139668912446096 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17165] ppid=17153 vsize=26538700 memory=836 CPUtime=0.02 cores=0-7
/proc/17155/task/17165/stat : 17165 (java) S 17153 17153 13260 0 -1 1077944384 2169 0 0 0 2 0 0 0 20 0 28 0 150254007 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667565414896 139669361130114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17166] ppid=17153 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/17155/task/17166/stat : 17166 (java) S 17153 17153 13260 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 150254008 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667564361120 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17167] ppid=17153 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/17155/task/17167/stat : 17167 (java) S 17153 17153 13260 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 150254008 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667563308528 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17168] ppid=17153 vsize=26538700 memory=10088 CPUtime=0 cores=0-7
/proc/17155/task/17168/stat : 17168 (java) S 17153 17153 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667562257104 139669361137563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17169] ppid=17153 vsize=26538700 memory=1948 CPUtime=1.18 cores=0-7
/proc/17155/task/17169/stat : 17169 (java) S 17153 17153 13260 0 -1 1077944384 6106 0 0 0 117 1 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667561203696 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17170] ppid=17153 vsize=26538700 memory=8580 CPUtime=1.3 cores=0-7
/proc/17155/task/17170/stat : 17170 (java) S 17153 17153 13260 0 -1 1077944384 4048 0 0 0 128 2 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667560151152 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17171] ppid=17153 vsize=26538700 memory=4616 CPUtime=1.15 cores=0-7
/proc/17155/task/17171/stat : 17171 (java) S 17153 17153 13260 0 -1 1077944384 4220 0 0 0 113 2 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667559098608 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17172] ppid=17153 vsize=26538700 memory=263176 CPUtime=0.55 cores=0-7
/proc/17155/task/17172/stat : 17172 (java) S 17153 17153 13260 0 -1 1077944384 4477 0 0 0 54 1 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667558046064 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17173] ppid=17153 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/17155/task/17173/stat : 17173 (java) S 17153 17153 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150254010 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667556993760 139669361129173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17174] ppid=17153 vsize=26538700 memory=263176 CPUtime=0.03 cores=0-7
/proc/17155/task/17174/stat : 17174 (java) S 17153 17153 13260 0 -1 1077944384 533 0 0 0 0 3 0 0 20 0 28 0 150254011 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667555941296 139669361130114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17175] ppid=17153 vsize=26538700 memory=1384 CPUtime=88.45 cores=0-7
/proc/17155/task/17175/stat : 17175 (java) R 17153 17153 13260 0 -1 4202560 503 0 0 0 8844 1 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667548425608 139669003566047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17176] ppid=17153 vsize=26538700 memory=1948 CPUtime=87.83 cores=0-7
/proc/17155/task/17176/stat : 17176 (java) R 17153 17153 13260 0 -1 4202560 521 0 0 0 8783 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667547374168 139669003142712 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17177] ppid=17153 vsize=26538700 memory=8580 CPUtime=88.33 cores=0-7
/proc/17155/task/17177/stat : 17177 (java) R 17153 17153 13260 0 -1 4202560 2169 0 0 0 8831 2 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667546320616 139669003368596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17178] ppid=17153 vsize=26538700 memory=1384 CPUtime=88.4 cores=0-7
/proc/17155/task/17178/stat : 17178 (java) R 17153 17153 13260 0 -1 4202560 2422 0 0 0 8838 2 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667545270848 139669003241343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17179] ppid=17153 vsize=26538700 memory=240604 CPUtime=87.95 cores=0-7
/proc/17155/task/17179/stat : 17179 (java) R 17153 17153 13260 0 -1 4202560 1092 0 0 0 8795 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667544215512 139669003368467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17180] ppid=17153 vsize=26538700 memory=1436 CPUtime=88.51 cores=0-7
/proc/17155/task/17180/stat : 17180 (java) R 17153 17153 13260 0 -1 4202560 537 0 0 0 8851 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667543162984 139669003187713 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17181] ppid=17153 vsize=26538700 memory=1200 CPUtime=88.07 cores=0-7
/proc/17155/task/17181/stat : 17181 (java) R 17153 17153 13260 0 -1 4202560 438 0 0 0 8807 0 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667542110440 139669003368467 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
[pid=17155/tid=17182] ppid=17153 vsize=26538700 memory=15876 CPUtime=88.13 cores=0-7
/proc/17155/task/17182/stat : 17182 (java) R 17153 17153 13260 0 -1 4202560 1736 0 0 0 8811 2 0 0 20 0 28 0 150254064 27175628800 65794 33554432000 4194304 4196468 140725653390752 139667541057648 139669003015529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725653398674 140725653398851 140725653398851 140725653401551 0
Current children cumulated CPU time: 711.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 264560 KiB
[startup+89.8011 s]
/proc/loadavg: 8.05 7.27 6.65 9/207 17183
/proc/meminfo: memFree=25951828/32770624 swapFree=67108860/67108860
[pid=17153] ppid=17150 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17153/stat : 17153 (xcsp3-exec) S 17150 17153 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150254004 9740288 346 33554432000 4194304 5098028 140727029292640 140727029290744 139713159668348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24956928 140727029298278 140727029298487 140727029298487 140727029301227 0
/proc/17153/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 89.804
CPU time (s): 712.675
CPU user time (s): 712.261
CPU system time (s): 0.413923
CPU usage (%): 793.59
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 264560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 712.261
system time used= 0.413923
maximum resident set size= 263256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5900
involuntary context switches= 7951
# summary of solver processes directly reported to runsolver:
# pid: 17153
# total CPU time (s): 712.675
# total CPU user time (s): 712.261
# total CPU system time (s): 0.413923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05422 second user time and 0.788037 second system time
The end
Begin job on node112 at 2017-08-19 21:26:44
IDJOB=4280805
IDBENCH=138954
IDSOLVER=2675
FILE ID=node112/4280805-1503171664
RUNJOBID= node112-1503169099-13287
PBS_JOBID= 20630837
Free space on /tmp= 61856 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-13.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-4280805-1503171664/watcher-4280805-1503171664 -o /tmp/evaluation-result-4280805-1503171664/solver-4280805-1503171664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 62348949 HOME/instance-4280805-1503171664.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 2c503f7a351e8b8ef7001234fe31d43f
RANDOM SEED=62348949
node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.24
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.24
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.24
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.24
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 26199876 kB
MemAvailable: 31971640 kB
Buffers: 250948 kB
Cached: 5810680 kB
SwapCached: 0 kB
Active: 1100432 kB
Inactive: 5015004 kB
Active(anon): 5140 kB
Inactive(anon): 84388 kB
Active(file): 1095292 kB
Inactive(file): 4930616 kB
Unevictable: 7840 kB
Mlocked: 7840 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7920 kB
Writeback: 0 kB
AnonPages: 60668 kB
Mapped: 51232 kB
Shmem: 33416 kB
Slab: 150384 kB
SReclaimable: 123380 kB
SUnreclaim: 27004 kB
KernelStack: 3184 kB
PageTables: 4824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61848 MiB
End job on node112 at 2017-08-19 21:28:14