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)	20855	2400.08	2383.22

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292265-1532553181.xml"  -tl '2400s' -p 1 -x 0
0.11/0.17	c Choco 493a269
0.11/0.17	c [HOME/instance-4292265-1532553181.xml, -tl, 2400s, -p, 1, -x, 0]
0.11/0.21	c simple solver
0.33/0.27	c parse instance...
11.57/4.18	c solve instance...
26.68/13.61	o 23372 
27.20/13.86	o 23365 
28.05/14.41	o 23322 
28.05/14.49	o 23316 
139.38/124.87	o 21873 
139.48/124.97	o 21843 
139.71/125.11	o 21807 
139.71/125.15	o 21802 
139.91/125.34	o 21800 
140.31/125.72	o 21785 
140.31/125.75	o 21756 
140.31/125.79	o 21751 
151.43/136.88	o 21216 
151.54/136.92	o 21182 
151.54/136.96	o 21168 
151.66/137.10	o 21143 
151.87/137.24	o 21079 
152.07/137.41	o 21058 
985.18/969.66	o 21042 
1257.57/1241.78	o 20960 
1257.88/1242.03	o 20938 
1257.88/1242.06	o 20921 
1257.98/1242.13	o 20879 
1259.07/1243.23	o 20872 
1259.67/1243.87	o 20855 
2400.05/2383.20	s SATISFIABLE
2400.05/2383.20	v <instantiation>
2400.05/2383.20	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[0][26] o[0][27] o[0][28] o[0][29] 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[1][26] o[1][27] o[1][28] o[1][29] 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[2][26] o[2][27] o[2][28] o[2][29] 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[3][26] o[3][27] o[3][28] o[3][29] 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[4][26] o[4][27] o[4][28] o[4][29] 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[5][26] o[5][27] o[5][28] o[5][29] 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[6][26] o[6][27] o[6][28] o[6][29] 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[7][26] o[7][27] o[7][28] o[7][29] 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[8][26] o[8][27] o[8][28] o[8][29] 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[9][26] o[9][27] o[9][28] o[9][29] 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[10][26] o[10][27] o[10][28] o[10][29] 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[11][26] o[11][27] o[11][28] o[11][29] 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[12][26] o[12][27] o[12][28] o[12][29] 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] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] 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[0][26] h[0][27] h[0][28] h[0][29] 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[1][26] h[1][27] h[1][28] h[1][29] 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[2][26] h[2][27] h[2][28] h[2][29] 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[3][26] h[3][27] h[3][28] h[3][29] 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[4][26] h[4][27] h[4][28] h[4][29] 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[5][26] h[5][27] h[5][28] h[5][29] 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[6][26] h[6][27] h[6][28] h[6][29] 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[7][26] h[7][27] h[7][28] h[7][29] 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[8][26] h[8][27] h[8][28] h[8][29] 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[9][26] h[9][27] h[9][28] h[9][29] 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[10][26] h[10][27] h[10][28] h[10][29] 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[11][26] h[11][27] h[11][28] h[11][29] 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[12][26] h[12][27] h[12][28] h[12][29] 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] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] 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[0][26] a[0][27] a[0][28] a[0][29] 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[1][26] a[1][27] a[1][28] a[1][29] 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[2][26] a[2][27] a[2][28] a[2][29] 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[3][26] a[3][27] a[3][28] a[3][29] 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[4][26] a[4][27] a[4][28] a[4][29] 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[5][26] a[5][27] a[5][28] a[5][29] 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[6][26] a[6][27] a[6][28] a[6][29] 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[7][26] a[7][27] a[7][28] a[7][29] 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[8][26] a[8][27] a[8][28] a[8][29] 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[9][26] a[9][27] a[9][28] a[9][29] 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[10][26] a[10][27] a[10][28] a[10][29] 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[11][26] a[11][27] a[11][28] a[11][29] 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[12][26] a[12][27] a[12][28] a[12][29] 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] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] 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[0][27] t[0][28] t[0][29] t[0][30] 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[1][27] t[1][28] t[1][29] t[1][30] 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[2][27] t[2][28] t[2][29] t[2][30] 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[3][27] t[3][28] t[3][29] t[3][30] 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[4][27] t[4][28] t[4][29] t[4][30] 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[5][27] t[5][28] t[5][29] t[5][30] 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[6][27] t[6][28] t[6][29] t[6][30] 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[7][27] t[7][28] t[7][29] t[7][30] 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[8][27] t[8][28] t[8][29] t[8][30] 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[9][27] t[9][28] t[9][29] t[9][30] 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[10][27] t[10][28] t[10][29] t[10][30] 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[11][27] t[11][28] t[11][29] t[11][30] 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[12][27] t[12][28] t[12][29] t[12][30] 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] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30] </list>
2400.05/2383.20	v 	<values>3 12 5 3 11 10 11 1 10 13 14 9 14 2 6 4 12 15 13 8 15 2 7 5 1 9 8 6 7 4 8 10 14 4 6 11 2 0 5 11 15 13 15 10 2 13 5 12 12 4 7 8 9 9 0 14 6 3 3 7 9 3 6 10 5 13 1 7 4 8 4 14 3 0 1 14 8 5 7 11 9 0 10 6 13 11 15 12 15 12 0 2 11 0 8 7 10 6 13 7 13 10 2 15 12 6 9 9 14 5 11 12 8 4 15 4 5 1 1 14 15 13 7 1 14 5 12 5 2 14 2 12 11 9 10 0 13 10 6 1 8 7 11 3 6 3 9 15 8 0 12 15 0 14 2 4 8 4 1 6 10 11 13 8 7 9 1 2 10 3 6 9 12 0 11 13 3 7 14 15 11 11 2 9 1 12 14 3 8 5 7 8 9 13 0 3 7 14 4 10 5 15 13 2 4 15 1 0 12 10 14 9 4 15 13 3 13 2 12 3 6 15 8 14 5 11 6 8 2 9 1 4 0 11 10 10 12 5 0 1 1 14 9 13 3 15 5 13 6 2 12 6 7 5 11 15 2 7 9 0 4 1 3 10 14 12 0 10 4 11 2 7 8 6 12 14 15 11 15 10 11 0 6 4 14 5 3 3 8 7 2 5 1 1 12 0 4 13 10 13 13 1 15 2 15 0 3 14 0 9 5 3 12 1 4 12 14 4 5 6 13 11 2 8 7 7 11 8 9 6 6 6 3 12 0 1 0 9 14 1 9 5 4 12 8 7 15 13 15 2 3 10 4 7 5 2 10 14 13 8 5 0 13 11 9 6 4 15 7 15 8 4 10 11 3 10 0 1 1 13 14 3 5 14 9 8 7 2 6 2 10 4 12 8 7 2 7 8 3 0 3 1 5 6 15 1 4 11 0 12 10 14 6 15 2 5 14 9 11 9 7 8 1 5 4 9 6 10 11 4 0 2 0 7 9 2 10 6 3 15 12 13 15 12 8 1 13 11 5 3 4 5 10 7 10 8 9 12 9 12 1 7 1 3 13 8 11 0 11 14 0 6 14 13 3 6 2 4 2 5 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 57 57 34 34 55 10 55 0 0 59 17 51 15 15 36 36 59 32 59 0 0 44 48 40 10 48 31 44 0 0 0 65 65 31 18 39 0 10 39 44 64 64 32 68 22 22 0 0 55 55 0 46 68 43 0 53 53 0 32 14 44 49 49 56 56 50 75 64 22 45 21 53 0 47 47 0 56 56 0 56 56 0 15 55 55 0 58 45 97 48 0 0 34 15 58 66 0 14 69 75 47 0 50 50 0 63 63 0 0 67 17 93 41 80 81 21 51 0 0 32 32 0 0 90 32 91 0 70 70 0 35 35 0 45 48 73 55 55 0 0 74 74 31 31 64 67 70 18 47 51 0 21 48 36 0 0 39 59 93 35 21 42 0 0 51 10 44 0 48 48 40 22 50 0 27 69 30 94 0 75 50 41 0 69 69 70 70 0 69 69 88 27 83 0 27 48 81 31 0 44 34 47 0 18 18 0 91 32 61 56 0 39 39 0 75 75 0 0 64 90 57 0 41 61 56 14 14 0 0 82 82 67 70 31 81 79 43 44 0 0 69 69 90 94 39 44 0 46 46 0 0 68 68 0 104 92 31 0 0 81 48 42 97 59 53 68 51 36 21 0 73 111 27 81 0 0 69 69 0 79 81 68 30 30 0 0 103 39 10 105 69 69 17 93 41 67 0 0 49 49 0 43 43 51 36 55 0 93 93 66 66 0 55 59 39 0 111 59 55 0 69 69 65 31 73 101 0 51 27 75 10 10 0 0 69 69 73 68 103 0 0 70 70 105 57 10 64 105 17 113 0 0 70 70 69 69 45 32 69 58 47 66 0 67 48 44 10 10 0 0 0 94 94 90 90 0 0 73 73 90 57 97 81 101 10 66 80 57 10 55 0 27 27 0 0 30 30 0 0 88 56 48 0 0 0 104 81 41 0 0 50 34 59 0 75 27 92 64 31 91 0 90 101 66 0 32 59 61 91 17 105 69 0 82 81 46 53 0 17 17 0 0 70 70 56 15 59 0 0 111 75 83 0 0 91 32 97 27 0 0 113 44 41 72 0 69 51 39 0 97 68 30 97 0 68 44 57 0 32 32 0 0 45 113 59 59 0 0 63 47 91 90 45 59 0 </values>
2400.05/2383.20	v </instantiation>
2400.05/2383.20	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 (9371 MiB free)
  memory of node 1: 16384 MiB (10234 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292265-1532553181/watcher-4292265-1532553181 -o /tmp/evaluation-result-4292265-1532553181/solver-4292265-1532553181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532523806-27754 --watchdog 2560 HOME/xcsp3-exec -seed 1547747240 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292265-1532553181.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
solver pid=328, runsolver pid=325
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 1.96 2.04 2.04 3/217 346
/proc/meminfo: memFree=20059604/32770624 swapFree=67108860/67108860
[pid=328] ppid=325 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/328/stat : 328 (xcsp3-exec) S 325 328 27722 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 72881281 115843072 364 33554432000 4194304 5098028 140731442079824 140731442077928 140080125641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25079808 140731442082874 140731442083076 140731442083076 140731442085834 0
/proc/328/statm: 28282 364 306 221 0 87 0
[pid=330] ppid=328 vsize=14082840 memory=28408 CPUtime=0.11 cores=1,3,5,7
/proc/330/stat : 330 (java) S 328 328 27722 0 -1 1077944320 5510 0 0 0 10 1 0 0 20 0 15 0 72881281 14420828160 7102 33554432000 4194304 4196468 140725518532816 140725518515360 139813360025335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
/proc/330/statm: 3520710 7102 2975 1 0 3483008 0
[pid=330/tid=331] ppid=328 vsize=14082840 memory=7883960649037381690 CPUtime=0.08 cores=1,3,5,7
/proc/330/task/331/stat : 331 (java) R 328 328 27722 0 -1 4202560 3541 0 0 0 8 0 0 0 20 0 15 0 72881282 14420828160 7167 33554432000 4194304 4196468 140725518532816 139813364257584 139812947480248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=332] ppid=328 vsize=14082840 memory=12678 CPUtime=0 cores=1,3,5,7
/proc/330/task/332/stat : 332 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14420828160 7167 33554432000 4194304 4196468 140725518532816 139813275093904 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=333] ppid=328 vsize=14082840 memory=3762113421171127968 CPUtime=0 cores=1,3,5,7
/proc/330/task/333/stat : 333 (java) S 328 328 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72881282 14420828160 7167 33554432000 4194304 4196468 140725518532816 139813274041104 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=334] ppid=328 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/334/stat : 334 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14420828160 7167 33554432000 4194304 4196468 140725518532816 139813272988816 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=335] ppid=328 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/330/task/335/stat : 335 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14420828160 7167 33554432000 4194304 4196468 140725518532816 139813271936016 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=336] ppid=328 vsize=14082840 memory=139647231358592 CPUtime=0 cores=1,3,5,7
/proc/330/task/336/stat : 336 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881284 14420828160 7167 33554432000 4194304 4196468 140725518532816 139812540987504 139813360036482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=337] ppid=328 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/330/task/337/stat : 337 (java) S 328 328 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72881284 14420828160 7167 33554432000 4194304 4196468 140725518532816 139812539933472 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=338] ppid=328 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/338/stat : 338 (java) S 328 328 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72881284 14420828160 7167 33554432000 4194304 4196468 140725518532816 139812538881136 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=341] ppid=328 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/341/stat : 341 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14420828160 7167 33554432000 4194304 4196468 140725518532816 139812537829456 139813360043931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=342] ppid=328 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/342/stat : 342 (java) S 328 328 27722 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 72881287 14420828160 7167 33554432000 4194304 4196468 140725518532816 139812536777328 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=343] ppid=328 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/330/task/343/stat : 343 (java) S 328 328 27722 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 72881287 14420828160 7167 33554432000 4194304 4196468 140725518532816 139812535724528 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=344] ppid=328 vsize=14082840 memory=139647231358592 CPUtime=0.01 cores=1,3,5,7
/proc/330/task/344/stat : 344 (java) R 328 328 27722 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 72881287 14420828160 7167 33554432000 4194304 4196468 140725518532816 139812534672240 139813338966914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=345] ppid=328 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/330/task/345/stat : 345 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14420828160 7167 33554432000 4194304 4196468 140725518532816 139812533619680 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=346] ppid=328 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/346/stat : 346 (java) S 328 328 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72881287 14420828160 7167 33554432000 4194304 4196468 140725518532816 139812532566448 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29864 KiB

[startup+0.211584 s]*
/proc/loadavg: 1.96 2.04 2.04 3/217 346
/proc/meminfo: memFree=20047968/32770624 swapFree=67108860/67108860
[pid=328] ppid=325 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/328/stat : 328 (xcsp3-exec) S 325 328 27722 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 72881281 115843072 364 33554432000 4194304 5098028 140731442079824 140731442077928 140080125641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25079808 140731442082874 140731442083076 140731442083076 140731442085834 0
/proc/328/statm: 28282 364 306 221 0 87 0
[pid=330] ppid=328 vsize=14082840 memory=41124 CPUtime=0.33 cores=1,3,5,7
/proc/330/stat : 330 (java) S 328 328 27722 0 -1 1077944320 8262 0 0 0 31 2 0 0 20 0 15 0 72881281 14420828160 10281 33554432000 4194304 4196468 140725518532816 140725518515360 139813360025335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
/proc/330/statm: 3520710 10281 3193 1 0 3483008 0
[pid=330/tid=331] ppid=328 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/330/task/331/stat : 331 (java) R 328 328 27722 0 -1 4202560 5466 0 0 0 19 1 0 0 20 0 15 0 72881282 14425186304 10340 33554432000 4194304 4196468 140725518532816 139813364246328 139813344105822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=332] ppid=328 vsize=14087096 memory=12678 CPUtime=0 cores=1,3,5,7
/proc/330/task/332/stat : 332 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14425186304 10340 33554432000 4194304 4196468 140725518532816 139813275093904 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=333] ppid=328 vsize=14087096 memory=3762113421171127968 CPUtime=0 cores=1,3,5,7
/proc/330/task/333/stat : 333 (java) S 328 328 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72881282 14425186304 10340 33554432000 4194304 4196468 140725518532816 139813274041104 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=334] ppid=328 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/334/stat : 334 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14425186304 10340 33554432000 4194304 4196468 140725518532816 139813272988816 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=335] ppid=328 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/330/task/335/stat : 335 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14425186304 10340 33554432000 4194304 4196468 140725518532816 139813271936016 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=336] ppid=328 vsize=14087096 memory=139647231358592 CPUtime=0 cores=1,3,5,7
/proc/330/task/336/stat : 336 (java) S 328 328 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72881284 14425186304 10340 33554432000 4194304 4196468 140725518532816 139812540987504 139813360036482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=337] ppid=328 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/330/task/337/stat : 337 (java) S 328 328 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72881284 14425186304 10340 33554432000 4194304 4196468 140725518532816 139812539933472 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=338] ppid=328 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/338/stat : 338 (java) S 328 328 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72881284 14425186304 10340 33554432000 4194304 4196468 140725518532816 139812538881136 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=341] ppid=328 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/341/stat : 341 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14425186304 10340 33554432000 4194304 4196468 140725518532816 139812537829456 139813360043931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=342] ppid=328 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/330/task/342/stat : 342 (java) S 328 328 27722 0 -1 1077944384 398 0 0 0 3 0 0 0 20 0 15 0 72881287 14425186304 10340 33554432000 4194304 4196468 140725518532816 139812536777328 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=343] ppid=328 vsize=14087096 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/330/task/343/stat : 343 (java) S 328 328 27722 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 15 0 72881287 14425186304 10340 33554432000 4194304 4196468 140725518532816 139812535724528 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=344] ppid=328 vsize=14087096 memory=139647231358592 CPUtime=0.07 cores=1,3,5,7
/proc/330/task/344/stat : 344 (java) R 328 328 27722 0 -1 4202560 797 0 0 0 7 0 0 0 20 0 15 0 72881287 14425186304 10340 33554432000 4194304 4196468 140725518532816 139812534672240 139813338614081 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=345] ppid=328 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/330/task/345/stat : 345 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14425186304 10340 33554432000 4194304 4196468 140725518532816 139812533619680 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=346] ppid=328 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/346/stat : 346 (java) S 328 328 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72881287 14425186304 10340 33554432000 4194304 4196468 140725518532816 139812532566448 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42580 KiB

[startup+0.310493 s]*
/proc/loadavg: 1.96 2.04 2.04 3/217 346
/proc/meminfo: memFree=20042012/32770624 swapFree=67108860/67108860
[pid=328] ppid=325 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/328/stat : 328 (xcsp3-exec) S 325 328 27722 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 72881281 115843072 364 33554432000 4194304 5098028 140731442079824 140731442077928 140080125641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25079808 140731442082874 140731442083076 140731442083076 140731442085834 0
/proc/328/statm: 28282 364 306 221 0 87 0
[pid=330] ppid=328 vsize=14087096 memory=47636 CPUtime=0.5 cores=1,3,5,7
/proc/330/stat : 330 (java) S 328 328 27722 0 -1 1077944320 9070 0 0 0 47 3 0 0 20 0 15 0 72881281 14425186304 11909 33554432000 4194304 4196468 140725518532816 140725518515360 139813360025335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
/proc/330/statm: 3521774 11909 3225 1 0 3483008 0
[pid=330/tid=331] ppid=328 vsize=14087096 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/330/task/331/stat : 331 (java) R 328 328 27722 0 -1 4202560 6168 0 0 0 28 2 0 0 20 0 15 0 72881282 14425186304 11983 33554432000 4194304 4196468 140725518532816 139813364256448 139813344105822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=332] ppid=328 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/330/task/332/stat : 332 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14425186304 11983 33554432000 4194304 4196468 140725518532816 139813275093904 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=333] ppid=328 vsize=14087096 memory=8187704045996106359 CPUtime=0 cores=1,3,5,7
/proc/330/task/333/stat : 333 (java) S 328 328 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72881282 14425186304 11983 33554432000 4194304 4196468 140725518532816 139813274041104 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=334] ppid=328 vsize=14087096 memory=6945782492362334265 CPUtime=0 cores=1,3,5,7
/proc/330/task/334/stat : 334 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14425186304 11983 33554432000 4194304 4196468 140725518532816 139813272988816 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=335] ppid=328 vsize=14087096 memory=-7522837415797432224 CPUtime=0 cores=1,3,5,7
/proc/330/task/335/stat : 335 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14425186304 11983 33554432000 4194304 4196468 140725518532816 139813271936016 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=336] ppid=328 vsize=14087096 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/330/task/336/stat : 336 (java) S 328 328 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72881284 14425186304 11983 33554432000 4194304 4196468 140725518532816 139812540987504 139813360036482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=337] ppid=328 vsize=14087096 memory=-8609294068986781045 CPUtime=0 cores=1,3,5,7
/proc/330/task/337/stat : 337 (java) S 328 328 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72881284 14425186304 11983 33554432000 4194304 4196468 140725518532816 139812539933472 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=338] ppid=328 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/338/stat : 338 (java) S 328 328 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72881284 14425186304 11983 33554432000 4194304 4196468 140725518532816 139812538881136 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=341] ppid=328 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/341/stat : 341 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14425186304 11983 33554432000 4194304 4196468 140725518532816 139812537829456 139813360043931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=342] ppid=328 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/330/task/342/stat : 342 (java) R 328 328 27722 0 -1 4202560 412 0 0 0 4 0 0 0 20 0 15 0 72881287 14425186304 11983 33554432000 4194304 4196468 140725518532816 139812536777328 139813360036482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=343] ppid=328 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/330/task/343/stat : 343 (java) R 328 328 27722 0 -1 1077944384 377 0 0 0 3 0 0 0 20 0 15 0 72881287 14425186304 11983 33554432000 4194304 4196468 140725518532816 139812535724528 139813360036482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=344] ppid=328 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/330/task/344/stat : 344 (java) S 328 328 27722 0 -1 1077944384 863 0 0 0 12 0 0 0 20 0 15 0 72881287 14425186304 11983 33554432000 4194304 4196468 140725518532816 139812534672240 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=345] ppid=328 vsize=14087096 memory=3904956473632436784 CPUtime=0 cores=1,3,5,7
/proc/330/task/345/stat : 345 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14425186304 11983 33554432000 4194304 4196468 140725518532816 139812533619680 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=346] ppid=328 vsize=14087096 memory=3977134984246761137 CPUtime=0 cores=1,3,5,7
/proc/330/task/346/stat : 346 (java) S 328 328 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72881287 14425186304 11983 33554432000 4194304 4196468 140725518532816 139812532566448 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49092 KiB

[startup+0.701388 s]
/proc/loadavg: 1.96 2.04 2.04 6/217 346
/proc/meminfo: memFree=20017820/32770624 swapFree=67108860/67108860
[pid=328] ppid=325 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/328/stat : 328 (xcsp3-exec) S 325 328 27722 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 72881281 115843072 364 33554432000 4194304 5098028 140731442079824 140731442077928 140080125641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25079808 140731442082874 140731442083076 140731442083076 140731442085834 0
/proc/328/statm: 28282 364 306 221 0 87 0
[pid=330] ppid=328 vsize=14089220 memory=123220 CPUtime=1.69 cores=1,3,5,7
/proc/330/stat : 330 (java) S 328 328 27722 0 -1 1077944320 12566 0 0 0 164 5 0 0 20 0 15 0 72881281 14427361280 30805 33554432000 4194304 4196468 140725518532816 140725518515360 139813360025335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
/proc/330/statm: 3522305 30805 3332 1 0 3483520 0
[pid=330/tid=331] ppid=328 vsize=14089220 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/330/task/331/stat : 331 (java) R 328 328 27722 0 -1 4202560 6590 0 0 0 63 3 0 0 20 0 15 0 72881282 14427361280 30805 33554432000 4194304 4196468 140725518532816 139813364258224 139812950042922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=332] ppid=328 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/330/task/332/stat : 332 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14427361280 30805 33554432000 4194304 4196468 140725518532816 139813275093904 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=333] ppid=328 vsize=14089220 memory=71156 CPUtime=0 cores=1,3,5,7
/proc/330/task/333/stat : 333 (java) S 328 328 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72881282 14427361280 30805 33554432000 4194304 4196468 140725518532816 139813274041104 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=334] ppid=328 vsize=14089220 memory=21932 CPUtime=0 cores=1,3,5,7
/proc/330/task/334/stat : 334 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14427361280 30805 33554432000 4194304 4196468 140725518532816 139813272988816 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=335] ppid=328 vsize=14089220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/330/task/335/stat : 335 (java) S 328 328 27722 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72881282 14427361280 30805 33554432000 4194304 4196468 140725518532816 139813271936016 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=336] ppid=328 vsize=14089220 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/330/task/336/stat : 336 (java) S 328 328 27722 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72881284 14427361280 30805 33554432000 4194304 4196468 140725518532816 139812540987504 139813360036482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=337] ppid=328 vsize=14089220 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/330/task/337/stat : 337 (java) S 328 328 27722 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72881284 14427361280 30805 33554432000 4194304 4196468 140725518532816 139812539933472 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=338] ppid=328 vsize=14089220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/330/task/338/stat : 338 (java) S 328 328 27722 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72881284 14427361280 30805 33554432000 4194304 4196468 140725518532816 139812538881136 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=341] ppid=328 vsize=14089220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/330/task/341/stat : 341 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14427361280 30805 33554432000 4194304 4196468 140725518532816 139812537829456 139813360043931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=342] ppid=328 vsize=14089220 memory=1196 CPUtime=0.36 cores=1,3,5,7
/proc/330/task/342/stat : 342 (java) R 328 328 27722 0 -1 4202560 1399 0 0 0 36 0 0 0 20 0 15 0 72881287 14427361280 30805 33554432000 4194304 4196468 140725518532816 139812536766000 139813339716429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=343] ppid=328 vsize=14089220 memory=5788 CPUtime=0.33 cores=1,3,5,7
/proc/330/task/343/stat : 343 (java) R 328 328 27722 0 -1 4202560 1604 0 0 0 33 0 0 0 20 0 15 0 72881287 14427361280 30805 33554432000 4194304 4196468 140725518532816 139812535711096 139813339851361 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=344] ppid=328 vsize=14089220 memory=4616 CPUtime=0.3 cores=1,3,5,7
/proc/330/task/344/stat : 344 (java) S 328 328 27722 0 -1 1077944384 1663 0 0 0 30 0 0 0 20 0 15 0 72881287 14427361280 30805 33554432000 4194304 4196468 140725518532816 139812534672240 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=345] ppid=328 vsize=14089220 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/330/task/345/stat : 345 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14427361280 30805 33554432000 4194304 4196468 140725518532816 139812533619680 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=346] ppid=328 vsize=14089220 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/330/task/346/stat : 346 (java) S 328 328 27722 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72881287 14427361280 30805 33554432000 4194304 4196468 140725518532816 139812532566448 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 124676 KiB

[startup+1.50139 s]
/proc/loadavg: 1.96 2.04 2.04 6/217 346
/proc/meminfo: memFree=19907092/32770624 swapFree=67108860/67108860
[pid=328] ppid=325 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/328/stat : 328 (xcsp3-exec) S 325 328 27722 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 72881281 115843072 364 33554432000 4194304 5098028 140731442079824 140731442077928 140080125641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25079808 140731442082874 140731442083076 140731442083076 140731442085834 0
/proc/328/statm: 28282 364 306 221 0 87 0

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

/proc/330/task/338/stat : 338 (java) S 328 328 27722 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 72881284 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812538881152 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=341] ppid=328 vsize=14091268 memory=1283856 CPUtime=0 cores=1,3,5,7
/proc/330/task/341/stat : 341 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812537829456 139813360043931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=342] ppid=328 vsize=14091268 memory=1456 CPUtime=5.61 cores=1,3,5,7
/proc/330/task/342/stat : 342 (java) S 328 328 27722 0 -1 1077944384 24970 0 0 0 558 3 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812536777328 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=343] ppid=328 vsize=14091268 memory=1283856 CPUtime=5.5 cores=1,3,5,7
/proc/330/task/343/stat : 343 (java) S 328 328 27722 0 -1 1077944384 24689 0 0 0 546 4 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812535724528 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=344] ppid=328 vsize=14091268 memory=1456 CPUtime=1.05 cores=1,3,5,7
/proc/330/task/344/stat : 344 (java) S 328 328 27722 0 -1 1077944384 13093 0 0 0 102 3 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812534672240 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=345] ppid=328 vsize=14091268 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/330/task/345/stat : 345 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812533619680 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=346] ppid=328 vsize=14091268 memory=1196 CPUtime=1.37 cores=1,3,5,7
/proc/330/task/346/stat : 346 (java) S 328 328 27722 0 -1 1077944384 1607 0 0 0 61 76 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812532566448 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
Current children cumulated CPU time: 2279.02 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1285312 KiB

[startup+2322.3 s]
/proc/loadavg: 1.79 1.88 1.94 3/218 503
/proc/meminfo: memFree=18964160/32770624 swapFree=67108860/67108860
[pid=328] ppid=325 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/328/stat : 328 (xcsp3-exec) S 325 328 27722 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 72881281 115843072 364 33554432000 4194304 5098028 140731442079824 140731442077928 140080125641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25079808 140731442082874 140731442083076 140731442083076 140731442085834 0
/proc/328/statm: 28282 364 306 221 0 87 0
[pid=330] ppid=328 vsize=14091268 memory=1283856 CPUtime=2339.06 cores=1,3,5,7
/proc/330/stat : 330 (java) S 328 328 27722 0 -1 1077944320 110388 0 0 0 233747 159 0 0 20 0 15 0 72881281 14429458432 320964 33554432000 4194304 4196468 140725518532816 140725518515360 139813360025335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
/proc/330/statm: 3522817 320964 3426 1 0 3484032 0
[pid=330/tid=331] ppid=328 vsize=14091268 memory=1283856 CPUtime=2321.2 cores=1,3,5,7
/proc/330/task/331/stat : 331 (java) R 328 328 27722 0 -1 4202560 34681 0 0 0 232103 17 0 0 20 0 15 0 72881282 14429458432 320964 33554432000 4194304 4196468 140725518532816 139813364264736 139812957213682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=332] ppid=328 vsize=14091268 memory=4140 CPUtime=1.02 cores=1,3,5,7
/proc/330/task/332/stat : 332 (java) S 328 328 27722 0 -1 1077944384 1076 0 0 0 87 15 0 0 20 0 15 0 72881282 14429458432 320964 33554432000 4194304 4196468 140725518532816 139813275093904 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=333] ppid=328 vsize=14091268 memory=1408 CPUtime=1.03 cores=1,3,5,7
/proc/330/task/333/stat : 333 (java) S 328 328 27722 0 -1 1077944384 1372 0 0 0 88 15 0 0 20 0 15 0 72881282 14429458432 320964 33554432000 4194304 4196468 140725518532816 139813274041104 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=334] ppid=328 vsize=14091268 memory=1456 CPUtime=1.03 cores=1,3,5,7
/proc/330/task/334/stat : 334 (java) S 328 328 27722 0 -1 1077944384 1730 0 0 0 88 15 0 0 20 0 15 0 72881282 14429458432 320964 33554432000 4194304 4196468 140725518532816 139813272988816 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=335] ppid=328 vsize=14091268 memory=1283856 CPUtime=1.02 cores=1,3,5,7
/proc/330/task/335/stat : 335 (java) S 328 328 27722 0 -1 1077944384 2476 0 0 0 87 15 0 0 20 0 15 0 72881282 14429458432 320964 33554432000 4194304 4196468 140725518532816 139813271936016 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=336] ppid=328 vsize=14091268 memory=1456 CPUtime=0.09 cores=1,3,5,7
/proc/330/task/336/stat : 336 (java) S 328 328 27722 0 -1 1077944384 3313 0 0 0 6 3 0 0 20 0 15 0 72881284 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812540987504 139813360036482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=337] ppid=328 vsize=14091268 memory=1283856 CPUtime=0 cores=1,3,5,7
/proc/330/task/337/stat : 337 (java) S 328 328 27722 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72881284 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812539933536 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=338] ppid=328 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/330/task/338/stat : 338 (java) S 328 328 27722 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 72881284 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812538881152 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=341] ppid=328 vsize=14091268 memory=1283856 CPUtime=0 cores=1,3,5,7
/proc/330/task/341/stat : 341 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812537829456 139813360043931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=342] ppid=328 vsize=14091268 memory=1283856 CPUtime=5.61 cores=1,3,5,7
/proc/330/task/342/stat : 342 (java) S 328 328 27722 0 -1 1077944384 24972 0 0 0 558 3 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812536777328 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=343] ppid=328 vsize=14091268 memory=1456 CPUtime=5.5 cores=1,3,5,7
/proc/330/task/343/stat : 343 (java) S 328 328 27722 0 -1 1077944384 24691 0 0 0 546 4 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812535724528 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=344] ppid=328 vsize=14091268 memory=1456 CPUtime=1.05 cores=1,3,5,7
/proc/330/task/344/stat : 344 (java) S 328 328 27722 0 -1 1077944384 13096 0 0 0 102 3 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812534672240 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=345] ppid=328 vsize=14091268 memory=1283856 CPUtime=0 cores=1,3,5,7
/proc/330/task/345/stat : 345 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812533619680 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=346] ppid=328 vsize=14091268 memory=1456 CPUtime=1.4 cores=1,3,5,7
/proc/330/task/346/stat : 346 (java) S 328 328 27722 0 -1 1077944384 1628 0 0 0 62 78 0 0 20 0 15 0 72881287 14429458432 320964 33554432000 4194304 4196468 140725518532816 139812532566448 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
Current children cumulated CPU time: 2339.06 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1285312 KiB

[startup+2382.3 s]
/proc/loadavg: 1.84 1.88 1.94 3/218 504
/proc/meminfo: memFree=18933560/32770624 swapFree=67108860/67108860
[pid=328] ppid=325 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/328/stat : 328 (xcsp3-exec) S 325 328 27722 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 72881281 115843072 364 33554432000 4194304 5098028 140731442079824 140731442077928 140080125641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25079808 140731442082874 140731442083076 140731442083076 140731442085834 0
/proc/328/statm: 28282 364 306 221 0 87 0
[pid=330] ppid=328 vsize=14091268 memory=1310544 CPUtime=2399.15 cores=1,3,5,7
/proc/330/stat : 330 (java) S 328 328 27722 0 -1 1077944320 111678 0 0 0 239750 165 0 0 20 0 15 0 72881281 14429458432 327636 33554432000 4194304 4196468 140725518532816 140725518515360 139813360025335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
/proc/330/statm: 3522817 327636 3426 1 0 3484032 0
[pid=330/tid=331] ppid=328 vsize=14091268 memory=1456 CPUtime=2381.17 cores=1,3,5,7
/proc/330/task/331/stat : 331 (java) R 328 328 27722 0 -1 4202560 35129 0 0 0 238100 17 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813364264736 139812957213737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=332] ppid=328 vsize=14091268 memory=952 CPUtime=1.04 cores=1,3,5,7
/proc/330/task/332/stat : 332 (java) S 328 328 27722 0 -1 1077944384 1131 0 0 0 88 16 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813275093904 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=333] ppid=328 vsize=14091268 memory=1456 CPUtime=1.04 cores=1,3,5,7
/proc/330/task/333/stat : 333 (java) S 328 328 27722 0 -1 1077944384 1671 0 0 0 88 16 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813274041104 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=334] ppid=328 vsize=14091268 memory=1310544 CPUtime=1.04 cores=1,3,5,7
/proc/330/task/334/stat : 334 (java) S 328 328 27722 0 -1 1077944384 1763 0 0 0 89 15 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813272988816 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=335] ppid=328 vsize=14091268 memory=6791534058613427641 CPUtime=1.05 cores=1,3,5,7
/proc/330/task/335/stat : 335 (java) S 328 328 27722 0 -1 1077944384 2761 0 0 0 88 17 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813271936016 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=336] ppid=328 vsize=14091268 memory=12916 CPUtime=0.1 cores=1,3,5,7
/proc/330/task/336/stat : 336 (java) S 328 328 27722 0 -1 1077944384 3479 0 0 0 6 4 0 0 20 0 15 0 72881284 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812540987504 139813360036482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=337] ppid=328 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/330/task/337/stat : 337 (java) S 328 328 27722 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72881284 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812539933536 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=338] ppid=328 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/330/task/338/stat : 338 (java) S 328 328 27722 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 72881284 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812538881152 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=341] ppid=328 vsize=14091268 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/330/task/341/stat : 341 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812537829456 139813360043931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=342] ppid=328 vsize=14091268 memory=1408 CPUtime=5.61 cores=1,3,5,7
/proc/330/task/342/stat : 342 (java) S 328 328 27722 0 -1 1077944384 24972 0 0 0 558 3 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812536777328 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=343] ppid=328 vsize=14091268 memory=1456 CPUtime=5.5 cores=1,3,5,7
/proc/330/task/343/stat : 343 (java) S 328 328 27722 0 -1 1077944384 24691 0 0 0 546 4 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812535724528 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=344] ppid=328 vsize=14091268 memory=1310544 CPUtime=1.05 cores=1,3,5,7
/proc/330/task/344/stat : 344 (java) S 328 328 27722 0 -1 1077944384 13096 0 0 0 102 3 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812534672240 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=345] ppid=328 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/330/task/345/stat : 345 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812533619680 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=346] ppid=328 vsize=14091268 memory=1310544 CPUtime=1.44 cores=1,3,5,7
/proc/330/task/346/stat : 346 (java) S 328 328 27722 0 -1 1077944384 1632 0 0 0 64 80 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812532566448 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
Current children cumulated CPU time: 2399.15 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1312000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2383.2 s]
/proc/loadavg: 1.84 1.88 1.94 3/218 504
/proc/meminfo: memFree=18933560/32770624 swapFree=67108860/67108860
[pid=328] ppid=325 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/328/stat : 328 (xcsp3-exec) S 325 328 27722 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 72881281 115843072 364 33554432000 4194304 5098028 140731442079824 140731442077928 140080125641340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25079808 140731442082874 140731442083076 140731442083076 140731442085834 0
/proc/328/statm: 28282 364 306 221 0 87 0
[pid=330] ppid=328 vsize=14091268 memory=1310544 CPUtime=2400.05 cores=1,3,5,7
/proc/330/stat : 330 (java) S 328 328 27722 0 -1 1077944320 111680 0 0 0 239840 165 0 0 20 0 15 0 72881281 14429458432 327636 33554432000 4194304 4196468 140725518532816 140725518515360 139813360025335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
/proc/330/statm: 3522817 327636 3426 1 0 3484032 0
[pid=330/tid=331] ppid=328 vsize=14091268 memory=1408 CPUtime=2382.07 cores=1,3,5,7
/proc/330/task/331/stat : 331 (java) R 328 328 27722 0 -1 4202560 35131 0 0 0 238190 17 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813364264736 139812958262537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=332] ppid=328 vsize=14091268 memory=3284 CPUtime=1.04 cores=1,3,5,7
/proc/330/task/332/stat : 332 (java) S 328 328 27722 0 -1 1077944384 1131 0 0 0 88 16 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813275093904 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=333] ppid=328 vsize=14091268 memory=6947385649911455296 CPUtime=1.04 cores=1,3,5,7
/proc/330/task/333/stat : 333 (java) S 328 328 27722 0 -1 1077944384 1671 0 0 0 88 16 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813274041104 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=334] ppid=328 vsize=14091268 memory=1310544 CPUtime=1.04 cores=1,3,5,7
/proc/330/task/334/stat : 334 (java) S 328 328 27722 0 -1 1077944384 1763 0 0 0 89 15 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813272988816 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=335] ppid=328 vsize=14091268 memory=21976 CPUtime=1.05 cores=1,3,5,7
/proc/330/task/335/stat : 335 (java) S 328 328 27722 0 -1 1077944384 2761 0 0 0 88 17 0 0 20 0 15 0 72881282 14429458432 327636 33554432000 4194304 4196468 140725518532816 139813271936016 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=336] ppid=328 vsize=14091268 memory=1408 CPUtime=0.1 cores=1,3,5,7
/proc/330/task/336/stat : 336 (java) S 328 328 27722 0 -1 1077944384 3479 0 0 0 6 4 0 0 20 0 15 0 72881284 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812540987504 139813360036482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=337] ppid=328 vsize=14091268 memory=1310544 CPUtime=0 cores=1,3,5,7
/proc/330/task/337/stat : 337 (java) S 328 328 27722 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72881284 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812539933536 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=338] ppid=328 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/330/task/338/stat : 338 (java) S 328 328 27722 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 72881284 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812538881152 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=341] ppid=328 vsize=14091268 memory=1310544 CPUtime=0 cores=1,3,5,7
/proc/330/task/341/stat : 341 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812537829456 139813360043931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=342] ppid=328 vsize=14091268 memory=21976 CPUtime=5.61 cores=1,3,5,7
/proc/330/task/342/stat : 342 (java) S 328 328 27722 0 -1 1077944384 24972 0 0 0 558 3 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812536777328 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=343] ppid=328 vsize=14091268 memory=1408 CPUtime=5.5 cores=1,3,5,7
/proc/330/task/343/stat : 343 (java) S 328 328 27722 0 -1 1077944384 24691 0 0 0 546 4 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812535724528 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=344] ppid=328 vsize=14091268 memory=3264 CPUtime=1.05 cores=1,3,5,7
/proc/330/task/344/stat : 344 (java) S 328 328 27722 0 -1 1077944384 13096 0 0 0 102 3 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812534672240 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=345] ppid=328 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/330/task/345/stat : 345 (java) S 328 328 27722 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812533619680 139813360035541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
[pid=330/tid=346] ppid=328 vsize=14091268 memory=179356 CPUtime=1.44 cores=1,3,5,7
/proc/330/task/346/stat : 346 (java) S 328 328 27722 0 -1 1077944384 1632 0 0 0 64 80 0 0 20 0 15 0 72881287 14429458432 327636 33554432000 4194304 4196468 140725518532816 139812532566448 139813360036482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7372800 140725518537857 140725518538033 140725518538033 140725518540751 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 1312000 KiB

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

[startup+2383.21 s]
# the end of solver process 328 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002002 s, system=0.001086 s

[startup+2383.22 s]
# the end of solver process 330 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.42 s, system=1.65942 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): 2383.22
CPU time (s): 2400.08
CPU user time (s): 2398.42
CPU system time (s): 1.65942
CPU usage (%): 100.708
Max. virtual memory (cumulated for all children) (KiB): 14206408
Max. memory (cumulated for all children) (KiB): 1312040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.42
system time used= 1.65942
maximum resident set size= 1311116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55898
involuntary context switches= 1517


# summary of solver processes directly reported to runsolver:
#   pid: 328,330
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2398.42
#   total CPU system time (s): 1.65942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2158 second user time and 22.9066 second system time

The end

Name	TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml
MD5SUM	e08ad5e9bb2dce0f9ded0033a126b6aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	20855
Best CPU time to get the best result obtained on this benchmark	2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables	1936
Number of constraints	8495
Number of domains	3
Minimum domain size	2
Maximum domain size	66
Distribution of domain sizes	[{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}]
Minimum variable degree	2
Maximum variable degree	50
Distribution of variable degrees	[{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}]
Number of extensional constraints	496
Number of intensional constraints	6977
Distribution of constraint types	[{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4292265

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