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
choco-solver 4.0.5 par (2017-08-09)	SAT (TO)	708	20029.1	2520.1499

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270828-1502710478.xml"  -tl '20160s' -p 8 -x 0
0.12/0.15	c [HOME/instance-4270828-1502710478.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.78/1.00	c solve instance...
3.27/1.08	o 2614 
3.27/1.10	o 2567 
3.94/1.12	o 1730 
11.73/2.14	o 1556 
11.73/2.17	o 1552 
12.45/2.23	o 1539 
12.45/2.29	o 1510 
12.45/2.30	o 1475 
13.17/2.30	o 1446 
13.17/2.31	o 1438 
38.50/5.55	o 1426 
340.68/43.58	o 1420 
340.90/43.60	o 1408 
340.90/43.62	o 1403 
341.62/43.80	o 1364 
342.37/43.82	o 1362 
342.37/43.82	o 1355 
342.37/43.83	o 1350 
487.33/62.05	o 1348 
490.43/62.49	o 1338 
494.22/63.00	o 1318 
534.25/68.06	o 1311 
540.32/68.89	o 1269 
556.26/70.89	o 1253 
557.08/70.94	o 1245 
559.98/71.55	o 1237 
584.34/74.66	o 1225 
585.09/74.71	o 1222 
585.09/74.76	o 1210 
591.28/75.56	o 1206 
591.28/75.59	o 1203 
596.38/76.30	o 1184 
604.07/77.30	o 1183 
610.51/78.15	o 1176 
615.89/78.81	o 1144 
615.89/78.89	o 1143 
660.08/84.49	o 1141 
675.09/86.37	o 1130 
692.63/88.56	o 1127 
709.77/90.75	o 1124 
725.67/92.77	o 1120 
726.18/92.83	o 1113 
726.95/92.91	o 1107 
727.79/93.07	o 1095 
781.49/99.80	o 1069 
785.47/100.34	o 1042 
786.24/100.45	o 997 
788.48/100.75	o 995 
800.29/102.28	o 979 
805.87/102.99	o 969 
984.43/125.38	o 956 
992.38/126.31	o 955 
1111.03/141.20	o 940 
1170.76/148.74	o 937 
1179.52/149.82	o 921 
1336.54/169.59	o 913 
1342.06/170.25	o 911 
1381.00/175.16	o 901 
1560.62/197.71	o 899 
1650.32/209.01	o 896 
1724.25/218.42	o 881 
1841.06/233.14	o 870 
1867.13/236.48	o 861 
1869.78/236.84	o 823 
1930.03/244.41	o 784 
2124.74/268.99	o 776 
2226.65/281.71	o 771 
2423.47/306.48	o 769 
3008.60/379.95	o 751 
3225.00/407.17	o 749 
3523.03/444.67	o 733 
4102.71/517.56	o 728 
4439.43/559.81	o 726 
5006.78/631.23	o 721 
8878.01/1117.99	o 719 
12066.33/1519.09	o 712 
15016.42/1890.24	o 711 
16888.18/2125.43	o 708 
20028.27/2520.08	s SATISFIABLE
20028.27/2520.08	v <instantiation>
20028.27/2520.08	v 	<list>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] </list>
20028.27/2520.08	v 	<values>0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 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 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 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 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 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 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 1 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 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 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 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 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 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 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 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 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 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 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 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 1 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 42 23 34 97 83 36 55 69 52 98 57 9 92 22 75 20 76 13 50 31 32 100 99 18 46 36 75 85 9 29 70 98 </values>
20028.27/2520.08	v </instantiation>
20028.27/2520.08	c Unexpected resolution interruption!

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270828-1502710478/watcher-4270828-1502710478 -o /tmp/evaluation-result-4270828-1502710478/solver-4270828-1502710478 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502709619-4560 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 303520690 HOME/instance-4270828-1502710478.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=4577, runsolver pid=4574

[startup+0.100113 s]*
/proc/loadavg: 7.77 8.12 8.25 2/199 4598
/proc/meminfo: memFree=26949556/32770624 swapFree=67108860/67108860
[pid=4577] ppid=4574 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4577/stat : 4577 (xcsp3-exec) S 4574 4577 4533 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104135573 9740288 346 33554432000 4194304 5098028 140727311375888 140727311373992 140119603831420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34848768 140727311381605 140727311381815 140727311381815 140727311384555 0
/proc/4577/statm: 2378 346 289 221 0 87 0
[pid=4579] ppid=4577 vsize=25999808 memory=26088 CPUtime=0.12 cores=0-7
/proc/4579/stat : 4579 (java) S 4577 4577 4533 0 -1 1077944320 5474 0 0 0 10 2 0 0 20 0 20 0 104135573 26623803392 6522 33554432000 4194304 4196468 140730867769024 140730867751568 140595401637623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
/proc/4579/statm: 6499952 6522 2840 1 0 6488269 0
[pid=4579/tid=4580] ppid=4577 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4579/task/4580/stat : 4580 (java) R 4577 4577 4533 0 -1 4202560 3474 0 0 0 8 1 0 0 20 0 20 0 104135573 26623803392 6522 33554432000 4194304 4196468 140730867769024 140595405869552 140595033091300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4581] ppid=4577 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4579/task/4581/stat : 4581 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26623803392 6522 33554432000 4194304 4196468 140730867769024 140595354258192 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4582] ppid=4577 vsize=25999808 memory=140031270991488 CPUtime=0 cores=0-7
/proc/4579/task/4582/stat : 4582 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26623803392 6522 33554432000 4194304 4196468 140730867769024 140595353205648 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4583] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4583/stat : 4583 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594957909008 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4584] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4584/stat : 4584 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594956856464 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4585] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4585/stat : 4585 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594955802896 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4586] ppid=4577 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4579/task/4586/stat : 4586 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594954750352 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4587] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4587/stat : 4587 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594953697808 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4588] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4588/stat : 4588 (java) S 4577 4577 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104135574 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594952645264 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4589] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4589/stat : 4589 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135576 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594596059632 140595401648770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4590] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4590/stat : 4590 (java) S 4577 4577 4533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104135576 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594595005856 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4591] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4591/stat : 4591 (java) S 4577 4577 4533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104135576 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594593953264 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4592] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4592/stat : 4592 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135579 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594592901840 140595401656219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4593] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4593/stat : 4593 (java) S 4577 4577 4533 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 104135579 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594591848432 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4594] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4594/stat : 4594 (java) R 4577 4577 4533 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 104135579 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594590795888 140595401648770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4595] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4595/stat : 4595 (java) R 4577 4577 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104135579 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594589743344 140595401648770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4596] ppid=4577 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4579/task/4596/stat : 4596 (java) R 4577 4577 4533 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 104135579 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594588690800 140595393879013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4597] ppid=4577 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4597/stat : 4597 (java) S 4577 4577 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104135579 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594587638496 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4598] ppid=4577 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4579/task/4598/stat : 4598 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135579 26623803392 6522 33554432000 4194304 4196468 140730867769024 140594586586032 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27472 KiB

[startup+0.210035 s]*
/proc/loadavg: 7.77 8.12 8.25 2/199 4598
/proc/meminfo: memFree=26939928/32770624 swapFree=67108860/67108860
[pid=4577] ppid=4574 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4577/stat : 4577 (xcsp3-exec) S 4574 4577 4533 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104135573 9740288 346 33554432000 4194304 5098028 140727311375888 140727311373992 140119603831420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34848768 140727311381605 140727311381815 140727311381815 140727311384555 0
/proc/4577/statm: 2378 346 289 221 0 87 0
[pid=4579] ppid=4577 vsize=26004064 memory=39064 CPUtime=0.33 cores=0-7
/proc/4579/stat : 4579 (java) S 4577 4577 4533 0 -1 1077944320 8325 0 0 0 30 3 0 0 20 0 20 0 104135573 26628161536 9766 33554432000 4194304 4196468 140730867769024 140730867751568 140595401637623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
/proc/4579/statm: 6501016 9766 3043 1 0 6488269 0
[pid=4579/tid=4580] ppid=4577 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4579/task/4580/stat : 4580 (java) R 4577 4577 4533 0 -1 4202560 5377 0 0 0 18 1 0 0 20 0 20 0 104135573 26628161536 9766 33554432000 4194304 4196468 140730867769024 140595405858432 140595401659549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4581] ppid=4577 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/4579/task/4581/stat : 4581 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 9766 33554432000 4194304 4196468 140730867769024 140595354258192 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4582] ppid=4577 vsize=26004064 memory=140031270996319 CPUtime=0 cores=0-7
/proc/4579/task/4582/stat : 4582 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 9766 33554432000 4194304 4196468 140730867769024 140595353205648 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4583] ppid=4577 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4579/task/4583/stat : 4583 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594957909008 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4584] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4584/stat : 4584 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594956856464 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4585] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4585/stat : 4585 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594955802896 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4586] ppid=4577 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4579/task/4586/stat : 4586 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594954750352 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4587] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4587/stat : 4587 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594953697808 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4588] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4588/stat : 4588 (java) S 4577 4577 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594952645264 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4589] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4589/stat : 4589 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135576 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594596059632 140595401648770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4590] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4590/stat : 4590 (java) S 4577 4577 4533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104135576 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594595005856 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4591] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4591/stat : 4591 (java) S 4577 4577 4533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104135576 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594593953264 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4592] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4592/stat : 4592 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135579 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594592901840 140595401656219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4593] ppid=4577 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4579/task/4593/stat : 4593 (java) S 4577 4577 4533 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 20 0 104135579 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594591848432 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4594] ppid=4577 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4579/task/4594/stat : 4594 (java) S 4577 4577 4533 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 104135579 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594590795888 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4595] ppid=4577 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/4579/task/4595/stat : 4595 (java) S 4577 4577 4533 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 20 0 104135579 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594589743344 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4596] ppid=4577 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4579/task/4596/stat : 4596 (java) S 4577 4577 4533 0 -1 1077944384 767 0 0 0 7 0 0 0 20 0 20 0 104135579 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594588690800 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4597] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4597/stat : 4597 (java) S 4577 4577 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104135579 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594587638496 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4598] ppid=4577 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4579/task/4598/stat : 4598 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135579 26628161536 9766 33554432000 4194304 4196468 140730867769024 140594586586032 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40448 KiB

[startup+0.309393 s]*
/proc/loadavg: 7.77 8.12 8.25 3/199 4598
/proc/meminfo: memFree=26933352/32770624 swapFree=67108860/67108860
[pid=4577] ppid=4574 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4577/stat : 4577 (xcsp3-exec) S 4574 4577 4533 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104135573 9740288 346 33554432000 4194304 5098028 140727311375888 140727311373992 140119603831420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34848768 140727311381605 140727311381815 140727311381815 140727311384555 0
/proc/4577/statm: 2378 346 289 221 0 87 0
[pid=4579] ppid=4577 vsize=26004064 memory=43684 CPUtime=0.5 cores=0-7
/proc/4579/stat : 4579 (java) S 4577 4577 4533 0 -1 1077944320 9116 0 0 0 47 3 0 0 20 0 20 0 104135573 26628161536 10921 33554432000 4194304 4196468 140730867769024 140730867751568 140595401637623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
/proc/4579/statm: 6501016 10921 3059 1 0 6488269 0
[pid=4579/tid=4580] ppid=4577 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4579/task/4580/stat : 4580 (java) R 4577 4577 4533 0 -1 4202560 6053 0 0 0 27 2 0 0 20 0 20 0 104135573 26628161536 10921 33554432000 4194304 4196468 140730867769024 140595405876672 140595401649558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4581] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4581/stat : 4581 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 10921 33554432000 4194304 4196468 140730867769024 140595354258192 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4582] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4582/stat : 4582 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 10921 33554432000 4194304 4196468 140730867769024 140595353205648 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4583] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4583/stat : 4583 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 10921 33554432000 4194304 4196468 140730867769024 140594957909008 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4584] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4584/stat : 4584 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 10921 33554432000 4194304 4196468 140730867769024 140594956856464 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4585] ppid=4577 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4579/task/4585/stat : 4585 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 10921 33554432000 4194304 4196468 140730867769024 140594955802896 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4586] ppid=4577 vsize=26004064 memory=140031167656879 CPUtime=0 cores=0-7
/proc/4579/task/4586/stat : 4586 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 10921 33554432000 4194304 4196468 140730867769024 140594954750352 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4587] ppid=4577 vsize=26004064 memory=140031167659184 CPUtime=0 cores=0-7
/proc/4579/task/4587/stat : 4587 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 10921 33554432000 4194304 4196468 140730867769024 140594953697808 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4588] ppid=4577 vsize=26004064 memory=140031167661488 CPUtime=0 cores=0-7
/proc/4579/task/4588/stat : 4588 (java) S 4577 4577 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104135574 26628161536 10921 33554432000 4194304 4196468 140730867769024 140594952645264 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4589] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4589/stat : 4589 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135576 26628161536 10921 33554432000 4194304 4196468 140730867769024 140594596059632 140595401648770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4590] ppid=4577 vsize=26004064 memory=280062335329936 CPUtime=0 cores=0-7
/proc/4579/task/4590/stat : 4590 (java) S 4577 4577 4533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104135576 26628161536 10921 33554432000 4194304 4196468 140730867769024 140594595005856 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4591] ppid=4577 vsize=26004064 memory=280062335336848 CPUtime=0 cores=0-7
/proc/4579/task/4591/stat : 4591 (java) S 4577 4577 4533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104135576 26628161536 10921 33554432000 4194304 4196468 140730867769024 140594593953264 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4592] ppid=4577 vsize=26004064 memory=280062335278128 CPUtime=0 cores=0-7
/proc/4579/task/4592/stat : 4592 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135579 26628161536 10987 33554432000 4194304 4196468 140730867769024 140594592901840 140595401656219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4593] ppid=4577 vsize=26004064 memory=280062335350672 CPUtime=0.02 cores=0-7
/proc/4579/task/4593/stat : 4593 (java) R 4577 4577 4533 0 -1 4202560 468 0 0 0 2 0 0 0 20 0 20 0 104135579 26628161536 10987 33554432000 4194304 4196468 140730867769024 140594591833096 140595393927005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4594] ppid=4577 vsize=26004064 memory=280062335357584 CPUtime=0.02 cores=0-7
/proc/4579/task/4594/stat : 4594 (java) S 4577 4577 4533 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 104135579 26628161536 10987 33554432000 4194304 4196468 140730867769024 140594590795888 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4595] ppid=4577 vsize=26004064 memory=280062335355280 CPUtime=0.02 cores=0-7
/proc/4579/task/4595/stat : 4595 (java) R 4577 4577 4533 0 -1 4202560 93 0 0 0 2 0 0 0 20 0 20 0 104135579 26628161536 10987 33554432000 4194304 4196468 140730867769024 140594589743344 140595393927072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4596] ppid=4577 vsize=26004064 memory=280062335371440 CPUtime=0.12 cores=0-7
/proc/4579/task/4596/stat : 4596 (java) R 4577 4577 4533 0 -1 4202560 873 0 0 0 12 0 0 0 20 0 20 0 104135579 26628161536 10987 33554432000 4194304 4196468 140730867769024 140594588687168 140595380593961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4597] ppid=4577 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4597/stat : 4597 (java) S 4577 4577 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104135579 26628161536 10987 33554432000 4194304 4196468 140730867769024 140594587638496 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4598] ppid=4577 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4579/task/4598/stat : 4598 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135579 26628161536 10987 33554432000 4194304 4196468 140730867769024 140594586586032 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45068 KiB

[startup+0.700893 s]
/proc/loadavg: 7.77 8.12 8.25 6/199 4598
/proc/meminfo: memFree=26911144/32770624 swapFree=67108860/67108860
[pid=4577] ppid=4574 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4577/stat : 4577 (xcsp3-exec) S 4574 4577 4533 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104135573 9740288 346 33554432000 4194304 5098028 140727311375888 140727311373992 140119603831420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34848768 140727311381605 140727311381815 140727311381815 140727311384555 0
/proc/4577/statm: 2378 346 289 221 0 87 0
[pid=4579] ppid=4577 vsize=26006188 memory=92512 CPUtime=1.93 cores=0-7
/proc/4579/stat : 4579 (java) S 4577 4577 4533 0 -1 1077944320 13142 0 0 0 188 5 0 0 20 0 20 0 104135573 26630336512 23128 33554432000 4194304 4196468 140730867769024 140730867751568 140595401637623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
/proc/4579/statm: 6501547 23128 3209 1 0 6488781 0
[pid=4579/tid=4580] ppid=4577 vsize=26006188 memory=280062335729328 CPUtime=0.67 cores=0-7
/proc/4579/task/4580/stat : 4580 (java) R 4577 4577 4533 0 -1 4202560 6674 0 0 0 65 2 0 0 20 0 20 0 104135573 26630336512 23128 33554432000 4194304 4196468 140730867769024 140595405874464 140595035884327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4581] ppid=4577 vsize=26006188 memory=140031167865712 CPUtime=0 cores=0-7
/proc/4579/task/4581/stat : 4581 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26630336512 23128 33554432000 4194304 4196468 140730867769024 140595354258192 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4582] ppid=4577 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4579/task/4582/stat : 4582 (java) S 4577 4577 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104135574 26630336512 23128 33554432000 4194304 4196468 140730867769024 140595353205648 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4583] ppid=4577 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/4579/task/4583/stat : 4583 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104135574 26630336512 23128 33554432000 4194304 4196468 140730867769024 140594957909008 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0

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

/proc/meminfo: memFree=26317792/32770624 swapFree=67108860/67108860
[pid=4577] ppid=4574 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4577/stat : 4577 (xcsp3-exec) S 4574 4577 4533 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104135573 9740288 346 33554432000 4194304 5098028 140727311375888 140727311373992 140119603831420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34848768 140727311381605 140727311381815 140727311381815 140727311384555 0
/proc/4577/statm: 2378 346 289 221 0 87 0
[pid=4579] ppid=4577 vsize=26538700 memory=658268 CPUtime=19887.2 cores=0-7
/proc/4579/stat : 4579 (java) S 4577 4577 4533 0 -1 1077944320 766625 0 0 0 1987997 728 0 0 20 0 28 0 104135573 27175628800 164567 33554432000 4194304 4196468 140730867769024 140730867751568 140595401637623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
/proc/4579/statm: 6634675 164567 3304 1 0 6621909 0
[pid=4579/tid=4580] ppid=4577 vsize=26538700 memory=474004 CPUtime=1.06 cores=0-7
/proc/4579/task/4580/stat : 4580 (java) S 4577 4577 4533 0 -1 1077944384 10592 0 0 0 101 5 0 0 20 0 28 0 104135573 27175628800 164567 33554432000 4194304 4196468 140730867769024 140595405878400 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4581] ppid=4577 vsize=26538700 memory=829216 CPUtime=5.37 cores=0-7
/proc/4579/task/4581/stat : 4581 (java) S 4577 4577 4533 0 -1 1077944384 25390 0 0 0 506 31 0 0 20 0 28 0 104135574 27175628800 164567 33554432000 4194304 4196468 140730867769024 140595354258192 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4582] ppid=4577 vsize=26538700 memory=904780 CPUtime=5.39 cores=0-7
/proc/4579/task/4582/stat : 4582 (java) S 4577 4577 4533 0 -1 1077944384 28860 0 0 0 508 31 0 0 20 0 28 0 104135574 27175628800 164567 33554432000 4194304 4196468 140730867769024 140595353205648 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4583] ppid=4577 vsize=26538700 memory=475952 CPUtime=5.4 cores=0-7
/proc/4579/task/4583/stat : 4583 (java) S 4577 4577 4533 0 -1 1077944384 30033 0 0 0 511 29 0 0 20 0 28 0 104135574 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594957909008 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4584] ppid=4577 vsize=26538700 memory=568740 CPUtime=5.45 cores=0-7
/proc/4579/task/4584/stat : 4584 (java) S 4577 4577 4533 0 -1 1077944384 31989 0 0 0 513 32 0 0 20 0 28 0 104135574 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594956856464 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4585] ppid=4577 vsize=26538700 memory=570516 CPUtime=5.4 cores=0-7
/proc/4579/task/4585/stat : 4585 (java) S 4577 4577 4533 0 -1 1077944384 27095 0 0 0 509 31 0 0 20 0 28 0 104135574 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594955802896 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4586] ppid=4577 vsize=26538700 memory=611752 CPUtime=5.39 cores=0-7
/proc/4579/task/4586/stat : 4586 (java) S 4577 4577 4533 0 -1 1077944384 25398 0 0 0 507 32 0 0 20 0 28 0 104135574 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594954750352 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4587] ppid=4577 vsize=26538700 memory=658268 CPUtime=5.37 cores=0-7
/proc/4579/task/4587/stat : 4587 (java) S 4577 4577 4533 0 -1 1077944384 25952 0 0 0 505 32 0 0 20 0 28 0 104135574 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594953697808 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4588] ppid=4577 vsize=26538700 memory=658268 CPUtime=5.43 cores=0-7
/proc/4579/task/4588/stat : 4588 (java) S 4577 4577 4533 0 -1 1077944384 24141 0 0 0 513 30 0 0 20 0 28 0 104135574 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594952645264 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4589] ppid=4577 vsize=26538700 memory=658268 CPUtime=5.02 cores=0-7
/proc/4579/task/4589/stat : 4589 (java) S 4577 4577 4533 0 -1 1077944384 86403 0 0 0 284 218 0 0 20 0 28 0 104135576 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594596059632 140595401648770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4590] ppid=4577 vsize=26538700 memory=658268 CPUtime=0 cores=0-7
/proc/4579/task/4590/stat : 4590 (java) S 4577 4577 4533 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 104135576 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594595005920 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4591] ppid=4577 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/4579/task/4591/stat : 4591 (java) S 4577 4577 4533 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 104135576 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594593953280 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4592] ppid=4577 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/4579/task/4592/stat : 4592 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104135579 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594592901840 140595401656219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4593] ppid=4577 vsize=26538700 memory=611752 CPUtime=2.4 cores=0-7
/proc/4579/task/4593/stat : 4593 (java) S 4577 4577 4533 0 -1 1077944384 14917 0 0 0 236 4 0 0 20 0 28 0 104135579 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594591848432 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4594] ppid=4577 vsize=26538700 memory=4140 CPUtime=2.65 cores=0-7
/proc/4579/task/4594/stat : 4594 (java) S 4577 4577 4533 0 -1 1077944384 14642 0 0 0 262 3 0 0 20 0 28 0 104135579 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594590795888 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4595] ppid=4577 vsize=26538700 memory=1292 CPUtime=2.75 cores=0-7
/proc/4579/task/4595/stat : 4595 (java) S 4577 4577 4533 0 -1 1077944384 11686 0 0 0 272 3 0 0 20 0 28 0 104135579 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594589743344 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4596] ppid=4577 vsize=26538700 memory=2428 CPUtime=1 cores=0-7
/proc/4579/task/4596/stat : 4596 (java) S 4577 4577 4533 0 -1 1077944384 18197 0 0 0 97 3 0 0 20 0 28 0 104135579 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594588690800 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4597] ppid=4577 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/4579/task/4597/stat : 4597 (java) S 4577 4577 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104135579 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594587638496 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4598] ppid=4577 vsize=26538700 memory=658780 CPUtime=0.37 cores=0-7
/proc/4579/task/4598/stat : 4598 (java) S 4577 4577 4533 0 -1 1077944384 5003 0 0 0 12 25 0 0 20 0 28 0 104135579 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594586586032 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5250] ppid=4577 vsize=26538700 memory=1384 CPUtime=372.62 cores=0-7
/proc/4579/task/5250/stat : 5250 (java) R 4577 4577 4533 0 -1 4202560 2200 0 0 0 37261 1 0 0 20 0 28 0 104348117 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594577522648 140595039374216 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5251] ppid=4577 vsize=26538700 memory=1384 CPUtime=373.69 cores=0-7
/proc/4579/task/5251/stat : 5251 (java) R 4577 4577 4533 0 -1 4202560 1978 0 0 0 37368 1 0 0 20 0 28 0 104348117 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594572260416 140595043477417 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5252] ppid=4577 vsize=26538700 memory=1384 CPUtime=374.7 cores=0-7
/proc/4579/task/5252/stat : 5252 (java) R 4577 4577 4533 0 -1 4202560 8156 0 0 0 37467 3 0 0 20 0 28 0 104348117 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594571206872 140595040964150 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5253] ppid=4577 vsize=26538700 memory=658268 CPUtime=374.8 cores=0-7
/proc/4579/task/5253/stat : 5253 (java) R 4577 4577 4533 0 -1 4202560 8659 0 0 0 37476 4 0 0 20 0 28 0 104348117 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594574365128 140595040450603 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5254] ppid=4577 vsize=26538700 memory=4140 CPUtime=374.7 cores=0-7
/proc/4579/task/5254/stat : 5254 (java) R 4577 4577 4533 0 -1 4202560 7557 0 0 0 37467 3 0 0 20 0 28 0 104348117 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594575417928 140595039117312 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5255] ppid=4577 vsize=26538700 memory=29748 CPUtime=374.4 cores=0-7
/proc/4579/task/5255/stat : 5255 (java) R 4577 4577 4533 0 -1 4202560 4475 0 0 0 37438 2 0 0 20 0 28 0 104348117 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594576469808 140595040890521 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5256] ppid=4577 vsize=26538700 memory=1384 CPUtime=373.59 cores=0-7
/proc/4579/task/5256/stat : 5256 (java) R 4577 4577 4533 0 -1 4202560 1838 0 0 0 37359 0 0 0 20 0 28 0 104348117 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594578576200 140595040121017 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5257] ppid=4577 vsize=26538700 memory=8112282956445269571 CPUtime=373.72 cores=0-7
/proc/4579/task/5257/stat : 5257 (java) R 4577 4577 4533 0 -1 4202560 43665 0 0 0 37339 33 0 0 20 0 28 0 104348117 27175628800 164567 33554432000 4194304 4196468 140730867769024 140594573315344 140595039374923 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
Current children cumulated CPU time: 19887.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 659652 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.26 8.35 8.31 10/209 5289
/proc/meminfo: memFree=26306224/32770624 swapFree=67108860/67108860
[pid=4577] ppid=4574 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4577/stat : 4577 (xcsp3-exec) S 4574 4577 4533 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104135573 9740288 346 33554432000 4194304 5098028 140727311375888 140727311373992 140119603831420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34848768 140727311381605 140727311381815 140727311381815 140727311384555 0
/proc/4577/statm: 2378 346 289 221 0 87 0
[pid=4579] ppid=4577 vsize=26538700 memory=670588 CPUtime=20028.3 cores=0-7
/proc/4579/stat : 4579 (java) S 4577 4577 4533 0 -1 1077944320 768575 0 0 0 2002097 730 0 0 20 0 28 0 104135573 27175628800 167647 33554432000 4194304 4196468 140730867769024 140730867751568 140595401637623 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
/proc/4579/statm: 6634675 167647 3304 1 0 6621909 0
[pid=4579/tid=4580] ppid=4577 vsize=26538700 memory=8112282956445269571 CPUtime=1.06 cores=0-7
/proc/4579/task/4580/stat : 4580 (java) S 4577 4577 4533 0 -1 1077944384 10592 0 0 0 101 5 0 0 20 0 28 0 104135573 27175628800 167647 33554432000 4194304 4196468 140730867769024 140595405878400 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4581] ppid=4577 vsize=26538700 memory=640 CPUtime=5.41 cores=0-7
/proc/4579/task/4581/stat : 4581 (java) S 4577 4577 4533 0 -1 1077944384 25441 0 0 0 510 31 0 0 20 0 28 0 104135574 27175628800 167647 33554432000 4194304 4196468 140730867769024 140595354258192 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4582] ppid=4577 vsize=26538700 memory=657888 CPUtime=5.43 cores=0-7
/proc/4579/task/4582/stat : 4582 (java) S 4577 4577 4533 0 -1 1077944384 28901 0 0 0 512 31 0 0 20 0 28 0 104135574 27175628800 167647 33554432000 4194304 4196468 140730867769024 140595353205648 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4583] ppid=4577 vsize=26538700 memory=670588 CPUtime=5.45 cores=0-7
/proc/4579/task/4583/stat : 4583 (java) S 4577 4577 4533 0 -1 1077944384 30094 0 0 0 515 30 0 0 20 0 28 0 104135574 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594957909008 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4584] ppid=4577 vsize=26538700 memory=4126316290023845779 CPUtime=5.5 cores=0-7
/proc/4579/task/4584/stat : 4584 (java) S 4577 4577 4533 0 -1 1077944384 32032 0 0 0 518 32 0 0 20 0 28 0 104135574 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594956856464 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4585] ppid=4577 vsize=26538700 memory=4052 CPUtime=5.45 cores=0-7
/proc/4579/task/4585/stat : 4585 (java) S 4577 4577 4533 0 -1 1077944384 27151 0 0 0 514 31 0 0 20 0 28 0 104135574 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594955802896 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4586] ppid=4577 vsize=26538700 memory=16692 CPUtime=5.43 cores=0-7
/proc/4579/task/4586/stat : 4586 (java) S 4577 4577 4533 0 -1 1077944384 25419 0 0 0 511 32 0 0 20 0 28 0 104135574 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594954750352 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4587] ppid=4577 vsize=26538700 memory=1236 CPUtime=5.42 cores=0-7
/proc/4579/task/4587/stat : 4587 (java) S 4577 4577 4533 0 -1 1077944384 25987 0 0 0 510 32 0 0 20 0 28 0 104135574 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594953697808 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4588] ppid=4577 vsize=26538700 memory=1792 CPUtime=5.47 cores=0-7
/proc/4579/task/4588/stat : 4588 (java) S 4577 4577 4533 0 -1 1077944384 24192 0 0 0 517 30 0 0 20 0 28 0 104135574 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594952645264 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4589] ppid=4577 vsize=26538700 memory=640 CPUtime=5.02 cores=0-7
/proc/4579/task/4589/stat : 4589 (java) S 4577 4577 4533 0 -1 1077944384 86421 0 0 0 284 218 0 0 20 0 28 0 104135576 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594596059632 140595401648770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4590] ppid=4577 vsize=26538700 memory=956 CPUtime=0 cores=0-7
/proc/4579/task/4590/stat : 4590 (java) S 4577 4577 4533 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 104135576 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594595005920 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4591] ppid=4577 vsize=26538700 memory=2344 CPUtime=0 cores=0-7
/proc/4579/task/4591/stat : 4591 (java) S 4577 4577 4533 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 104135576 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594593953280 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4592] ppid=4577 vsize=26538700 memory=1576 CPUtime=0 cores=0-7
/proc/4579/task/4592/stat : 4592 (java) S 4577 4577 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104135579 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594592901840 140595401656219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4593] ppid=4577 vsize=26538700 memory=932 CPUtime=2.4 cores=0-7
/proc/4579/task/4593/stat : 4593 (java) S 4577 4577 4533 0 -1 1077944384 14917 0 0 0 236 4 0 0 20 0 28 0 104135579 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594591848432 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4594] ppid=4577 vsize=26538700 memory=2236 CPUtime=2.65 cores=0-7
/proc/4579/task/4594/stat : 4594 (java) S 4577 4577 4533 0 -1 1077944384 14642 0 0 0 262 3 0 0 20 0 28 0 104135579 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594590795888 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4595] ppid=4577 vsize=26538700 memory=4124 CPUtime=2.75 cores=0-7
/proc/4579/task/4595/stat : 4595 (java) S 4577 4577 4533 0 -1 1077944384 11686 0 0 0 272 3 0 0 20 0 28 0 104135579 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594589743344 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4596] ppid=4577 vsize=26538700 memory=2200 CPUtime=1 cores=0-7
/proc/4579/task/4596/stat : 4596 (java) S 4577 4577 4533 0 -1 1077944384 18197 0 0 0 97 3 0 0 20 0 28 0 104135579 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594588690800 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4597] ppid=4577 vsize=26538700 memory=6760 CPUtime=0 cores=0-7
/proc/4579/task/4597/stat : 4597 (java) S 4577 4577 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104135579 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594587638496 140595401647829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=4598] ppid=4577 vsize=26538700 memory=840 CPUtime=0.37 cores=0-7
/proc/4579/task/4598/stat : 4598 (java) S 4577 4577 4533 0 -1 1077944384 5005 0 0 0 12 25 0 0 20 0 28 0 104135579 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594586586032 140595401648770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5250] ppid=4577 vsize=26538700 memory=4104 CPUtime=390.07 cores=0-7
/proc/4579/task/5250/stat : 5250 (java) R 4577 4577 4533 0 -1 4202560 2230 0 0 0 39006 1 0 0 20 0 28 0 104348117 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594577522024 140595040120992 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5251] ppid=4577 vsize=26538700 memory=1692 CPUtime=391.26 cores=0-7
/proc/4579/task/5251/stat : 5251 (java) R 4577 4577 4533 0 -1 4202560 2006 0 0 0 39125 1 0 0 20 0 28 0 104348117 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594572260416 140595039117343 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5252] ppid=4577 vsize=26538700 memory=916 CPUtime=392.28 cores=0-7
/proc/4579/task/5252/stat : 5252 (java) R 4577 4577 4533 0 -1 4202560 8297 0 0 0 39225 3 0 0 20 0 28 0 104348117 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594571208800 140595039678094 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5253] ppid=4577 vsize=26538700 memory=3884 CPUtime=392.43 cores=0-7
/proc/4579/task/5253/stat : 5253 (java) R 4577 4577 4533 0 -1 4202560 8870 0 0 0 39238 5 0 0 20 0 28 0 104348117 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594574364904 140595037133499 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5254] ppid=4577 vsize=26538700 memory=8112282956445269571 CPUtime=392.35 cores=0-7
/proc/4579/task/5254/stat : 5254 (java) R 4577 4577 4533 0 -1 4202560 7686 0 0 0 39232 3 0 0 20 0 28 0 104348117 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594575417304 140595043608688 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5255] ppid=4577 vsize=26538700 memory=659896 CPUtime=392.01 cores=0-7
/proc/4579/task/5255/stat : 5255 (java) R 4577 4577 4533 0 -1 4202560 4516 0 0 0 39199 2 0 0 20 0 28 0 104348117 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594576470424 140730869303510 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5256] ppid=4577 vsize=26538700 memory=6760 CPUtime=391.2 cores=0-7
/proc/4579/task/5256/stat : 5256 (java) R 4577 4577 4533 0 -1 4202560 1874 0 0 0 39120 0 0 0 20 0 28 0 104348117 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594578576200 140595040121008 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
[pid=4579/tid=5257] ppid=4577 vsize=26538700 memory=840 CPUtime=391.28 cores=0-7
/proc/4579/task/5257/stat : 5257 (java) R 4577 4577 4533 0 -1 4202560 44620 0 0 0 39095 33 0 0 20 0 28 0 104348117 27175628800 167647 33554432000 4194304 4196468 140730867769024 140594573312408 140595043529012 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 29229056 140730867774610 140730867774787 140730867774787 140730867777487 0
Current children cumulated CPU time: 20028.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 671972 KiB

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

[startup+2520.04 s]
# the end of solver process 4577 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001937 s, system=0 s

[startup+2520.15 s]
# the end of solver process 4579 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20021.8 s, system=7.33986 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2520.13 s]*
/proc/loadavg: 8.26 8.35 8.31 3/208 5291
/proc/meminfo: memFree=26304096/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001937 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 20029.1
CPU user time (s): 20021.8
CPU system time (s): 7.33986
CPU usage (%): 794.761
Max. virtual memory (cumulated for all children) (KiB): 26550172
Max. memory (cumulated for all children) (KiB): 1576816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20021.8
system time used= 7.33986
maximum resident set size= 1578296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 769527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237673
involuntary context switches= 214605


# summary of solver processes directly reported to runsolver:
#   pid: 4577,4579
#   total CPU time (s): 20029.1
#   total CPU user time (s): 20021.8
#   total CPU system time (s): 7.33986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.3937 second user time and 24.163 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 4270828

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