2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	212	2400.05	2393.51

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292448-1532473349.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.17	c [HOME/instance-4292448-1532473349.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
1.98/0.85	c solve instance...
2.27/0.95	o 448 
2.27/0.96	o 436 
2.27/0.98	o 420 
2.93/1.13	o 364 
2.93/1.14	o 360 
11.07/6.35	o 296 
20.86/16.00	o 288 
23.51/18.55	o 280 
31.64/26.66	o 276 
45.34/40.24	o 224 
1093.38/1087.52	o 212 
2400.02/2393.50	s SATISFIABLE
2400.02/2393.50	v <instantiation>
2400.02/2393.50	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] </list>
2400.02/2393.50	v 	<values>1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -4 1 0 1 2 1 0 -3 -2 -3 2 5 0 1 0 1 0 1 0 3 0 3 -4 3 0 3 2 -5 2 -1 -4 3 2 -1 4 -1 0 1 1 16 1 0 1 4 1 0 9 4 9 4 25 0 1 0 1 0 1 0 9 0 9 16 9 0 9 4 25 4 1 16 9 4 1 16 1 0 1 </values>
2400.02/2393.50	v </instantiation>
2400.02/2393.50	c Unexpected resolution interruption!

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 (9636 MiB free)
  memory of node 1: 16384 MiB (10356 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292448-1532473349/watcher-4292448-1532473349 -o /tmp/evaluation-result-4292448-1532473349/solver-4292448-1532473349 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22097 --watchdog 2560 HOME/xcsp3-exec -seed 2059364255 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292448-1532473349.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25080, runsolver pid=25077

[startup+0.100142 s]*
/proc/loadavg: 1.85 1.95 1.94 3/218 25096
/proc/meminfo: memFree=20457132/32770624 swapFree=67108860/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 64898060 115843072 364 33554432000 4194304 5098028 140724771117040 140724771115144 140035140682364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30142464 140724771120186 140724771120388 140724771120388 140724771123146 0
/proc/25080/statm: 28282 364 306 221 0 87 0
[pid=25082] ppid=25080 vsize=14082840 memory=28484 CPUtime=0.12 cores=1,3,5,7
/proc/25082/stat : 25082 (java) S 25080 25080 22065 0 -1 1077944320 5486 0 0 0 11 1 0 0 20 0 15 0 64898060 14420828160 7121 33554432000 4194304 4196468 140721576512288 140721576494832 139783110536951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
/proc/25082/statm: 3520710 7121 2994 1 0 3483008 0
[pid=25082/tid=25083] ppid=25080 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 22065 0 -1 4202560 3493 0 0 0 8 1 0 0 20 0 15 0 64898061 14420828160 7121 33554432000 4194304 4196468 140721576512288 139783114770224 139783110548886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25084] ppid=25080 vsize=14082840 memory=3472468708573005008 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64898061 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782705834896 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25085] ppid=25080 vsize=14082840 memory=140579677853312 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64898061 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782704782096 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25086] ppid=25080 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898061 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782703729808 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25087] ppid=25080 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64898061 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782702677008 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25088] ppid=25080 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64898063 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782450526320 139783110548098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25089] ppid=25080 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64898063 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782449472288 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25090] ppid=25080 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64898063 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782448419952 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25091] ppid=25080 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782447368272 139783110555547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25092] ppid=25080 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 22065 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 64898066 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782446316144 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25093] ppid=25080 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 22065 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 64898066 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782445263344 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25094] ppid=25080 vsize=14082840 memory=140579677853312 CPUtime=0.01 cores=1,3,5,7
/proc/25082/task/25094/stat : 25094 (java) R 25080 25080 22065 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 64898066 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782444211056 139783091774512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25095] ppid=25080 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782443158496 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25096] ppid=25080 vsize=14082840 memory=140579677853312 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64898066 14420828160 7121 33554432000 4194304 4196468 140721576512288 139782442105264 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29940 KiB

[startup+0.210581 s]*
/proc/loadavg: 1.85 1.95 1.94 5/218 25096
/proc/meminfo: memFree=20445228/32770624 swapFree=67108860/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 64898060 115843072 364 33554432000 4194304 5098028 140724771117040 140724771115144 140035140682364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30142464 140724771120186 140724771120388 140724771120388 140724771123146 0
/proc/25080/statm: 28282 364 306 221 0 87 0
[pid=25082] ppid=25080 vsize=14082840 memory=40744 CPUtime=0.34 cores=1,3,5,7
/proc/25082/stat : 25082 (java) S 25080 25080 22065 0 -1 1077944320 8185 0 0 0 31 3 0 0 20 0 15 0 64898060 14420828160 10186 33554432000 4194304 4196468 140721576512288 140721576494832 139783110536951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
/proc/25082/statm: 3520710 10186 3186 1 0 3483008 0
[pid=25082/tid=25083] ppid=25080 vsize=14084956 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/25082/task/25083/stat : 25083 (java) D 25080 25080 22065 0 -1 1077944384 5412 0 0 0 18 2 0 0 20 0 15 0 64898061 14422994944 10186 33554432000 4194304 4196468 140721576512288 139783114757944 139783112812231 0 4 0 16800975 18446744072101625380 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25084] ppid=25080 vsize=14084956 memory=3472468708573005008 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64898061 14422994944 10186 33554432000 4194304 4196468 140721576512288 139782705834896 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25085] ppid=25080 vsize=14084956 memory=140579677853312 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64898061 14422994944 10186 33554432000 4194304 4196468 140721576512288 139782704782096 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25086] ppid=25080 vsize=14084956 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898061 14422994944 10186 33554432000 4194304 4196468 140721576512288 139782703729808 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25087] ppid=25080 vsize=14084956 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64898061 14422994944 10186 33554432000 4194304 4196468 140721576512288 139782702677008 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25088] ppid=25080 vsize=14084956 memory=140579677853312 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64898063 14422994944 10186 33554432000 4194304 4196468 140721576512288 139782450526320 139783110548098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25089] ppid=25080 vsize=14084956 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64898063 14422994944 10186 33554432000 4194304 4196468 140721576512288 139782449472288 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25090] ppid=25080 vsize=14084956 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64898063 14422994944 10186 33554432000 4194304 4196468 140721576512288 139782448419952 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25091] ppid=25080 vsize=14084956 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14422994944 10186 33554432000 4194304 4196468 140721576512288 139782447368272 139783110555547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25092] ppid=25080 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 22065 0 -1 1077944384 482 0 0 0 3 0 0 0 20 0 15 0 64898066 14425186304 10189 33554432000 4194304 4196468 140721576512288 139782446316144 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25093] ppid=25080 vsize=14087096 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 22065 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 64898066 14425186304 10189 33554432000 4194304 4196468 140721576512288 139782445263344 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25094] ppid=25080 vsize=14087096 memory=140579677853312 CPUtime=0.08 cores=1,3,5,7
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 22065 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 15 0 64898066 14425186304 10189 33554432000 4194304 4196468 140721576512288 139782444211056 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25095] ppid=25080 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14425186304 10189 33554432000 4194304 4196468 140721576512288 139782443158496 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25096] ppid=25080 vsize=14087096 memory=140579677853312 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64898066 14425186304 10189 33554432000 4194304 4196468 140721576512288 139782442105264 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42200 KiB

[startup+0.31062 s]*
/proc/loadavg: 1.85 1.95 1.94 3/218 25096
/proc/meminfo: memFree=20439272/32770624 swapFree=67108860/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 64898060 115843072 364 33554432000 4194304 5098028 140724771117040 140724771115144 140035140682364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30142464 140724771120186 140724771120388 140724771120388 140724771123146 0
/proc/25080/statm: 28282 364 306 221 0 87 0
[pid=25082] ppid=25080 vsize=14087096 memory=47604 CPUtime=0.51 cores=1,3,5,7
/proc/25082/stat : 25082 (java) S 25080 25080 22065 0 -1 1077944320 9058 0 0 0 48 3 0 0 20 0 15 0 64898060 14425186304 11901 33554432000 4194304 4196468 140721576512288 140721576494832 139783110536951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
/proc/25082/statm: 3521774 11901 3218 1 0 3483008 0
[pid=25082/tid=25083] ppid=25080 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 22065 0 -1 4202560 6123 0 0 0 27 2 0 0 20 0 15 0 64898061 14425186304 11911 33554432000 4194304 4196468 140721576512288 139783114772224 139783110558877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25084] ppid=25080 vsize=14087096 memory=3472468708573005008 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64898061 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782705834896 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25085] ppid=25080 vsize=14087096 memory=140579677853312 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64898061 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782704782096 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25086] ppid=25080 vsize=14087096 memory=16 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898061 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782703729808 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25087] ppid=25080 vsize=14087096 memory=140579581339679 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64898061 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782702677008 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25088] ppid=25080 vsize=14087096 memory=281159162658592 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64898063 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782450526320 139783110548098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25089] ppid=25080 vsize=14087096 memory=140579581316623 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64898063 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782449472288 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25090] ppid=25080 vsize=14087096 memory=281159259053064 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64898063 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782448419952 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25091] ppid=25080 vsize=14087096 memory=140579581339679 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782447368272 139783110555547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25092] ppid=25080 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 22065 0 -1 1077944384 491 0 0 0 5 0 0 0 20 0 15 0 64898066 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782446316144 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25093] ppid=25080 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 22065 0 -1 1077944384 249 0 0 0 3 0 0 0 20 0 15 0 64898066 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782445263344 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25094] ppid=25080 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 22065 0 -1 1077944384 885 0 0 0 12 0 0 0 20 0 15 0 64898066 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782444211056 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25095] ppid=25080 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782443158496 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25096] ppid=25080 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64898066 14425186304 11911 33554432000 4194304 4196468 140721576512288 139782442105264 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49060 KiB

[startup+0.706702 s]
/proc/loadavg: 1.85 1.95 1.94 4/218 25096
/proc/meminfo: memFree=20422460/32770624 swapFree=67108860/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 64898060 115843072 364 33554432000 4194304 5098028 140724771117040 140724771115144 140035140682364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30142464 140724771120186 140724771120388 140724771120388 140724771123146 0
/proc/25080/statm: 28282 364 306 221 0 87 0
[pid=25082] ppid=25080 vsize=14089220 memory=86444 CPUtime=1.62 cores=1,3,5,7
/proc/25082/stat : 25082 (java) S 25080 25080 22065 0 -1 1077944320 12776 0 0 0 157 5 0 0 20 0 15 0 64898060 14427361280 21611 33554432000 4194304 4196468 140721576512288 140721576494832 139783110536951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
/proc/25082/statm: 3522305 21611 3340 1 0 3483520 0
[pid=25082/tid=25083] ppid=25080 vsize=14089220 memory=7660742144744843625 CPUtime=0.68 cores=1,3,5,7
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 22065 0 -1 4202560 6981 0 0 0 65 3 0 0 20 0 15 0 64898061 14427361280 21611 33554432000 4194304 4196468 140721576512288 139783114772368 139782751675870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25084] ppid=25080 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64898061 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782705834896 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25085] ppid=25080 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64898061 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782704782096 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25086] ppid=25080 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898061 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782703729808 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25087] ppid=25080 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64898061 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782702677008 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25088] ppid=25080 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 22065 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 64898063 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782450526320 139783110548098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25089] ppid=25080 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64898063 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782449472288 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25090] ppid=25080 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64898063 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782448419952 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25091] ppid=25080 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782447368272 139783110555547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25092] ppid=25080 vsize=14089220 memory=19812 CPUtime=0.24 cores=1,3,5,7
/proc/25082/task/25092/stat : 25092 (java) R 25080 25080 22065 0 -1 4202560 1274 0 0 0 24 0 0 0 20 0 15 0 64898066 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782446314544 139783096600928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25093] ppid=25080 vsize=14089220 memory=1296 CPUtime=0.25 cores=1,3,5,7
/proc/25082/task/25093/stat : 25093 (java) R 25080 25080 22065 0 -1 4202560 1040 0 0 0 25 0 0 0 20 0 15 0 64898066 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782445244360 139783089751909 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25094] ppid=25080 vsize=14089220 memory=2412 CPUtime=0.42 cores=1,3,5,7
/proc/25082/task/25094/stat : 25094 (java) R 25080 25080 22065 0 -1 4202560 2169 0 0 0 42 0 0 0 20 0 15 0 64898066 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782444211056 139783103633787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25095] ppid=25080 vsize=14089220 memory=7668012111147524688 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782443158496 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25096] ppid=25080 vsize=14089220 memory=7451579857426993518 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64898066 14427361280 21611 33554432000 4194304 4196468 140721576512288 139782442105264 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 87900 KiB

[startup+1.50084 s]
/proc/loadavg: 1.85 1.95 1.94 6/218 25096
/proc/meminfo: memFree=20367116/32770624 swapFree=67108860/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 64898060 115843072 364 33554432000 4194304 5098028 140724771117040 140724771115144 140035140682364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30142464 140724771120186 140724771120388 140724771120388 140724771123146 0
/proc/25080/statm: 28282 364 306 221 0 87 0

################
# More data... #
################

/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 22065 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64898063 14429458432 44442 33554432000 4194304 4196468 140721576512288 139782448419952 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25091] ppid=25080 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14429458432 44442 33554432000 4194304 4196468 140721576512288 139782447368272 139783110555547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25092] ppid=25080 vsize=14091268 memory=1456 CPUtime=2.38 cores=1,3,5,7
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 22065 0 -1 1077944384 15787 0 0 0 236 2 0 0 20 0 15 0 64898066 14429458432 44442 33554432000 4194304 4196468 140721576512288 139782446316144 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25093] ppid=25080 vsize=14091268 memory=177768 CPUtime=2.67 cores=1,3,5,7
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 22065 0 -1 1077944384 17962 0 0 0 265 2 0 0 20 0 15 0 64898066 14429458432 44442 33554432000 4194304 4196468 140721576512288 139782445263344 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25094] ppid=25080 vsize=14091268 memory=1952 CPUtime=0.79 cores=1,3,5,7
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 22065 0 -1 1077944384 11119 0 0 0 77 2 0 0 20 0 15 0 64898066 14429458432 44442 33554432000 4194304 4196468 140721576512288 139782444211056 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25095] ppid=25080 vsize=14091268 memory=8396 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14429458432 44442 33554432000 4194304 4196468 140721576512288 139782443158496 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25096] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.46 cores=1,3,5,7
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 22065 0 -1 1077944384 1610 0 0 0 17 29 0 0 20 0 15 0 64898066 14429458432 44442 33554432000 4194304 4196468 140721576512288 139782442105264 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
Current children cumulated CPU time: 2328.73 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 179224 KiB

[startup+2382.3 s]
/proc/loadavg: 1.80 1.77 1.86 3/217 25244
/proc/meminfo: memFree=20319648/32770624 swapFree=67108860/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 64898060 115843072 364 33554432000 4194304 5098028 140724771117040 140724771115144 140035140682364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30142464 140724771120186 140724771120388 140724771120388 140724771123146 0
/proc/25080/statm: 28282 364 306 221 0 87 0
[pid=25082] ppid=25080 vsize=14091268 memory=177780 CPUtime=2388.81 cores=1,3,5,7
/proc/25082/stat : 25082 (java) S 25080 25080 22065 0 -1 1077944320 86857 0 0 0 238834 47 0 0 20 0 15 0 64898060 14429458432 44445 33554432000 4194304 4196468 140721576512288 140721576494832 139783110536951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
/proc/25082/statm: 3522817 44445 3399 1 0 3484032 0
[pid=25082/tid=25083] ppid=25080 vsize=14091268 memory=177780 CPUtime=2381.78 cores=1,3,5,7
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 22065 0 -1 4202560 21504 0 0 0 238172 6 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139783114776848 139782753284128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25084] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 22065 0 -1 1077944384 3504 0 0 0 11 1 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782705834896 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25085] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 22065 0 -1 1077944384 4330 0 0 0 11 1 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782704782096 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25086] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 22065 0 -1 1077944384 2399 0 0 0 11 1 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782703729808 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25087] ppid=25080 vsize=14091268 memory=177780 CPUtime=0.13 cores=1,3,5,7
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 22065 0 -1 1077944384 2923 0 0 0 11 2 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782702677008 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25088] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.1 cores=1,3,5,7
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 22065 0 -1 1077944384 4086 0 0 0 8 2 0 0 20 0 15 0 64898063 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782450526320 139783110548098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25089] ppid=25080 vsize=14091268 memory=281159163665152 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 22065 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 64898063 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782449472288 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25090] ppid=25080 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 22065 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64898063 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782448419952 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25091] ppid=25080 vsize=14091268 memory=177780 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782447368272 139783110555547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25092] ppid=25080 vsize=14091268 memory=6791534058613427641 CPUtime=2.38 cores=1,3,5,7
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 22065 0 -1 1077944384 15883 0 0 0 236 2 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782446316144 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25093] ppid=25080 vsize=14091268 memory=177780 CPUtime=2.7 cores=1,3,5,7
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 22065 0 -1 1077944384 18134 0 0 0 268 2 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782445263344 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25094] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.79 cores=1,3,5,7
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 22065 0 -1 1077944384 11119 0 0 0 77 2 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782444211056 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25095] ppid=25080 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782443158496 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25096] ppid=25080 vsize=14091268 memory=177780 CPUtime=0.47 cores=1,3,5,7
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 22065 0 -1 1077944384 1614 0 0 0 18 29 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782442105264 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
Current children cumulated CPU time: 2388.81 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 179236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2393.5 s]
/proc/loadavg: 1.83 1.78 1.86 3/217 25244
/proc/meminfo: memFree=20319776/32770624 swapFree=67108860/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 64898060 115843072 364 33554432000 4194304 5098028 140724771117040 140724771115144 140035140682364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30142464 140724771120186 140724771120388 140724771120388 140724771123146 0
/proc/25080/statm: 28282 364 306 221 0 87 0
[pid=25082] ppid=25080 vsize=14091268 memory=177780 CPUtime=2400.02 cores=1,3,5,7
/proc/25082/stat : 25082 (java) S 25080 25080 22065 0 -1 1077944320 86861 0 0 0 239955 47 0 0 20 0 15 0 64898060 14429458432 44445 33554432000 4194304 4196468 140721576512288 140721576494832 139783110536951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
/proc/25082/statm: 3522817 44445 3399 1 0 3484032 0
[pid=25082/tid=25083] ppid=25080 vsize=14091268 memory=177780 CPUtime=2392.98 cores=1,3,5,7
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 22065 0 -1 4202560 21508 0 0 0 239292 6 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139783114776512 139782753662561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25084] ppid=25080 vsize=14091268 memory=177780 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 22065 0 -1 1077944384 3504 0 0 0 11 1 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782705834896 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25085] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 22065 0 -1 1077944384 4330 0 0 0 11 1 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782704782096 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25086] ppid=25080 vsize=14091268 memory=281159163665152 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 22065 0 -1 1077944384 2399 0 0 0 11 1 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782703729808 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25087] ppid=25080 vsize=14091268 memory=164 CPUtime=0.13 cores=1,3,5,7
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 22065 0 -1 1077944384 2923 0 0 0 11 2 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782702677008 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25088] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.11 cores=1,3,5,7
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 22065 0 -1 1077944384 4086 0 0 0 8 3 0 0 20 0 15 0 64898063 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782450526320 139783110548098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25089] ppid=25080 vsize=14091268 memory=177780 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 22065 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 64898063 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782449472288 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25090] ppid=25080 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 22065 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64898063 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782448419952 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25091] ppid=25080 vsize=14091268 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782447368272 139783110555547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25092] ppid=25080 vsize=14091268 memory=288230583166042426 CPUtime=2.38 cores=1,3,5,7
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 22065 0 -1 1077944384 15883 0 0 0 236 2 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782446316144 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25093] ppid=25080 vsize=14091268 memory=177780 CPUtime=2.7 cores=1,3,5,7
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 22065 0 -1 1077944384 18134 0 0 0 268 2 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782445263344 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25094] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.79 cores=1,3,5,7
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 22065 0 -1 1077944384 11119 0 0 0 77 2 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782444211056 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25095] ppid=25080 vsize=14091268 memory=177780 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782443158496 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25096] ppid=25080 vsize=14091268 memory=1716 CPUtime=0.48 cores=1,3,5,7
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 22065 0 -1 1077944384 1614 0 0 0 18 30 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782442105264 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 52 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 179236 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2393.51 s]
# the end of solver process 25080 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001115 s, system=0.001115 s

[startup+2393.51 s]
# the end of solver process 25082 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.57 s, system=0.478182 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2393.5 s]
/proc/loadavg: 1.83 1.78 1.86 3/217 25244
/proc/meminfo: memFree=20319776/32770624 swapFree=67108860/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 64898060 115843072 364 33554432000 4194304 5098028 140724771117040 140724771115144 140035140682364 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30142464 140724771120186 140724771120388 140724771120388 140724771123146 0
/proc/25080/statm: 28282 364 306 221 0 87 0
[pid=25082] ppid=25080 vsize=14091268 memory=177780 CPUtime=2400.02 cores=1,3,5,7
/proc/25082/stat : 25082 (java) S 25080 25080 22065 0 -1 1077944320 86861 0 0 0 239955 47 0 0 20 0 15 0 64898060 14429458432 44445 33554432000 4194304 4196468 140721576512288 140721576494832 139783110536951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
/proc/25082/statm: 3522817 44445 3399 1 0 3484032 0
[pid=25082/tid=25083] ppid=25080 vsize=14091268 memory=177780 CPUtime=2392.98 cores=1,3,5,7
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 22065 0 -1 4202560 21508 0 0 0 239292 6 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139783114776512 139782753662561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25084] ppid=25080 vsize=14091268 memory=177780 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 22065 0 -1 1077944384 3504 0 0 0 11 1 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782705834896 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25085] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 22065 0 -1 1077944384 4330 0 0 0 11 1 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782704782096 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25086] ppid=25080 vsize=14091268 memory=281159163665152 CPUtime=0.12 cores=1,3,5,7
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 22065 0 -1 1077944384 2399 0 0 0 11 1 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782703729808 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25087] ppid=25080 vsize=14091268 memory=164 CPUtime=0.13 cores=1,3,5,7
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 22065 0 -1 1077944384 2923 0 0 0 11 2 0 0 20 0 15 0 64898061 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782702677008 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25088] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.11 cores=1,3,5,7
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 22065 0 -1 1077944384 4086 0 0 0 8 3 0 0 20 0 15 0 64898063 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782450526320 139783110548098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25089] ppid=25080 vsize=14091268 memory=177780 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 22065 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 64898063 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782449472288 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25090] ppid=25080 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 22065 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 64898063 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782448419952 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25091] ppid=25080 vsize=14091268 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782447368272 139783110555547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25092] ppid=25080 vsize=14091268 memory=288230583166042426 CPUtime=2.38 cores=1,3,5,7
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 22065 0 -1 1077944384 15883 0 0 0 236 2 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782446316144 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25093] ppid=25080 vsize=14091268 memory=177780 CPUtime=2.7 cores=1,3,5,7
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 22065 0 -1 1077944384 18134 0 0 0 268 2 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782445263344 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25094] ppid=25080 vsize=14091268 memory=1456 CPUtime=0.79 cores=1,3,5,7
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 22065 0 -1 1077944384 11119 0 0 0 77 2 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782444211056 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25095] ppid=25080 vsize=14091268 memory=177780 CPUtime=0 cores=1,3,5,7
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782443158496 139783110547157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
[pid=25082/tid=25096] ppid=25080 vsize=14091268 memory=1716 CPUtime=0.48 cores=1,3,5,7
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 22065 0 -1 1077944384 1614 0 0 0 18 30 0 0 20 0 15 0 64898066 14429458432 44445 33554432000 4194304 4196468 140721576512288 139782442105264 139783110548098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 52 0 0 6293624 6294260 30371840 140721576514689 140721576514865 140721576514865 140721576517583 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 179236 KiB

Child status: 143
Real time (s): 2393.51
CPU time (s): 2400.05
CPU user time (s): 2399.57
CPU system time (s): 0.478182
CPU usage (%): 100.273
Max. virtual memory (cumulated for all children) (KiB): 14208208
Max. memory (cumulated for all children) (KiB): 256572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.57
system time used= 0.478182
maximum resident set size= 255124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56864
involuntary context switches= 1358


# summary of solver processes directly reported to runsolver:
#   pid: 25080,25082
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2399.57
#   total CPU system time (s): 0.478182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8669 second user time and 20.3804 second system time

The end

Name	LowAutocorrelation/ LowAutocorrelation-040_c18.xml
MD5SUM	4e9e0842de773da2d9de44121d9bf85e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	160
Best CPU time to get the best result obtained on this benchmark	2520.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	1639
Number of constraints	858
Number of domains	79
Minimum domain size	2
Maximum domain size	79
Distribution of domain sizes	[{"size":2,"count":821},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}]
Minimum variable degree	0
Maximum variable degree	39
Distribution of variable degrees	[{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}]
Minimum constraint arity	2
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":2,"count":40},{"arity":3,"count":781},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	819
Distribution of constraint types	[{"type":"intension","count":819},{"type":"sum","count":39}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4292448

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data