2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	16321	20049.7	2520.14

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297425-1532725129.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297425-1532725129.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
33.88/10.84	c solve instance...
113.78/20.94	o 18106 
113.78/20.95	o 18099 
113.78/20.97	o 18085 
113.78/20.97	o 18078 
114.56/21.05	o 18020 
366.95/52.71	o 17240 
367.68/52.86	o 17155 
1172.19/153.75	o 17148 
1219.16/159.66	o 17084 
1574.72/204.22	o 17071 
1581.11/205.02	o 17024 
2929.86/374.11	o 16607 
2929.86/374.13	o 16514 
2932.08/374.40	o 16349 
2932.08/374.43	o 16321 
20048.90/2520.10	s SATISFIABLE
20048.90/2520.10	v <instantiation>
20048.90/2520.10	v 	<list>o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] </list>
20048.90/2520.10	v 	<values>4 2 10 9 12 6 1 8 6 11 3 11 13 13 1 7 3 5 7 5 10 9 2 12 4 8 10 11 9 6 2 2 0 6 13 3 4 8 4 10 0 8 11 7 13 7 9 12 12 3 5 5 6 0 4 12 1 1 9 3 9 7 10 12 3 8 8 5 5 10 4 13 13 7 0 6 11 11 7 7 13 5 6 12 10 2 4 1 0 9 2 9 6 10 0 11 8 4 11 13 5 1 8 12 0 6 2 10 7 8 12 9 3 13 1 10 1 5 5 12 13 6 2 3 7 11 11 8 0 9 11 10 11 3 8 7 13 10 12 9 13 7 6 4 4 2 2 0 12 0 8 6 3 9 1 1 2 4 8 1 3 0 11 1 0 10 12 13 5 7 3 11 8 4 9 9 12 5 10 2 13 7 3 3 12 8 4 5 8 11 10 2 9 5 10 6 13 0 12 1 0 1 4 2 13 11 9 6 13 13 6 7 5 4 7 0 11 12 11 1 12 2 2 1 6 9 3 10 5 10 9 4 3 0 12 12 1 0 10 13 2 4 2 5 7 3 11 3 11 13 10 8 6 6 1 0 8 5 7 4 1 5 0 4 9 11 3 5 7 6 2 4 7 1 12 3 9 2 11 8 0 8 6 13 12 13 5 1 5 13 13 10 6 7 8 0 8 0 9 12 9 6 1 3 10 12 3 4 4 7 2 2 9 9 7 2 0 3 4 13 5 8 6 2 8 11 10 4 7 13 5 11 6 1 1 0 10 3 8 8 3 11 11 9 5 12 1 4 5 6 0 0 7 9 4 12 1 2 2 3 7 10 6 10 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 36 36 0 51 30 57 10 10 44 44 0 55 69 59 0 44 14 34 0 39 51 55 15 15 0 48 48 65 10 64 0 22 22 0 39 39 0 31 21 46 0 10 10 0 44 41 64 43 30 55 32 41 40 0 0 15 15 48 48 22 43 49 0 56 56 0 47 68 53 50 50 55 74 45 61 61 0 56 70 58 0 14 14 0 41 27 47 0 47 47 32 10 34 0 67 67 69 69 66 66 51 51 50 50 0 68 81 80 0 0 45 45 0 21 21 0 51 50 91 74 65 31 35 94 73 18 18 0 64 67 70 0 36 51 55 0 51 10 44 0 48 41 75 94 30 81 0 27 18 35 0 50 15 39 0 42 42 41 41 0 40 40 56 45 18 39 39 44 55 70 0 75 101 88 0 59 14 47 31 31 0 69 69 27 27 0 92 92 0 0 14 14 81 21 64 0 67 10 69 0 48 48 0 41 41 90 90 44 10 44 56 56 0 79 69 59 104 104 31 31 42 42 81 44 48 0 69 69 81 81 53 22 46 0 68 69 73 0 68 55 21 0 0 30 30 43 43 103 66 93 55 45 49 79 14 67 0 105 105 0 68 31 69 0 51 51 81 81 0 0 0 0 55 36 74 0 69 41 51 0 55 55 69 44 65 0 103 103 10 10 0 73 31 75 101 90 66 44 44 0 69 69 10 10 0 69 48 55 0 105 105 0 70 39 64 0 105 80 66 70 64 67 58 58 0 30 79 90 0 80 51 73 0 81 81 48 48 105 10 101 0 90 75 94 88 88 55 10 57 0 0 0 104 68 50 69 69 0 90 55 64 75 27 92 59 59 93 55 91 0 61 61 0 41 69 66 0 0 </values>
20048.90/2520.10	v </instantiation>
20048.90/2520.10	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 (9579 MiB free)
  memory of node 1: 16384 MiB (10179 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297425-1532725129/watcher-4297425-1532725129 -o /tmp/evaluation-result-4297425-1532725129/solver-4297425-1532725129 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532725129-21528 --watchdog 2580 HOME/xcsp3-exec -seed 246594136 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297425-1532725129.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=21545, runsolver pid=21542

[startup+0.100061 s]*
/proc/loadavg: 7.48 8.08 8.20 4/199 21566
/proc/meminfo: memFree=20217820/32770624 swapFree=67108860/67108860
[pid=21545] ppid=21542 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21545/stat : 21545 (xcsp3-exec) S 21542 21545 21501 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90076075 115843072 363 33554432000 4194304 5098028 140725313784672 140725313782776 140186442232444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31694848 140725313786934 140725313787136 140725313787136 140725313789898 0
/proc/21545/statm: 28282 363 306 221 0 87 0
[pid=21547] ppid=21545 vsize=26104152 memory=27032 CPUtime=0.12 cores=0-7
/proc/21547/stat : 21547 (java) S 21545 21545 21501 0 -1 1077944320 5688 0 0 0 10 2 0 0 20 0 20 0 90076075 26730651648 6758 33554432000 4194304 4196468 140733207266464 140733207249008 140578212089591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
/proc/21547/statm: 6526038 6758 2967 1 0 6488315 0
[pid=21547/tid=21548] ppid=21545 vsize=26104152 memory=8040503617367482523 CPUtime=0.08 cores=0-7
/proc/21547/task/21548/stat : 21548 (java) R 21545 21545 21501 0 -1 4202560 3693 0 0 0 8 0 0 0 20 0 20 0 90076075 26730651648 6758 33554432000 4194304 4196468 140733207266464 140578216314432 140578212101526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21549] ppid=21545 vsize=26104152 memory=732370665830906853 CPUtime=0 cores=0-7
/proc/21547/task/21549/stat : 21549 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 6758 33554432000 4194304 4196468 140733207266464 140578173049616 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21550] ppid=21545 vsize=26104152 memory=140527493453440 CPUtime=0 cores=0-7
/proc/21547/task/21550/stat : 21550 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 6758 33554432000 4194304 4196468 140733207266464 140577769700240 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21551] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21551/stat : 21551 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 6758 33554432000 4194304 4196468 140733207266464 140577768647696 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21552] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21552/stat : 21552 (java) S 21545 21545 21501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 6758 33554432000 4194304 4196468 140733207266464 140577767595152 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21553] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21553/stat : 21553 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 6758 33554432000 4194304 4196468 140733207266464 140577766541584 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21554] ppid=21545 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21547/task/21554/stat : 21554 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 6758 33554432000 4194304 4196468 140733207266464 140577765489040 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21555] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21555/stat : 21555 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 6758 33554432000 4194304 4196468 140733207266464 140577764436496 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21556] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21556/stat : 21556 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 6758 33554432000 4194304 4196468 140733207266464 140577763383952 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21557] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21557/stat : 21557 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076078 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576752093680 140578212100738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21558] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21558/stat : 21558 (java) S 21545 21545 21501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90076078 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576751039904 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21559] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21559/stat : 21559 (java) S 21545 21545 21501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90076078 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576749987312 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21560] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21560/stat : 21560 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076081 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576748935888 140578212108187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21561] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21561/stat : 21561 (java) S 21545 21545 21501 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 90076081 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576747882480 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21562] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21562/stat : 21562 (java) S 21545 21545 21501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90076081 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576746829936 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21563] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21563/stat : 21563 (java) S 21545 21545 21501 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 20 0 90076081 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576745777392 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21564] ppid=21545 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21547/task/21564/stat : 21564 (java) R 21545 21545 21501 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 90076081 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576744724848 140578190916680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21565] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21565/stat : 21565 (java) S 21545 21545 21501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90076081 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576743672544 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21566] ppid=21545 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21547/task/21566/stat : 21566 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076081 26730651648 6758 33554432000 4194304 4196468 140733207266464 140576742620080 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28484 KiB

[startup+0.210502 s]*
/proc/loadavg: 7.48 8.08 8.20 4/199 21566
/proc/meminfo: memFree=20206532/32770624 swapFree=67108860/67108860
[pid=21545] ppid=21542 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21545/stat : 21545 (xcsp3-exec) S 21542 21545 21501 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90076075 115843072 363 33554432000 4194304 5098028 140725313784672 140725313782776 140186442232444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31694848 140725313786934 140725313787136 140725313787136 140725313789898 0
/proc/21545/statm: 28282 363 306 221 0 87 0
[pid=21547] ppid=21545 vsize=26104152 memory=39460 CPUtime=0.33 cores=0-7
/proc/21547/stat : 21547 (java) S 21545 21545 21501 0 -1 1077944320 8523 0 0 0 30 3 0 0 20 0 20 0 90076075 26730651648 9865 33554432000 4194304 4196468 140733207266464 140733207249008 140578212089591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
/proc/21547/statm: 6526038 9865 3169 1 0 6488315 0
[pid=21547/tid=21548] ppid=21545 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/21547/task/21548/stat : 21548 (java) R 21545 21545 21501 0 -1 4202560 5591 0 0 0 19 1 0 0 20 0 20 0 90076075 26730651648 9865 33554432000 4194304 4196468 140733207266464 140578216326352 140578196170078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21549] ppid=21545 vsize=26104152 memory=732370665830906853 CPUtime=0 cores=0-7
/proc/21547/task/21549/stat : 21549 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 9865 33554432000 4194304 4196468 140733207266464 140578173049616 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21550] ppid=21545 vsize=26104152 memory=140527493453440 CPUtime=0 cores=0-7
/proc/21547/task/21550/stat : 21550 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 9865 33554432000 4194304 4196468 140733207266464 140577769700240 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21551] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21551/stat : 21551 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 9865 33554432000 4194304 4196468 140733207266464 140577768647696 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21552] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21552/stat : 21552 (java) S 21545 21545 21501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 9865 33554432000 4194304 4196468 140733207266464 140577767595152 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21553] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21553/stat : 21553 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 9865 33554432000 4194304 4196468 140733207266464 140577766541584 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21554] ppid=21545 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21547/task/21554/stat : 21554 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 9865 33554432000 4194304 4196468 140733207266464 140577765489040 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21555] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21555/stat : 21555 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 9865 33554432000 4194304 4196468 140733207266464 140577764436496 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21556] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21556/stat : 21556 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26730651648 9865 33554432000 4194304 4196468 140733207266464 140577763383952 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21557] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21557/stat : 21557 (java) S 21545 21545 21501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90076078 26730651648 9865 33554432000 4194304 4196468 140733207266464 140576752093680 140578212100738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21558] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21558/stat : 21558 (java) S 21545 21545 21501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90076078 26730651648 9865 33554432000 4194304 4196468 140733207266464 140576751039904 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21559] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21559/stat : 21559 (java) S 21545 21545 21501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90076078 26730651648 9865 33554432000 4194304 4196468 140733207266464 140576749987312 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21560] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21560/stat : 21560 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076081 26730651648 9865 33554432000 4194304 4196468 140733207266464 140576748935888 140578212108187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21561] ppid=21545 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21547/task/21561/stat : 21561 (java) S 21545 21545 21501 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 20 0 90076081 26730651648 9928 33554432000 4194304 4196468 140733207266464 140576747882480 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21562] ppid=21545 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21547/task/21562/stat : 21562 (java) S 21545 21545 21501 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 90076081 26730651648 9928 33554432000 4194304 4196468 140733207266464 140576746829936 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21563] ppid=21545 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21547/task/21563/stat : 21563 (java) S 21545 21545 21501 0 -1 1077944384 428 0 0 0 1 0 0 0 20 0 20 0 90076081 26730651648 9928 33554432000 4194304 4196468 140733207266464 140576745777392 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21564] ppid=21545 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/21547/task/21564/stat : 21564 (java) S 21545 21545 21501 0 -1 1077944384 800 0 0 0 7 0 0 0 20 0 20 0 90076081 26730651648 9928 33554432000 4194304 4196468 140733207266464 140576744724848 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21565] ppid=21545 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21565/stat : 21565 (java) S 21545 21545 21501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90076081 26730651648 9928 33554432000 4194304 4196468 140733207266464 140576743672544 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21566] ppid=21545 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21547/task/21566/stat : 21566 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076081 26730651648 9928 33554432000 4194304 4196468 140733207266464 140576742620080 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40912 KiB

[startup+0.310654 s]*
/proc/loadavg: 7.48 8.08 8.20 4/199 21566
/proc/meminfo: memFree=20200452/32770624 swapFree=67108860/67108860
[pid=21545] ppid=21542 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21545/stat : 21545 (xcsp3-exec) S 21542 21545 21501 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90076075 115843072 363 33554432000 4194304 5098028 140725313784672 140725313782776 140186442232444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31694848 140725313786934 140725313787136 140725313787136 140725313789898 0
/proc/21545/statm: 28282 363 306 221 0 87 0
[pid=21547] ppid=21545 vsize=26108408 memory=46576 CPUtime=0.51 cores=0-7
/proc/21547/stat : 21547 (java) S 21545 21545 21501 0 -1 1077944320 9368 0 0 0 48 3 0 0 20 0 20 0 90076075 26735009792 11644 33554432000 4194304 4196468 140733207266464 140733207249008 140578212089591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
/proc/21547/statm: 6527102 11644 3215 1 0 6488315 0
[pid=21547/tid=21548] ppid=21545 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21547/task/21548/stat : 21548 (java) R 21545 21545 21501 0 -1 4202560 6272 0 0 0 28 1 0 0 20 0 20 0 90076075 26735009792 11644 33554432000 4194304 4196468 140733207266464 140578216326880 140578196170108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21549] ppid=21545 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21549/stat : 21549 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26735009792 11644 33554432000 4194304 4196468 140733207266464 140578173049616 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21550] ppid=21545 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21550/stat : 21550 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26735009792 11644 33554432000 4194304 4196468 140733207266464 140577769700240 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21551] ppid=21545 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21551/stat : 21551 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076076 26735009792 11644 33554432000 4194304 4196468 140733207266464 140577768647696 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21552] ppid=21545 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21552/stat : 21552 (java) S 21545 21545 21501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90076076 26735009792 11644 33554432000 4194304 4196468 140733207266464 140577767595152 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21553] ppid=21545 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/21547/task/21553/stat : 21553 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26735009792 11644 33554432000 4194304 4196468 140733207266464 140577766541584 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21554] ppid=21545 vsize=26108408 memory=140527370597295 CPUtime=0 cores=0-7
/proc/21547/task/21554/stat : 21554 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26735009792 11644 33554432000 4194304 4196468 140733207266464 140577765489040 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21555] ppid=21545 vsize=26108408 memory=140527370599600 CPUtime=0 cores=0-7
/proc/21547/task/21555/stat : 21555 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26735009792 11644 33554432000 4194304 4196468 140733207266464 140577764436496 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21556] ppid=21545 vsize=26108408 memory=140527370601904 CPUtime=0 cores=0-7
/proc/21547/task/21556/stat : 21556 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26735009792 11644 33554432000 4194304 4196468 140733207266464 140577763383952 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21557] ppid=21545 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21557/stat : 21557 (java) S 21545 21545 21501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90076078 26735009792 11644 33554432000 4194304 4196468 140733207266464 140576752093680 140578212100738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21558] ppid=21545 vsize=26108408 memory=281054741210768 CPUtime=0 cores=0-7
/proc/21547/task/21558/stat : 21558 (java) S 21545 21545 21501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90076078 26735009792 11644 33554432000 4194304 4196468 140733207266464 140576751039904 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21559] ppid=21545 vsize=26108408 memory=281054741217680 CPUtime=0 cores=0-7
/proc/21547/task/21559/stat : 21559 (java) S 21545 21545 21501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90076078 26735009792 11644 33554432000 4194304 4196468 140733207266464 140576749987312 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21560] ppid=21545 vsize=26108408 memory=281054741158960 CPUtime=0 cores=0-7
/proc/21547/task/21560/stat : 21560 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076081 26735009792 11644 33554432000 4194304 4196468 140733207266464 140576748935888 140578212108187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21561] ppid=21545 vsize=26108408 memory=281054741231504 CPUtime=0.02 cores=0-7
/proc/21547/task/21561/stat : 21561 (java) S 21545 21545 21501 0 -1 1077944384 196 0 0 0 2 0 0 0 20 0 20 0 90076081 26735009792 11657 33554432000 4194304 4196468 140733207266464 140576747882480 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21562] ppid=21545 vsize=26108408 memory=281054741238416 CPUtime=0.03 cores=0-7
/proc/21547/task/21562/stat : 21562 (java) R 21545 21545 21501 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 20 0 90076081 26735009792 11657 33554432000 4194304 4196468 140733207266464 140576746820320 140578197215656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21563] ppid=21545 vsize=26108408 memory=281054741236112 CPUtime=0.02 cores=0-7
/proc/21547/task/21563/stat : 21563 (java) S 21545 21545 21501 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 20 0 90076081 26735009792 11657 33554432000 4194304 4196468 140733207266464 140576745777392 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21564] ppid=21545 vsize=26108408 memory=281054741252272 CPUtime=0.11 cores=0-7
/proc/21547/task/21564/stat : 21564 (java) S 21545 21545 21501 0 -1 1077944384 855 0 0 0 11 0 0 0 20 0 20 0 90076081 26735009792 11657 33554432000 4194304 4196468 140733207266464 140576744724848 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21565] ppid=21545 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21565/stat : 21565 (java) S 21545 21545 21501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90076081 26735009792 11657 33554432000 4194304 4196468 140733207266464 140576743672544 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21566] ppid=21545 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/21547/task/21566/stat : 21566 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076081 26735009792 11657 33554432000 4194304 4196468 140733207266464 140576742620080 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48028 KiB

[startup+0.701035 s]
/proc/loadavg: 7.48 8.08 8.20 3/199 21566
/proc/meminfo: memFree=20174928/32770624 swapFree=67108860/67108860
[pid=21545] ppid=21542 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21545/stat : 21545 (xcsp3-exec) S 21542 21545 21501 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90076075 115843072 363 33554432000 4194304 5098028 140725313784672 140725313782776 140186442232444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31694848 140725313786934 140725313787136 140725313787136 140725313789898 0
/proc/21545/statm: 28282 363 306 221 0 87 0
[pid=21547] ppid=21545 vsize=26110532 memory=128784 CPUtime=1.96 cores=0-7
/proc/21547/stat : 21547 (java) S 21545 21545 21501 0 -1 1077944320 14036 0 0 0 190 6 0 0 20 0 20 0 90076075 26737184768 32196 33554432000 4194304 4196468 140733207266464 140733207249008 140578212089591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
/proc/21547/statm: 6527633 32196 3359 1 0 6488827 0
[pid=21547/tid=21548] ppid=21545 vsize=26110532 memory=281054741547200 CPUtime=0.67 cores=0-7
/proc/21547/task/21548/stat : 21548 (java) R 21545 21545 21501 0 -1 4202560 6844 0 0 0 65 2 0 0 20 0 20 0 90076075 26737184768 32196 33554432000 4194304 4196468 140733207266464 140578216328192 140577848888257 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21549] ppid=21545 vsize=26110532 memory=5098126181531 CPUtime=0 cores=0-7
/proc/21547/task/21549/stat : 21549 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26737184768 32196 33554432000 4194304 4196468 140733207266464 140578173049616 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21550] ppid=21545 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21550/stat : 21550 (java) S 21545 21545 21501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90076076 26737184768 32196 33554432000 4194304 4196468 140733207266464 140577769700240 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21551] ppid=21545 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21547/task/21551/stat : 21551 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90076076 26737184768 32196 33554432000 4194304 4196468 140733207266464 140577768647696 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0

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

[pid=21547/tid=21725] ppid=21545 vsize=26645092 memory=1796 CPUtime=2066.67 cores=0-7
/proc/21547/task/21725/stat : 21725 (java) R 21545 21545 21501 0 -1 4202560 19976 0 0 0 206611 56 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576726666208 140577861719810 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
Current children cumulated CPU time: 19429 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4000292 KiB

[startup+2502.31 s]
/proc/loadavg: 8.04 8.23 8.24 9/208 21759
/proc/meminfo: memFree=16241044/32770624 swapFree=67108860/67108860
[pid=21545] ppid=21542 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21545/stat : 21545 (xcsp3-exec) S 21542 21545 21501 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90076075 115843072 363 33554432000 4194304 5098028 140725313784672 140725313782776 140186442232444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31694848 140725313786934 140725313787136 140725313787136 140725313789898 0
/proc/21545/statm: 28282 363 306 221 0 87 0
[pid=21547] ppid=21545 vsize=26645092 memory=3998840 CPUtime=19907.6 cores=0-7
/proc/21547/stat : 21547 (java) S 21545 21545 21501 0 -1 1077944320 603400 0 0 0 1989334 1430 0 0 20 0 28 0 90076075 27284574208 999710 33554432000 4194304 4196468 140733207266464 140733207249008 140578212089591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
/proc/21547/statm: 6661273 999710 3471 1 0 6622467 0
[pid=21547/tid=21548] ppid=21545 vsize=26645092 memory=3998840 CPUtime=8.67 cores=0-7
/proc/21547/task/21548/stat : 21548 (java) S 21545 21545 21501 0 -1 1077944384 13812 0 0 0 852 15 0 0 20 0 28 0 90076075 27284574208 999710 33554432000 4194304 4196468 140733207266464 140578216330368 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21549] ppid=21545 vsize=26645092 memory=3998840 CPUtime=3.55 cores=0-7
/proc/21547/task/21549/stat : 21549 (java) S 21545 21545 21501 0 -1 1077944384 7475 0 0 0 262 93 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140578173049616 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21550] ppid=21545 vsize=26645092 memory=3998840 CPUtime=3.54 cores=0-7
/proc/21547/task/21550/stat : 21550 (java) S 21545 21545 21501 0 -1 1077944384 6733 0 0 0 261 93 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577769700240 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21551] ppid=21545 vsize=26645092 memory=1452 CPUtime=3.52 cores=0-7
/proc/21547/task/21551/stat : 21551 (java) S 21545 21545 21501 0 -1 1077944384 7088 0 0 0 263 89 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577768647696 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21552] ppid=21545 vsize=26645092 memory=3998840 CPUtime=3.55 cores=0-7
/proc/21547/task/21552/stat : 21552 (java) S 21545 21545 21501 0 -1 1077944384 7015 0 0 0 262 93 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577767595152 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21553] ppid=21545 vsize=26645092 memory=3998840 CPUtime=3.51 cores=0-7
/proc/21547/task/21553/stat : 21553 (java) S 21545 21545 21501 0 -1 1077944384 9661 0 0 0 262 89 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577766541584 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21554] ppid=21545 vsize=26645092 memory=1452 CPUtime=3.49 cores=0-7
/proc/21547/task/21554/stat : 21554 (java) S 21545 21545 21501 0 -1 1077944384 6194 0 0 0 259 90 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577765489040 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21555] ppid=21545 vsize=26645092 memory=3998840 CPUtime=3.52 cores=0-7
/proc/21547/task/21555/stat : 21555 (java) S 21545 21545 21501 0 -1 1077944384 5509 0 0 0 262 90 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577764436496 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21556] ppid=21545 vsize=26645092 memory=26060 CPUtime=3.52 cores=0-7
/proc/21547/task/21556/stat : 21556 (java) S 21545 21545 21501 0 -1 1077944384 6504 0 0 0 260 92 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577763383952 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21557] ppid=21545 vsize=26645092 memory=1796 CPUtime=0.16 cores=0-7
/proc/21547/task/21557/stat : 21557 (java) S 21545 21545 21501 0 -1 1077944384 11559 0 0 0 13 3 0 0 20 0 28 0 90076078 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576752093680 140578212100738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21558] ppid=21545 vsize=26645092 memory=912 CPUtime=0 cores=0-7
/proc/21547/task/21558/stat : 21558 (java) S 21545 21545 21501 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 90076078 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576751039968 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21559] ppid=21545 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/21547/task/21559/stat : 21559 (java) S 21545 21545 21501 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 90076078 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576749987328 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21560] ppid=21545 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/21547/task/21560/stat : 21560 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576748935888 140578212108187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21561] ppid=21545 vsize=26645092 memory=3912 CPUtime=5.71 cores=0-7
/proc/21547/task/21561/stat : 21561 (java) S 21545 21545 21501 0 -1 1077944384 31948 0 0 0 565 6 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576747882480 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21562] ppid=21545 vsize=26645092 memory=1452 CPUtime=5.89 cores=0-7
/proc/21547/task/21562/stat : 21562 (java) S 21545 21545 21501 0 -1 1077944384 27812 0 0 0 583 6 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576746829936 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21563] ppid=21545 vsize=26645092 memory=928 CPUtime=6.65 cores=0-7
/proc/21547/task/21563/stat : 21563 (java) S 21545 21545 21501 0 -1 1077944384 44577 0 0 0 655 10 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576745777392 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21564] ppid=21545 vsize=26645092 memory=2240 CPUtime=1.53 cores=0-7
/proc/21547/task/21564/stat : 21564 (java) S 21545 21545 21501 0 -1 1077944384 36465 0 0 0 146 7 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576744724848 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21565] ppid=21545 vsize=26645092 memory=4140 CPUtime=0 cores=0-7
/proc/21547/task/21565/stat : 21565 (java) S 21545 21545 21501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576743672544 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21566] ppid=21545 vsize=26645092 memory=26060 CPUtime=1.2 cores=0-7
/proc/21547/task/21566/stat : 21566 (java) S 21545 21545 21501 0 -1 1077944384 4639 0 0 0 40 80 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576742620080 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21718] ppid=21545 vsize=26645092 memory=1452 CPUtime=2126.54 cores=0-7
/proc/21547/task/21718/stat : 21718 (java) R 21545 21545 21501 0 -1 4202560 13187 0 0 0 212625 29 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576730873128 140577852880139 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21719] ppid=21545 vsize=26645092 memory=1452 CPUtime=2115.76 cores=0-7
/proc/21547/task/21719/stat : 21719 (java) R 21545 21545 21501 0 -1 4202560 11218 0 0 0 211564 12 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576725611080 140577862116200 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21720] ppid=21545 vsize=26645092 memory=3998840 CPUtime=2126.14 cores=0-7
/proc/21547/task/21720/stat : 21720 (java) R 21545 21545 21501 0 -1 4202560 17529 0 0 0 212585 29 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576724557464 140577861720735 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21721] ppid=21545 vsize=26645092 memory=1452 CPUtime=2116.85 cores=0-7
/proc/21547/task/21721/stat : 21721 (java) R 21545 21545 21501 0 -1 4202560 27284 0 0 0 211599 86 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576729820840 140577862117056 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21722] ppid=21545 vsize=26645092 memory=928 CPUtime=2117.89 cores=0-7
/proc/21547/task/21722/stat : 21722 (java) R 21545 21545 21501 0 -1 4202560 18459 0 0 0 211760 29 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576727715736 140577852879611 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21723] ppid=21545 vsize=26645092 memory=2240 CPUtime=2110.47 cores=0-7
/proc/21547/task/21723/stat : 21723 (java) R 21545 21545 21501 0 -1 4202560 11563 0 0 0 211024 23 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576731926368 140577861721259 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21724] ppid=21545 vsize=26645092 memory=4128 CPUtime=2126.57 cores=0-7
/proc/21547/task/21724/stat : 21724 (java) R 21545 21545 21501 0 -1 4202560 10013 0 0 0 212639 18 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576728768664 140577862118099 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21725] ppid=21545 vsize=26645092 memory=1724 CPUtime=2126.66 cores=0-7
/proc/21547/task/21725/stat : 21725 (java) R 21545 21545 21501 0 -1 4202560 20366 0 0 0 212608 58 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576726666208 140577851807009 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
Current children cumulated CPU time: 19907.6 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4000292 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.03 8.21 8.23 9/208 21759
/proc/meminfo: memFree=16241068/32770624 swapFree=67108860/67108860
[pid=21545] ppid=21542 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21545/stat : 21545 (xcsp3-exec) S 21542 21545 21501 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 90076075 115843072 363 33554432000 4194304 5098028 140725313784672 140725313782776 140186442232444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31694848 140725313786934 140725313787136 140725313787136 140725313789898 0
/proc/21545/statm: 28282 363 306 221 0 87 0
[pid=21547] ppid=21545 vsize=26645092 memory=3998840 CPUtime=20048.9 cores=0-7
/proc/21547/stat : 21547 (java) S 21545 21545 21501 0 -1 1077944320 603633 0 0 0 2003458 1432 0 0 20 0 28 0 90076075 27284574208 999710 33554432000 4194304 4196468 140733207266464 140733207249008 140578212089591 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
/proc/21547/statm: 6661273 999710 3471 1 0 6622467 0
[pid=21547/tid=21548] ppid=21545 vsize=26645092 memory=6791534058613427641 CPUtime=8.67 cores=0-7
/proc/21547/task/21548/stat : 21548 (java) S 21545 21545 21501 0 -1 1077944384 13812 0 0 0 852 15 0 0 20 0 28 0 90076075 27284574208 999710 33554432000 4194304 4196468 140733207266464 140578216330368 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21549] ppid=21545 vsize=26645092 memory=-7003737579269690708 CPUtime=3.55 cores=0-7
/proc/21547/task/21549/stat : 21549 (java) S 21545 21545 21501 0 -1 1077944384 7475 0 0 0 262 93 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140578173049616 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21550] ppid=21545 vsize=26645092 memory=2412 CPUtime=3.54 cores=0-7
/proc/21547/task/21550/stat : 21550 (java) S 21545 21545 21501 0 -1 1077944384 6733 0 0 0 261 93 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577769700240 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21551] ppid=21545 vsize=26645092 memory=1724 CPUtime=3.52 cores=0-7
/proc/21547/task/21551/stat : 21551 (java) S 21545 21545 21501 0 -1 1077944384 7088 0 0 0 263 89 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577768647696 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21552] ppid=21545 vsize=26645092 memory=1228 CPUtime=3.55 cores=0-7
/proc/21547/task/21552/stat : 21552 (java) S 21545 21545 21501 0 -1 1077944384 7015 0 0 0 262 93 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577767595152 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21553] ppid=21545 vsize=26645092 memory=1428 CPUtime=3.51 cores=0-7
/proc/21547/task/21553/stat : 21553 (java) S 21545 21545 21501 0 -1 1077944384 9661 0 0 0 262 89 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577766541584 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21554] ppid=21545 vsize=26645092 memory=1196 CPUtime=3.49 cores=0-7
/proc/21547/task/21554/stat : 21554 (java) S 21545 21545 21501 0 -1 1077944384 6194 0 0 0 259 90 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577765489040 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21555] ppid=21545 vsize=26645092 memory=5788 CPUtime=3.52 cores=0-7
/proc/21547/task/21555/stat : 21555 (java) S 21545 21545 21501 0 -1 1077944384 5509 0 0 0 262 90 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577764436496 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21556] ppid=21545 vsize=26645092 memory=4616 CPUtime=3.52 cores=0-7
/proc/21547/task/21556/stat : 21556 (java) S 21545 21545 21501 0 -1 1077944384 6504 0 0 0 260 92 0 0 20 0 28 0 90076076 27284574208 999710 33554432000 4194304 4196468 140733207266464 140577763383952 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21557] ppid=21545 vsize=26645092 memory=0 CPUtime=0.16 cores=0-7
/proc/21547/task/21557/stat : 21557 (java) S 21545 21545 21501 0 -1 1077944384 11559 0 0 0 13 3 0 0 20 0 28 0 90076078 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576752093680 140578212100738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21558] ppid=21545 vsize=26645092 memory=5861547517898485861 CPUtime=0 cores=0-7
/proc/21547/task/21558/stat : 21558 (java) S 21545 21545 21501 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 90076078 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576751039968 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21559] ppid=21545 vsize=26645092 memory=5794836844628108904 CPUtime=0 cores=0-7
/proc/21547/task/21559/stat : 21559 (java) S 21545 21545 21501 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 90076078 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576749987328 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21560] ppid=21545 vsize=26645092 memory=7516625861368833894 CPUtime=0 cores=0-7
/proc/21547/task/21560/stat : 21560 (java) S 21545 21545 21501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576748935888 140578212108187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21561] ppid=21545 vsize=26645092 memory=5794836844628108904 CPUtime=5.71 cores=0-7
/proc/21547/task/21561/stat : 21561 (java) S 21545 21545 21501 0 -1 1077944384 31948 0 0 0 565 6 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576747882480 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21562] ppid=21545 vsize=26645092 memory=7516625861368833894 CPUtime=5.89 cores=0-7
/proc/21547/task/21562/stat : 21562 (java) S 21545 21545 21501 0 -1 1077944384 27812 0 0 0 583 6 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576746829936 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21563] ppid=21545 vsize=26645092 memory=5794836844628108904 CPUtime=6.65 cores=0-7
/proc/21547/task/21563/stat : 21563 (java) S 21545 21545 21501 0 -1 1077944384 44577 0 0 0 655 10 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576745777392 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21564] ppid=21545 vsize=26645092 memory=5794836844628108904 CPUtime=1.53 cores=0-7
/proc/21547/task/21564/stat : 21564 (java) S 21545 21545 21501 0 -1 1077944384 36465 0 0 0 146 7 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576744724848 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21565] ppid=21545 vsize=26645092 memory=7516625861368833894 CPUtime=0 cores=0-7
/proc/21547/task/21565/stat : 21565 (java) S 21545 21545 21501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576743672544 140578212099797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21566] ppid=21545 vsize=26645092 memory=0 CPUtime=1.21 cores=0-7
/proc/21547/task/21566/stat : 21566 (java) S 21545 21545 21501 0 -1 1077944384 4641 0 0 0 40 81 0 0 20 0 28 0 90076081 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576742620080 140578212100738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21718] ppid=21545 vsize=26645092 memory=5793147990523209320 CPUtime=2144.24 cores=0-7
/proc/21547/task/21718/stat : 21718 (java) R 21545 21545 21501 0 -1 4202560 13188 0 0 0 214395 29 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576730873128 140577862114993 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21719] ppid=21545 vsize=26645092 memory=6791534058613427641 CPUtime=2133.46 cores=0-7
/proc/21547/task/21719/stat : 21719 (java) R 21545 21545 21501 0 -1 4202560 11219 0 0 0 213334 12 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576725611080 140577861720949 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21720] ppid=21545 vsize=26645092 memory=14135545664113376 CPUtime=2143.83 cores=0-7
/proc/21547/task/21720/stat : 21720 (java) R 21545 21545 21501 0 -1 4202560 17530 0 0 0 214354 29 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576724557464 140577862115406 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21721] ppid=21545 vsize=26645092 memory=303430223234596890 CPUtime=2134.18 cores=0-7
/proc/21547/task/21721/stat : 21721 (java) R 21545 21545 21501 0 -1 4202560 27438 0 0 0 213331 87 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576729820840 140577854895809 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21722] ppid=21545 vsize=26645092 memory=288230596050944315 CPUtime=2135.6 cores=0-7
/proc/21547/task/21722/stat : 21722 (java) R 21545 21545 21501 0 -1 4202560 18500 0 0 0 213530 30 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576727715736 140577861370611 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21723] ppid=21545 vsize=26645092 memory=14135545664113376 CPUtime=2128.18 cores=0-7
/proc/21547/task/21723/stat : 21723 (java) R 21545 21545 21501 0 -1 4202560 11566 0 0 0 212795 23 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576731926368 140577862117024 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21724] ppid=21545 vsize=26645092 memory=1452 CPUtime=2144.27 cores=0-7
/proc/21547/task/21724/stat : 21724 (java) R 21545 21545 21501 0 -1 4202560 10014 0 0 0 214409 18 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576728768664 140577861720171 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
[pid=21547/tid=21725] ppid=21545 vsize=26645092 memory=3998840 CPUtime=2144.36 cores=0-7
/proc/21547/task/21725/stat : 21725 (java) R 21545 21545 21501 0 -1 4202560 20395 0 0 0 214378 58 0 0 20 0 28 0 90113519 27284574208 999710 33554432000 4194304 4196468 140733207266464 140576726666208 140577851808393 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13754368 140733207270529 140733207270701 140733207270701 140733207273423 0
Current children cumulated CPU time: 20048.9 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4000292 KiB

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

[startup+2520.04 s]
# the end of solver process 21545 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001599 s, system=0.000799 s

[startup+2520.14 s]
# the end of solver process 21547 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20035.4 s, system=14.3555 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

Child status: 143
Real time (s): 2520.14
CPU time (s): 20049.7
CPU user time (s): 20035.4
CPU system time (s): 14.3555
CPU usage (%): 795.581
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 4000292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20035.4
system time used= 14.3555
maximum resident set size= 3999324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68316
involuntary context switches= 203950


# summary of solver processes directly reported to runsolver:
#   pid: 21545,21547
#   total CPU time (s): 20049.7
#   total CPU user time (s): 20035.4
#   total CPU system time (s): 14.3555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.6757 second user time and 29.9364 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml
MD5SUM	289cb43960e2b184f01d0d99cacee99d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	16321
Best CPU time to get the best result obtained on this benchmark	20049.7
Satisfiable
(Un)Satisfiability was proved
Number of variables	1470
Number of constraints	5725
Number of domains	3
Minimum domain size	2
Maximum domain size	57
Distribution of domain sizes	[{"size":2,"count":728},{"size":14,"count":364},{"size":57,"count":378}]
Minimum variable degree	2
Maximum variable degree	44
Distribution of variable degrees	[{"degree":2,"count":742},{"degree":41,"count":336},{"degree":42,"count":364},{"degree":43,"count":26},{"degree":44,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	26
Distribution of constraint arities	[{"arity":2,"count":365},{"arity":3,"count":28},{"arity":4,"count":4200},{"arity":5,"count":350},{"arity":14,"count":390},{"arity":16,"count":364},{"arity":26,"count":28}]
Number of extensional constraints	378
Number of intensional constraints	4565
Distribution of constraint types	[{"type":"extension","count":378},{"type":"intension","count":4565},{"type":"regular","count":14},{"type":"allDifferent","count":26},{"type":"cardinality","count":14},{"type":"element","count":728}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4297425

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