2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Hybrid 2017-06-30	SAT (TO)	1075	2400.12	2295.54

0.41/0.32	c version: 2017-06-30
0.41/0.32	c seed: 89819593
0.41/0.32	c timeout: 2400
0.41/0.32	c memlimit: 15500
0.41/0.32	c nbcore: 8
0.41/0.34	c Parsing instance...
2.76/1.15	c Parsing done, starting first complete search...
3.16/1.22	o 1669
3.16/1.22	o 1648
3.16/1.23	o 1611
3.53/1.30	o 1564
3.53/1.32	o 1559
3.53/1.34	o 1536
3.53/1.35	o 1521
3.53/1.36	o 1501
3.94/1.43	o 1500
3.94/1.47	o 1493
4.35/1.52	o 1463
4.62/1.65	o 1462
4.78/1.73	o 1446
5.04/1.92	o 1430
5.04/1.93	o 1423
5.04/1.96	o 1410
5.22/2.09	o 1409
5.32/2.17	o 1399
5.32/2.18	o 1398
7.30/4.04	c First complete search done, starting ALNS search...
122.07/113.94	o 1397
126.52/118.11	o 1388
135.96/127.32	o 1354
312.55/296.32	o 1319
641.75/611.37	o 1309
707.25/673.91	o 1291
804.45/767.18	o 1284
806.19/768.89	o 1257
908.93/867.13	o 1240
911.64/869.72	o 1226
916.15/874.07	o 1223
917.80/875.70	o 1197
919.45/877.29	o 1188
919.75/877.50	o 1184
921.72/879.48	o 1176
965.18/921.00	o 1160
1292.18/1233.52	o 1154
1292.39/1233.77	o 1145
1330.14/1270.18	o 1130
1330.44/1270.47	o 1129
1375.54/1313.75	o 1103
1396.50/1333.87	o 1095
1403.35/1340.46	o 1079
1743.74/1666.65	o 1075
1757.72/1679.90	c ALNS done, starting second complete search
1757.72/1679.91	c Best operator: KSuccessive(280)_LastConf(valLearnMax) with improvement of: 176
2400.05/2295.50	s SATISFIABLE
2400.05/2295.51	v <instantiation>
2400.05/2295.51	v 	<list>
2400.05/2295.51	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32]
2400.05/2295.51	v 	</list>
2400.05/2295.51	v 	<values>
2400.05/2295.51	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 52 69 72 84 79 14 73 100 56 63 100 96 67 79 84 7 17 31 58 66 25 100 9 42 54 21 43 100 39 32 2 22 
2400.05/2295.51	v 	</values>
2400.05/2295.51	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246321-1500702131/watcher-4246321-1500702131 -o /tmp/evaluation-result-4246321-1500702131/solver-4246321-1500702131 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500684139-17112 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 89819593 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246321-1500702131.xml 

pid=19574
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.90 1.74 1.68 3/262 19577
/proc/meminfo: memFree=29557264/32770624 swapFree=5708/265556
[pid=19577] ppid=19574 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 1926 0 0 0 0 0 0 0 20 0 2 0 5479468 10889764864 2168 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 2658634 2168 1188 1 0 2647545 0
[pid=19577/tid=19578] ppid=19574 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 711 0 0 0 0 0 0 0 20 0 2 0 5479468 10889764864 2234 33554432000 4194304 4196468 140722420497904 140005741640096 140005729687456 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0

[startup+0.100073 s]
/proc/loadavg: 1.90 1.74 1.68 3/262 19577
/proc/meminfo: memFree=29557264/32770624 swapFree=5708/265556
[pid=19577] ppid=19574 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 5913 0 0 0 8 1 0 0 20 0 20 0 5479468 13582725120 6463 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3316095 6463 3281 1 0 3303815 0
[pid=19577/tid=19578] ppid=19574 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 3981 0 0 0 7 1 0 0 20 0 20 0 5479468 13582725120 6463 33554432000 4194304 4196468 140722420497904 140005741630152 140005721478494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200457 s]
/proc/loadavg: 1.90 1.74 1.68 3/262 19577
/proc/meminfo: memFree=29557264/32770624 swapFree=5708/265556
[pid=19577] ppid=19574 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 9053 0 0 0 24 2 0 0 20 0 20 0 5479468 13582245888 9014 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3315978 9014 3539 1 0 3303698 0
[pid=19577/tid=19578] ppid=19574 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 6756 0 0 0 16 2 0 0 20 0 20 0 5479468 13582245888 9014 33554432000 4194304 4196468 140722420497904 140005741614096 140005737419933 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300602 s]
/proc/loadavg: 1.90 1.74 1.68 3/262 19577
/proc/meminfo: memFree=29557264/32770624 swapFree=5708/265556
[pid=19577] ppid=19574 vsize=13263912 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 9885 0 0 0 38 3 0 0 20 0 20 0 5479468 13582245888 10566 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3315978 10566 3626 1 0 3303698 0
[pid=19577/tid=19578] ppid=19574 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 7387 0 0 0 25 2 0 0 20 0 20 0 5479468 13582245888 10566 33554432000 4194304 4196468 140722420497904 140005741620592 140005721478494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912

[startup+0.700266 s]
/proc/loadavg: 1.90 1.74 1.68 3/262 19577
/proc/meminfo: memFree=29557264/32770624 swapFree=5708/265556
[pid=19577] ppid=19574 vsize=13265980 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 12932 0 0 0 143 5 0 0 20 0 20 0 5479468 13584363520 18793 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3316495 18793 3768 1 0 3304210 0
[pid=19577/tid=19578] ppid=19574 vsize=13265980 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 8517 0 0 0 64 4 0 0 20 0 20 0 5479468 13584363520 18793 33554432000 4194304 4196468 140722420497904 140005741632440 140005347563320 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13265980

[startup+1.50112 s]
/proc/loadavg: 1.90 1.74 1.68 5/282 19597
/proc/meminfo: memFree=29461360/32770624 swapFree=5708/265496
[pid=19577] ppid=19574 vsize=13270076 CPUtime=4.35 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 26041 0 0 0 426 9 0 0 20 0 20 0 5479468 13588557824 43983 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3317519 43983 3795 1 0 3305234 0
[pid=19577/tid=19578] ppid=19574 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 11495 0 0 0 141 5 0 0 20 0 20 0 5479468 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005741627648 140005355307029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19580] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19580/stat : 19580 (java) S 19574 19577 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005669534736 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19581] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19581/stat : 19581 (java) S 19574 19577 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005668482192 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19582] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19582/stat : 19582 (java) S 19574 19577 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005667429136 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19583] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19583/stat : 19583 (java) S 19574 19577 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005333765008 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19584] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19584/stat : 19584 (java) S 19574 19577 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005332711952 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19585] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19585/stat : 19585 (java) S 19574 19577 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005331659408 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19586] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19586/stat : 19586 (java) S 19574 19577 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005330606352 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19587] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19587/stat : 19587 (java) S 19574 19577 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005329553808 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19588] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19588/stat : 19588 (java) S 19574 19577 14271 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 5479472 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005268093680 140005737409154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19589] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19589/stat : 19589 (java) S 19574 19577 14271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5479472 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005267039904 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19590] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19590/stat : 19590 (java) S 19574 19577 14271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5479473 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005265986800 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19591] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19591/stat : 19591 (java) S 19574 19577 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5479476 13588557824 43983 33554432000 4194304 4196468 140722420497904 140005264935376 140005737416603 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19592] ppid=19574 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19592/stat : 19592 (java) R 19574 19577 14271 0 -1 4202560 3389 0 0 0 66 0 0 0 20 0 20 0 5479476 13588557824 43983 33554432000 4194304 4196468 140722420497904 140004927976544 140005720952852 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19593] ppid=19574 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19593/stat : 19593 (java) R 19574 19577 14271 0 -1 4202560 2003 0 0 0 66 0 0 0 20 0 20 0 5479476 13588557824 43983 33554432000 4194304 4196468 140722420497904 140004926919024 140005721785248 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19594] ppid=19574 vsize=13270076 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19594/stat : 19594 (java) R 19574 19577 14271 0 -1 4202560 1931 0 0 0 78 0 0 0 20 0 20 0 5479476 13588557824 43983 33554432000 4194304 4196468 140722420497904 140004925870624 140005718942704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19595] ppid=19574 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19595/stat : 19595 (java) S 19574 19577 14271 0 -1 1077944384 5807 0 0 0 72 1 0 0 20 0 20 0 5479476 13588557824 43983 33554432000 4194304 4196468 140722420497904 140004924831856 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19596] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19596/stat : 19596 (java) S 19574 19577 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5479477 13588557824 43983 33554432000 4194304 4196468 140722420497904 140004923780064 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19597] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19597/stat : 19597 (java) S 19574 19577 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5479477 13588557824 43983 33554432000 4194304 4196468 140722420497904 140004922727600 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 13270076

[startup+3.10084 s]
/proc/loadavg: 1.99 1.76 1.69 3/282 19597
/proc/meminfo: memFree=29347500/32770624 swapFree=5708/265496
[pid=19577] ppid=19574 vsize=13270076 CPUtime=6.32 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 27779 0 0 0 619 13 0 0 20 0 20 0 5479468 13588557824 56864 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3317519 56864 3820 1 0 3305234 0
[pid=19577/tid=19578] ppid=19574 vsize=13270076 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 11895 0 0 0 299 6 0 0 20 0 20 0 5479468 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005741633984 140005355548647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19580] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19580/stat : 19580 (java) S 19574 19577 14271 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005669534736 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19581] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19581/stat : 19581 (java) S 19574 19577 14271 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005668482192 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19582] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19582/stat : 19582 (java) S 19574 19577 14271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005667429136 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19583] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19583/stat : 19583 (java) S 19574 19577 14271 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005333765008 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19584] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19584/stat : 19584 (java) S 19574 19577 14271 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005332711952 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19585] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19585/stat : 19585 (java) S 19574 19577 14271 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005331659408 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19586] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19586/stat : 19586 (java) S 19574 19577 14271 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005330606352 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19587] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19587/stat : 19587 (java) S 19574 19577 14271 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 5479469 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005329553808 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19588] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19588/stat : 19588 (java) S 19574 19577 14271 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 20 0 5479472 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005268093680 140005737409154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19589] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19589/stat : 19589 (java) S 19574 19577 14271 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5479472 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005267039968 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19590] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19590/stat : 19590 (java) S 19574 19577 14271 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5479473 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005265986800 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19591] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19591/stat : 19591 (java) S 19574 19577 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5479476 13588557824 56864 33554432000 4194304 4196468 140722420497904 140005264935376 140005737416603 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19592] ppid=19574 vsize=13270076 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19592/stat : 19592 (java) S 19574 19577 14271 0 -1 1077944384 3427 0 0 0 76 0 0 0 20 0 20 0 5479476 13588557824 56864 33554432000 4194304 4196468 140722420497904 140004927990000 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19593] ppid=19574 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19593/stat : 19593 (java) S 19574 19577 14271 0 -1 1077944384 2033 0 0 0 75 0 0 0 20 0 20 0 5479476 13588557824 56864 33554432000 4194304 4196468 140722420497904 140004926937456 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19594] ppid=19574 vsize=13270076 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19594/stat : 19594 (java) S 19574 19577 14271 0 -1 1077944384 1961 0 0 0 89 0 0 0 20 0 20 0 5479476 13588557824 56864 33554432000 4194304 4196468 140722420497904 140004925884400 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19595] ppid=19574 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19595/stat : 19595 (java) S 19574 19577 14271 0 -1 1077944384 6444 0 0 0 73 1 0 0 20 0 20 0 5479476 13588557824 56864 33554432000 4194304 4196468 140722420497904 140004924831856 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19596] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19596/stat : 19596 (java) S 19574 19577 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5479477 13588557824 56864 33554432000 4194304 4196468 140722420497904 140004923780064 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19597] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19597/stat : 19597 (java) S 19574 19577 14271 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 5479477 13588557824 56864 33554432000 4194304 4196468 140722420497904 140004922727600 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13270076

[startup+6.30083 s]
/proc/loadavg: 1.99 1.76 1.69 3/282 19597
/proc/meminfo: memFree=29186464/32770624 swapFree=5708/265504
[pid=19577] ppid=19574 vsize=13270076 CPUtime=11.03 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 31643 0 0 0 1052 51 0 0 20 0 20 0 5479468 13588557824 101656 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3317519 101656 3830 1 0 3305234 0
[pid=19577/tid=19578] ppid=19574 vsize=13270076 CPUtime=6.14 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 13294 0 0 0 606 8 0 0 20 0 20 0 5479468 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005741632808 140005356691353 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19580] ppid=19574 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19580/stat : 19580 (java) S 19574 19577 14271 0 -1 1077944384 956 0 0 0 5 5 0 0 20 0 20 0 5479469 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005669534736 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19581] ppid=19574 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19581/stat : 19581 (java) S 19574 19577 14271 0 -1 1077944384 46 0 0 0 4 4 0 0 20 0 20 0 5479469 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005668482192 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19582] ppid=19574 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19582/stat : 19582 (java) S 19574 19577 14271 0 -1 1077944384 50 0 0 0 4 4 0 0 20 0 20 0 5479469 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005667429136 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19583] ppid=19574 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19583/stat : 19583 (java) S 19574 19577 14271 0 -1 1077944384 70 0 0 0 5 5 0 0 20 0 20 0 5479469 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005333765008 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19584] ppid=19574 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19584/stat : 19584 (java) S 19574 19577 14271 0 -1 1077944384 66 0 0 0 4 4 0 0 20 0 20 0 5479469 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005332711952 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19585] ppid=19574 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19585/stat : 19585 (java) S 19574 19577 14271 0 -1 1077944384 300 0 0 0 5 5 0 0 20 0 20 0 5479469 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005331659408 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19586] ppid=19574 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19586/stat : 19586 (java) S 19574 19577 14271 0 -1 1077944384 57 0 0 0 5 4 0 0 20 0 20 0 5479469 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005330606352 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19587] ppid=19574 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19587/stat : 19587 (java) S 19574 19577 14271 0 -1 1077944384 114 0 0 0 4 4 0 0 20 0 20 0 5479469 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005329553808 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19588] ppid=19574 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19588/stat : 19588 (java) S 19574 19577 14271 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 20 0 5479472 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005268093680 140005737409154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19589] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19589/stat : 19589 (java) S 19574 19577 14271 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5479472 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005267039968 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19590] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19590/stat : 19590 (java) S 19574 19577 14271 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 5479473 13588557824 101656 33554432000 4194304 4196468 140722420497904 140005265986816 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19591] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=19577/tid=19593] ppid=19574 vsize=13270076 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19593/stat : 19593 (java) S 19574 19577 14271 0 -1 1077944384 17720 0 0 0 157 2 0 0 20 0 20 0 5479476 13588557824 365123 33554432000 4194304 4196468 140722420497904 140004926937456 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19594] ppid=19574 vsize=13270076 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19594/stat : 19594 (java) S 19574 19577 14271 0 -1 1077944384 20531 0 0 0 192 2 0 0 20 0 20 0 5479476 13588557824 365123 33554432000 4194304 4196468 140722420497904 140004925884400 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19595] ppid=19574 vsize=13270076 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19595/stat : 19595 (java) R 19574 19577 14271 0 -1 1077944384 31538 0 0 0 107 4 0 0 20 0 20 0 5479476 13588557824 365123 33554432000 4194304 4196468 140722420497904 140004924831856 140005737409154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19596] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19596/stat : 19596 (java) S 19574 19577 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5479477 13588557824 365123 33554432000 4194304 4196468 140722420497904 140004923780064 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19597] ppid=19574 vsize=13270076 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19597/stat : 19597 (java) S 19574 19577 14271 0 -1 1077944384 1787 0 0 0 56 70 0 0 20 0 20 0 5479477 13588557824 365123 33554432000 4194304 4196468 140722420497904 140004922727600 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 2302.74
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.40 1.46 1.49 3/281 19768
/proc/meminfo: memFree=29330176/32770624 swapFree=5708/267644
[pid=19577] ppid=19574 vsize=13270076 CPUtime=2365.41 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 401359 0 0 0 235859 682 0 0 20 0 20 0 5479468 13588557824 351158 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3317519 351158 3859 1 0 3305234 0
[pid=19577/tid=19578] ppid=19574 vsize=13270076 CPUtime=2241.22 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 114810 0 0 0 224062 60 0 0 20 0 20 0 5479468 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005741636272 140005356345781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19580] ppid=19574 vsize=13270076 CPUtime=14.05 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19580/stat : 19580 (java) S 19574 19577 14271 0 -1 1077944384 15727 0 0 0 1339 66 0 0 20 0 20 0 5479469 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005669534736 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19581] ppid=19574 vsize=13270076 CPUtime=14.28 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19581/stat : 19581 (java) S 19574 19577 14271 0 -1 1077944384 14701 0 0 0 1362 66 0 0 20 0 20 0 5479469 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005668482192 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19582] ppid=19574 vsize=13270076 CPUtime=14.16 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19582/stat : 19582 (java) S 19574 19577 14271 0 -1 1077944384 18770 0 0 0 1351 65 0 0 20 0 20 0 5479469 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005667429136 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19583] ppid=19574 vsize=13270076 CPUtime=14.23 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19583/stat : 19583 (java) S 19574 19577 14271 0 -1 1077944384 15745 0 0 0 1358 65 0 0 20 0 20 0 5479469 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005333765008 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19584] ppid=19574 vsize=13270076 CPUtime=14.13 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19584/stat : 19584 (java) S 19574 19577 14271 0 -1 1077944384 16820 0 0 0 1346 67 0 0 20 0 20 0 5479469 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005332711952 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19585] ppid=19574 vsize=13270076 CPUtime=14.15 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19585/stat : 19585 (java) S 19574 19577 14271 0 -1 1077944384 15468 0 0 0 1350 65 0 0 20 0 20 0 5479469 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005331659408 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19586] ppid=19574 vsize=13270076 CPUtime=14.22 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19586/stat : 19586 (java) S 19574 19577 14271 0 -1 1077944384 15753 0 0 0 1355 67 0 0 20 0 20 0 5479469 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005330606352 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19587] ppid=19574 vsize=13270076 CPUtime=14.08 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19587/stat : 19587 (java) S 19574 19577 14271 0 -1 1077944384 16824 0 0 0 1344 64 0 0 20 0 20 0 5479469 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005329553808 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19588] ppid=19574 vsize=13270076 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19588/stat : 19588 (java) S 19574 19577 14271 0 -1 1077944384 63297 0 0 0 248 49 0 0 20 0 20 0 5479472 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005268093680 140005737409154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19589] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19589/stat : 19589 (java) S 19574 19577 14271 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 5479472 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005267039968 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19590] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19590/stat : 19590 (java) S 19574 19577 14271 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 5479473 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005265986816 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19591] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19591/stat : 19591 (java) S 19574 19577 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5479476 13588557824 351158 33554432000 4194304 4196468 140722420497904 140005264935376 140005737416603 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19592] ppid=19574 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19592/stat : 19592 (java) S 19574 19577 14271 0 -1 1077944384 20371 0 0 0 179 4 0 0 20 0 20 0 5479476 13588557824 351158 33554432000 4194304 4196468 140722420497904 140004927990000 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19593] ppid=19574 vsize=13270076 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19593/stat : 19593 (java) S 19574 19577 14271 0 -1 1077944384 17722 0 0 0 157 2 0 0 20 0 20 0 5479476 13588557824 351158 33554432000 4194304 4196468 140722420497904 140004926937456 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19594] ppid=19574 vsize=13270076 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19594/stat : 19594 (java) S 19574 19577 14271 0 -1 1077944384 20533 0 0 0 192 2 0 0 20 0 20 0 5479476 13588557824 351158 33554432000 4194304 4196468 140722420497904 140004925884400 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19595] ppid=19574 vsize=13270076 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19595/stat : 19595 (java) S 19574 19577 14271 0 -1 1077944384 31540 0 0 0 107 4 0 0 20 0 20 0 5479476 13588557824 351158 33554432000 4194304 4196468 140722420497904 140004924831856 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19596] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19596/stat : 19596 (java) S 19574 19577 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5479477 13588557824 351158 33554432000 4194304 4196468 140722420497904 140004923780064 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19597] ppid=19574 vsize=13270076 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19597/stat : 19597 (java) S 19574 19577 14271 0 -1 1077944384 1802 0 0 0 58 71 0 0 20 0 20 0 5479477 13588557824 351158 33554432000 4194304 4196468 140722420497904 140004922727600 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 2365.41
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2295.5 s]
/proc/loadavg: 1.22 1.41 1.48 3/281 19775
/proc/meminfo: memFree=29268396/32770624 swapFree=5708/267664
[pid=19577] ppid=19574 vsize=13270076 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 402502 0 0 0 239318 687 0 0 20 0 20 0 5479468 13588557824 342830 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3317519 342830 3859 1 0 3305234 0
[pid=19577/tid=19578] ppid=19574 vsize=13270076 CPUtime=2274.1 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 115325 0 0 0 227350 60 0 0 20 0 20 0 5479468 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005741636272 140005356346838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19580] ppid=19574 vsize=13270076 CPUtime=14.24 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19580/stat : 19580 (java) S 19574 19577 14271 0 -1 1077944384 15779 0 0 0 1358 66 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005669534736 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19581] ppid=19574 vsize=13270076 CPUtime=14.51 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19581/stat : 19581 (java) S 19574 19577 14271 0 -1 1077944384 14799 0 0 0 1385 66 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005668482192 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19582] ppid=19574 vsize=13270076 CPUtime=14.37 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19582/stat : 19582 (java) S 19574 19577 14271 0 -1 1077944384 18827 0 0 0 1372 65 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005667429136 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19583] ppid=19574 vsize=13270076 CPUtime=14.43 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19583/stat : 19583 (java) S 19574 19577 14271 0 -1 1077944384 15792 0 0 0 1377 66 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005333765008 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19584] ppid=19574 vsize=13270076 CPUtime=14.35 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19584/stat : 19584 (java) S 19574 19577 14271 0 -1 1077944384 16866 0 0 0 1368 67 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005332711952 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19585] ppid=19574 vsize=13270076 CPUtime=14.37 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19585/stat : 19585 (java) S 19574 19577 14271 0 -1 1077944384 15518 0 0 0 1372 65 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005331659408 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19586] ppid=19574 vsize=13270076 CPUtime=14.43 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19586/stat : 19586 (java) S 19574 19577 14271 0 -1 1077944384 15795 0 0 0 1376 67 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005330606352 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19587] ppid=19574 vsize=13270076 CPUtime=14.28 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19587/stat : 19587 (java) S 19574 19577 14271 0 -1 1077944384 16881 0 0 0 1363 65 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005329553808 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19588] ppid=19574 vsize=13270076 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19588/stat : 19588 (java) S 19574 19577 14271 0 -1 1077944384 63455 0 0 0 252 49 0 0 20 0 20 0 5479472 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005268093680 140005737409154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19589] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19589/stat : 19589 (java) S 19574 19577 14271 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 5479472 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005267039968 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19590] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19590/stat : 19590 (java) S 19574 19577 14271 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 5479473 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005265986816 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19591] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19591/stat : 19591 (java) S 19574 19577 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005264935376 140005737416603 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19592] ppid=19574 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19592/stat : 19592 (java) S 19574 19577 14271 0 -1 1077944384 20373 0 0 0 179 4 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004927990000 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19593] ppid=19574 vsize=13270076 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19593/stat : 19593 (java) S 19574 19577 14271 0 -1 1077944384 17724 0 0 0 157 2 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004926937456 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19594] ppid=19574 vsize=13270076 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19594/stat : 19594 (java) S 19574 19577 14271 0 -1 1077944384 20535 0 0 0 192 2 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004925884400 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19595] ppid=19574 vsize=13270076 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19595/stat : 19595 (java) S 19574 19577 14271 0 -1 1077944384 31542 0 0 0 107 4 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004924831856 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19596] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19596/stat : 19596 (java) S 19574 19577 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5479477 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004923780064 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19597] ppid=19574 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19597/stat : 19597 (java) S 19574 19577 14271 0 -1 1077944384 1815 0 0 0 59 72 0 0 20 0 20 0 5479477 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004922727600 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19577 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2295.5 s]
/proc/loadavg: 1.22 1.41 1.48 3/281 19775
/proc/meminfo: memFree=29268396/32770624 swapFree=5708/267664
[pid=19577] ppid=19574 vsize=13270076 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/19577/stat : 19577 (java) S 19574 19577 14271 0 -1 1077944320 402502 0 0 0 239318 687 0 0 20 0 20 0 5479468 13588557824 342830 33554432000 4194304 4196468 140722420497904 140722420480448 140005737398007 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
/proc/19577/statm: 3317519 342830 3859 1 0 3305234 0
[pid=19577/tid=19578] ppid=19574 vsize=13270076 CPUtime=2274.1 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19578/stat : 19578 (java) R 19574 19577 14271 0 -1 4202560 115325 0 0 0 227350 60 0 0 20 0 20 0 5479468 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005741636272 140005356346838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19580] ppid=19574 vsize=13270076 CPUtime=14.24 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19580/stat : 19580 (java) S 19574 19577 14271 0 -1 1077944384 15779 0 0 0 1358 66 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005669534736 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19581] ppid=19574 vsize=13270076 CPUtime=14.51 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19581/stat : 19581 (java) S 19574 19577 14271 0 -1 1077944384 14799 0 0 0 1385 66 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005668482192 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19582] ppid=19574 vsize=13270076 CPUtime=14.37 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19582/stat : 19582 (java) S 19574 19577 14271 0 -1 1077944384 18827 0 0 0 1372 65 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005667429136 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19583] ppid=19574 vsize=13270076 CPUtime=14.43 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19583/stat : 19583 (java) S 19574 19577 14271 0 -1 1077944384 15792 0 0 0 1377 66 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005333765008 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19584] ppid=19574 vsize=13270076 CPUtime=14.35 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19584/stat : 19584 (java) S 19574 19577 14271 0 -1 1077944384 16866 0 0 0 1368 67 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005332711952 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19585] ppid=19574 vsize=13270076 CPUtime=14.37 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19585/stat : 19585 (java) S 19574 19577 14271 0 -1 1077944384 15518 0 0 0 1372 65 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005331659408 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19586] ppid=19574 vsize=13270076 CPUtime=14.43 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19586/stat : 19586 (java) S 19574 19577 14271 0 -1 1077944384 15795 0 0 0 1376 67 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005330606352 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19587] ppid=19574 vsize=13270076 CPUtime=14.28 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19587/stat : 19587 (java) S 19574 19577 14271 0 -1 1077944384 16881 0 0 0 1363 65 0 0 20 0 20 0 5479469 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005329553808 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19588] ppid=19574 vsize=13270076 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19588/stat : 19588 (java) S 19574 19577 14271 0 -1 1077944384 63455 0 0 0 252 49 0 0 20 0 20 0 5479472 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005268093680 140005737409154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19589] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19589/stat : 19589 (java) S 19574 19577 14271 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 5479472 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005267039968 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19590] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19590/stat : 19590 (java) S 19574 19577 14271 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 5479473 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005265986816 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19591] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19591/stat : 19591 (java) S 19574 19577 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140005264935376 140005737416603 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19592] ppid=19574 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19592/stat : 19592 (java) S 19574 19577 14271 0 -1 1077944384 20373 0 0 0 179 4 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004927990000 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19593] ppid=19574 vsize=13270076 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19593/stat : 19593 (java) S 19574 19577 14271 0 -1 1077944384 17724 0 0 0 157 2 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004926937456 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19594] ppid=19574 vsize=13270076 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19594/stat : 19594 (java) S 19574 19577 14271 0 -1 1077944384 20535 0 0 0 192 2 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004925884400 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19595] ppid=19574 vsize=13270076 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19595/stat : 19595 (java) S 19574 19577 14271 0 -1 1077944384 31542 0 0 0 107 4 0 0 20 0 20 0 5479476 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004924831856 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19596] ppid=19574 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19596/stat : 19596 (java) S 19574 19577 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5479477 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004923780064 140005737408213 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
[pid=19577/tid=19597] ppid=19574 vsize=13270076 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/19577/task/19597/stat : 19597 (java) S 19574 19577 14271 0 -1 1077944384 1815 0 0 0 59 72 0 0 20 0 20 0 5479477 13588557824 342830 33554432000 4194304 4196468 140722420497904 140004922727600 140005737409154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14716928 140722420503695 140722420503876 140722420503876 140722420506575 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2295.54
CPU time (s): 2400.12
CPU user time (s): 2393.24
CPU system time (s): 6.88059
CPU usage (%): 104.556
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.24
system time used= 6.88059
maximum resident set size= 3113740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166670
involuntary context switches= 146930

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2807 second user time and 19.1728 second system time

The end

Launcher Data

Begin job on node140 at 2017-07-22 07:42:11
IDJOB=4246321
IDBENCH=124413
IDSOLVER=2629
FILE ID=node140/4246321-1500702131
RUNJOBID= node140-1500684139-17112
PBS_JOBID= 20623028
Free space on /tmp= 61816 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k6.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246321-1500702131/watcher-4246321-1500702131 -o /tmp/evaluation-result-4246321-1500702131/solver-4246321-1500702131 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500684139-17112 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 89819593 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246321-1500702131.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 65a76f6052f0c7193e3442ad9f3b990a
RANDOM SEED=89819593

node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29557120 kB
MemAvailable:   29827556 kB
Buffers:          126956 kB
Cached:           423128 kB
SwapCached:            0 kB
Active:          2497432 kB
Inactive:         274288 kB
Active(anon):    2223936 kB
Inactive(anon):     8836 kB
Active(file):     273496 kB
Inactive(file):   265452 kB
Unevictable:        5708 kB
Mlocked:            5708 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41936 kB
Writeback:             0 kB
AnonPages:       2233784 kB
Mapped:            45568 kB
Shmem:              8852 kB
Slab:             129436 kB
SReclaimable:      94644 kB
SUnreclaim:        34792 kB
KernelStack:        4864 kB
PageTables:        10052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2762812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2062336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61776 MiB
End job on node140 at 2017-07-22 08:20:27

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml
MD5SUM	65a76f6052f0c7193e3442ad9f3b990a
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	743
Best CPU time to get the best result obtained on this benchmark	2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables	1122
Number of constraints	1088
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}]
Minimum variable degree	0
Maximum variable degree	63
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}]
Minimum constraint arity	1
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	32
Distribution of constraint types	[{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4246321

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