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
OscaR - Hybrid 2017-07-26	SAT (TO)	1191	2520.1299	2457.73

0.28/0.38	c version: 2017-07-26
0.28/0.38	c seed: 1882323878
0.28/0.38	c timeout: 2520
0.28/0.38	c memlimit: 11000
0.28/0.38	c nbcore: 4
0.28/0.40	c Parsing instance...
2.17/1.17	c Parsing done, starting first complete search...
2.77/1.34	o 1990
2.77/1.34	o 1985
2.77/1.34	o 1981
2.77/1.34	o 1978
2.77/1.34	o 1955
2.77/1.34	o 1948
2.77/1.34	o 1918
2.77/1.34	o 1914
2.77/1.34	o 1899
2.77/1.34	o 1863
2.77/1.34	o 1815
2.77/1.34	o 1781
3.09/1.48	o 1775
3.40/1.52	o 1748
4.07/1.88	o 1719
5.79/3.39	c First complete search done, starting ALNS search...
13.23/9.38	o 1715
20.41/16.16	o 1680
46.50/41.92	o 1616
128.96/123.02	o 1606
142.14/135.91	o 1554
537.19/522.27	o 1538
809.70/788.07	o 1534
809.90/788.27	o 1488
810.20/788.55	o 1471
810.72/789.04	o 1468
810.91/789.23	o 1434
817.45/795.68	o 1388
817.65/795.84	o 1386
817.97/796.13	o 1385
883.05/859.71	o 1366
883.27/859.90	o 1354
976.83/951.35	o 1349
977.34/951.84	o 1302
1035.82/1008.92	o 1292
1040.33/1013.39	o 1290
1040.74/1013.72	o 1288
1047.28/1020.16	o 1284
1047.78/1020.65	o 1248
1515.89/1477.70	o 1246
1653.38/1611.85	o 1241
1690.01/1647.67	o 1217
1691.03/1648.62	o 1192
1704.43/1661.72	o 1191
1808.37/1763.29	c ALNS done, starting second complete search
1808.37/1763.29	c Best operator: PropGuided(218.70318667537026)_ConfOrder(valLearnMin) with improvement of: 223
2520.08/2457.70	s SATISFIABLE
2520.08/2457.71	v <instantiation>
2520.08/2457.71	v 	<list>
2520.08/2457.71	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]
2520.08/2457.71	v 	</list>
2520.08/2457.71	v 	<values>
2520.08/2457.71	v 		0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 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 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 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 1 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 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 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 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 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 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 1 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 0 0 0 0 1 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 0 0 0 0 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 86 71 35 92 100 93 56 79 84 20 99 66 94 19 37 13 100 21 75 100 10 19 100 13 57 37 43 60 21 76 61 97 
2520.08/2457.71	v 	</values>
2520.08/2457.71	v </instantiation>

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274758-1502817904/watcher-4274758-1502817904 -o /tmp/evaluation-result-4274758-1502817904/solver-4274758-1502817904 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1882323878 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274758-1502817904.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=5092, runsolver pid=5089

[startup+0.100119 s]*
/proc/loadavg: 1.87 1.64 1.51 3/209 5098
/proc/meminfo: memFree=28609224/32770624 swapFree=67108860/67108860
[pid=5092] ppid=5089 vsize=13440536 memory=17240 CPUtime=0.01 cores=1,3,5,7
/proc/5092/stat : 5092 (java) S 5089 5092 12395 0 -1 1077944320 3652 0 0 0 1 0 0 0 20 0 7 0 123701853 13763108864 4310 18446744073709551615 4194304 4196468 140721392355408 140721392337952 139668491001591 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
/proc/5092/statm: 3360134 4310 1985 1 0 3349631 0
[pid=5092/tid=5094] ppid=5089 vsize=13440536 memory=6933928925625698159 CPUtime=0.01 cores=1,3,5,7
/proc/5092/task/5094/stat : 5094 (java) R 5089 5092 12395 0 -1 4202560 2349 0 0 0 1 0 0 0 20 0 7 0 123701862 13763108864 4310 18446744073709551615 4194304 4196468 140721392355408 139668495244048 139668476684083 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5095] ppid=5089 vsize=13440536 memory=3677534773662714415 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5095/stat : 5095 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 123701862 13763108864 4310 18446744073709551615 4194304 4196468 140721392355408 139668447967888 139668491011797 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5096] ppid=5089 vsize=13440536 memory=140396771612288 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5096/stat : 5096 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 123701862 13763108864 4310 18446744073709551615 4194304 4196468 140721392355408 139668446915088 139668491011797 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5097] ppid=5089 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5097/stat : 5097 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 123701862 13763108864 4310 18446744073709551615 4194304 4196468 140721392355408 139668445862288 139668491011797 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5098] ppid=5089 vsize=13440536 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5098/stat : 5098 (java) S 5089 5092 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 123701862 13763108864 4310 18446744073709551615 4194304 4196468 140721392355408 139668087826704 139668491011797 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5099] ppid=5089 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5099/stat : 5099 (java) S 5089 5092 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 123701864 13763108864 4310 18446744073709551615 4194304 4196468 140721392355408 139667970173808 139668491012738 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 17240 KiB

[startup+0.210231 s]*
/proc/loadavg: 1.87 1.64 1.51 3/218 5107
/proc/meminfo: memFree=28599324/32770624 swapFree=67108860/67108860
[pid=5092] ppid=5089 vsize=13975920 memory=30044 CPUtime=0.1 cores=1,3,5,7
/proc/5092/stat : 5092 (java) S 5089 5092 12395 0 -1 1077944320 6825 0 0 0 9 1 0 0 20 0 15 0 123701853 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 140721392337952 139668491001591 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
/proc/5092/statm: 3493980 7511 3382 1 0 3482759 0
[pid=5092/tid=5094] ppid=5089 vsize=13975920 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/5092/task/5094/stat : 5094 (java) R 5089 5092 12395 0 -1 4202560 4775 0 0 0 7 0 0 0 20 0 15 0 123701862 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139668495229264 139668475082078 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5095] ppid=5089 vsize=13975920 memory=331 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5095/stat : 5095 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139668447967888 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5096] ppid=5089 vsize=13975920 memory=140396771617633 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5096/stat : 5096 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139668446915088 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5097] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5097/stat : 5097 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139668445862288 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5098] ppid=5089 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5098/stat : 5098 (java) S 5089 5092 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123701862 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139668087826704 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5099] ppid=5089 vsize=13975920 memory=140396771612288 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5099/stat : 5099 (java) S 5089 5092 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123701864 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139667970173808 139668491012738 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5100] ppid=5089 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5100/stat : 5100 (java) S 5089 5092 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123701864 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139667969119776 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5101] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5101/stat : 5101 (java) S 5089 5092 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123701864 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139667968066928 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5102] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5102/stat : 5102 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139667967015248 139668491020187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5103] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5103/stat : 5103 (java) S 5089 5092 12395 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 123701867 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139667965962608 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5104] ppid=5089 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5104/stat : 5104 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139667964909808 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5105] ppid=5089 vsize=13975920 memory=140396771612288 CPUtime=0.01 cores=1,3,5,7
/proc/5092/task/5105/stat : 5105 (java) S 5089 5092 12395 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 15 0 123701867 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139667963857008 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5106] ppid=5089 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5106/stat : 5106 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139667962804448 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5107] ppid=5089 vsize=13975920 memory=140396771612288 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5107/stat : 5107 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701871 14311342080 7511 18446744073709551615 4194304 4196468 140721392355408 139667961752752 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30044 KiB

[startup+0.316244 s]*
/proc/loadavg: 1.87 1.64 1.51 3/218 5107
/proc/meminfo: memFree=28589048/32770624 swapFree=67108860/67108860
[pid=5092] ppid=5089 vsize=13975920 memory=39748 CPUtime=0.28 cores=1,3,5,7
/proc/5092/stat : 5092 (java) S 5089 5092 12395 0 -1 1077944320 10646 0 0 0 25 3 0 0 20 0 15 0 123701853 14311342080 9937 18446744073709551615 4194304 4196468 140721392355408 140721392337952 139668491001591 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
/proc/5092/statm: 3493980 9937 3578 1 0 3482759 0
[pid=5092/tid=5094] ppid=5089 vsize=13975920 memory=6933928925625698159 CPUtime=0.18 cores=1,3,5,7
/proc/5092/task/5094/stat : 5094 (java) R 5089 5092 12395 0 -1 4202560 8257 0 0 0 16 2 0 0 20 0 15 0 123701862 14311342080 9937 18446744073709551615 4194304 4196468 140721392355408 139668495218600 139668126904095 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5095] ppid=5089 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5095/stat : 5095 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14311342080 9937 18446744073709551615 4194304 4196468 140721392355408 139668447967888 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5096] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5096/stat : 5096 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14311342080 9937 18446744073709551615 4194304 4196468 140721392355408 139668446915088 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5097] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5097/stat : 5097 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14311342080 9937 18446744073709551615 4194304 4196468 140721392355408 139668445862288 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5098] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5098/stat : 5098 (java) S 5089 5092 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123701862 14311342080 9937 18446744073709551615 4194304 4196468 140721392355408 139668087826704 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5099] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5099/stat : 5099 (java) S 5089 5092 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123701864 14311342080 10449 18446744073709551615 4194304 4196468 140721392355408 139667970173808 139668491012738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5100] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5100/stat : 5100 (java) S 5089 5092 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123701864 14311342080 10449 18446744073709551615 4194304 4196468 140721392355408 139667969119776 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5101] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5101/stat : 5101 (java) S 5089 5092 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123701864 14311342080 10449 18446744073709551615 4194304 4196468 140721392355408 139667968066928 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5102] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5102/stat : 5102 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14311342080 10449 18446744073709551615 4194304 4196468 140721392355408 139667967015248 139668491020187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5103] ppid=5089 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5092/task/5103/stat : 5103 (java) S 5089 5092 12395 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 123701867 14311342080 10449 18446744073709551615 4194304 4196468 140721392355408 139667965962608 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5104] ppid=5089 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5092/task/5104/stat : 5104 (java) S 5089 5092 12395 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 123701867 14311342080 10449 18446744073709551615 4194304 4196468 140721392355408 139667964909808 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5105] ppid=5089 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5092/task/5105/stat : 5105 (java) S 5089 5092 12395 0 -1 1077944384 424 0 0 0 5 0 0 0 20 0 15 0 123701867 14311342080 10449 18446744073709551615 4194304 4196468 140721392355408 139667963857008 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5106] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5106/stat : 5106 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14311342080 10449 18446744073709551615 4194304 4196468 140721392355408 139667962804448 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5107] ppid=5089 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5107/stat : 5107 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701871 14311342080 10449 18446744073709551615 4194304 4196468 140721392355408 139667961752752 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39748 KiB

[startup+0.709344 s]
/proc/loadavg: 1.87 1.64 1.51 5/218 5107
/proc/meminfo: memFree=28572856/32770624 swapFree=67108860/67108860
[pid=5092] ppid=5089 vsize=13977988 memory=71548 CPUtime=1.15 cores=1,3,5,7
/proc/5092/stat : 5092 (java) S 5089 5092 12395 0 -1 1077944320 14049 0 0 0 110 5 0 0 20 0 15 0 123701853 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 140721392337952 139668491001591 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
/proc/5092/statm: 3494497 17887 3738 1 0 3483271 0
[pid=5092/tid=5094] ppid=5089 vsize=13977988 memory=130 CPUtime=0.56 cores=1,3,5,7
/proc/5092/task/5094/stat : 5094 (java) R 5089 5092 12395 0 -1 4202560 10323 0 0 0 53 3 0 0 20 0 15 0 123701862 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139668495236960 139668128185517 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5095] ppid=5089 vsize=13977988 memory=196 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5095/stat : 5095 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139668447967888 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5096] ppid=5089 vsize=13977988 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5096/stat : 5096 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139668446915088 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5097] ppid=5089 vsize=13977988 memory=796 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5097/stat : 5097 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139668445862288 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5098] ppid=5089 vsize=13977988 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5098/stat : 5098 (java) S 5089 5092 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123701862 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139668087826704 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5099] ppid=5089 vsize=13977988 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5099/stat : 5099 (java) S 5089 5092 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123701864 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139667970173808 139668491012738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5100] ppid=5089 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5100/stat : 5100 (java) S 5089 5092 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123701864 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139667969119776 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5101] ppid=5089 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5101/stat : 5101 (java) S 5089 5092 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123701864 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139667968066928 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5102] ppid=5089 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5102/stat : 5102 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139667967015248 139668491020187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5103] ppid=5089 vsize=13977988 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/5092/task/5103/stat : 5103 (java) R 5089 5092 12395 0 -1 4202560 900 0 0 0 17 0 0 0 20 0 15 0 123701867 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139667965953936 139668491022938 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5104] ppid=5089 vsize=13977988 memory=28 CPUtime=0.13 cores=1,3,5,7
/proc/5092/task/5104/stat : 5104 (java) S 5089 5092 12395 0 -1 1077944384 534 0 0 0 13 0 0 0 20 0 15 0 123701867 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139667964909808 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5105] ppid=5089 vsize=13977988 memory=85 CPUtime=0.25 cores=1,3,5,7
/proc/5092/task/5105/stat : 5105 (java) R 5089 5092 12395 0 -1 4202560 912 0 0 0 25 0 0 0 20 0 15 0 123701867 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139667963850672 139668484098459 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5106] ppid=5089 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5106/stat : 5106 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139667962804448 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5107] ppid=5089 vsize=13977988 memory=16797617098206 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5107/stat : 5107 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701871 14313459712 17887 18446744073709551615 4194304 4196468 140721392355408 139667961752752 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 71548 KiB

[startup+1.50346 s]
/proc/loadavg: 1.87 1.64 1.51 4/218 5107
/proc/meminfo: memFree=28533820/32770624 swapFree=67108860/67108860
[pid=5092] ppid=5089 vsize=13982084 memory=171388 CPUtime=3.4 cores=1,3,5,7
/proc/5092/stat : 5092 (java) S 5089 5092 12395 0 -1 1077944320 30400 0 0 0 328 12 0 0 20 0 15 0 123701853 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 140721392337952 139668491001591 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
/proc/5092/statm: 3495521 42847 3774 1 0 3484295 0
[pid=5092/tid=5094] ppid=5089 vsize=13982084 memory=-7751062316387021378 CPUtime=1.35 cores=1,3,5,7
/proc/5092/task/5094/stat : 5094 (java) R 5089 5092 12395 0 -1 4202560 15212 0 0 0 129 6 0 0 20 0 15 0 123701862 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139668495237016 139668125681728 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5095] ppid=5089 vsize=13982084 memory=-3621219715169225006 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5095/stat : 5095 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139668447967888 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5096] ppid=5089 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5096/stat : 5096 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139668446915088 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5097] ppid=5089 vsize=13982084 memory=-7313218806073825454 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5097/stat : 5097 (java) S 5089 5092 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123701862 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139668445862288 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5098] ppid=5089 vsize=13982084 memory=6940718076571312192 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5098/stat : 5098 (java) S 5089 5092 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123701862 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139668087826704 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5099] ppid=5089 vsize=13982084 memory=6935654855590174784 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5099/stat : 5099 (java) S 5089 5092 12395 0 -1 1077944384 393 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139667970173808 139668491012738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5100] ppid=5089 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5100/stat : 5100 (java) S 5089 5092 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139667969119776 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5101] ppid=5089 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5101/stat : 5101 (java) S 5089 5092 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139667968066928 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5102] ppid=5089 vsize=13982084 memory=50 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5102/stat : 5102 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139667967015248 139668491020187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5103] ppid=5089 vsize=13982084 memory=46 CPUtime=0.69 cores=1,3,5,7
/proc/5092/task/5103/stat : 5103 (java) R 5089 5092 12395 0 -1 4202560 3694 0 0 0 67 2 0 0 20 0 15 0 123701867 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139667965948736 139668475401348 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5104] ppid=5089 vsize=13982084 memory=62 CPUtime=0.66 cores=1,3,5,7
/proc/5092/task/5104/stat : 5104 (java) R 5089 5092 12395 0 -1 4202560 2800 0 0 0 66 0 0 0 20 0 15 0 123701867 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139667964889872 139668491022938 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5105] ppid=5089 vsize=13982084 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/5092/task/5105/stat : 5105 (java) S 5089 5092 12395 0 -1 1077944384 6918 0 0 0 64 1 0 0 20 0 15 0 123701867 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139667963857008 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5106] ppid=5089 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5106/stat : 5106 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139667962804448 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5107] ppid=5089 vsize=13982084 memory=61068 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5107/stat : 5107 (java) S 5089 5092 12395 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 123701871 14317654016 42847 18446744073709551615 4194304 4196468 140721392355408 139667961752752 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0

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

/proc/5092/task/5094/stat : 5094 (java) R 5089 5092 12395 0 -1 4202560 100548 0 0 0 235733 81 0 0 20 0 15 0 123701862 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139668495239920 139668134418604 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5095] ppid=5089 vsize=13982084 memory=587000 CPUtime=18.49 cores=1,3,5,7
/proc/5092/task/5095/stat : 5095 (java) S 5089 5092 12395 0 -1 1077944384 16565 0 0 0 1794 55 0 0 20 0 15 0 123701862 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139668447967888 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5096] ppid=5089 vsize=13982084 memory=563912 CPUtime=18.42 cores=1,3,5,7
/proc/5092/task/5096/stat : 5096 (java) S 5089 5092 12395 0 -1 1077944384 14664 0 0 0 1786 56 0 0 20 0 15 0 123701862 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139668446915088 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5097] ppid=5089 vsize=13982084 memory=560784 CPUtime=18.49 cores=1,3,5,7
/proc/5092/task/5097/stat : 5097 (java) S 5089 5092 12395 0 -1 1077944384 16496 0 0 0 1796 53 0 0 20 0 15 0 123701862 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139668445862288 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5098] ppid=5089 vsize=13982084 memory=560784 CPUtime=18.43 cores=1,3,5,7
/proc/5092/task/5098/stat : 5098 (java) S 5089 5092 12395 0 -1 1077944384 16861 0 0 0 1788 55 0 0 20 0 15 0 123701862 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139668087826704 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5099] ppid=5089 vsize=13982084 memory=558220 CPUtime=3.96 cores=1,3,5,7
/proc/5092/task/5099/stat : 5099 (java) S 5089 5092 12395 0 -1 1077944384 88600 0 0 0 337 59 0 0 20 0 15 0 123701864 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139667970173808 139668491012738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5100] ppid=5089 vsize=13982084 memory=558220 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5100/stat : 5100 (java) S 5089 5092 12395 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139667969119840 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5101] ppid=5089 vsize=13982084 memory=558220 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5101/stat : 5101 (java) S 5089 5092 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139667968066944 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5102] ppid=5089 vsize=13982084 memory=558220 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5102/stat : 5102 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139667967015248 139668491020187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5103] ppid=5089 vsize=13982084 memory=4132 CPUtime=2.18 cores=1,3,5,7
/proc/5092/task/5103/stat : 5103 (java) S 5089 5092 12395 0 -1 1077944384 19259 0 0 0 213 5 0 0 20 0 15 0 123701867 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139667965962608 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5104] ppid=5089 vsize=13982084 memory=602388 CPUtime=2.13 cores=1,3,5,7
/proc/5092/task/5104/stat : 5104 (java) S 5089 5092 12395 0 -1 1077944384 19001 0 0 0 210 3 0 0 20 0 15 0 123701867 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139667964909808 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5105] ppid=5089 vsize=13982084 memory=544884 CPUtime=1.04 cores=1,3,5,7
/proc/5092/task/5105/stat : 5105 (java) S 5089 5092 12395 0 -1 1077944384 29343 0 0 0 100 4 0 0 20 0 15 0 123701867 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139667963857008 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5106] ppid=5089 vsize=13982084 memory=558220 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5106/stat : 5106 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139667962804448 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5107] ppid=5089 vsize=13982084 memory=644 CPUtime=1.43 cores=1,3,5,7
/proc/5092/task/5107/stat : 5107 (java) S 5089 5092 12395 0 -1 1077944384 1342 0 0 0 61 82 0 0 20 0 15 0 123701871 14317654016 139555 18446744073709551615 4194304 4196468 140721392355408 139667961752752 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
Current children cumulated CPU time: 2442.81 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 558220 KiB

[startup+2442.3 s]
/proc/loadavg: 1.49 1.45 1.48 3/215 5334
/proc/meminfo: memFree=29600896/32770624 swapFree=67108860/67108860
[pid=5092] ppid=5089 vsize=13982084 memory=555540 CPUtime=2504.31 cores=1,3,5,7
/proc/5092/stat : 5092 (java) S 5089 5092 12395 0 -1 1077944320 327541 0 0 0 250000 431 0 0 20 0 15 0 123701853 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 140721392337952 139668491001591 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
/proc/5092/statm: 3495521 138885 3833 1 0 3484295 0
[pid=5092/tid=5094] ppid=5089 vsize=13982084 memory=560784 CPUtime=2417.49 cores=1,3,5,7
/proc/5092/task/5094/stat : 5094 (java) R 5089 5092 12395 0 -1 4202560 101838 0 0 0 241666 83 0 0 20 0 15 0 123701862 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139668495239888 139668134314055 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5095] ppid=5089 vsize=13982084 memory=560784 CPUtime=19 cores=1,3,5,7
/proc/5092/task/5095/stat : 5095 (java) S 5089 5092 12395 0 -1 1077944384 16955 0 0 0 1845 55 0 0 20 0 15 0 123701862 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139668447967888 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5096] ppid=5089 vsize=13982084 memory=546160 CPUtime=18.92 cores=1,3,5,7
/proc/5092/task/5096/stat : 5096 (java) S 5089 5092 12395 0 -1 1077944384 14914 0 0 0 1835 57 0 0 20 0 15 0 123701862 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139668446915088 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5097] ppid=5089 vsize=13982084 memory=546160 CPUtime=18.99 cores=1,3,5,7
/proc/5092/task/5097/stat : 5097 (java) S 5089 5092 12395 0 -1 1077944384 16681 0 0 0 1845 54 0 0 20 0 15 0 123701862 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139668445862288 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5098] ppid=5089 vsize=13982084 memory=583756 CPUtime=18.93 cores=1,3,5,7
/proc/5092/task/5098/stat : 5098 (java) S 5089 5092 12395 0 -1 1077944384 16989 0 0 0 1837 56 0 0 20 0 15 0 123701862 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139668087826704 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5099] ppid=5089 vsize=13982084 memory=591440 CPUtime=4.07 cores=1,3,5,7
/proc/5092/task/5099/stat : 5099 (java) S 5089 5092 12395 0 -1 1077944384 89724 0 0 0 346 61 0 0 20 0 15 0 123701864 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139667970173808 139668491012738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5100] ppid=5089 vsize=13982084 memory=568368 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5100/stat : 5100 (java) S 5089 5092 12395 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139667969119840 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5101] ppid=5089 vsize=13982084 memory=555540 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5101/stat : 5101 (java) S 5089 5092 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139667968066944 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5102] ppid=5089 vsize=13982084 memory=555540 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5102/stat : 5102 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139667967015248 139668491020187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5103] ppid=5089 vsize=13982084 memory=560672 CPUtime=2.18 cores=1,3,5,7
/proc/5092/task/5103/stat : 5103 (java) S 5089 5092 12395 0 -1 1077944384 19261 0 0 0 213 5 0 0 20 0 15 0 123701867 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139667965962608 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5104] ppid=5089 vsize=13982084 memory=560672 CPUtime=2.13 cores=1,3,5,7
/proc/5092/task/5104/stat : 5104 (java) S 5089 5092 12395 0 -1 1077944384 19003 0 0 0 210 3 0 0 20 0 15 0 123701867 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139667964909808 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5105] ppid=5089 vsize=13982084 memory=560672 CPUtime=1.04 cores=1,3,5,7
/proc/5092/task/5105/stat : 5105 (java) S 5089 5092 12395 0 -1 1077944384 29345 0 0 0 100 4 0 0 20 0 15 0 123701867 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139667963857008 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5106] ppid=5089 vsize=13982084 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5106/stat : 5106 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139667962804448 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5107] ppid=5089 vsize=13982084 memory=558108 CPUtime=1.46 cores=1,3,5,7
/proc/5092/task/5107/stat : 5107 (java) S 5089 5092 12395 0 -1 1077944384 1369 0 0 0 62 84 0 0 20 0 15 0 123701871 14317654016 138885 18446744073709551615 4194304 4196468 140721392355408 139667961752752 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
Current children cumulated CPU time: 2504.31 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 555540 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.7 s]
/proc/loadavg: 1.38 1.43 1.47 3/215 5334
/proc/meminfo: memFree=29583044/32770624 swapFree=67108860/67108860
[pid=5092] ppid=5089 vsize=13982084 memory=578356 CPUtime=2520.08 cores=1,3,5,7
/proc/5092/stat : 5092 (java) S 5089 5092 12395 0 -1 1077944320 328763 0 0 0 251573 435 0 0 20 0 15 0 123701853 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 140721392337952 139668491001591 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
/proc/5092/statm: 3495521 144589 3833 1 0 3484295 0
[pid=5092/tid=5094] ppid=5089 vsize=13982084 memory=578356 CPUtime=2432.73 cores=1,3,5,7
/proc/5092/task/5094/stat : 5094 (java) R 5089 5092 12395 0 -1 4202560 102461 0 0 0 243190 83 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668495239888 139668135550816 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5095] ppid=5089 vsize=13982084 memory=554780 CPUtime=19.13 cores=1,3,5,7
/proc/5092/task/5095/stat : 5095 (java) S 5089 5092 12395 0 -1 1077944384 17125 0 0 0 1857 56 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668447967888 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5096] ppid=5089 vsize=13982084 memory=568368 CPUtime=19.04 cores=1,3,5,7
/proc/5092/task/5096/stat : 5096 (java) S 5089 5092 12395 0 -1 1077944384 15041 0 0 0 1846 58 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668446915088 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5097] ppid=5089 vsize=13982084 memory=591440 CPUtime=19.12 cores=1,3,5,7
/proc/5092/task/5097/stat : 5097 (java) S 5089 5092 12395 0 -1 1077944384 16778 0 0 0 1857 55 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668445862288 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5098] ppid=5089 vsize=13982084 memory=1716 CPUtime=19.06 cores=1,3,5,7
/proc/5092/task/5098/stat : 5098 (java) S 5089 5092 12395 0 -1 1077944384 17131 0 0 0 1849 57 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668087826704 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5099] ppid=5089 vsize=13982084 memory=578356 CPUtime=4.09 cores=1,3,5,7
/proc/5092/task/5099/stat : 5099 (java) S 5089 5092 12395 0 -1 1077944384 89785 0 0 0 348 61 0 0 20 0 15 0 123701864 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667970173808 139668491012738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5100] ppid=5089 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5100/stat : 5100 (java) S 5089 5092 12395 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667969119840 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5101] ppid=5089 vsize=13982084 memory=164 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5101/stat : 5101 (java) S 5089 5092 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667968066944 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5102] ppid=5089 vsize=13982084 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5102/stat : 5102 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667967015248 139668491020187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5103] ppid=5089 vsize=13982084 memory=0 CPUtime=2.18 cores=1,3,5,7
/proc/5092/task/5103/stat : 5103 (java) S 5089 5092 12395 0 -1 1077944384 19261 0 0 0 213 5 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667965962608 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5104] ppid=5089 vsize=13982084 memory=547084 CPUtime=2.13 cores=1,3,5,7
/proc/5092/task/5104/stat : 5104 (java) S 5089 5092 12395 0 -1 1077944384 19003 0 0 0 210 3 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667964909808 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5105] ppid=5089 vsize=13982084 memory=563236 CPUtime=1.04 cores=1,3,5,7
/proc/5092/task/5105/stat : 5105 (java) S 5089 5092 12395 0 -1 1077944384 29345 0 0 0 100 4 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667963857008 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5106] ppid=5089 vsize=13982084 memory=563236 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5106/stat : 5106 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667962804448 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5107] ppid=5089 vsize=13982084 memory=61164 CPUtime=1.48 cores=1,3,5,7
/proc/5092/task/5107/stat : 5107 (java) S 5089 5092 12395 0 -1 1077944384 1371 0 0 0 63 85 0 0 20 0 15 0 123701871 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667961752752 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 578356 KiB

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

[startup+2457.73 s]
# the end of solver process 5092 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.77 s, system=4.36023 s

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

[startup+2457.7 s]
/proc/loadavg: 1.38 1.43 1.47 3/215 5334
/proc/meminfo: memFree=29583044/32770624 swapFree=67108860/67108860
[pid=5092] ppid=5089 vsize=13982084 memory=578356 CPUtime=2520.08 cores=1,3,5,7
/proc/5092/stat : 5092 (java) S 5089 5092 12395 0 -1 1077944320 328763 0 0 0 251573 435 0 0 20 0 15 0 123701853 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 140721392337952 139668491001591 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
/proc/5092/statm: 3495521 144589 3833 1 0 3484295 0
[pid=5092/tid=5094] ppid=5089 vsize=13982084 memory=578356 CPUtime=2432.73 cores=1,3,5,7
/proc/5092/task/5094/stat : 5094 (java) R 5089 5092 12395 0 -1 4202560 102461 0 0 0 243190 83 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668495239888 139668135550816 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5095] ppid=5089 vsize=13982084 memory=554780 CPUtime=19.13 cores=1,3,5,7
/proc/5092/task/5095/stat : 5095 (java) S 5089 5092 12395 0 -1 1077944384 17125 0 0 0 1857 56 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668447967888 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5096] ppid=5089 vsize=13982084 memory=568368 CPUtime=19.04 cores=1,3,5,7
/proc/5092/task/5096/stat : 5096 (java) S 5089 5092 12395 0 -1 1077944384 15041 0 0 0 1846 58 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668446915088 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5097] ppid=5089 vsize=13982084 memory=591440 CPUtime=19.12 cores=1,3,5,7
/proc/5092/task/5097/stat : 5097 (java) S 5089 5092 12395 0 -1 1077944384 16778 0 0 0 1857 55 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668445862288 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5098] ppid=5089 vsize=13982084 memory=1716 CPUtime=19.06 cores=1,3,5,7
/proc/5092/task/5098/stat : 5098 (java) S 5089 5092 12395 0 -1 1077944384 17131 0 0 0 1849 57 0 0 20 0 15 0 123701862 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139668087826704 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5099] ppid=5089 vsize=13982084 memory=578356 CPUtime=4.09 cores=1,3,5,7
/proc/5092/task/5099/stat : 5099 (java) S 5089 5092 12395 0 -1 1077944384 89785 0 0 0 348 61 0 0 20 0 15 0 123701864 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667970173808 139668491012738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5100] ppid=5089 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5100/stat : 5100 (java) S 5089 5092 12395 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667969119840 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5101] ppid=5089 vsize=13982084 memory=164 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5101/stat : 5101 (java) S 5089 5092 12395 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 123701864 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667968066944 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5102] ppid=5089 vsize=13982084 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5102/stat : 5102 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667967015248 139668491020187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5103] ppid=5089 vsize=13982084 memory=0 CPUtime=2.18 cores=1,3,5,7
/proc/5092/task/5103/stat : 5103 (java) S 5089 5092 12395 0 -1 1077944384 19261 0 0 0 213 5 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667965962608 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5104] ppid=5089 vsize=13982084 memory=547084 CPUtime=2.13 cores=1,3,5,7
/proc/5092/task/5104/stat : 5104 (java) S 5089 5092 12395 0 -1 1077944384 19003 0 0 0 210 3 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667964909808 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5105] ppid=5089 vsize=13982084 memory=563236 CPUtime=1.04 cores=1,3,5,7
/proc/5092/task/5105/stat : 5105 (java) S 5089 5092 12395 0 -1 1077944384 29345 0 0 0 100 4 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667963857008 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5106] ppid=5089 vsize=13982084 memory=563236 CPUtime=0 cores=1,3,5,7
/proc/5092/task/5106/stat : 5106 (java) S 5089 5092 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123701867 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667962804448 139668491011797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
[pid=5092/tid=5107] ppid=5089 vsize=13982084 memory=61164 CPUtime=1.48 cores=1,3,5,7
/proc/5092/task/5107/stat : 5107 (java) S 5089 5092 12395 0 -1 1077944384 1371 0 0 0 63 85 0 0 20 0 15 0 123701871 14317654016 144589 18446744073709551615 4194304 4196468 140721392355408 139667961752752 139668491012738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140721392361842 140721392362025 140721392362025 140721392365519 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 578356 KiB

Child status: 143
Real time (s): 2457.73
CPU time (s): 2520.13
CPU user time (s): 2515.77
CPU system time (s): 4.36023
CPU usage (%): 102.539
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 1757956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.77
system time used= 4.36023
maximum resident set size= 1762064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148229
involuntary context switches= 6518


# summary of solver processes directly reported to runsolver:
#   pid: 5092
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2515.77
#   total CPU system time (s): 4.36023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6869 second user time and 24.3251 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml
MD5SUM	7965d79c566fadd70d01c63d02ba9078
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	661
Best CPU time to get the best result obtained on this benchmark	2400.07
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 4274758

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