2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-14	SAT (TO)	13478	2520.13	2485.14

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 823865910
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
5.33/2.84	c Parsing done, starting search...
5.92/3.11	o 14181
6.61/3.39	o 14137
6.91/3.40	o 14123
6.91/3.40	o 14117
6.91/3.48	o 14105
7.23/3.50	o 14089
9.21/4.62	o 14079
9.92/5.19	o 14075
10.09/5.22	o 14071
13.73/8.62	o 14048
13.73/8.64	o 14004
13.73/8.68	o 13992
13.84/8.75	o 13982
24.50/18.92	o 13954
24.60/19.06	o 13948
24.91/19.31	o 13930
27.02/21.40	o 13926
27.12/21.51	o 13922
32.75/27.09	o 13920
33.05/27.35	o 13917
33.55/27.81	o 13913
33.55/27.81	o 13911
33.55/27.82	o 13905
33.55/27.83	o 13897
33.86/28.12	o 13889
33.86/28.13	o 13887
33.86/28.14	o 13879
33.86/28.14	o 13870
33.86/28.15	o 13851
33.86/28.17	o 13843
131.81/125.84	o 13842
131.81/125.84	o 13830
131.81/125.86	o 13826
132.12/126.18	o 13822
132.31/126.31	o 13807
132.93/126.92	o 13800
133.43/127.49	o 13797
133.43/127.49	o 13792
133.53/127.51	o 13791
133.63/127.65	o 13787
289.67/283.31	o 13783
290.37/284.08	o 13775
290.60/284.28	o 13751
292.29/285.99	o 13750
292.60/286.29	o 13735
292.69/286.35	o 13727
296.03/289.68	o 13702
296.03/289.69	o 13701
296.03/289.69	o 13691
296.27/289.89	o 13681
296.77/290.36	o 13678
296.88/290.45	o 13672
296.88/290.45	o 13655
296.88/290.48	o 13636
296.88/290.49	o 13632
304.11/297.63	o 13631
304.11/297.66	o 13630
312.72/306.21	o 13629
312.91/306.45	o 13603
312.91/306.47	o 13591
549.51/542.22	o 13588
549.70/542.49	o 13554
550.70/543.49	o 13552
550.70/543.49	o 13540
555.63/548.39	o 13533
555.87/548.51	o 13531
578.52/571.17	o 13526
587.72/580.35	o 13518
587.72/580.35	o 13496
588.93/581.52	o 13492
597.74/590.35	o 13490
597.74/590.36	o 13478
2520.07/2485.11	s SATISFIABLE
2520.07/2485.11	v <instantiation>
2520.07/2485.11	v 	<list>
2520.07/2485.11	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[44][45] d[44][46] d[44][47] d[44][48] d[45][46] d[45][47] d[45][48] d[46][47] d[46][48] d[47][48]
2520.07/2485.11	v 	</list>
2520.07/2485.11	v 	<values>
2520.07/2485.11	v 		34 6 36 29 46 3 45 25 26 32 40 44 13 28 0 19 21 37 27 11 12 31 41 39 2 18 8 14 47 35 20 48 23 10 17 9 16 7 5 43 33 24 4 42 15 1 30 22 38 1 2 2 0 2 5 5 0 1 10 2 2 5 5 2 1 2 4 0 5 5 5 5 3 5 5 0 10 0 6 4 0 1 0 10 2 0 0 0 0 0 2 0 1 5 5 1 3 0 6 0 0 6 4 1 10 5 0 2 5 6 0 0 0 0 2 2 10 10 5 0 4 6 1 5 5 0 1 2 5 5 2 4 0 5 1 1 2 1 3 0 0 0 0 1 3 0 4 0 2 2 10 2 10 5 2 0 0 5 0 0 0 1 1 4 0 1 5 5 0 0 0 2 1 2 0 0 5 0 1 10 0 1 0 4 10 0 10 0 0 2 0 0 1 5 2 10 2 1 0 2 0 2 5 0 0 1 0 5 2 0 10 10 3 2 3 0 10 0 5 4 2 0 5 5 0 3 10 5 0 1 5 5 5 0 0 1 2 5 0 0 10 5 5 2 1 5 1 5 0 2 6 0 5 0 1 0 1 4 0 10 0 2 0 0 0 0 2 5 0 1 1 3 0 1 0 0 4 0 5 0 3 2 6 5 2 2 2 1 2 3 2 0 5 5 0 2 1 0 5 4 5 1 0 2 0 10 1 2 0 10 3 0 1 0 1 2 0 5 1 0 0 0 0 2 1 1 0 5 10 0 5 1 3 10 2 0 0 2 4 0 1 0 0 0 2 0 2 0 0 5 2 0 0 0 1 5 5 0 3 0 5 0 2 2 0 5 2 2 5 5 2 2 0 0 2 2 1 0 0 1 2 0 2 2 5 10 2 10 10 2 4 1 0 0 0 2 0 10 5 1 5 0 2 2 5 3 5 5 5 2 5 10 5 10 2 1 3 0 4 5 5 1 2 0 3 2 5 5 0 1 0 5 2 0 2 0 5 0 5 5 1 0 2 10 2 1 5 2 0 5 10 2 2 5 0 2 10 2 1 0 0 1 2 0 1 0 10 2 4 0 3 0 2 5 5 1 1 10 0 0 0 5 10 1 10 10 10 5 2 0 0 2 0 5 5 10 0 0 0 5 2 2 0 2 2 3 5 6 10 3 5 5 1 0 2 2 0 1 1 5 0 0 2 5 3 2 5 10 0 5 1 0 2 0 0 0 3 2 1 1 6 0 2 2 5 2 0 0 5 0 2 5 2 5 5 1 0 1 2 1 2 2 0 5 0 2 5 5 4 0 5 2 5 0 1 1 0 0 2 6 6 5 1 0 0 0 2 2 0 5 0 5 2 2 1 3 5 0 5 0 10 2 0 0 1 0 2 3 5 3 0 5 3 1 5 5 4 1 0 1 1 5 5 4 1 1 5 0 3 5 0 2 5 2 5 2 2 5 0 2 5 2 6 0 3 0 2 2 0 0 1 1 0 5 5 2 0 1 5 0 5 0 0 0 0 0 10 0 2 0 5 0 2 6 4 5 0 0 5 0 1 2 10 0 0 0 2 4 4 2 0 10 0 0 5 2 0 0 0 2 0 5 2 10 2 2 5 1 1 5 4 5 2 6 5 3 5 2 1 4 0 0 2 0 5 0 5 2 0 6 1 0 6 5 0 5 0 5 5 3 0 0 0 2 4 2 2 3 10 2 5 6 0 2 5 0 5 5 2 5 1 2 2 5 0 3 0 0 0 1 2 4 2 1 2 2 2 2 0 0 0 1 10 5 1 0 0 5 1 5 0 0 2 10 10 0 10 2 2 5 0 0 0 5 2 3 3 1 2 5 2 1 0 5 2 1 5 2 4 0 5 5 2 5 10 3 0 5 0 0 1 0 0 2 0 2 1 0 0 0 2 5 3 0 5 0 1 2 2 0 5 1 5 0 5 5 2 2 0 0 5 10 5 1 0 0 0 3 0 6 2 2 1 0 1 6 6 2 5 0 10 3 0 1 1 10 0 0 10 0 0 5 5 3 0 5 0 0 0 0 5 0 0 0 5 5 0 5 2 10 0 1 0 2 5 2 4 5 2 2 5 2 5 0 0 1 0 10 2 0 3 0 1 1 1 0 1 0 2 3 0 1 5 2 0 1 10 10 0 0 2 0 5 6 0 1 5 0 1 1 0 1 5 1 5 2 2 0 1 0 5 0 10 1 4 2 1 10 0 2 10 0 0 1 5 10 0 1 0 0 5 1 5 2 0 3 2 0 2 3 4 10 2 5 2 0 5 5 5 0 5 2 0 4 0 0 1 10 5 2 5 3 2 4 5 2 5 2 5 5 2 10 0 10 2 1 2 10 5 5 1 10 2 5 0 2 5 2 4 6 0 0 0 0 0 5 0 0 2 1 5 0 0 0 0 3 2 10 0 0 1 5 2 2 3 0 1 1 1 1 2 0 0 5 2 1 10 0 0 0 1 1 0 2 5 1 5 0 2 0 0 0 10 0 2 5 0 0 2 3 1 2 10 1 5 5 5 0 4 5 1 0 5 2 5 10 0 0 0 2 0 1 0 2 5 4 10 0 10 3 6 5 1 3 2 2 0 2 0 10 2 5 5 5 0 1 0 0 3 0 10 1 5 5 0 5 5 5 10 5 5 10 10 5 10 1 10 10 1 5 0 1 1 0 2 5 5 2 5 3 0 0 10 5 2 0 0 1 0 2 0 1 0 0 0 10 0 5 2 5 5 2 2 4 2 5 5 5 5 10 5 2 10 0 2 
2520.07/2485.11	v 	</values>
2520.07/2485.11	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13530 MiB free)
  memory of node 1: 16384 MiB (13091 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307931-1534285932/watcher-4307931-1534285932 -o /tmp/evaluation-result-4307931-1534285932/solver-4307931-1534285932 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534258226-15075 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 823865910 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307931-1534285932.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=18279, runsolver pid=18276
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 1.13 1.33 1.35 3/215 18294
/proc/meminfo: memFree=27241004/32770624 swapFree=67030676/67108860
[pid=18279] ppid=18276 vsize=14082736 memory=32020 CPUtime=0.12 cores=1,3,5,7
/proc/18279/stat : 18279 (java) S 18276 18279 15043 0 -1 1077944320 6403 0 0 0 11 1 0 0 20 0 15 0 246156372 14420721664 8005 33554432000 4194304 4196468 140725302758880 140725302741424 140048976645879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
/proc/18279/statm: 3520684 8005 3162 1 0 3482761 0
[pid=18279/tid=18281] ppid=18276 vsize=14082736 memory=-8629632960754520963 CPUtime=0.09 cores=1,3,5,7
/proc/18279/task/18281/stat : 18281 (java) R 18276 18279 15043 0 -1 4202560 4457 0 0 0 9 0 0 0 20 0 15 0 246156372 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048980884896 140048976667805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18282] ppid=18276 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18282/stat : 18282 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048891713808 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18283] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18283/stat : 18283 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048890661264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18284] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18284/stat : 18284 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048889608720 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18285] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18285/stat : 18285 (java) S 18276 18279 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048888556176 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18286] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18286/stat : 18286 (java) S 18276 18279 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246156374 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048450693616 140048976657026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18287] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18287/stat : 18287 (java) S 18276 18279 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246156375 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048449639840 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18288] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18288/stat : 18288 (java) S 18276 18279 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246156375 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048448587248 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18289] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18289/stat : 18289 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156377 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048447535824 140048976664475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18290] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18290/stat : 18290 (java) S 18276 18279 15043 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 246156377 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048446482416 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18291] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18291/stat : 18291 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156377 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048445429872 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18292] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0.01 cores=1,3,5,7
/proc/18279/task/18292/stat : 18292 (java) S 18276 18279 15043 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 246156377 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048444377328 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18293] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18293/stat : 18293 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156378 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048443325024 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18294] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18294/stat : 18294 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156378 14420721664 8005 33554432000 4194304 4196468 140725302758880 140048442272560 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32020 KiB

[startup+0.211085 s]*
/proc/loadavg: 1.13 1.33 1.35 6/215 18294
/proc/meminfo: memFree=27225872/32770624 swapFree=67030676/67108860
[pid=18279] ppid=18276 vsize=14082736 memory=47812 CPUtime=0.3 cores=1,3,5,7
/proc/18279/stat : 18279 (java) S 18276 18279 15043 0 -1 1077944320 10063 0 0 0 28 2 0 0 20 0 15 0 246156372 14420721664 11953 33554432000 4194304 4196468 140725302758880 140725302741424 140048976645879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
/proc/18279/statm: 3520684 11953 3370 1 0 3482761 0
[pid=18279/tid=18281] ppid=18276 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/18279/task/18281/stat : 18281 (java) R 18276 18279 15043 0 -1 4202560 7777 0 0 0 18 1 0 0 20 0 15 0 246156372 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048980874224 140048976667805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18282] ppid=18276 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18282/stat : 18282 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048891713808 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18283] ppid=18276 vsize=14082736 memory=4050903386792531616 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18283/stat : 18283 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048890661264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18284] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18284/stat : 18284 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048889608720 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18285] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18285/stat : 18285 (java) S 18276 18279 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048888556176 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18286] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18286/stat : 18286 (java) S 18276 18279 15043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246156374 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048450693616 140048976657026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18287] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18287/stat : 18287 (java) S 18276 18279 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246156375 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048449639840 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18288] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18288/stat : 18288 (java) S 18276 18279 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246156375 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048448587248 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18289] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18289/stat : 18289 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156377 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048447535824 140048976664475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18290] ppid=18276 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18279/task/18290/stat : 18290 (java) S 18276 18279 15043 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 246156377 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048446482416 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18291] ppid=18276 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18279/task/18291/stat : 18291 (java) S 18276 18279 15043 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 246156377 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048445429872 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18292] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0.05 cores=1,3,5,7
/proc/18279/task/18292/stat : 18292 (java) R 18276 18279 15043 0 -1 4202560 292 0 0 0 5 0 0 0 20 0 15 0 246156377 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048444375288 140048976667226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18293] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18293/stat : 18293 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156378 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048443325024 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18294] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18294/stat : 18294 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156378 14420721664 11953 33554432000 4194304 4196468 140725302758880 140048442272560 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47812 KiB

[startup+0.310343 s]*
/proc/loadavg: 1.13 1.33 1.35 3/215 18294
/proc/meminfo: memFree=27222708/32770624 swapFree=67030676/67108860
[pid=18279] ppid=18276 vsize=14082736 memory=51136 CPUtime=0.44 cores=1,3,5,7
/proc/18279/stat : 18279 (java) S 18276 18279 15043 0 -1 1077944320 10412 0 0 0 41 3 0 0 20 0 15 0 246156372 14420721664 12784 33554432000 4194304 4196468 140725302758880 140725302741424 140048976645879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
/proc/18279/statm: 3520684 12784 3373 1 0 3482761 0
[pid=18279/tid=18281] ppid=18276 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/18279/task/18281/stat : 18281 (java) R 18276 18279 15043 0 -1 4202560 8104 0 0 0 28 2 0 0 20 0 15 0 246156372 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048980824808 140048956921754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18282] ppid=18276 vsize=14082736 memory=4294976238 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18282/stat : 18282 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048891713808 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18283] ppid=18276 vsize=14082736 memory=3905099348856411808 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18283/stat : 18283 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048890661264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18284] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18284/stat : 18284 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048889608720 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18285] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18285/stat : 18285 (java) S 18276 18279 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246156373 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048888556176 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18286] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18286/stat : 18286 (java) S 18276 18279 15043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246156374 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048450693616 140048976657026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18287] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18287/stat : 18287 (java) S 18276 18279 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246156375 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048449639840 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18288] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18288/stat : 18288 (java) S 18276 18279 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246156375 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048448587248 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18289] ppid=18276 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18289/stat : 18289 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156377 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048447535824 140048976664475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18290] ppid=18276 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18279/task/18290/stat : 18290 (java) S 18276 18279 15043 0 -1 1077944384 456 0 0 0 3 0 0 0 20 0 15 0 246156377 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048446482416 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18291] ppid=18276 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18279/task/18291/stat : 18291 (java) S 18276 18279 15043 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 15 0 246156377 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048445429872 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18292] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0.07 cores=1,3,5,7
/proc/18279/task/18292/stat : 18292 (java) S 18276 18279 15043 0 -1 1077944384 303 0 0 0 7 0 0 0 20 0 15 0 246156377 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048444377328 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18293] ppid=18276 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18293/stat : 18293 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156378 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048443325024 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18294] ppid=18276 vsize=14082736 memory=140689105884800 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18294/stat : 18294 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156378 14420721664 12784 33554432000 4194304 4196468 140725302758880 140048442272560 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51136 KiB

[startup+0.700757 s]
/proc/loadavg: 1.13 1.33 1.35 3/215 18294
/proc/meminfo: memFree=27198648/32770624 swapFree=67030676/67108860
[pid=18279] ppid=18276 vsize=14084804 memory=89036 CPUtime=0.99 cores=1,3,5,7
/proc/18279/stat : 18279 (java) S 18276 18279 15043 0 -1 1077944320 17115 0 0 0 94 5 0 0 20 0 15 0 246156372 14422839296 22259 33554432000 4194304 4196468 140725302758880 140725302741424 140048976645879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
/proc/18279/statm: 3521201 22259 3499 1 0 3483273 0
[pid=18279/tid=18281] ppid=18276 vsize=14084804 memory=33432 CPUtime=0.66 cores=1,3,5,7
/proc/18279/task/18281/stat : 18281 (java) D 18276 18279 15043 0 -1 4202560 14443 0 0 0 63 3 0 0 20 0 15 0 246156372 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048980884240 140048976667805 0 4 0 16800975 18446744072099953797 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18282] ppid=18276 vsize=14084804 memory=11908 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18282/stat : 18282 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048891713808 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18283] ppid=18276 vsize=14084804 memory=492 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18283/stat : 18283 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048890661264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18284] ppid=18276 vsize=14084804 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18284/stat : 18284 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048889608720 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18285] ppid=18276 vsize=14084804 memory=932 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18285/stat : 18285 (java) S 18276 18279 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246156373 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048888556176 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18286] ppid=18276 vsize=14084804 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18286/stat : 18286 (java) S 18276 18279 15043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246156374 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048450693616 140048976657026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18287] ppid=18276 vsize=14084804 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18287/stat : 18287 (java) S 18276 18279 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246156375 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048449639840 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18288] ppid=18276 vsize=14084804 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18288/stat : 18288 (java) S 18276 18279 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246156375 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048448587248 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18289] ppid=18276 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18289/stat : 18289 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156377 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048447535824 140048976664475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18290] ppid=18276 vsize=14084804 memory=7881696724453321575 CPUtime=0.09 cores=1,3,5,7
/proc/18279/task/18290/stat : 18290 (java) S 18276 18279 15043 0 -1 1077944384 606 0 0 0 9 0 0 0 20 0 15 0 246156377 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048446482416 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18291] ppid=18276 vsize=14084804 memory=7453282923461570405 CPUtime=0.06 cores=1,3,5,7
/proc/18279/task/18291/stat : 18291 (java) S 18276 18279 15043 0 -1 1077944384 318 0 0 0 6 0 0 0 20 0 15 0 246156377 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048445429872 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18292] ppid=18276 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/18279/task/18292/stat : 18292 (java) S 18276 18279 15043 0 -1 1077944384 366 0 0 0 15 0 0 0 20 0 15 0 246156377 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048444377328 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18293] ppid=18276 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18293/stat : 18293 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156378 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048443325024 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18294] ppid=18276 vsize=14084804 memory=972 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18294/stat : 18294 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156378 14422839296 22259 33554432000 4194304 4196468 140725302758880 140048442272560 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89036 KiB

[startup+1.50071 s]
/proc/loadavg: 1.13 1.33 1.35 4/215 18294
/proc/meminfo: memFree=27162708/32770624 swapFree=67030676/67108860
[pid=18279] ppid=18276 vsize=14088900 memory=166192 CPUtime=2.63 cores=1,3,5,7
/proc/18279/stat : 18279 (java) S 18276 18279 15043 0 -1 1077944320 24658 0 0 0 255 8 0 0 20 0 15 0 246156372 14427033600 41548 33554432000 4194304 4196468 140725302758880 140725302741424 140048976645879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
/proc/18279/statm: 3522225 41548 3550 1 0 3484297 0
[pid=18279/tid=18281] ppid=18276 vsize=14088900 memory=-2247047206207641111 CPUtime=1.33 cores=1,3,5,7
/proc/18279/task/18281/stat : 18281 (java) R 18276 18279 15043 0 -1 4202560 19091 0 0 0 127 6 0 0 20 0 15 0 246156372 14427033600 41548 33554432000 4194304 4196468 140725302758880 140048980881392 140048960726396 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18282] ppid=18276 vsize=14088900 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18282/stat : 18282 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14427033600 41548 33554432000 4194304 4196468 140725302758880 140048891713808 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18283] ppid=18276 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18283/stat : 18283 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14427033600 41548 33554432000 4194304 4196468 140725302758880 140048890661264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18284] ppid=18276 vsize=14088900 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18284/stat : 18284 (java) S 18276 18279 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246156373 14427033600 41548 33554432000 4194304 4196468 140725302758880 140048889608720 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18285] ppid=18276 vsize=14088900 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18285/stat : 18285 (java) S 18276 18279 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246156373 14427033600 41548 33554432000 4194304 4196468 140725302758880 140048888556176 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18286] ppid=18276 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18286/stat : 18286 (java) S 18276 18279 15043 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 246156374 14427033600 41548 33554432000 4194304 4196468 140725302758880 140048450693616 140048976657026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0

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

/proc/18279/task/18281/stat : 18281 (java) R 18276 18279 15043 0 -1 4202560 112250 0 0 0 230760 67 0 0 20 0 15 0 246156372 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048980883936 140048576132516 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18282] ppid=18276 vsize=14090948 memory=14408220252834352 CPUtime=9.22 cores=1,3,5,7
/proc/18279/task/18282/stat : 18282 (java) S 18276 18279 15043 0 -1 1077944384 35361 0 0 0 878 44 0 0 20 0 15 0 246156373 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048891713808 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18283] ppid=18276 vsize=14090948 memory=2600 CPUtime=9.24 cores=1,3,5,7
/proc/18279/task/18283/stat : 18283 (java) S 18276 18279 15043 0 -1 1077944384 36260 0 0 0 881 43 0 0 20 0 15 0 246156373 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048890661264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18284] ppid=18276 vsize=14090948 memory=1408 CPUtime=9.31 cores=1,3,5,7
/proc/18279/task/18284/stat : 18284 (java) S 18276 18279 15043 0 -1 1077944384 45472 0 0 0 886 45 0 0 20 0 15 0 246156373 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048889608720 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18285] ppid=18276 vsize=14090948 memory=3212 CPUtime=9.22 cores=1,3,5,7
/proc/18279/task/18285/stat : 18285 (java) S 18276 18279 15043 0 -1 1077944384 38605 0 0 0 875 47 0 0 20 0 15 0 246156373 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048888556176 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18286] ppid=18276 vsize=14090948 memory=3037688 CPUtime=3.46 cores=1,3,5,7
/proc/18279/task/18286/stat : 18286 (java) S 18276 18279 15043 0 -1 1077944384 30401 0 0 0 317 29 0 0 20 0 15 0 246156374 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048450693616 140048976657026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18287] ppid=18276 vsize=14090948 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18287/stat : 18287 (java) S 18276 18279 15043 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 246156375 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048449639904 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18288] ppid=18276 vsize=14090948 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18288/stat : 18288 (java) S 18276 18279 15043 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246156375 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048448587264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18289] ppid=18276 vsize=14090948 memory=3216 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18289/stat : 18289 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156377 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048447535824 140048976664475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18290] ppid=18276 vsize=14090948 memory=394212 CPUtime=2.1 cores=1,3,5,7
/proc/18279/task/18290/stat : 18290 (java) S 18276 18279 15043 0 -1 1077944384 9655 0 0 0 209 1 0 0 20 0 15 0 246156377 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048446482416 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18291] ppid=18276 vsize=14090948 memory=6791534058613427641 CPUtime=1.91 cores=1,3,5,7
/proc/18279/task/18291/stat : 18291 (java) S 18276 18279 15043 0 -1 1077944384 8120 0 0 0 189 2 0 0 20 0 15 0 246156377 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048445429872 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18292] ppid=18276 vsize=14090948 memory=4872558044660077418 CPUtime=0.99 cores=1,3,5,7
/proc/18279/task/18292/stat : 18292 (java) S 18276 18279 15043 0 -1 1077944384 12764 0 0 0 96 3 0 0 20 0 15 0 246156377 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048444377328 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18293] ppid=18276 vsize=14090948 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18293/stat : 18293 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156378 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048443325024 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18294] ppid=18276 vsize=14090948 memory=6791534058613427641 CPUtime=1.18 cores=1,3,5,7
/proc/18279/task/18294/stat : 18294 (java) S 18276 18279 15043 0 -1 1077944384 2031 0 0 0 51 67 0 0 20 0 15 0 246156378 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048442272560 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
Current children cumulated CPU time: 2354.99 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3037688 KiB

[startup+2382.3 s]
/proc/loadavg: 1.57 1.46 1.43 3/215 18467
/proc/meminfo: memFree=24241064/32770624 swapFree=67030676/67108860
[pid=18279] ppid=18276 vsize=14090948 memory=3037688 CPUtime=2415.85 cores=1,3,5,7
/proc/18279/stat : 18279 (java) S 18276 18279 15043 0 -1 1077944320 338806 0 0 0 241264 321 0 0 20 0 15 0 246156372 14429130752 759422 33554432000 4194304 4196468 140725302758880 140725302741424 140048976645879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
/proc/18279/statm: 3522737 759422 3616 1 0 3484809 0
[pid=18279/tid=18281] ppid=18276 vsize=14090948 memory=2228 CPUtime=2367.84 cores=1,3,5,7
/proc/18279/task/18281/stat : 18281 (java) R 18276 18279 15043 0 -1 4202560 113779 0 0 0 236716 68 0 0 20 0 15 0 246156372 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048980883936 140048576143076 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18282] ppid=18276 vsize=14090948 memory=33464 CPUtime=9.51 cores=1,3,5,7
/proc/18279/task/18282/stat : 18282 (java) S 18276 18279 15043 0 -1 1077944384 36914 0 0 0 906 45 0 0 20 0 15 0 246156373 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048891713808 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18283] ppid=18276 vsize=14090948 memory=1396 CPUtime=9.52 cores=1,3,5,7
/proc/18279/task/18283/stat : 18283 (java) S 18276 18279 15043 0 -1 1077944384 37099 0 0 0 908 44 0 0 20 0 15 0 246156373 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048890661264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18284] ppid=18276 vsize=14090948 memory=1684 CPUtime=9.59 cores=1,3,5,7
/proc/18279/task/18284/stat : 18284 (java) S 18276 18279 15043 0 -1 1077944384 45941 0 0 0 913 46 0 0 20 0 15 0 246156373 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048889608720 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18285] ppid=18276 vsize=14090948 memory=768 CPUtime=9.51 cores=1,3,5,7
/proc/18279/task/18285/stat : 18285 (java) S 18276 18279 15043 0 -1 1077944384 39856 0 0 0 903 48 0 0 20 0 15 0 246156373 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048888556176 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18286] ppid=18276 vsize=14090948 memory=6791534058613427641 CPUtime=3.59 cores=1,3,5,7
/proc/18279/task/18286/stat : 18286 (java) S 18276 18279 15043 0 -1 1077944384 31124 0 0 0 329 30 0 0 20 0 15 0 246156374 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048450693616 140048976657026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18287] ppid=18276 vsize=14090948 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18287/stat : 18287 (java) S 18276 18279 15043 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 246156375 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048449639904 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18288] ppid=18276 vsize=14090948 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18288/stat : 18288 (java) S 18276 18279 15043 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246156375 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048448587264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18289] ppid=18276 vsize=14090948 memory=65144 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18289/stat : 18289 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156377 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048447535824 140048976664475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18290] ppid=18276 vsize=14090948 memory=3037688 CPUtime=2.1 cores=1,3,5,7
/proc/18279/task/18290/stat : 18290 (java) S 18276 18279 15043 0 -1 1077944384 9662 0 0 0 209 1 0 0 20 0 15 0 246156377 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048446482416 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18291] ppid=18276 vsize=14090948 memory=1192 CPUtime=1.91 cores=1,3,5,7
/proc/18279/task/18291/stat : 18291 (java) S 18276 18279 15043 0 -1 1077944384 8128 0 0 0 189 2 0 0 20 0 15 0 246156377 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048445429872 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18292] ppid=18276 vsize=14090948 memory=1520 CPUtime=0.99 cores=1,3,5,7
/proc/18279/task/18292/stat : 18292 (java) S 18276 18279 15043 0 -1 1077944384 12773 0 0 0 96 3 0 0 20 0 15 0 246156377 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048444377328 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18293] ppid=18276 vsize=14090948 memory=2680 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18293/stat : 18293 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156378 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048443325024 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18294] ppid=18276 vsize=14090948 memory=3160 CPUtime=1.2 cores=1,3,5,7
/proc/18279/task/18294/stat : 18294 (java) S 18276 18279 15043 0 -1 1077944384 2086 0 0 0 52 68 0 0 20 0 15 0 246156378 14429130752 759422 33554432000 4194304 4196468 140725302758880 140048442272560 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
Current children cumulated CPU time: 2415.85 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3037688 KiB

[startup+2442.3 s]
/proc/loadavg: 1.43 1.43 1.42 3/215 18468
/proc/meminfo: memFree=24248776/32770624 swapFree=67030676/67108860
[pid=18279] ppid=18276 vsize=14090948 memory=3029480 CPUtime=2476.73 cores=1,3,5,7
/proc/18279/stat : 18279 (java) S 18276 18279 15043 0 -1 1077944320 345347 0 0 0 247346 327 0 0 20 0 15 0 246156372 14429130752 757370 33554432000 4194304 4196468 140725302758880 140725302741424 140048976645879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
/proc/18279/statm: 3522737 757370 3616 1 0 3484809 0
[pid=18279/tid=18281] ppid=18276 vsize=14090948 memory=288230583166042426 CPUtime=2427.41 cores=1,3,5,7
/proc/18279/task/18281/stat : 18281 (java) R 18276 18279 15043 0 -1 4202560 115429 0 0 0 242673 68 0 0 20 0 15 0 246156372 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048980884144 140048576196364 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18282] ppid=18276 vsize=14090948 memory=14408220252834352 CPUtime=9.8 cores=1,3,5,7
/proc/18279/task/18282/stat : 18282 (java) S 18276 18279 15043 0 -1 1077944384 38192 0 0 0 934 46 0 0 20 0 15 0 246156373 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048891713808 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18283] ppid=18276 vsize=14090948 memory=1396 CPUtime=9.81 cores=1,3,5,7
/proc/18279/task/18283/stat : 18283 (java) S 18276 18279 15043 0 -1 1077944384 38108 0 0 0 936 45 0 0 20 0 15 0 246156373 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048890661264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18284] ppid=18276 vsize=14090948 memory=1684 CPUtime=9.87 cores=1,3,5,7
/proc/18279/task/18284/stat : 18284 (java) S 18276 18279 15043 0 -1 1077944384 46755 0 0 0 940 47 0 0 20 0 15 0 246156373 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048889608720 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18285] ppid=18276 vsize=14090948 memory=768 CPUtime=9.81 cores=1,3,5,7
/proc/18279/task/18285/stat : 18285 (java) S 18276 18279 15043 0 -1 1077944384 40842 0 0 0 932 49 0 0 20 0 15 0 246156373 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048888556176 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18286] ppid=18276 vsize=14090948 memory=5292 CPUtime=3.71 cores=1,3,5,7
/proc/18279/task/18286/stat : 18286 (java) S 18276 18279 15043 0 -1 1077944384 31849 0 0 0 340 31 0 0 20 0 15 0 246156374 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048450693616 140048976657026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18287] ppid=18276 vsize=14090948 memory=11068 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18287/stat : 18287 (java) S 18276 18279 15043 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 246156375 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048449639904 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18288] ppid=18276 vsize=14090948 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18288/stat : 18288 (java) S 18276 18279 15043 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246156375 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048448587264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18289] ppid=18276 vsize=14090948 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18289/stat : 18289 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156377 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048447535824 140048976664475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18290] ppid=18276 vsize=14090948 memory=2680 CPUtime=2.1 cores=1,3,5,7
/proc/18279/task/18290/stat : 18290 (java) S 18276 18279 15043 0 -1 1077944384 9669 0 0 0 209 1 0 0 20 0 15 0 246156377 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048446482416 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18291] ppid=18276 vsize=14090948 memory=3160 CPUtime=1.91 cores=1,3,5,7
/proc/18279/task/18291/stat : 18291 (java) S 18276 18279 15043 0 -1 1077944384 8136 0 0 0 189 2 0 0 20 0 15 0 246156377 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048445429872 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18292] ppid=18276 vsize=14090948 memory=2120 CPUtime=1 cores=1,3,5,7
/proc/18279/task/18292/stat : 18292 (java) S 18276 18279 15043 0 -1 1077944384 12782 0 0 0 97 3 0 0 20 0 15 0 246156377 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048444377328 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18293] ppid=18276 vsize=14090948 memory=752 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18293/stat : 18293 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156378 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048443325024 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18294] ppid=18276 vsize=14090948 memory=6082789057340728679 CPUtime=1.23 cores=1,3,5,7
/proc/18279/task/18294/stat : 18294 (java) S 18276 18279 15043 0 -1 1077944384 2141 0 0 0 53 70 0 0 20 0 15 0 246156378 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048442272560 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
Current children cumulated CPU time: 2476.73 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3029480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2485.1 s]*
/proc/loadavg: 1.25 1.39 1.40 3/215 18469
/proc/meminfo: memFree=24248360/32770624 swapFree=67030676/67108860
[pid=18279] ppid=18276 vsize=14090948 memory=3029480 CPUtime=2520.07 cores=1,3,5,7
/proc/18279/stat : 18279 (java) S 18276 18279 15043 0 -1 1077944320 349791 0 0 0 251676 331 0 0 20 0 15 0 246156372 14429130752 757370 33554432000 4194304 4196468 140725302758880 140725302741424 140048976645879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
/proc/18279/statm: 3522737 757370 3616 1 0 3484809 0
[pid=18279/tid=18281] ppid=18276 vsize=14090948 memory=7976406965554101975 CPUtime=2469.9 cores=1,3,5,7
/proc/18279/task/18281/stat : 18281 (java) R 18276 18279 15043 0 -1 4202560 116476 0 0 0 246921 69 0 0 20 0 15 0 246156372 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048980884144 140048576133499 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18282] ppid=18276 vsize=14090948 memory=6944656592455097440 CPUtime=9.98 cores=1,3,5,7
/proc/18279/task/18282/stat : 18282 (java) S 18276 18279 15043 0 -1 1077944384 38902 0 0 0 952 46 0 0 20 0 15 0 246156373 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048891713808 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18283] ppid=18276 vsize=14090948 memory=4872558044660077418 CPUtime=10.01 cores=1,3,5,7
/proc/18279/task/18283/stat : 18283 (java) S 18276 18279 15043 0 -1 1077944384 38868 0 0 0 955 46 0 0 20 0 15 0 246156373 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048890661264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18284] ppid=18276 vsize=14090948 memory=13888 CPUtime=10.06 cores=1,3,5,7
/proc/18279/task/18284/stat : 18284 (java) S 18276 18279 15043 0 -1 1077944384 47724 0 0 0 958 48 0 0 20 0 15 0 246156373 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048889608720 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18285] ppid=18276 vsize=14090948 memory=2228 CPUtime=9.99 cores=1,3,5,7
/proc/18279/task/18285/stat : 18285 (java) S 18276 18279 15043 0 -1 1077944384 41259 0 0 0 950 49 0 0 20 0 15 0 246156373 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048888556176 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18286] ppid=18276 vsize=14090948 memory=33464 CPUtime=3.79 cores=1,3,5,7
/proc/18279/task/18286/stat : 18286 (java) S 18276 18279 15043 0 -1 1077944384 32330 0 0 0 347 32 0 0 20 0 15 0 246156374 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048450693616 140048976657026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18287] ppid=18276 vsize=14090948 memory=11908 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18287/stat : 18287 (java) S 18276 18279 15043 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 246156375 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048449639904 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18288] ppid=18276 vsize=14090948 memory=492 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18288/stat : 18288 (java) S 18276 18279 15043 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246156375 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048448587264 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18289] ppid=18276 vsize=14090948 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18289/stat : 18289 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156377 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048447535824 140048976664475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18290] ppid=18276 vsize=14090948 memory=932 CPUtime=2.1 cores=1,3,5,7
/proc/18279/task/18290/stat : 18290 (java) S 18276 18279 15043 0 -1 1077944384 9677 0 0 0 209 1 0 0 20 0 15 0 246156377 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048446482416 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18291] ppid=18276 vsize=14090948 memory=1156 CPUtime=1.91 cores=1,3,5,7
/proc/18279/task/18291/stat : 18291 (java) S 18276 18279 15043 0 -1 1077944384 8143 0 0 0 189 2 0 0 20 0 15 0 246156377 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048445429872 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18292] ppid=18276 vsize=14090948 memory=1572 CPUtime=1 cores=1,3,5,7
/proc/18279/task/18292/stat : 18292 (java) S 18276 18279 15043 0 -1 1077944384 12791 0 0 0 97 3 0 0 20 0 15 0 246156377 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048444377328 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18293] ppid=18276 vsize=14090948 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/18279/task/18293/stat : 18293 (java) S 18276 18279 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246156378 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048443325024 140048976656085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
[pid=18279/tid=18294] ppid=18276 vsize=14090948 memory=2428 CPUtime=1.25 cores=1,3,5,7
/proc/18279/task/18294/stat : 18294 (java) S 18276 18279 15043 0 -1 1077944384 2177 0 0 0 54 71 0 0 20 0 15 0 246156378 14429130752 757370 33554432000 4194304 4196468 140725302758880 140048442272560 140048976657026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21729280 140725302764617 140725302764809 140725302764809 140725302767567 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3029480 KiB

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

[startup+2485.14 s]
# the end of solver process 18279 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.8 s, system=3.33013 s

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

Child status: 143
Real time (s): 2485.14
CPU time (s): 2520.13
CPU user time (s): 2516.8
CPU system time (s): 3.33013
CPU usage (%): 101.408
Max. virtual memory (cumulated for all children) (KiB): 14090980
Max. memory (cumulated for all children) (KiB): 3849652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.8
system time used= 3.33013
maximum resident set size= 3854000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 154892
involuntary context switches= 2804


# summary of solver processes directly reported to runsolver:
#   pid: 18279
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.8
#   total CPU system time (s): 3.33013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2422 second user time and 23.9688 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml
MD5SUM	69d2b1c9cf4919b13dd8bc483772d8bf
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	12137
Best CPU time to get the best result obtained on this benchmark	2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	2450
Number of constraints	1177
Number of domains	2
Minimum domain size	8
Maximum domain size	49
Distribution of domain sizes	[{"size":8,"count":1176},{"size":49,"count":49}]
Minimum variable degree	0
Maximum variable degree	49
Distribution of variable degrees	[{"degree":0,"count":1225},{"degree":2,"count":1176},{"degree":49,"count":49}]
Minimum constraint arity	3
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":3,"count":1176},{"arity":49,"count":1}]
Number of extensional constraints	1176
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1176},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4307931

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