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-18)	SAT (TO)	803	19999.5	2520.1399

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280639-1503133013.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280639-1503133013.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.19	c 8 solvers in parallel
0.32/0.26	c parse instance...
2.83/0.97	c solve instance...
3.32/1.07	o 2353 
4.75/1.29	o 2160 
6.33/1.46	o 1929 
7.11/1.50	o 1771 
7.11/1.51	o 1732 
7.11/1.53	o 1731 
7.11/1.54	o 1730 
7.11/1.56	o 1704 
7.11/1.58	o 1703 
9.98/1.91	o 1656 
9.98/1.94	o 1627 
9.98/1.98	o 1625 
10.78/2.03	o 1610 
10.78/2.05	o 1590 
11.57/2.11	o 1585 
11.57/2.16	o 1583 
11.57/2.19	o 1563 
15.33/2.60	o 1540 
15.33/2.62	o 1530 
15.33/2.62	o 1522 
46.21/6.58	o 1513 
46.21/6.58	o 1468 
46.21/6.59	o 1463 
46.21/6.60	o 1398 
46.62/6.60	o 1394 
46.62/6.65	o 1347 
2436.82/306.77	o 1333 
2436.82/306.79	o 1326 
2438.28/306.94	o 1319 
2454.10/308.94	o 1318 
2454.10/308.95	o 1299 
2470.80/311.08	o 1290 
2473.88/311.46	o 1287 
7946.14/1001.06	o 1282 
7946.14/1001.07	o 1275 
8424.24/1061.34	o 1273 
11560.41/1456.78	o 1262 
11561.19/1456.88	o 1261 
11566.74/1457.56	o 1259 
11570.77/1458.02	o 1258 
11577.06/1458.87	o 1246 
11580.99/1459.36	o 1213 
11618.18/1464.01	o 1207 
11619.67/1464.21	o 1175 
11624.45/1464.87	o 1141 
11635.46/1466.28	o 1131 
11644.98/1467.47	o 1129 
11652.02/1468.31	o 1124 
11655.18/1468.71	o 1122 
11663.89/1469.85	o 1120 
11671.04/1470.76	o 1119 
11671.86/1470.80	o 1118 
11728.29/1477.93	o 1108 
11766.43/1482.74	o 1105 
11779.86/1484.47	o 1096 
11793.43/1486.19	o 1093 
11858.73/1494.43	o 1088 
11858.73/1494.45	o 1059 
11874.63/1496.48	o 1035 
11874.85/1496.53	o 1019 
11904.92/1500.37	o 1018 
11990.80/1511.19	o 1008 
11993.09/1511.42	o 1002 
12079.29/1522.38	o 992 
12079.84/1522.40	o 986 
12195.71/1537.09	o 982 
12278.93/1547.54	o 981 
12325.83/1553.54	o 977 
12400.52/1562.93	o 971 
12695.03/1600.04	o 958 
12805.35/1613.99	o 938 
12819.61/1615.79	o 933 
12965.69/1634.17	o 932 
13165.67/1659.32	o 931 
13308.80/1677.39	o 919 
13389.22/1687.50	o 918 
13396.21/1688.45	o 914 
13495.57/1700.97	o 913 
13576.52/1711.23	o 904 
14105.43/1777.89	o 891 
14260.19/1797.39	o 884 
14522.68/1830.35	o 873 
15157.20/1910.14	o 866 
15334.54/1932.47	o 855 
15428.49/1944.23	o 854 
15609.97/1967.07	o 846 
16083.22/2026.68	o 845 
16105.35/2029.40	o 825 
16401.67/2067.24	o 823 
16604.72/2092.91	o 817 
16832.19/2121.67	o 813 
17027.10/2146.33	o 807 
17598.95/2218.37	o 804 
17961.30/2263.96	o 803 
19998.58/2520.10	s SATISFIABLE
19998.58/2520.10	v <instantiation>
19998.58/2520.10	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>
19998.58/2520.10	v 	<values>0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 43 60 31 63 25 66 16 48 88 38 59 99 97 17 71 62 100 60 38 99 31 100 33 64 77 84 16 100 83 43 7 29 </values>
19998.58/2520.10	v </instantiation>
19998.58/2520.10	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 (13312 MiB free)
  memory of node 1: 16384 MiB (13299 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280639-1503133013/watcher-4280639-1503133013 -o /tmp/evaluation-result-4280639-1503133013/solver-4280639-1503133013 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503129381-15482 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2053297405 HOME/instance-4280639-1503133013.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
solver pid=17418, runsolver pid=17415
Current StackSize limit: 8192 KiB


[startup+0.100195 s]*
/proc/loadavg: 8.59 8.63 8.43 3/201 17439
/proc/meminfo: memFree=27233152/32770624 swapFree=67108860/67108860
[pid=17418] ppid=17415 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17418/stat : 17418 (xcsp3-exec) S 17415 17418 15455 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146388756 9740288 346 33554432000 4194304 5098028 140720856133440 140720856131544 139843381445244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28917760 140720856138852 140720856139063 140720856139063 140720856141803 0
/proc/17418/statm: 2378 346 289 221 0 87 0
[pid=17420] ppid=17418 vsize=25999808 memory=27140 CPUtime=0.11 cores=0-7
/proc/17420/stat : 17420 (java) S 17418 17418 15455 0 -1 1077944320 5220 0 0 0 10 1 0 0 20 0 20 0 146388756 26623803392 6785 33554432000 4194304 4196468 140726766081216 140726766063760 140043326787319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
/proc/17420/statm: 6499952 6785 2841 1 0 6488269 0
[pid=17420/tid=17421] ppid=17418 vsize=25999808 memory=7970133773678188953 CPUtime=0.08 cores=0-7
/proc/17420/task/17421/stat : 17421 (java) R 17418 17418 15455 0 -1 4202560 3220 0 0 0 8 0 0 0 20 0 20 0 146388756 26623803392 6785 33554432000 4194304 4196468 140726766081216 140043331020592 140043326799254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17422] ppid=17418 vsize=25999808 memory=732370163681180645 CPUtime=0 cores=0-7
/proc/17420/task/17422/stat : 17422 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26623803392 6785 33554432000 4194304 4196468 140726766081216 140043249367696 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17423] ppid=17418 vsize=25999808 memory=140025343727232 CPUtime=0 cores=0-7
/proc/17420/task/17423/stat : 17423 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26623803392 6785 33554432000 4194304 4196468 140726766081216 140043248314896 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17424] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17424/stat : 17424 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26623803392 6785 33554432000 4194304 4196468 140726766081216 140042883324304 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17425] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17425/stat : 17425 (java) S 17418 17418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146388757 26623803392 6785 33554432000 4194304 4196468 140726766081216 140042882271504 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17426] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17426/stat : 17426 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26623803392 6785 33554432000 4194304 4196468 140726766081216 140042881219728 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17427] ppid=17418 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17420/task/17427/stat : 17427 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26623803392 6785 33554432000 4194304 4196468 140726766081216 140042880166928 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17428] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17428/stat : 17428 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26623803392 6785 33554432000 4194304 4196468 140726766081216 140042879114128 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17429] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17429/stat : 17429 (java) S 17418 17418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146388757 26623803392 6785 33554432000 4194304 4196468 140726766081216 140042878061328 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17430] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17430/stat : 17430 (java) S 17418 17418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146388758 26623803392 6785 33554432000 4194304 4196468 140726766081216 140042001705328 140043326798466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17431] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17431/stat : 17431 (java) S 17418 17418 15455 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146388759 26623803392 6785 33554432000 4194304 4196468 140726766081216 140042000651296 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17432] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17432/stat : 17432 (java) S 17418 17418 15455 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146388759 26623803392 6785 33554432000 4194304 4196468 140726766081216 140041999598448 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17433] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17433/stat : 17433 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388761 26623803392 6785 33554432000 4194304 4196468 140726766081216 140041998546768 140043326805915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17434] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17434/stat : 17434 (java) S 17418 17418 15455 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 146388761 26623803392 6785 33554432000 4194304 4196468 140726766081216 140041997495152 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17435] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17435/stat : 17435 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388761 26623803392 6785 33554432000 4194304 4196468 140726766081216 140041996442352 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17436] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17436/stat : 17436 (java) S 17418 17418 15455 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 146388762 26623803392 6785 33554432000 4194304 4196468 140726766081216 140041995389552 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17437] ppid=17418 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17420/task/17437/stat : 17437 (java) R 17418 17418 15455 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 146388762 26623803392 6785 33554432000 4194304 4196468 140726766081216 140041994336752 140043308024880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17438] ppid=17418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17438/stat : 17438 (java) S 17418 17418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146388762 26623803392 6785 33554432000 4194304 4196468 140726766081216 140041993284192 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17439] ppid=17418 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17420/task/17439/stat : 17439 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388762 26623803392 6785 33554432000 4194304 4196468 140726766081216 140041992231472 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28524 KiB

[startup+0.210444 s]*
/proc/loadavg: 7.98 8.50 8.39 2/201 17439
/proc/meminfo: memFree=27223176/32770624 swapFree=67108860/67108860
[pid=17418] ppid=17415 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17418/stat : 17418 (xcsp3-exec) S 17415 17418 15455 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146388756 9740288 346 33554432000 4194304 5098028 140720856133440 140720856131544 139843381445244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28917760 140720856138852 140720856139063 140720856139063 140720856141803 0
/proc/17418/statm: 2378 346 289 221 0 87 0
[pid=17420] ppid=17418 vsize=26004064 memory=39128 CPUtime=0.32 cores=0-7
/proc/17420/stat : 17420 (java) S 17418 17418 15455 0 -1 1077944320 7901 0 0 0 30 2 0 0 20 0 20 0 146388756 26628161536 9782 33554432000 4194304 4196468 140726766081216 140726766063760 140043326787319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
/proc/17420/statm: 6501016 9782 3017 1 0 6488269 0
[pid=17420/tid=17421] ppid=17418 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/17420/task/17421/stat : 17421 (java) D 17418 17418 15455 0 -1 1077944384 5007 0 0 0 18 1 0 0 20 0 20 0 146388756 26628161536 9782 33554432000 4194304 4196468 140726766081216 140043330998128 140043319466541 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17422] ppid=17418 vsize=26004064 memory=280050538600184 CPUtime=0 cores=0-7
/proc/17420/task/17422/stat : 17422 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 9782 33554432000 4194304 4196468 140726766081216 140043249367696 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17423] ppid=17418 vsize=26004064 memory=140025343727232 CPUtime=0 cores=0-7
/proc/17420/task/17423/stat : 17423 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 9782 33554432000 4194304 4196468 140726766081216 140043248314896 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17424] ppid=17418 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17424/stat : 17424 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628194304 9782 33554432000 4194304 4196468 140726766081216 140042883324304 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17425] ppid=17418 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17425/stat : 17425 (java) S 17418 17418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146388757 26628194304 9782 33554432000 4194304 4196468 140726766081216 140042882271504 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17426] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17426/stat : 17426 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 9782 33554432000 4194304 4196468 140726766081216 140042881219728 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17427] ppid=17418 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17420/task/17427/stat : 17427 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 9782 33554432000 4194304 4196468 140726766081216 140042880166928 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17428] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17428/stat : 17428 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 9782 33554432000 4194304 4196468 140726766081216 140042879114128 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17429] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17429/stat : 17429 (java) S 17418 17418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 9782 33554432000 4194304 4196468 140726766081216 140042878061328 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17430] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17430/stat : 17430 (java) S 17418 17418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146388758 26628161536 9782 33554432000 4194304 4196468 140726766081216 140042001705328 140043326798466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17431] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17431/stat : 17431 (java) S 17418 17418 15455 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146388759 26628161536 9782 33554432000 4194304 4196468 140726766081216 140042000651296 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17432] ppid=17418 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17432/stat : 17432 (java) S 17418 17418 15455 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146388759 26628194304 9782 33554432000 4194304 4196468 140726766081216 140041999598448 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17433] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17433/stat : 17433 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388761 26628161536 9782 33554432000 4194304 4196468 140726766081216 140041998546768 140043326805915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17434] ppid=17418 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/17420/task/17434/stat : 17434 (java) S 17418 17418 15455 0 -1 1077944384 610 0 0 0 2 0 0 0 20 0 20 0 146388761 26628161536 9782 33554432000 4194304 4196468 140726766081216 140041997495152 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17435] ppid=17418 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17420/task/17435/stat : 17435 (java) S 17418 17418 15455 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 146388761 26628161536 9782 33554432000 4194304 4196468 140726766081216 140041996442352 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17436] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17436/stat : 17436 (java) S 17418 17418 15455 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 146388762 26628161536 9782 33554432000 4194304 4196468 140726766081216 140041995389552 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17437] ppid=17418 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/17420/task/17437/stat : 17437 (java) S 17418 17418 15455 0 -1 1077944384 695 0 0 0 7 0 0 0 20 0 20 0 146388762 26628161536 9782 33554432000 4194304 4196468 140726766081216 140041994336752 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17438] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17438/stat : 17438 (java) S 17418 17418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146388762 26628161536 9782 33554432000 4194304 4196468 140726766081216 140041993284192 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17439] ppid=17418 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/17420/task/17439/stat : 17439 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388762 26628194304 9782 33554432000 4194304 4196468 140726766081216 140041992231472 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40512 KiB

[startup+0.310428 s]*
/proc/loadavg: 7.98 8.50 8.39 4/201 17439
/proc/meminfo: memFree=27219020/32770624 swapFree=67108860/67108860
[pid=17418] ppid=17415 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17418/stat : 17418 (xcsp3-exec) S 17415 17418 15455 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146388756 9740288 346 33554432000 4194304 5098028 140720856133440 140720856131544 139843381445244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28917760 140720856138852 140720856139063 140720856139063 140720856141803 0
/proc/17418/statm: 2378 346 289 221 0 87 0
[pid=17420] ppid=17418 vsize=26004064 memory=45972 CPUtime=0.51 cores=0-7
/proc/17420/stat : 17420 (java) S 17418 17418 15455 0 -1 1077944320 8683 0 0 0 48 3 0 0 20 0 20 0 146388756 26628161536 11493 33554432000 4194304 4196468 140726766081216 140726766063760 140043326787319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
/proc/17420/statm: 6501016 11493 3086 1 0 6488269 0
[pid=17420/tid=17421] ppid=17418 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17420/task/17421/stat : 17421 (java) R 17418 17418 15455 0 -1 4202560 5610 0 0 0 27 2 0 0 20 0 20 0 146388756 26628161536 11493 33554432000 4194304 4196468 140726766081216 140043331026656 140043326799254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17422] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17422/stat : 17422 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 11493 33554432000 4194304 4196468 140726766081216 140043249367696 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17423] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17423/stat : 17423 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 11493 33554432000 4194304 4196468 140726766081216 140043248314896 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17424] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17424/stat : 17424 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 11493 33554432000 4194304 4196468 140726766081216 140042883324304 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17425] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17425/stat : 17425 (java) S 17418 17418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 11493 33554432000 4194304 4196468 140726766081216 140042882271504 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17426] ppid=17418 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17420/task/17426/stat : 17426 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 11493 33554432000 4194304 4196468 140726766081216 140042881219728 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17427] ppid=17418 vsize=26004064 memory=140025194967983 CPUtime=0 cores=0-7
/proc/17420/task/17427/stat : 17427 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 11493 33554432000 4194304 4196468 140726766081216 140042880166928 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17428] ppid=17418 vsize=26004064 memory=140025194970288 CPUtime=0 cores=0-7
/proc/17420/task/17428/stat : 17428 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 11493 33554432000 4194304 4196468 140726766081216 140042879114128 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17429] ppid=17418 vsize=26004064 memory=140025194972592 CPUtime=0 cores=0-7
/proc/17420/task/17429/stat : 17429 (java) S 17418 17418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146388757 26628161536 11493 33554432000 4194304 4196468 140726766081216 140042878061328 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17430] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17430/stat : 17430 (java) S 17418 17418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146388758 26628161536 11493 33554432000 4194304 4196468 140726766081216 140042001705328 140043326798466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17431] ppid=17418 vsize=26004064 memory=280050389952144 CPUtime=0 cores=0-7
/proc/17420/task/17431/stat : 17431 (java) S 17418 17418 15455 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146388759 26628161536 11493 33554432000 4194304 4196468 140726766081216 140042000651296 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17432] ppid=17418 vsize=26004064 memory=280050389959056 CPUtime=0 cores=0-7
/proc/17420/task/17432/stat : 17432 (java) S 17418 17418 15455 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146388759 26628161536 11493 33554432000 4194304 4196468 140726766081216 140041999598448 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17433] ppid=17418 vsize=26004064 memory=280050389900336 CPUtime=0 cores=0-7
/proc/17420/task/17433/stat : 17433 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388761 26628161536 11493 33554432000 4194304 4196468 140726766081216 140041998546768 140043326805915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17434] ppid=17418 vsize=26004064 memory=280050389972880 CPUtime=0.03 cores=0-7
/proc/17420/task/17434/stat : 17434 (java) S 17418 17418 15455 0 -1 1077944384 639 0 0 0 3 0 0 0 20 0 20 0 146388761 26628161536 11493 33554432000 4194304 4196468 140726766081216 140041997495152 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17435] ppid=17418 vsize=26004064 memory=280050389979792 CPUtime=0.02 cores=0-7
/proc/17420/task/17435/stat : 17435 (java) R 17418 17418 15455 0 -1 4202560 169 0 0 0 2 0 0 0 20 0 20 0 146388761 26628161536 11493 33554432000 4194304 4196468 140726766081216 140041996442352 140043312803132 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17436] ppid=17418 vsize=26004064 memory=280050389977488 CPUtime=0 cores=0-7
/proc/17420/task/17436/stat : 17436 (java) S 17418 17418 15455 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 146388762 26628161536 11493 33554432000 4194304 4196468 140726766081216 140041995389552 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17437] ppid=17418 vsize=26004064 memory=280050389993648 CPUtime=0.13 cores=0-7
/proc/17420/task/17437/stat : 17437 (java) R 17418 17418 15455 0 -1 4202560 819 0 0 0 13 0 0 0 20 0 20 0 146388762 26628161536 11493 33554432000 4194304 4196468 140726766081216 140041994333120 140043319024446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17438] ppid=17418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17438/stat : 17438 (java) S 17418 17418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146388762 26628161536 11493 33554432000 4194304 4196468 140726766081216 140041993284192 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17439] ppid=17418 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17420/task/17439/stat : 17439 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388762 26628161536 11493 33554432000 4194304 4196468 140726766081216 140041992231472 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47356 KiB

[startup+0.700958 s]
/proc/loadavg: 7.98 8.50 8.39 6/201 17439
/proc/meminfo: memFree=27193648/32770624 swapFree=67108860/67108860
[pid=17418] ppid=17415 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17418/stat : 17418 (xcsp3-exec) S 17415 17418 15455 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146388756 9740288 346 33554432000 4194304 5098028 140720856133440 140720856131544 139843381445244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28917760 140720856138852 140720856139063 140720856139063 140720856141803 0
/proc/17418/statm: 2378 346 289 221 0 87 0
[pid=17420] ppid=17418 vsize=26006188 memory=97200 CPUtime=2 cores=0-7
/proc/17420/stat : 17420 (java) S 17418 17418 15455 0 -1 1077944320 12743 0 0 0 195 5 0 0 20 0 20 0 146388756 26630336512 24300 33554432000 4194304 4196468 140726766081216 140726766063760 140043326787319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
/proc/17420/statm: 6501547 24300 3212 1 0 6488781 0
[pid=17420/tid=17421] ppid=17418 vsize=26006188 memory=280050390288512 CPUtime=0.67 cores=0-7
/proc/17420/task/17421/stat : 17421 (java) R 17418 17418 15455 0 -1 4202560 6232 0 0 0 64 3 0 0 20 0 20 0 146388756 26630336512 24300 33554432000 4194304 4196468 140726766081216 140043331024176 140042930635949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17422] ppid=17418 vsize=26006188 memory=5016521802893 CPUtime=0 cores=0-7
/proc/17420/task/17422/stat : 17422 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26630336512 24300 33554432000 4194304 4196468 140726766081216 140043249367696 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17423] ppid=17418 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17423/stat : 17423 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26630336512 24300 33554432000 4194304 4196468 140726766081216 140043248314896 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17424] ppid=17418 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/17420/task/17424/stat : 17424 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146388757 26630336512 24300 33554432000 4194304 4196468 140726766081216 140042883324304 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0

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

[pid=17420/tid=18256] ppid=17418 vsize=26872548 memory=580392 CPUtime=176.74 cores=0-7
/proc/17420/task/18256/stat : 18256 (java) R 17418 17418 15455 0 -1 4202560 1081 0 0 0 17674 0 0 0 20 0 28 0 146615152 27517489152 144770 33554432000 4194304 4196468 140726766081216 140041980011048 140042935846105 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
Current children cumulated CPU time: 19380 s
Current children cumulated vsize: 26882060 KiB
Current children cumulated memory: 580464 KiB

[startup+2502.3 s]
/proc/loadavg: 8.07 8.26 8.30 9/208 18256
/proc/meminfo: memFree=26703672/32770624 swapFree=67108860/67108860
[pid=17418] ppid=17415 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17418/stat : 17418 (xcsp3-exec) S 17415 17418 15455 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146388756 9740288 346 33554432000 4194304 5098028 140720856133440 140720856131544 139843381445244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28917760 140720856138852 140720856139063 140720856139063 140720856141803 0
/proc/17418/statm: 2378 346 289 221 0 87 0
[pid=17420] ppid=17418 vsize=26872548 memory=549884 CPUtime=19857.7 cores=0-7
/proc/17420/stat : 17420 (java) S 17418 17418 15455 0 -1 1077944320 1200888 0 0 0 1984600 1165 0 0 20 0 28 0 146388756 27517489152 137471 33554432000 4194304 4196468 140726766081216 140726766063760 140043326787319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
/proc/17420/statm: 6718137 137471 3307 1 0 6705371 0
[pid=17420/tid=17421] ppid=17418 vsize=26872548 memory=558604 CPUtime=1.03 cores=0-7
/proc/17420/task/17421/stat : 17421 (java) S 17418 17418 15455 0 -1 1077944384 9095 0 0 0 98 5 0 0 20 0 28 0 146388756 27517489152 137471 33554432000 4194304 4196468 140726766081216 140043331028096 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17422] ppid=17418 vsize=26872548 memory=579744 CPUtime=9.52 cores=0-7
/proc/17420/task/17422/stat : 17422 (java) S 17418 17418 15455 0 -1 1077944384 48666 0 0 0 892 60 0 0 20 0 28 0 146388757 27517489152 137471 33554432000 4194304 4196468 140726766081216 140043249367696 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17423] ppid=17418 vsize=26872548 memory=562032 CPUtime=9.5 cores=0-7
/proc/17420/task/17423/stat : 17423 (java) S 17418 17418 15455 0 -1 1077944384 48154 0 0 0 892 58 0 0 20 0 28 0 146388757 27517489152 137471 33554432000 4194304 4196468 140726766081216 140043248314896 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17424] ppid=17418 vsize=26872548 memory=552944 CPUtime=9.52 cores=0-7
/proc/17420/task/17424/stat : 17424 (java) S 17418 17418 15455 0 -1 1077944384 56743 0 0 0 891 61 0 0 20 0 28 0 146388757 27517489152 137471 33554432000 4194304 4196468 140726766081216 140042883324304 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17425] ppid=17418 vsize=26872548 memory=560972 CPUtime=9.61 cores=0-7
/proc/17420/task/17425/stat : 17425 (java) S 17418 17418 15455 0 -1 1077944384 51314 0 0 0 903 58 0 0 20 0 28 0 146388757 27517489152 137471 33554432000 4194304 4196468 140726766081216 140042882271504 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17426] ppid=17418 vsize=26872548 memory=1384 CPUtime=9.57 cores=0-7
/proc/17420/task/17426/stat : 17426 (java) S 17418 17418 15455 0 -1 1077944384 47957 0 0 0 897 60 0 0 20 0 28 0 146388757 27517489152 137471 33554432000 4194304 4196468 140726766081216 140042881219728 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17427] ppid=17418 vsize=26872548 memory=1384 CPUtime=9.53 cores=0-7
/proc/17420/task/17427/stat : 17427 (java) S 17418 17418 15455 0 -1 1077944384 48995 0 0 0 894 59 0 0 20 0 28 0 146388757 27517489152 137471 33554432000 4194304 4196468 140726766081216 140042880166928 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17428] ppid=17418 vsize=26872548 memory=1384 CPUtime=9.58 cores=0-7
/proc/17420/task/17428/stat : 17428 (java) S 17418 17418 15455 0 -1 1077944384 51182 0 0 0 896 62 0 0 20 0 28 0 146388757 27517489152 137471 33554432000 4194304 4196468 140726766081216 140042879114128 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17429] ppid=17418 vsize=26872548 memory=574824 CPUtime=9.53 cores=0-7
/proc/17420/task/17429/stat : 17429 (java) S 17418 17418 15455 0 -1 1077944384 50770 0 0 0 895 58 0 0 20 0 28 0 146388757 27517489152 137471 33554432000 4194304 4196468 140726766081216 140042878061328 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17430] ppid=17418 vsize=26872548 memory=581120 CPUtime=7.36 cores=0-7
/proc/17420/task/17430/stat : 17430 (java) S 17418 17418 15455 0 -1 1077944384 202653 0 0 0 401 335 0 0 20 0 28 0 146388758 27517489152 137471 33554432000 4194304 4196468 140726766081216 140042001705328 140043326798466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17431] ppid=17418 vsize=26872548 memory=560144 CPUtime=0 cores=0-7
/proc/17420/task/17431/stat : 17431 (java) S 17418 17418 15455 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 146388759 27517489152 137471 33554432000 4194304 4196468 140726766081216 140042000651360 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17432] ppid=17418 vsize=26872548 memory=555012 CPUtime=0 cores=0-7
/proc/17420/task/17432/stat : 17432 (java) S 17418 17418 15455 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 146388759 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041999598464 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17433] ppid=17418 vsize=26872548 memory=549884 CPUtime=0 cores=0-7
/proc/17420/task/17433/stat : 17433 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146388761 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041998546768 140043326805915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17434] ppid=17418 vsize=26872548 memory=1384 CPUtime=2.85 cores=0-7
/proc/17420/task/17434/stat : 17434 (java) S 17418 17418 15455 0 -1 1077944384 13423 0 0 0 283 2 0 0 20 0 28 0 146388761 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041997495152 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17435] ppid=17418 vsize=26872548 memory=551936 CPUtime=2.48 cores=0-7
/proc/17420/task/17435/stat : 17435 (java) S 17418 17418 15455 0 -1 1077944384 9213 0 0 0 246 2 0 0 20 0 28 0 146388761 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041996442352 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17436] ppid=17418 vsize=26872548 memory=537388 CPUtime=2.57 cores=0-7
/proc/17420/task/17436/stat : 17436 (java) S 17418 17418 15455 0 -1 1077944384 12328 0 0 0 255 2 0 0 20 0 28 0 146388762 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041995389552 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17437] ppid=17418 vsize=26872548 memory=1384 CPUtime=1.03 cores=0-7
/proc/17420/task/17437/stat : 17437 (java) S 17418 17418 15455 0 -1 1077944384 16994 0 0 0 100 3 0 0 20 0 28 0 146388762 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041994336752 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17438] ppid=17418 vsize=26872548 memory=553988 CPUtime=0 cores=0-7
/proc/17420/task/17438/stat : 17438 (java) S 17418 17418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146388762 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041993284192 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17439] ppid=17418 vsize=26872548 memory=1384 CPUtime=0.65 cores=0-7
/proc/17420/task/17439/stat : 17439 (java) S 17418 17418 15455 0 -1 1077944384 9705 0 0 0 15 50 0 0 20 0 28 0 146388762 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041992231472 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18249] ppid=17418 vsize=26872548 memory=558604 CPUtime=235.5 cores=0-7
/proc/17420/task/18249/stat : 18249 (java) R 17418 17418 15455 0 -1 4202560 1539 0 0 0 23549 1 0 0 20 0 28 0 146615152 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041983167120 140042934828046 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18250] ppid=17418 vsize=26872548 memory=4612 CPUtime=236.07 cores=0-7
/proc/17420/task/18250/stat : 18250 (java) R 17418 17418 15455 0 -1 4202560 1168 0 0 0 23606 1 0 0 20 0 28 0 146615152 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041770750248 140042936859101 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18251] ppid=17418 vsize=26872548 memory=1004 CPUtime=235.48 cores=0-7
/proc/17420/task/18251/stat : 18251 (java) R 17418 17418 15455 0 -1 4202560 4744 0 0 0 23546 2 0 0 20 0 28 0 146615152 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041973694720 140042935538754 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18252] ppid=17418 vsize=26872548 memory=1384 CPUtime=235.97 cores=0-7
/proc/17420/task/18252/stat : 18252 (java) R 17418 17418 15455 0 -1 4202560 8377 0 0 0 23592 5 0 0 20 0 28 0 146615152 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041981063464 140042935802196 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18253] ppid=17418 vsize=26872548 memory=1384 CPUtime=235.44 cores=0-7
/proc/17420/task/18253/stat : 18253 (java) R 17418 17418 15455 0 -1 4202560 6089 0 0 0 23543 1 0 0 20 0 28 0 146615152 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041768645544 140042936746558 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18254] ppid=17418 vsize=26872548 memory=6791534058613427641 CPUtime=235.98 cores=0-7
/proc/17420/task/18254/stat : 18254 (java) R 17418 17418 15455 0 -1 4202560 2052 0 0 0 23597 1 0 0 20 0 28 0 146615152 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041769697880 140042936281242 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18255] ppid=17418 vsize=26872548 memory=932 CPUtime=235.45 cores=0-7
/proc/17420/task/18255/stat : 18255 (java) R 17418 17418 15455 0 -1 4202560 19333 0 0 0 23536 9 0 0 20 0 28 0 146615152 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041975802880 140042938940725 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18256] ppid=17418 vsize=26872548 memory=580100 CPUtime=236.36 cores=0-7
/proc/17420/task/18256/stat : 18256 (java) R 17418 17418 15455 0 -1 4202560 1405 0 0 0 23635 1 0 0 20 0 28 0 146615152 27517489152 137471 33554432000 4194304 4196468 140726766081216 140041980011048 140042936281439 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
Current children cumulated CPU time: 19857.7 s
Current children cumulated vsize: 26882060 KiB
Current children cumulated memory: 551268 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.06 8.25 8.30 9/208 18256
/proc/meminfo: memFree=26690212/32770624 swapFree=67108860/67108860
[pid=17418] ppid=17415 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/17418/stat : 17418 (xcsp3-exec) S 17415 17418 15455 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146388756 9740288 346 33554432000 4194304 5098028 140720856133440 140720856131544 139843381445244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28917760 140720856138852 140720856139063 140720856139063 140720856141803 0
/proc/17418/statm: 2378 346 289 221 0 87 0
[pid=17420] ppid=17418 vsize=26872548 memory=565252 CPUtime=19998.6 cores=0-7
/proc/17420/stat : 17420 (java) S 17418 17418 15455 0 -1 1077944320 1203925 0 0 0 1998688 1170 0 0 20 0 28 0 146388756 27517489152 141313 33554432000 4194304 4196468 140726766081216 140726766063760 140043326787319 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
/proc/17420/statm: 6718137 141313 3307 1 0 6705371 0
[pid=17420/tid=17421] ppid=17418 vsize=26872548 memory=1004 CPUtime=1.03 cores=0-7
/proc/17420/task/17421/stat : 17421 (java) S 17418 17418 15455 0 -1 1077944384 9095 0 0 0 98 5 0 0 20 0 28 0 146388756 27517489152 141313 33554432000 4194304 4196468 140726766081216 140043331028096 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17422] ppid=17418 vsize=26872548 memory=-7003737579269690708 CPUtime=9.6 cores=0-7
/proc/17420/task/17422/stat : 17422 (java) S 17418 17418 15455 0 -1 1077944384 48776 0 0 0 900 60 0 0 20 0 28 0 146388757 27517489152 141313 33554432000 4194304 4196468 140726766081216 140043249367696 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17423] ppid=17418 vsize=26872548 memory=1224 CPUtime=9.59 cores=0-7
/proc/17420/task/17423/stat : 17423 (java) S 17418 17418 15455 0 -1 1077944384 48209 0 0 0 900 59 0 0 20 0 28 0 146388757 27517489152 141313 33554432000 4194304 4196468 140726766081216 140043248314896 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17424] ppid=17418 vsize=26872548 memory=8708 CPUtime=9.6 cores=0-7
/proc/17420/task/17424/stat : 17424 (java) S 17418 17418 15455 0 -1 1077944384 57108 0 0 0 898 62 0 0 20 0 28 0 146388757 27517489152 141313 33554432000 4194304 4196468 140726766081216 140042883324304 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17425] ppid=17418 vsize=26872548 memory=1712 CPUtime=9.69 cores=0-7
/proc/17420/task/17425/stat : 17425 (java) S 17418 17418 15455 0 -1 1077944384 51378 0 0 0 910 59 0 0 20 0 28 0 146388757 27517489152 141313 33554432000 4194304 4196468 140726766081216 140042882271504 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17426] ppid=17418 vsize=26872548 memory=4612 CPUtime=9.64 cores=0-7
/proc/17420/task/17426/stat : 17426 (java) S 17418 17418 15455 0 -1 1077944384 47986 0 0 0 904 60 0 0 20 0 28 0 146388757 27517489152 141313 33554432000 4194304 4196468 140726766081216 140042881219728 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17427] ppid=17418 vsize=26872548 memory=1004 CPUtime=9.61 cores=0-7
/proc/17420/task/17427/stat : 17427 (java) S 17418 17418 15455 0 -1 1077944384 49061 0 0 0 902 59 0 0 20 0 28 0 146388757 27517489152 141313 33554432000 4194304 4196468 140726766081216 140042880166928 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17428] ppid=17418 vsize=26872548 memory=1200 CPUtime=9.65 cores=0-7
/proc/17420/task/17428/stat : 17428 (java) S 17418 17418 15455 0 -1 1077944384 51209 0 0 0 903 62 0 0 20 0 28 0 146388757 27517489152 141313 33554432000 4194304 4196468 140726766081216 140042879114128 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17429] ppid=17418 vsize=26872548 memory=15876 CPUtime=9.61 cores=0-7
/proc/17420/task/17429/stat : 17429 (java) S 17418 17418 15455 0 -1 1077944384 50863 0 0 0 902 59 0 0 20 0 28 0 146388757 27517489152 141313 33554432000 4194304 4196468 140726766081216 140042878061328 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17430] ppid=17418 vsize=26872548 memory=22428 CPUtime=7.38 cores=0-7
/proc/17420/task/17430/stat : 17430 (java) S 17418 17418 15455 0 -1 1077944384 202808 0 0 0 402 336 0 0 20 0 28 0 146388758 27517489152 141313 33554432000 4194304 4196468 140726766081216 140042001705328 140043326798466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17431] ppid=17418 vsize=26872548 memory=4052 CPUtime=0 cores=0-7
/proc/17420/task/17431/stat : 17431 (java) S 17418 17418 15455 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 146388759 27517489152 141313 33554432000 4194304 4196468 140726766081216 140042000651360 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17432] ppid=17418 vsize=26872548 memory=1384 CPUtime=0 cores=0-7
/proc/17420/task/17432/stat : 17432 (java) S 17418 17418 15455 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 146388759 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041999598464 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17433] ppid=17418 vsize=26872548 memory=565764 CPUtime=0 cores=0-7
/proc/17420/task/17433/stat : 17433 (java) S 17418 17418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146388761 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041998546768 140043326805915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17434] ppid=17418 vsize=26872548 memory=800 CPUtime=2.85 cores=0-7
/proc/17420/task/17434/stat : 17434 (java) S 17418 17418 15455 0 -1 1077944384 13425 0 0 0 283 2 0 0 20 0 28 0 146388761 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041997495152 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17435] ppid=17418 vsize=26872548 memory=12132 CPUtime=2.48 cores=0-7
/proc/17420/task/17435/stat : 17435 (java) S 17418 17418 15455 0 -1 1077944384 9215 0 0 0 246 2 0 0 20 0 28 0 146388761 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041996442352 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17436] ppid=17418 vsize=26872548 memory=1440 CPUtime=2.57 cores=0-7
/proc/17420/task/17436/stat : 17436 (java) S 17418 17418 15455 0 -1 1077944384 12330 0 0 0 255 2 0 0 20 0 28 0 146388762 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041995389552 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17437] ppid=17418 vsize=26872548 memory=5796 CPUtime=1.03 cores=0-7
/proc/17420/task/17437/stat : 17437 (java) S 17418 17418 15455 0 -1 1077944384 16996 0 0 0 100 3 0 0 20 0 28 0 146388762 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041994336752 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17438] ppid=17418 vsize=26872548 memory=1224 CPUtime=0 cores=0-7
/proc/17420/task/17438/stat : 17438 (java) S 17418 17418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146388762 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041993284192 140043326797525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=17439] ppid=17418 vsize=26872548 memory=8708 CPUtime=0.65 cores=0-7
/proc/17420/task/17439/stat : 17439 (java) S 17418 17418 15455 0 -1 1077944384 9707 0 0 0 15 50 0 0 20 0 28 0 146388762 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041992231472 140043326798466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18249] ppid=17418 vsize=26872548 memory=1712 CPUtime=252.93 cores=0-7
/proc/17420/task/18249/stat : 18249 (java) R 17418 17418 15455 0 -1 4202560 1575 0 0 0 25292 1 0 0 20 0 28 0 146615152 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041983167016 140042934828880 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18250] ppid=17418 vsize=26872548 memory=4612 CPUtime=253.65 cores=0-7
/proc/17420/task/18250/stat : 18250 (java) R 17418 17418 15455 0 -1 4202560 1201 0 0 0 25364 1 0 0 20 0 28 0 146615152 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041770749832 140042936800047 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18251] ppid=17418 vsize=26872548 memory=1004 CPUtime=253.07 cores=0-7
/proc/17420/task/18251/stat : 18251 (java) R 17418 17418 15455 0 -1 4202560 4877 0 0 0 25305 2 0 0 20 0 28 0 146615152 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041973694800 140042935842849 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18252] ppid=17418 vsize=26872548 memory=4052 CPUtime=253.51 cores=0-7
/proc/17420/task/18252/stat : 18252 (java) R 17418 17418 15455 0 -1 4202560 8906 0 0 0 25346 5 0 0 20 0 28 0 146615152 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041981063456 140042936742356 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18253] ppid=17418 vsize=26872548 memory=16236 CPUtime=252.99 cores=0-7
/proc/17420/task/18253/stat : 18253 (java) R 17418 17418 15455 0 -1 4202560 6229 0 0 0 25298 1 0 0 20 0 28 0 146615152 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041768645528 140042929524918 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18254] ppid=17418 vsize=26872548 memory=1796 CPUtime=253.56 cores=0-7
/proc/17420/task/18254/stat : 18254 (java) R 17418 17418 15455 0 -1 4202560 2129 0 0 0 25355 1 0 0 20 0 28 0 146615152 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041769697768 140042934828096 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18255] ppid=17418 vsize=26872548 memory=644 CPUtime=252.88 cores=0-7
/proc/17420/task/18255/stat : 18255 (java) R 17418 17418 15455 0 -1 4202560 20416 0 0 0 25279 9 0 0 20 0 28 0 146615152 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041975802992 140042937301589 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
[pid=17420/tid=18256] ppid=17418 vsize=26872548 memory=960 CPUtime=253.91 cores=0-7
/proc/17420/task/18256/stat : 18256 (java) R 17418 17418 15455 0 -1 4202560 1437 0 0 0 25390 1 0 0 20 0 28 0 146615152 27517489152 141313 33554432000 4194304 4196468 140726766081216 140041980011048 140042936545903 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37048320 140726766089362 140726766089539 140726766089539 140726766092239 0
Current children cumulated CPU time: 19998.6 s
Current children cumulated vsize: 26882060 KiB
Current children cumulated memory: 566636 KiB

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

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

[startup+2520.14 s]
# the end of solver process 17420 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19987.8 s, system=11.7072 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

Child status: 143
Real time (s): 2520.14
CPU time (s): 19999.5
CPU user time (s): 19987.8
CPU system time (s): 11.7072
CPU usage (%): 793.589
Max. virtual memory (cumulated for all children) (KiB): 26882060
Max. memory (cumulated for all children) (KiB): 1483504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19987.8
system time used= 11.7072
maximum resident set size= 1514936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1204695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 310939
involuntary context switches= 217107


# summary of solver processes directly reported to runsolver:
#   pid: 17418,17420
#   total CPU time (s): 19999.5
#   total CPU user time (s): 19987.8
#   total CPU system time (s): 11.7072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.1874 second user time and 23.5854 second system time

The end

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

Trace number 4280639

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