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-17	SAT (TO)	10816	2520.09	2495.73

0.67/0.56	c version: 2018-08-17
0.67/0.57	c seed: 1825016940
0.67/0.57	c timeout: 2520
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 1
0.67/0.59	c Parsing instance...
6.53/2.88	c Parsing done, starting search...
24.09/16.65	o 12429
24.09/16.65	o 12328
24.09/16.67	o 12228
24.09/16.67	o 12227
24.09/16.68	o 12127
24.32/16.72	o 12126
24.32/16.75	o 12125
24.32/16.75	o 12124
24.32/16.77	o 12025
25.64/17.94	o 12023
37.02/29.07	o 11925
37.02/29.08	o 11824
37.12/29.14	o 11823
37.12/29.19	o 11822
37.12/29.19	o 11821
37.12/29.19	o 11722
37.12/29.20	o 11721
37.32/29.39	o 11623
37.32/29.40	o 11622
37.42/29.40	o 11621
37.93/29.97	o 11522
37.93/29.97	o 11521
37.93/29.97	o 11520
37.93/29.97	o 11421
37.93/29.97	o 11420
37.93/29.98	o 11419
38.04/30.11	o 11320
38.14/30.11	o 11319
38.14/30.12	o 11318
38.14/30.12	o 11219
38.14/30.13	o 11218
38.45/30.48	o 11119
38.45/30.49	o 11118
38.57/30.53	o 11117
39.50/31.43	o 11017
39.64/31.55	o 10918
39.64/31.57	o 10917
40.15/32.01	o 10916
40.44/32.31	o 10817
40.44/32.31	o 10816
2520.06/2495.70	s SATISFIABLE
2520.06/2495.70	v <instantiation>
2520.06/2495.70	v 	<list>
2520.06/2495.70	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4]
2520.06/2495.71	v 	</list>
2520.06/2495.71	v 	<values>
2520.06/2495.71	v 		0 1 0 4 4 1 1 4 4 2 4 3 4 4 4 1 4 2 4 2 4 4 4 4 4 4 4 4 1 4 4 4 4 0 2 4 0 2 1 2 0 1 1 4 4 2 4 3 4 0 0 1 2 4 0 4 3 4 4 2 4 4 2 4 4 4 2 4 4 0 4 4 0 2 1 2 0 3 4 1 0 4 4 3 4 1 1 1 2 4 4 4 4 1 2 4 4 4 2 4 4 4 3 4 4 0 4 4 1 4 2 2 0 4 4 3 0 4 0 4 1 1 1 1 4 0 4 4 4 3 4 4 2 1 2 1 4 4 4 4 2 4 2 4 3 4 2 4 0 4 4 4 4 4 0 4 1 4 3 4 4 0 4 2 4 4 4 4 2 1 2 1 2 4 4 4 4 4 2 4 4 4 4 4 0 4 4 4 4 4 4 4 2 4 4 4 4 3 3 4 2 4 2 4 2 4 4 4 4 4 4 4 2 4 2 4 4 4 4 4 4 4 1 0 4 4 4 4 2 4 4 4 4 3 3 4 4 4 2 4 4 4 4 4 4 4 4 4 4 4 2 4 0 0 4 4 4 4 1 2 4 4 4 4 4 4 4 4 4 3 3 1 4 1 4 2 4 4 4 4 4 0 4 4 4 4 4 2 2 1 4 2 1 0 4 3 4 0 0 0 4 4 4 4 1 4 4 4 0 4 4 2 4 4 4 1 2 1 4 4 4 4 4 4 3 4 0 2 1 0 4 4 3 0 0 2 4 4 1 4 1 4 4 4 1 4 2 2 4 0 4 4 4 4 4 2 4 4 4 4 3 4 0 3 4 0 0 4 3 0 4 2 2 1 2 4 2 4 1 4 3 1 2 4 4 0 3 4 4 4 4 4 4 4 4 4 3 4 0 3 4 1 1 0 3 0 4 4 3 1 4 4 2 4 1 4 3 1 4 4 4 0 4 4 4 4 4 4 4 4 1 4 4 4 4 4 4 4 4 0 3 2 4 4 4 3 4 4 4 4 4 4 4 4 4 2 4 4 4 4 4 4 4 4 4 4 1 4 4 4 4 4 4 4 4 0 3 4 0 4 4 4 4 4 4 4 4 4 4 4 2 2 4 4 4 4 4 4 4 0 4 4 4 4 4 0 0 4 1 4 4 2 4 4 0 4 4 4 4 3 4 4 0 1 4 1 4 3 4 4 4 4 1 4 4 4 4 4 4 2 4 0 0 1 1 4 0 2 4 0 2 4 4 4 4 3 1 4 1 2 2 1 4 3 2 0 4 4 4 3 3 2 2 2 4 4 4 0 1 1 1 0 0 4 2 0 3 2 4 1 0 3 2 4 4 4 4 4 4 4 3 0 4 4 4 4 4 4 4 4 4 2 4 4 1 2 4 3 0 4 2 2 4 2 1 1 2 4 4 0 4 4 4 4 2 4 3 0 4 4 4 4 4 4 4 4 4 4 4 4 1 4 4 3 0 4 4 4 4 2 2 1 4 4 4 1 0 4 0 3 4 2 4 0 3 4 4 4 2 1 0 4 4 2 0 0 4 4 4 3 0 4 4 4 4 3 4 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 3 0 4 4 0 4 4 4 1 1 4 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 4 4 4 4 4 4 1 4 1 4 4 0 4 4 4 2 4 0 3 1 4 4 1 0 4 0 4 4 4 0 1 4 4 4 4 4 4 4 4 1 4 4 4 4 3 4 4 0 4 4 4 4 4 1 4 1 1 0 2 0 4 2 4 4 4 1 1 2 2 4 3 4 4 4 3 1 4 4 4 4 4 4 2 4 3 4 2 4 0 4 4 4 1 0 3 0 0 4 2 2 0 3 1 4 4 4 3 4 4 4 4 1 4 4 4 4 4 4 3 4 4 4 4 0 1 4 2 4 1 0 3 1 0 4 2 2 0 4 1 4 4 4 3 4 0 2 4 1 4 4 4 4 4 4 4 4 1 4 2 0 1 4 2 0 3 0 4 1 0 4 4 3 4 4 4 4 2 4 4 4 1 4 4 4 1 4 4 3 4 4 4 4 4 4 2 4 2 4 4 0 4 4 4 4 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 4 4 2 4 4 4 4 4 4 2 4 4 1 4 4 4 4 0 2 4 4 4 4 4 4 4 4 4 4 4 2 4 4 4 4 3 4 4 2 4 4 4 4 4 7 2 2 4 13 6 5 4 0 13 7 6 2 0 13 0 2 9 3 14 7 8 0 0 13 4 6 0 5 13 10 5 0 0 13 4 2 4 4 14 5 2 2 5 14 11 0 4 0 13 8 0 3 1 16 1 0 7 4 16 0 3 6 2 17 3 7 0 1 17 3 4 2 2 17 0 8 0 3 17 0 3 6 0 19 3 1 3 3 18 3 3 0 3 19 0 2 3 3 20 3 2 2 3 18 1 7 0 2 18 0 0 9 0 19 0 0 7 3 18 0 4 4 2 18 7 3 0 0 18 0 0 4 2 22 0 4 0 2 22 0 2 2 2 22 2 2 0 2 22 0 0 4 2 22 1 1 3 1 22 4 0 3 0 21 3 1 1 1 22 0 2 5 0 21 0 0 7 0 21 3 5 4 1 23 6 4 7 2 17 4 6 5 3 18 4 7 6 2 17 3 3 6 2 22 1 0 6 2 27 1 1 3 2 29 3 3 3 2 25 5 5 4 1 21 5 4 5 2 20 5 3 5 5 18 4 6 1 5 20 1 1 2 2 30 3 0 2 1 30 4 4 2 2 24 5 5 8 4 14 6 4 4 3 19 3 3 6 2 22 5 4 5 3 19 6 0 0 3 27 1 5 1 0 29 5 4 1 2 24 2 6 6 3 19 5 3 2 4 22 5 6 5 2 18 4 4 3 3 22 3 0 2 1 30 1 1 4 1 29 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 3 3 0 1 0 0 0 1 3 3 3 3 0 0 0 0 3 3 3 3 3 0 1 3 3 3 0 2 0 2 2 0 0 0 0 1 3 3 0 0 0 1 0 1 1 1 3 3 2 0 2 3 3 0 0 0 1 2 0 2 2 0 2 2 2 2 0 0 0 3 0 0 3 3 0 3 0 3 2 2 1 1 0 0 0 0 0 0 0 3 3 0 0 0 0 0 3 3 2 2 2 0 3 3 3 3 0 0 2 2 1 0 1 1 0 1 1 0 1 0 0 0 3 0 0 0 2 2 0 0 3 3 1 0 0 1 0 1 0 0 3 0 0 2 0 0 2 0 0 2 0 0 2 2 0 0 0 0 0 0 1 0 3 0 0 2 2 0 1 1 3 3 0 0 1 1 0 0 0 0 3 0 0 0 0 1 0 0 3 2 0 1 1 3 3 0 0 2 0 1 1 1 2 2 0 3 0 0 0 1 0 0 1 0 0 0 0 0 3 0 0 3 3 2 0 2 0 0 2 0 1 1 0 200 100 0 3 200 3 0 0 0 2 0 2 0 100 2 1 1 0 0 0 2 0 0 300 200 1 0 0 200 300 100 1 0 0 100 100 100 0 2 1 1 200 0 1 0 1 100 0 1 1 3 1 0 0 0 400 3 0 400 100 200 200 0 100 300 200 200 0 0 2 100 100 0 1 2 4 1 0 4 1 0 0 0 0 0 1 0 0 2 0 0 0 0 4 400 400 1 0 400 1 200 300 0 100 100 500 100 0 200 3 2 1 0 1 200 300 2 0 0 1 0 0 0 100 0 200 0 0 0 600 100 400 0 300 600 200 200 0 
2520.06/2495.71	v 	</values>
2520.06/2495.71	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 (10486 MiB free)
  memory of node 1: 16384 MiB (13169 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311682-1534541043/watcher-4311682-1534541043 -o /tmp/evaluation-result-4311682-1534541043/solver-4311682-1534541043 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534541043-22858 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1825016940 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311682-1534541043.xml 

running on 4 cores: 0,2,4,6

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=22878, runsolver pid=22875
Current StackSize limit: 8192 KiB


[startup+0.101715 s]*
/proc/loadavg: 0.00 0.01 0.05 3/215 22917
/proc/meminfo: memFree=24192352/32770624 swapFree=67108500/67108860
[pid=22878] ppid=22875 vsize=14082736 memory=31788 CPUtime=0.11 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 22827 0 -1 1077944320 6318 0 0 0 10 1 0 0 20 0 15 0 271667449 14420721664 7947 33554432000 4194304 4196468 140729252712208 140729252694752 140458140376823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
/proc/22878/statm: 3520684 7947 3152 1 0 3482761 0
[pid=22878/tid=22880] ppid=22875 vsize=14082736 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/22878/task/22880/stat : 22880 (java) R 22875 22878 22827 0 -1 4202560 4365 0 0 0 8 1 0 0 20 0 15 0 271667450 14420721664 7947 33554432000 4194304 4196468 140729252712208 140458144570904 140458125542471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22885] ppid=22875 vsize=14082736 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22885/stat : 22885 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 7947 33554432000 4194304 4196468 140729252712208 140458055444880 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22886] ppid=22875 vsize=14082736 memory=140505598920320 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22886/stat : 22886 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 7947 33554432000 4194304 4196468 140729252712208 140458054392080 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22887] ppid=22875 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22887/stat : 22887 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 7947 33554432000 4194304 4196468 140729252712208 140458053339792 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22888] ppid=22875 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22888/stat : 22888 (java) S 22875 22878 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 7947 33554432000 4194304 4196468 140729252712208 140458052286992 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22891] ppid=22875 vsize=14082736 memory=140505598920320 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22891/stat : 22891 (java) S 22875 22878 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667452 14420721664 7947 33554432000 4194304 4196468 140729252712208 140457614490224 140458140387970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22897] ppid=22875 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22897/stat : 22897 (java) S 22875 22878 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667452 14420721664 7947 33554432000 4194304 4196468 140729252712208 140457613436192 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22898] ppid=22875 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22898/stat : 22898 (java) S 22875 22878 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667453 14420721664 7947 33554432000 4194304 4196468 140729252712208 140457612383856 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22906] ppid=22875 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22906/stat : 22906 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14420721664 7947 33554432000 4194304 4196468 140729252712208 140457611332176 140458140395419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22907] ppid=22875 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22907/stat : 22907 (java) S 22875 22878 22827 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 271667455 14420721664 7947 33554432000 4194304 4196468 140729252712208 140457610279024 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22908] ppid=22875 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22908/stat : 22908 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14420721664 7947 33554432000 4194304 4196468 140729252712208 140457609226224 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22909] ppid=22875 vsize=14082736 memory=140505598920320 CPUtime=0.01 cores=0,2,4,6
/proc/22878/task/22909/stat : 22909 (java) S 22875 22878 22827 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 271667455 14420721664 7947 33554432000 4194304 4196468 140729252712208 140457608173936 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22910] ppid=22875 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22910/stat : 22910 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14420721664 7947 33554432000 4194304 4196468 140729252712208 140457607121376 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22911] ppid=22875 vsize=14082736 memory=140505598920320 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22911/stat : 22911 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667456 14420721664 7947 33554432000 4194304 4196468 140729252712208 140457606069168 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31788 KiB

[startup+0.210343 s]*
/proc/loadavg: 0.00 0.01 0.05 4/215 22917
/proc/meminfo: memFree=24158568/32770624 swapFree=67108500/67108860
[pid=22878] ppid=22875 vsize=14082736 memory=47488 CPUtime=0.27 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 22827 0 -1 1077944320 9943 0 0 0 25 2 0 0 20 0 15 0 271667449 14420721664 11872 33554432000 4194304 4196468 140729252712208 140729252694752 140458140376823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
/proc/22878/statm: 3520684 11872 3322 1 0 3482761 0
[pid=22878/tid=22880] ppid=22875 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/22878/task/22880/stat : 22880 (java) R 22875 22878 22827 0 -1 4202560 7745 0 0 0 18 1 0 0 20 0 15 0 271667450 14420721664 11872 33554432000 4194304 4196468 140729252712208 140458144603120 140458124420453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22885] ppid=22875 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22885/stat : 22885 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 11872 33554432000 4194304 4196468 140729252712208 140458055444880 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22886] ppid=22875 vsize=14082736 memory=140505600344339 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22886/stat : 22886 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 11872 33554432000 4194304 4196468 140729252712208 140458054392080 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22887] ppid=22875 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22887/stat : 22887 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 11872 33554432000 4194304 4196468 140729252712208 140458053339792 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22888] ppid=22875 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22888/stat : 22888 (java) S 22875 22878 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 11872 33554432000 4194304 4196468 140729252712208 140458052286992 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22891] ppid=22875 vsize=14082736 memory=140505598920320 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22891/stat : 22891 (java) S 22875 22878 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667452 14420721664 11872 33554432000 4194304 4196468 140729252712208 140457614490224 140458140387970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22897] ppid=22875 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22897/stat : 22897 (java) S 22875 22878 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667452 14420721664 11872 33554432000 4194304 4196468 140729252712208 140457613436192 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22898] ppid=22875 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22898/stat : 22898 (java) S 22875 22878 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667453 14420721664 11872 33554432000 4194304 4196468 140729252712208 140457612383856 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22906] ppid=22875 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22906/stat : 22906 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14420721664 11872 33554432000 4194304 4196468 140729252712208 140457611332176 140458140395419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22907] ppid=22875 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22878/task/22907/stat : 22907 (java) R 22875 22878 22827 0 -1 4202560 381 0 0 0 1 0 0 0 20 0 15 0 271667455 14420721664 11872 33554432000 4194304 4196468 140729252712208 140457610279024 140458132613950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22908] ppid=22875 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22908/stat : 22908 (java) R 22875 22878 22827 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 271667455 14420721664 11872 33554432000 4194304 4196468 140729252712208 140457609226224 140458140387970 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22909] ppid=22875 vsize=14082736 memory=140505598920320 CPUtime=0.05 cores=0,2,4,6
/proc/22878/task/22909/stat : 22909 (java) R 22875 22878 22827 0 -1 4202560 306 0 0 0 5 0 0 0 20 0 15 0 271667455 14420721664 11872 33554432000 4194304 4196468 140729252712208 140457608173936 140458140388758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22910] ppid=22875 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22910/stat : 22910 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14420721664 11872 33554432000 4194304 4196468 140729252712208 140457607121376 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22911] ppid=22875 vsize=14082736 memory=140505598920320 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22911/stat : 22911 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667456 14420721664 11872 33554432000 4194304 4196468 140729252712208 140457606069168 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47488 KiB

[startup+0.310519 s]*
/proc/loadavg: 0.00 0.01 0.05 3/215 22917
/proc/meminfo: memFree=24149524/32770624 swapFree=67108500/67108860
[pid=22878] ppid=22875 vsize=14082736 memory=50880 CPUtime=0.44 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 22827 0 -1 1077944320 10385 0 0 0 41 3 0 0 20 0 15 0 271667449 14420721664 12720 33554432000 4194304 4196468 140729252712208 140729252694752 140458140376823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
/proc/22878/statm: 3520684 12720 3359 1 0 3482761 0
[pid=22878/tid=22880] ppid=22875 vsize=14082736 memory=53476 CPUtime=0.29 cores=0,2,4,6
/proc/22878/task/22880/stat : 22880 (java) R 22875 22878 22827 0 -1 4202560 8070 0 0 0 27 2 0 0 20 0 15 0 271667450 14420721664 12720 33554432000 4194304 4196468 140729252712208 140458144584656 140458140398749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22885] ppid=22875 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22885/stat : 22885 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 12720 33554432000 4194304 4196468 140729252712208 140458055444880 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22886] ppid=22875 vsize=14082736 memory=140505598978336 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22886/stat : 22886 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 12720 33554432000 4194304 4196468 140729252712208 140458054392080 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22887] ppid=22875 vsize=14082736 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22887/stat : 22887 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 12720 33554432000 4194304 4196468 140729252712208 140458053339792 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22888] ppid=22875 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22888/stat : 22888 (java) S 22875 22878 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667451 14420721664 12720 33554432000 4194304 4196468 140729252712208 140458052286992 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22891] ppid=22875 vsize=14082736 memory=140505598985248 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22891/stat : 22891 (java) S 22875 22878 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667452 14420721664 12720 33554432000 4194304 4196468 140729252712208 140457614490224 140458140387970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22897] ppid=22875 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22897/stat : 22897 (java) S 22875 22878 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667452 14420721664 12720 33554432000 4194304 4196468 140729252712208 140457613436192 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22898] ppid=22875 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22898/stat : 22898 (java) S 22875 22878 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667453 14420721664 12720 33554432000 4194304 4196468 140729252712208 140457612383856 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22906] ppid=22875 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22906/stat : 22906 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14420721664 12720 33554432000 4194304 4196468 140729252712208 140457611332176 140458140395419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22907] ppid=22875 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22878/task/22907/stat : 22907 (java) S 22875 22878 22827 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 271667455 14420721664 12720 33554432000 4194304 4196468 140729252712208 140457610279024 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22908] ppid=22875 vsize=14082736 memory=140505493135311 CPUtime=0.02 cores=0,2,4,6
/proc/22878/task/22908/stat : 22908 (java) S 22875 22878 22827 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 271667455 14420721664 12720 33554432000 4194304 4196468 140729252712208 140457609226224 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22909] ppid=22875 vsize=14082736 memory=140505598943179 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22909/stat : 22909 (java) S 22875 22878 22827 0 -1 1077944384 319 0 0 0 8 0 0 0 20 0 15 0 271667455 14420721664 12720 33554432000 4194304 4196468 140729252712208 140457608173936 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22910] ppid=22875 vsize=14082736 memory=140505493135311 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22910/stat : 22910 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14420721664 12720 33554432000 4194304 4196468 140729252712208 140457607121376 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22911] ppid=22875 vsize=14082736 memory=281011092072384 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22911/stat : 22911 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667456 14420721664 12720 33554432000 4194304 4196468 140729252712208 140457606069168 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50880 KiB

[startup+0.700766 s]
/proc/loadavg: 0.00 0.01 0.05 3/215 22917
/proc/meminfo: memFree=24118888/32770624 swapFree=67108500/67108860
[pid=22878] ppid=22875 vsize=14084804 memory=88756 CPUtime=0.98 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 22827 0 -1 1077944320 17086 0 0 0 94 4 0 0 20 0 15 0 271667449 14422839296 22189 33554432000 4194304 4196468 140729252712208 140729252694752 140458140376823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
/proc/22878/statm: 3521201 22189 3504 1 0 3483273 0
[pid=22878/tid=22880] ppid=22875 vsize=14084804 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/22878/task/22880/stat : 22880 (java) R 22875 22878 22827 0 -1 4202560 14392 0 0 0 63 4 0 0 20 0 15 0 271667450 14422839296 22189 33554432000 4194304 4196468 140729252712208 140458144601040 140458132613950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22885] ppid=22875 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22885/stat : 22885 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14422839296 22189 33554432000 4194304 4196468 140729252712208 140458055444880 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22886] ppid=22875 vsize=14084804 memory=1068 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22886/stat : 22886 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14422839296 22189 33554432000 4194304 4196468 140729252712208 140458054392080 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22887] ppid=22875 vsize=14084804 memory=15084 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22887/stat : 22887 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14422839296 22189 33554432000 4194304 4196468 140729252712208 140458053339792 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22888] ppid=22875 vsize=14084804 memory=4184 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22888/stat : 22888 (java) S 22875 22878 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667451 14422839296 22189 33554432000 4194304 4196468 140729252712208 140458052286992 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22891] ppid=22875 vsize=14084804 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22891/stat : 22891 (java) S 22875 22878 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667452 14422839296 22189 33554432000 4194304 4196468 140729252712208 140457614490224 140458140387970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22897] ppid=22875 vsize=14084804 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22897/stat : 22897 (java) S 22875 22878 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667452 14422839296 22189 33554432000 4194304 4196468 140729252712208 140457613436192 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22898] ppid=22875 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22898/stat : 22898 (java) S 22875 22878 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667453 14422839296 22189 33554432000 4194304 4196468 140729252712208 140457612383856 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22906] ppid=22875 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22906/stat : 22906 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14422839296 22189 33554432000 4194304 4196468 140729252712208 140457611332176 140458140395419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22907] ppid=22875 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22878/task/22907/stat : 22907 (java) S 22875 22878 22827 0 -1 1077944384 544 0 0 0 7 0 0 0 20 0 15 0 271667455 14422839296 22189 33554432000 4194304 4196468 140729252712208 140457610279024 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22908] ppid=22875 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22878/task/22908/stat : 22908 (java) S 22875 22878 22827 0 -1 1077944384 390 0 0 0 7 0 0 0 20 0 15 0 271667455 14422839296 22189 33554432000 4194304 4196468 140729252712208 140457609226224 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22909] ppid=22875 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/22878/task/22909/stat : 22909 (java) S 22875 22878 22827 0 -1 1077944384 382 0 0 0 15 0 0 0 20 0 15 0 271667455 14422839296 22189 33554432000 4194304 4196468 140729252712208 140457608173936 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22910] ppid=22875 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22910/stat : 22910 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14422839296 22189 33554432000 4194304 4196468 140729252712208 140457607121376 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22911] ppid=22875 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22911/stat : 22911 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667456 14422839296 22189 33554432000 4194304 4196468 140729252712208 140457606069168 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88756 KiB

[startup+1.50071 s]
/proc/loadavg: 0.00 0.01 0.05 6/215 22917
/proc/meminfo: memFree=24029812/32770624 swapFree=67108500/67108860
[pid=22878] ppid=22875 vsize=14088900 memory=167776 CPUtime=3.33 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 22827 0 -1 1077944320 26459 0 0 0 325 8 0 0 20 0 15 0 271667449 14427033600 41944 33554432000 4194304 4196468 140729252712208 140729252694752 140458140376823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
/proc/22878/statm: 3522225 41944 3548 1 0 3484297 0
[pid=22878/tid=22880] ppid=22875 vsize=14088900 memory=3832618539296318322 CPUtime=1.46 cores=0,2,4,6
/proc/22878/task/22880/stat : 22880 (java) R 22875 22878 22827 0 -1 4202560 17439 0 0 0 141 5 0 0 20 0 15 0 271667450 14427033600 41944 33554432000 4194304 4196468 140729252712208 140458144612240 140457728427562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22885] ppid=22875 vsize=14088900 memory=102740 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22885/stat : 22885 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14427033600 41944 33554432000 4194304 4196468 140729252712208 140458055444880 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22886] ppid=22875 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22886/stat : 22886 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14427033600 41944 33554432000 4194304 4196468 140729252712208 140458054392080 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22887] ppid=22875 vsize=14088900 memory=1068 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22887/stat : 22887 (java) S 22875 22878 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667451 14427033600 41944 33554432000 4194304 4196468 140729252712208 140458053339792 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22888] ppid=22875 vsize=14088900 memory=15084 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22888/stat : 22888 (java) S 22875 22878 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667451 14427033600 41944 33554432000 4194304 4196468 140729252712208 140458052286992 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22891] ppid=22875 vsize=14088900 memory=4184 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22891/stat : 22891 (java) S 22875 22878 22827 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 271667452 14427033600 41944 33554432000 4194304 4196468 140729252712208 140457614490224 140458140387970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0

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

/proc/22878/task/22880/stat : 22880 (java) R 22875 22878 22827 0 -1 4202560 64822 0 0 0 237162 40 0 0 20 0 15 0 271667450 14431227904 317640 33554432000 4194304 4196468 140729252712208 140458144615024 140457742493476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22885] ppid=22875 vsize=14092996 memory=1269028 CPUtime=5.59 cores=0,2,4,6
/proc/22878/task/22885/stat : 22885 (java) S 22875 22878 22827 0 -1 1077944384 14338 0 0 0 534 25 0 0 20 0 15 0 271667451 14431227904 317640 33554432000 4194304 4196468 140729252712208 140458055444880 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22886] ppid=22875 vsize=14092996 memory=1269028 CPUtime=5.61 cores=0,2,4,6
/proc/22878/task/22886/stat : 22886 (java) S 22875 22878 22827 0 -1 1077944384 10516 0 0 0 535 26 0 0 20 0 15 0 271667451 14431227904 317640 33554432000 4194304 4196468 140729252712208 140458054392080 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22887] ppid=22875 vsize=14092996 memory=1271076 CPUtime=5.61 cores=0,2,4,6
/proc/22878/task/22887/stat : 22887 (java) S 22875 22878 22827 0 -1 1077944384 8801 0 0 0 537 24 0 0 20 0 15 0 271667451 14431227904 317640 33554432000 4194304 4196468 140729252712208 140458053339792 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22888] ppid=22875 vsize=14092996 memory=1269028 CPUtime=5.62 cores=0,2,4,6
/proc/22878/task/22888/stat : 22888 (java) S 22875 22878 22827 0 -1 1077944384 8755 0 0 0 534 28 0 0 20 0 15 0 271667451 14431227904 317640 33554432000 4194304 4196468 140729252712208 140458052286992 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22891] ppid=22875 vsize=14092996 memory=1271076 CPUtime=2.81 cores=0,2,4,6
/proc/22878/task/22891/stat : 22891 (java) S 22875 22878 22827 0 -1 1077944384 11370 0 0 0 265 16 0 0 20 0 15 0 271667452 14431227904 317640 33554432000 4194304 4196468 140729252712208 140457614490224 140458140387970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22897] ppid=22875 vsize=14092996 memory=1271076 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22897/stat : 22897 (java) S 22875 22878 22827 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 271667452 14431227904 317640 33554432000 4194304 4196468 140729252712208 140457613436256 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22898] ppid=22875 vsize=14092996 memory=1269028 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22898/stat : 22898 (java) S 22875 22878 22827 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 271667453 14431227904 317640 33554432000 4194304 4196468 140729252712208 140457612383872 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22906] ppid=22875 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22906/stat : 22906 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14431227904 317640 33554432000 4194304 4196468 140729252712208 140457611332176 140458140395419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22907] ppid=22875 vsize=14092996 memory=1271076 CPUtime=3.09 cores=0,2,4,6
/proc/22878/task/22907/stat : 22907 (java) S 22875 22878 22827 0 -1 1077944384 8450 0 0 0 307 2 0 0 20 0 15 0 271667455 14431227904 317640 33554432000 4194304 4196468 140729252712208 140457610279024 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22908] ppid=22875 vsize=14092996 memory=1271076 CPUtime=3.15 cores=0,2,4,6
/proc/22878/task/22908/stat : 22908 (java) S 22875 22878 22827 0 -1 1077944384 10362 0 0 0 312 3 0 0 20 0 15 0 271667455 14431227904 317640 33554432000 4194304 4196468 140729252712208 140457609226224 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22909] ppid=22875 vsize=14092996 memory=3816 CPUtime=1.29 cores=0,2,4,6
/proc/22878/task/22909/stat : 22909 (java) S 22875 22878 22827 0 -1 1077944384 9568 0 0 0 127 2 0 0 20 0 15 0 271667455 14431227904 317640 33554432000 4194304 4196468 140729252712208 140457608173936 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22910] ppid=22875 vsize=14092996 memory=6428 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22910/stat : 22910 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14431227904 317640 33554432000 4194304 4196468 140729252712208 140457607121376 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22911] ppid=22875 vsize=14092996 memory=6791534058613427641 CPUtime=0.86 cores=0,2,4,6
/proc/22878/task/22911/stat : 22911 (java) S 22875 22878 22827 0 -1 1077944384 1667 0 0 0 41 45 0 0 20 0 15 0 271667456 14431227904 317640 33554432000 4194304 4196468 140729252712208 140457606069168 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
Current children cumulated CPU time: 2405.74 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1270560 KiB

[startup+2442.3 s]
/proc/loadavg: 1.80 1.57 1.39 3/217 23111
/proc/meminfo: memFree=21873452/32770624 swapFree=67108500/67108860
[pid=22878] ppid=22875 vsize=14092996 memory=1269532 CPUtime=2466.22 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 22827 0 -1 1077944320 151689 0 0 0 246431 191 0 0 20 0 15 0 271667449 14431227904 317383 33554432000 4194304 4196468 140729252712208 140729252694752 140458140376823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
/proc/22878/statm: 3523249 317383 3598 1 0 3485321 0
[pid=22878/tid=22880] ppid=22875 vsize=14092996 memory=1269532 CPUtime=2431.71 cores=0,2,4,6
/proc/22878/task/22880/stat : 22880 (java) R 22875 22878 22827 0 -1 4202560 65403 0 0 0 243131 40 0 0 20 0 15 0 271667450 14431227904 317383 33554432000 4194304 4196468 140729252712208 140458144614848 140457741490910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22885] ppid=22875 vsize=14092996 memory=1269532 CPUtime=5.77 cores=0,2,4,6
/proc/22878/task/22885/stat : 22885 (java) S 22875 22878 22827 0 -1 1077944384 14442 0 0 0 551 26 0 0 20 0 15 0 271667451 14431227904 317383 33554432000 4194304 4196468 140729252712208 140458055444880 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22886] ppid=22875 vsize=14092996 memory=1269532 CPUtime=5.78 cores=0,2,4,6
/proc/22878/task/22886/stat : 22886 (java) S 22875 22878 22827 0 -1 1077944384 10739 0 0 0 552 26 0 0 20 0 15 0 271667451 14431227904 317383 33554432000 4194304 4196468 140729252712208 140458054392080 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22887] ppid=22875 vsize=14092996 memory=1269532 CPUtime=5.78 cores=0,2,4,6
/proc/22878/task/22887/stat : 22887 (java) S 22875 22878 22827 0 -1 1077944384 9034 0 0 0 553 25 0 0 20 0 15 0 271667451 14431227904 317383 33554432000 4194304 4196468 140729252712208 140458053339792 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22888] ppid=22875 vsize=14092996 memory=1269532 CPUtime=5.78 cores=0,2,4,6
/proc/22878/task/22888/stat : 22888 (java) S 22875 22878 22827 0 -1 1077944384 9006 0 0 0 550 28 0 0 20 0 15 0 271667451 14431227904 317383 33554432000 4194304 4196468 140729252712208 140458052286992 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22891] ppid=22875 vsize=14092996 memory=1269532 CPUtime=2.9 cores=0,2,4,6
/proc/22878/task/22891/stat : 22891 (java) S 22875 22878 22827 0 -1 1077944384 11568 0 0 0 273 17 0 0 20 0 15 0 271667452 14431227904 317383 33554432000 4194304 4196468 140729252712208 140457614490224 140458140387970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22897] ppid=22875 vsize=14092996 memory=1269532 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22897/stat : 22897 (java) S 22875 22878 22827 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 271667452 14431227904 317383 33554432000 4194304 4196468 140729252712208 140457613436256 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22898] ppid=22875 vsize=14092996 memory=1269532 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22898/stat : 22898 (java) S 22875 22878 22827 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 271667453 14431227904 317383 33554432000 4194304 4196468 140729252712208 140457612383872 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22906] ppid=22875 vsize=14092996 memory=1269532 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22906/stat : 22906 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14431227904 317383 33554432000 4194304 4196468 140729252712208 140457611332176 140458140395419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22907] ppid=22875 vsize=14092996 memory=1269532 CPUtime=3.09 cores=0,2,4,6
/proc/22878/task/22907/stat : 22907 (java) S 22875 22878 22827 0 -1 1077944384 8452 0 0 0 307 2 0 0 20 0 15 0 271667455 14431227904 317383 33554432000 4194304 4196468 140729252712208 140457610279024 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22908] ppid=22875 vsize=14092996 memory=1269532 CPUtime=3.15 cores=0,2,4,6
/proc/22878/task/22908/stat : 22908 (java) S 22875 22878 22827 0 -1 1077944384 10364 0 0 0 312 3 0 0 20 0 15 0 271667455 14431227904 317383 33554432000 4194304 4196468 140729252712208 140457609226224 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22909] ppid=22875 vsize=14092996 memory=1269532 CPUtime=1.29 cores=0,2,4,6
/proc/22878/task/22909/stat : 22909 (java) S 22875 22878 22827 0 -1 1077944384 9570 0 0 0 127 2 0 0 20 0 15 0 271667455 14431227904 317383 33554432000 4194304 4196468 140729252712208 140457608173936 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22910] ppid=22875 vsize=14092996 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22910/stat : 22910 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14431227904 317383 33554432000 4194304 4196468 140729252712208 140457607121376 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22911] ppid=22875 vsize=14092996 memory=748 CPUtime=0.89 cores=0,2,4,6
/proc/22878/task/22911/stat : 22911 (java) S 22875 22878 22827 0 -1 1077944384 1684 0 0 0 43 46 0 0 20 0 15 0 271667456 14431227904 317383 33554432000 4194304 4196468 140729252712208 140457606069168 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
Current children cumulated CPU time: 2466.22 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1269532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2495.7 s]
/proc/loadavg: 1.70 1.57 1.40 3/216 23112
/proc/meminfo: memFree=21871728/32770624 swapFree=67108500/67108860
[pid=22878] ppid=22875 vsize=14092996 memory=1271580 CPUtime=2520.06 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 22827 0 -1 1077944320 152984 0 0 0 251811 195 0 0 20 0 15 0 271667449 14431227904 317895 33554432000 4194304 4196468 140729252712208 140729252694752 140458140376823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
/proc/22878/statm: 3523249 317895 3598 1 0 3485321 0
[pid=22878/tid=22880] ppid=22875 vsize=14092996 memory=1271580 CPUtime=2484.79 cores=0,2,4,6
/proc/22878/task/22880/stat : 22880 (java) R 22875 22878 22827 0 -1 4202560 65889 0 0 0 248439 40 0 0 20 0 15 0 271667450 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458144615024 140457742443227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22885] ppid=22875 vsize=14092996 memory=1271580 CPUtime=5.93 cores=0,2,4,6
/proc/22878/task/22885/stat : 22885 (java) S 22875 22878 22827 0 -1 1077944384 14640 0 0 0 567 26 0 0 20 0 15 0 271667451 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458055444880 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22886] ppid=22875 vsize=14092996 memory=1271580 CPUtime=5.95 cores=0,2,4,6
/proc/22878/task/22886/stat : 22886 (java) S 22875 22878 22827 0 -1 1077944384 10868 0 0 0 568 27 0 0 20 0 15 0 271667451 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458054392080 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22887] ppid=22875 vsize=14092996 memory=1271580 CPUtime=5.94 cores=0,2,4,6
/proc/22878/task/22887/stat : 22887 (java) S 22875 22878 22827 0 -1 1077944384 9108 0 0 0 569 25 0 0 20 0 15 0 271667451 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458053339792 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22888] ppid=22875 vsize=14092996 memory=1271580 CPUtime=5.95 cores=0,2,4,6
/proc/22878/task/22888/stat : 22888 (java) S 22875 22878 22827 0 -1 1077944384 9209 0 0 0 566 29 0 0 20 0 15 0 271667451 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458052286992 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22891] ppid=22875 vsize=14092996 memory=1271580 CPUtime=2.98 cores=0,2,4,6
/proc/22878/task/22891/stat : 22891 (java) S 22875 22878 22827 0 -1 1077944384 11746 0 0 0 281 17 0 0 20 0 15 0 271667452 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457614490224 140458140387970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22897] ppid=22875 vsize=14092996 memory=1271580 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22897/stat : 22897 (java) S 22875 22878 22827 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 271667452 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457613436256 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22898] ppid=22875 vsize=14092996 memory=1269532 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22898/stat : 22898 (java) S 22875 22878 22827 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 271667453 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457612383872 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22906] ppid=22875 vsize=14092996 memory=1269532 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22906/stat : 22906 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457611332176 140458140395419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22907] ppid=22875 vsize=14092996 memory=1269532 CPUtime=3.09 cores=0,2,4,6
/proc/22878/task/22907/stat : 22907 (java) S 22875 22878 22827 0 -1 1077944384 8456 0 0 0 307 2 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457610279024 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22908] ppid=22875 vsize=14092996 memory=1271580 CPUtime=3.15 cores=0,2,4,6
/proc/22878/task/22908/stat : 22908 (java) S 22875 22878 22827 0 -1 1077944384 10368 0 0 0 312 3 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457609226224 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22909] ppid=22875 vsize=14092996 memory=6011581402601046114 CPUtime=1.29 cores=0,2,4,6
/proc/22878/task/22909/stat : 22909 (java) S 22875 22878 22827 0 -1 1077944384 9574 0 0 0 127 2 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457608173936 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22910] ppid=22875 vsize=14092996 memory=864 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22910/stat : 22910 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457607121376 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22911] ppid=22875 vsize=14092996 memory=1296 CPUtime=0.91 cores=0,2,4,6
/proc/22878/task/22911/stat : 22911 (java) S 22875 22878 22827 0 -1 1077944384 1699 0 0 0 44 47 0 0 20 0 15 0 271667456 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457606069168 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1271580 KiB

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

[startup+2495.73 s]
# the end of solver process 22878 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.14 s, system=1.95802 s

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

[startup+2495.7 s]
/proc/loadavg: 1.70 1.57 1.40 3/216 23112
/proc/meminfo: memFree=21871728/32770624 swapFree=67108500/67108860
[pid=22878] ppid=22875 vsize=14092996 memory=1271580 CPUtime=2520.06 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 22827 0 -1 1077944320 152984 0 0 0 251811 195 0 0 20 0 15 0 271667449 14431227904 317895 33554432000 4194304 4196468 140729252712208 140729252694752 140458140376823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
/proc/22878/statm: 3523249 317895 3598 1 0 3485321 0
[pid=22878/tid=22880] ppid=22875 vsize=14092996 memory=1271580 CPUtime=2484.79 cores=0,2,4,6
/proc/22878/task/22880/stat : 22880 (java) R 22875 22878 22827 0 -1 4202560 65889 0 0 0 248439 40 0 0 20 0 15 0 271667450 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458144615024 140457742443227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22885] ppid=22875 vsize=14092996 memory=1271580 CPUtime=5.93 cores=0,2,4,6
/proc/22878/task/22885/stat : 22885 (java) S 22875 22878 22827 0 -1 1077944384 14640 0 0 0 567 26 0 0 20 0 15 0 271667451 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458055444880 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22886] ppid=22875 vsize=14092996 memory=1271580 CPUtime=5.95 cores=0,2,4,6
/proc/22878/task/22886/stat : 22886 (java) S 22875 22878 22827 0 -1 1077944384 10868 0 0 0 568 27 0 0 20 0 15 0 271667451 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458054392080 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22887] ppid=22875 vsize=14092996 memory=1271580 CPUtime=5.94 cores=0,2,4,6
/proc/22878/task/22887/stat : 22887 (java) S 22875 22878 22827 0 -1 1077944384 9108 0 0 0 569 25 0 0 20 0 15 0 271667451 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458053339792 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22888] ppid=22875 vsize=14092996 memory=1271580 CPUtime=5.95 cores=0,2,4,6
/proc/22878/task/22888/stat : 22888 (java) S 22875 22878 22827 0 -1 1077944384 9209 0 0 0 566 29 0 0 20 0 15 0 271667451 14431227904 317895 33554432000 4194304 4196468 140729252712208 140458052286992 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22891] ppid=22875 vsize=14092996 memory=1271580 CPUtime=2.98 cores=0,2,4,6
/proc/22878/task/22891/stat : 22891 (java) S 22875 22878 22827 0 -1 1077944384 11746 0 0 0 281 17 0 0 20 0 15 0 271667452 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457614490224 140458140387970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22897] ppid=22875 vsize=14092996 memory=1271580 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22897/stat : 22897 (java) S 22875 22878 22827 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 271667452 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457613436256 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22898] ppid=22875 vsize=14092996 memory=1269532 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22898/stat : 22898 (java) S 22875 22878 22827 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 271667453 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457612383872 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22906] ppid=22875 vsize=14092996 memory=1269532 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22906/stat : 22906 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457611332176 140458140395419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22907] ppid=22875 vsize=14092996 memory=1269532 CPUtime=3.09 cores=0,2,4,6
/proc/22878/task/22907/stat : 22907 (java) S 22875 22878 22827 0 -1 1077944384 8456 0 0 0 307 2 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457610279024 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22908] ppid=22875 vsize=14092996 memory=1271580 CPUtime=3.15 cores=0,2,4,6
/proc/22878/task/22908/stat : 22908 (java) S 22875 22878 22827 0 -1 1077944384 10368 0 0 0 312 3 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457609226224 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22909] ppid=22875 vsize=14092996 memory=6011581402601046114 CPUtime=1.29 cores=0,2,4,6
/proc/22878/task/22909/stat : 22909 (java) S 22875 22878 22827 0 -1 1077944384 9574 0 0 0 127 2 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457608173936 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22910] ppid=22875 vsize=14092996 memory=864 CPUtime=0 cores=0,2,4,6
/proc/22878/task/22910/stat : 22910 (java) S 22875 22878 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667455 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457607121376 140458140387029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
[pid=22878/tid=22911] ppid=22875 vsize=14092996 memory=1296 CPUtime=0.91 cores=0,2,4,6
/proc/22878/task/22911/stat : 22911 (java) S 22875 22878 22827 0 -1 1077944384 1699 0 0 0 44 47 0 0 20 0 15 0 271667456 14431227904 317895 33554432000 4194304 4196468 140729252712208 140457606069168 140458140387970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140729252717640 140729252717833 140729252717833 140729252720591 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1271580 KiB

Child status: 143
Real time (s): 2495.73
CPU time (s): 2520.09
CPU user time (s): 2518.14
CPU system time (s): 1.95802
CPU usage (%): 100.976
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1910488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.14
system time used= 1.95802
maximum resident set size= 1914640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126537
involuntary context switches= 7705


# summary of solver processes directly reported to runsolver:
#   pid: 22878
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2518.14
#   total CPU system time (s): 1.95802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.495 second user time and 24.7997 second system time

The end

Name	NurseRostering/ NurseRostering-09_c18.xml
MD5SUM	01a28a521b9bba3b9351b91d9c8d3e2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	2750
Best CPU time to get the best result obtained on this benchmark	2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	1844
Number of constraints	4787
Number of domains	17
Minimum domain size	1
Maximum domain size	37
Distribution of domain sizes	[{"size":1,"count":60},{"size":2,"count":376},{"size":3,"count":8},{"size":4,"count":7},{"size":5,"count":1014},{"size":6,"count":6},{"size":29,"count":121},{"size":37,"count":252}]
Minimum variable degree	2
Maximum variable degree	25
Distribution of variable degrees	[{"degree":2,"count":692},{"degree":3,"count":144},{"degree":14,"count":14},{"degree":15,"count":38},{"degree":16,"count":18},{"degree":17,"count":15},{"degree":18,"count":42},{"degree":19,"count":59},{"degree":20,"count":68},{"degree":21,"count":132},{"degree":22,"count":199},{"degree":23,"count":238},{"degree":24,"count":163},{"degree":25,"count":22}]
Minimum constraint arity	2
Maximum constraint arity	72
Distribution of constraint arities	[{"arity":2,"count":2474},{"arity":3,"count":936},{"arity":4,"count":186},{"arity":5,"count":180},{"arity":6,"count":690},{"arity":29,"count":180},{"arity":37,"count":140},{"arity":72,"count":1}]
Number of extensional constraints	1112
Number of intensional constraints	552
Distribution of constraint types	[{"type":"extension","count":1112},{"type":"intension","count":552},{"type":"regular","count":1896},{"type":"sum","count":72},{"type":"count","count":1154},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4311682

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