2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT (TO)	906	2002	252.104

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400291-1568710533.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400291-1568710533.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.06/1.24	c solve instance...
14.02/2.52	o 2638 
14.02/2.54	o 2637 
14.02/2.54	o 2555 
14.02/2.55	o 2538 
14.02/2.56	o 2516 
14.02/2.57	o 2515 
14.02/2.57	o 2499 
14.02/2.58	o 2455 
14.02/2.59	o 2438 
14.63/2.61	o 2434 
14.63/2.62	o 2433 
14.63/2.62	o 2407 
14.63/2.66	o 2406 
14.63/2.67	o 2403 
14.63/2.69	o 2402 
14.63/2.69	o 2401 
16.84/2.98	o 1808 
17.67/3.01	o 1807 
17.67/3.02	o 1799 
17.67/3.03	o 1770 
17.67/3.04	o 1729 
17.67/3.04	o 1728 
17.67/3.06	o 1666 
17.67/3.07	o 1665 
17.67/3.08	o 1664 
17.67/3.10	o 1657 
18.36/3.11	o 1620 
19.88/3.36	o 1614 
19.88/3.37	o 1551 
19.88/3.38	o 1542 
21.39/3.50	o 1504 
21.39/3.56	o 1501 
22.92/3.73	o 1460 
25.31/4.05	o 1457 
25.31/4.05	o 1432 
25.31/4.05	o 1394 
27.64/4.30	o 1345 
29.21/4.54	o 1344 
29.21/4.55	o 1332 
30.76/4.72	o 1292 
30.76/4.72	o 1279 
30.76/4.75	o 1246 
31.54/4.86	o 1239 
35.44/5.38	o 1212 
36.21/5.44	o 1204 
36.21/5.45	o 1195 
36.21/5.49	o 1193 
42.23/6.28	o 1181 
44.55/6.51	o 1167 
56.50/8.08	o 1166 
65.27/9.16	o 1137 
66.75/9.39	o 1127 
69.13/9.66	o 1126 
77.09/10.66	o 1112 
79.47/10.99	o 1104 
81.12/11.18	o 1098 
85.02/11.64	o 1088 
89.07/12.18	o 1086 
89.07/12.19	o 1058 
96.19/13.04	o 1037 
116.04/15.55	o 1027 
126.39/16.81	o 1024 
159.93/21.03	o 1021 
160.68/21.19	o 1009 
171.76/22.57	o 986 
177.34/23.20	o 977 
189.27/24.73	o 953 
196.44/25.66	o 952 
197.22/25.79	o 947 
423.02/54.08	o 945 
553.57/70.49	o 944 
585.39/74.44	o 942 
777.22/98.56	o 935 
1121.01/141.64	o 929 
1281.32/161.76	o 924 
1398.31/176.48	o 916 
1656.71/208.83	o 906 
2001.34/252.07	s SATISFIABLE
2001.34/252.07	v <instantiation>
2001.34/252.07	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[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] 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[28][33] x[28][34] x[28][35] x[28][36] x[28][37] 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[29][33] x[29][34] x[29][35] x[29][36] x[29][37] 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[30][33] x[30][34] x[30][35] x[30][36] x[30][37] 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[31][33] x[31][34] x[31][35] x[31][36] x[31][37] 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] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] 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] u[33] u[34] u[35] u[36] u[37] </list>
2001.34/252.07	v 	<values>0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 43 5 51 31 75 36 86 97 23 89 45 53 28 87 41 9 36 19 24 70 98 20 74 95 36 49 57 93 79 74 21 44 99 60 87 50 14 </values>
2001.34/252.07	v </instantiation>
2001.34/252.07	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 (14531 MiB free)
  memory of node 1: 16384 MiB (14115 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400291-1568710533/watcher-4400291-1568710533 -o /tmp/evaluation-result-4400291-1568710533/solver-4400291-1568710533 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568700441-10597 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1661863164 HOME/instance-4400291-1568710533.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14997, runsolver pid=14994
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 8.58 8.58 8.38 3/213 15018
/proc/meminfo: memFree=29318888/32770624 swapFree=66939908/67108860
[pid=14997] ppid=14994 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14997/stat : 14997 (xcsp3-exec) S 14994 14997 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446968149 115843072 362 33554432000 4194304 5098028 140729703230784 140729703228888 140490068300412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9662464 140729703236475 140729703236718 140729703236718 140729703239626 0
/proc/14997/statm: 28282 362 304 221 0 87 0
[pid=14999] ppid=14997 vsize=28227396 memory=28452 CPUtime=0.12 cores=0-7
/proc/14999/stat : 14999 (java) S 14997 14997 10570 0 -1 1077944320 5628 0 0 0 10 2 0 0 20 0 20 0 446968149 28904853504 7113 33554432000 4194304 4196468 140734234801184 140734234783728 140232369004279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
/proc/14999/statm: 7056849 7113 3112 1 0 7019032 0
[pid=14999/tid=15000] ppid=14997 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/14999/task/15000/stat : 15000 (java) R 14997 14997 10570 0 -1 4202560 3582 0 0 0 8 1 0 0 20 0 20 0 446968149 28904853504 7179 33554432000 4194304 4196468 140734234801184 140232373240624 140232353047909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15001] ppid=14997 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14999/task/15001/stat : 15001 (java) S 14997 14997 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 7179 33554432000 4194304 4196468 140734234801184 140232321624336 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15002] ppid=14997 vsize=28227396 memory=140506097702528 CPUtime=0 cores=0-7
/proc/14999/task/15002/stat : 15002 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 7179 33554432000 4194304 4196468 140734234801184 140232320571792 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15003] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15003/stat : 15003 (java) S 14997 14997 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 7179 33554432000 4194304 4196468 140734234801184 140232319519248 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15004] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15004/stat : 15004 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 7179 33554432000 4194304 4196468 140734234801184 140232318466704 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15005] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15005/stat : 15005 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 7179 33554432000 4194304 4196468 140734234801184 140232317414160 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15006] ppid=14997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14999/task/15006/stat : 15006 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 7179 33554432000 4194304 4196468 140734234801184 140232316361616 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15007] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15007/stat : 15007 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 7179 33554432000 4194304 4196468 140734234801184 140232315309072 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15008] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15008/stat : 15008 (java) S 14997 14997 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 7179 33554432000 4194304 4196468 140734234801184 140232314256528 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15009] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15009/stat : 15009 (java) S 14997 14997 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446968151 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230564685808 140232369015426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15010] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15010/stat : 15010 (java) S 14997 14997 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446968152 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230563632032 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15011] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15011/stat : 15011 (java) S 14997 14997 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446968152 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230562579440 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15012] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15012/stat : 15012 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968154 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230561528016 140232369022875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15013] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15013/stat : 15013 (java) R 14997 14997 10570 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 446968154 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230560475632 140232369015426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15014] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15014/stat : 15014 (java) R 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968154 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230559423088 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15015] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15015/stat : 15015 (java) R 14997 14997 10570 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 20 0 446968155 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230558370544 140232361989321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15016] ppid=14997 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/14999/task/15016/stat : 15016 (java) R 14997 14997 10570 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 20 0 446968155 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230557318000 140232347728913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15017] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15017/stat : 15017 (java) S 14997 14997 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446968155 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230556264672 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15018] ppid=14997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14999/task/15018/stat : 15018 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968155 28904853504 7179 33554432000 4194304 4196468 140734234801184 140230555212208 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29900 KiB

[startup+0.210533 s]*
/proc/loadavg: 8.58 8.58 8.38 3/213 15018
/proc/meminfo: memFree=29306016/32770624 swapFree=66939908/67108860
[pid=14997] ppid=14994 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14997/stat : 14997 (xcsp3-exec) S 14994 14997 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446968149 115843072 362 33554432000 4194304 5098028 140729703230784 140729703228888 140490068300412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9662464 140729703236475 140729703236718 140729703236718 140729703239626 0
/proc/14997/statm: 28282 362 304 221 0 87 0
[pid=14999] ppid=14997 vsize=28227396 memory=40236 CPUtime=0.33 cores=0-7
/proc/14999/stat : 14999 (java) S 14997 14997 10570 0 -1 1077944320 9358 0 0 0 29 4 0 0 20 0 20 0 446968149 28904853504 10059 33554432000 4194304 4196468 140734234801184 140734234783728 140232369004279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
/proc/14999/statm: 7056849 10059 3277 1 0 7019032 0
[pid=14999/tid=15000] ppid=14997 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14999/task/15000/stat : 15000 (java) R 14997 14997 10570 0 -1 4202560 6568 0 0 0 17 2 0 0 20 0 20 0 446968149 28904853504 10059 33554432000 4194304 4196468 140734234801184 140232373234000 140232361825140 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15001] ppid=14997 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/14999/task/15001/stat : 15001 (java) S 14997 14997 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 10059 33554432000 4194304 4196468 140734234801184 140232321624336 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15002] ppid=14997 vsize=28227396 memory=288370882249414272 CPUtime=0 cores=0-7
/proc/14999/task/15002/stat : 15002 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 10059 33554432000 4194304 4196468 140734234801184 140232320571792 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15003] ppid=14997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14999/task/15003/stat : 15003 (java) S 14997 14997 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 10059 33554432000 4194304 4196468 140734234801184 140232319519248 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15004] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15004/stat : 15004 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 10059 33554432000 4194304 4196468 140734234801184 140232318466704 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15005] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15005/stat : 15005 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 10059 33554432000 4194304 4196468 140734234801184 140232317414160 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15006] ppid=14997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14999/task/15006/stat : 15006 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 10059 33554432000 4194304 4196468 140734234801184 140232316361616 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15007] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15007/stat : 15007 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 10059 33554432000 4194304 4196468 140734234801184 140232315309072 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15008] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15008/stat : 15008 (java) S 14997 14997 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446968150 28904853504 10059 33554432000 4194304 4196468 140734234801184 140232314256528 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15009] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15009/stat : 15009 (java) S 14997 14997 10570 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446968151 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230564685808 140232369015426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15010] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15010/stat : 15010 (java) S 14997 14997 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446968152 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230563632032 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15011] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15011/stat : 15011 (java) S 14997 14997 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446968152 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230562579440 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15012] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15012/stat : 15012 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968154 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230561528016 140232369022875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15013] ppid=14997 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14999/task/15013/stat : 15013 (java) S 14997 14997 10570 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 446968154 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230560475632 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15014] ppid=14997 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14999/task/15014/stat : 15014 (java) S 14997 14997 10570 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 446968154 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230559423088 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15015] ppid=14997 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/14999/task/15015/stat : 15015 (java) S 14997 14997 10570 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 20 0 446968155 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230558370544 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15016] ppid=14997 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/14999/task/15016/stat : 15016 (java) R 14997 14997 10570 0 -1 4202560 824 0 0 0 8 0 0 0 20 0 20 0 446968155 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230557318000 140232369016214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15017] ppid=14997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15017/stat : 15017 (java) S 14997 14997 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446968155 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230556264672 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15018] ppid=14997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14999/task/15018/stat : 15018 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968155 28904853504 10059 33554432000 4194304 4196468 140734234801184 140230555212208 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41684 KiB

[startup+0.31066 s]*
/proc/loadavg: 8.58 8.58 8.38 3/213 15018
/proc/meminfo: memFree=29299196/32770624 swapFree=66939908/67108860
[pid=14997] ppid=14994 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14997/stat : 14997 (xcsp3-exec) S 14994 14997 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446968149 115843072 362 33554432000 4194304 5098028 140729703230784 140729703228888 140490068300412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9662464 140729703236475 140729703236718 140729703236718 140729703239626 0
/proc/14997/statm: 28282 362 304 221 0 87 0
[pid=14999] ppid=14997 vsize=28231652 memory=49888 CPUtime=0.52 cores=0-7
/proc/14999/stat : 14999 (java) S 14997 14997 10570 0 -1 1077944320 10813 0 0 0 47 5 0 0 20 0 20 0 446968149 28909211648 12472 33554432000 4194304 4196468 140734234801184 140734234783728 140232369004279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
/proc/14999/statm: 7057913 12472 3363 1 0 7019032 0
[pid=14999/tid=15000] ppid=14997 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14999/task/15000/stat : 15000 (java) R 14997 14997 10570 0 -1 4202560 7722 0 0 0 27 3 0 0 20 0 20 0 446968149 28909211648 12472 33554432000 4194304 4196468 140734234801184 140232373235392 140232353084766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15001] ppid=14997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15001/stat : 15001 (java) S 14997 14997 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446968150 28909211648 12472 33554432000 4194304 4196468 140734234801184 140232321624336 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15002] ppid=14997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15002/stat : 15002 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28909211648 12472 33554432000 4194304 4196468 140734234801184 140232320571792 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15003] ppid=14997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15003/stat : 15003 (java) S 14997 14997 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446968150 28909211648 12472 33554432000 4194304 4196468 140734234801184 140232319519248 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15004] ppid=14997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15004/stat : 15004 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28909211648 12472 33554432000 4194304 4196468 140734234801184 140232318466704 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15005] ppid=14997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15005/stat : 15005 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28909211648 12472 33554432000 4194304 4196468 140734234801184 140232317414160 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15006] ppid=14997 vsize=28231652 memory=140505962867375 CPUtime=0 cores=0-7
/proc/14999/task/15006/stat : 15006 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28909211648 12472 33554432000 4194304 4196468 140734234801184 140232316361616 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15007] ppid=14997 vsize=28231652 memory=140505962869680 CPUtime=0 cores=0-7
/proc/14999/task/15007/stat : 15007 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28909211648 12472 33554432000 4194304 4196468 140734234801184 140232315309072 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15008] ppid=14997 vsize=28231652 memory=140505962871984 CPUtime=0 cores=0-7
/proc/14999/task/15008/stat : 15008 (java) S 14997 14997 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446968150 28909211648 12472 33554432000 4194304 4196468 140734234801184 140232314256528 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15009] ppid=14997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15009/stat : 15009 (java) S 14997 14997 10570 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446968151 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230564685808 140232369015426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15010] ppid=14997 vsize=28231652 memory=281011925757840 CPUtime=0 cores=0-7
/proc/14999/task/15010/stat : 15010 (java) S 14997 14997 10570 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446968152 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230563632032 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15011] ppid=14997 vsize=28231652 memory=281011925755536 CPUtime=0 cores=0-7
/proc/14999/task/15011/stat : 15011 (java) S 14997 14997 10570 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446968152 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230562579440 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15012] ppid=14997 vsize=28231652 memory=281011925762448 CPUtime=0 cores=0-7
/proc/14999/task/15012/stat : 15012 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968154 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230561528016 140232369022875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15013] ppid=14997 vsize=28231652 memory=281011925703728 CPUtime=0.02 cores=0-7
/proc/14999/task/15013/stat : 15013 (java) S 14997 14997 10570 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 20 0 446968154 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230560475632 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15014] ppid=14997 vsize=28231652 memory=281011925776272 CPUtime=0.04 cores=0-7
/proc/14999/task/15014/stat : 15014 (java) R 14997 14997 10570 0 -1 4202560 165 0 0 0 4 0 0 0 20 0 20 0 446968154 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230559413472 140232350529349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15015] ppid=14997 vsize=28231652 memory=281011925783184 CPUtime=0.02 cores=0-7
/proc/14999/task/15015/stat : 15015 (java) S 14997 14997 10570 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 20 0 446968155 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230558370544 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15016] ppid=14997 vsize=28231652 memory=281011925780880 CPUtime=0.12 cores=0-7
/proc/14999/task/15016/stat : 15016 (java) S 14997 14997 10570 0 -1 1077944384 988 0 0 0 12 0 0 0 20 0 20 0 446968155 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230557318000 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15017] ppid=14997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15017/stat : 15017 (java) S 14997 14997 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446968155 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230556264672 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15018] ppid=14997 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14999/task/15018/stat : 15018 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968155 28909211648 12472 33554432000 4194304 4196468 140734234801184 140230555212208 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51336 KiB

[startup+0.700987 s]
/proc/loadavg: 8.58 8.58 8.38 3/213 15018
/proc/meminfo: memFree=29276120/32770624 swapFree=66939908/67108860
[pid=14997] ppid=14994 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14997/stat : 14997 (xcsp3-exec) S 14994 14997 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446968149 115843072 362 33554432000 4194304 5098028 140729703230784 140729703228888 140490068300412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9662464 140729703236475 140729703236718 140729703236718 140729703239626 0
/proc/14997/statm: 28282 362 304 221 0 87 0
[pid=14999] ppid=14997 vsize=28233776 memory=95852 CPUtime=1.89 cores=0-7
/proc/14999/stat : 14999 (java) S 14997 14997 10570 0 -1 1077944320 16146 0 0 0 182 7 0 0 20 0 20 0 446968149 28911386624 23963 33554432000 4194304 4196468 140734234801184 140734234783728 140232369004279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
/proc/14999/statm: 7058444 23963 3452 1 0 7019544 0
[pid=14999/tid=15000] ppid=14997 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/14999/task/15000/stat : 15000 (java) R 14997 14997 10570 0 -1 4202560 9271 0 0 0 63 4 0 0 20 0 20 0 446968149 28911386624 23963 33554432000 4194304 4196468 140734234801184 140232373223504 140232369026205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15001] ppid=14997 vsize=28233776 memory=140505963078512 CPUtime=0 cores=0-7
/proc/14999/task/15001/stat : 15001 (java) S 14997 14997 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446968150 28911386624 23963 33554432000 4194304 4196468 140734234801184 140232321624336 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15002] ppid=14997 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14999/task/15002/stat : 15002 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446968150 28911386624 23963 33554432000 4194304 4196468 140734234801184 140232320571792 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15003] ppid=14997 vsize=28233776 memory=1256 CPUtime=0 cores=0-7
/proc/14999/task/15003/stat : 15003 (java) S 14997 14997 10570 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446968150 28911386624 23963 33554432000 4194304 4196468 140734234801184 140232319519248 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0

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

[pid=14999/tid=15636] ppid=14997 vsize=29234284 memory=1808 CPUtime=0.51 cores=0-7
/proc/14999/task/15636/stat : 15636 (java) R 14997 14997 10570 0 -1 4202560 2 0 0 0 51 0 0 0 20 0 28 0 446984325 29935906816 301525 33554432000 4194304 4196468 140734234801184 140230093757256 140231981981471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
Current children cumulated CPU time: 1285.82 s
Current children cumulated vsize: 29347412 KiB
Current children cumulated memory: 1207548 KiB

[startup+222.302 s]
/proc/loadavg: 8.51 8.44 8.37 9/219 15656
/proc/meminfo: memFree=28138652/32770624 swapFree=66939908/67108860
[pid=14997] ppid=14994 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14997/stat : 14997 (xcsp3-exec) S 14994 14997 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446968149 115843072 362 33554432000 4194304 5098028 140729703230784 140729703228888 140490068300412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9662464 140729703236475 140729703236718 140729703236718 140729703239626 0
/proc/14997/statm: 28282 362 304 221 0 87 0
[pid=14999] ppid=14997 vsize=29234284 memory=1208220 CPUtime=1764.38 cores=0-7
/proc/14999/stat : 14999 (java) S 14997 14997 10570 0 -1 1077944320 146923 0 0 0 176262 176 0 0 20 0 28 0 446968149 29935906816 302055 33554432000 4194304 4196468 140734234801184 140734234783728 140232369004279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
/proc/14999/statm: 7308571 302055 3538 1 0 7269671 0
[pid=14999/tid=15000] ppid=14997 vsize=29234284 memory=1197068 CPUtime=1.3 cores=0-7
/proc/14999/task/15000/stat : 15000 (java) S 14997 14997 10570 0 -1 1077944384 12404 0 0 0 123 7 0 0 20 0 28 0 446968149 29935906816 302055 33554432000 4194304 4196468 140734234801184 140232373245056 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15001] ppid=14997 vsize=29234284 memory=1208396 CPUtime=0.13 cores=0-7
/proc/14999/task/15001/stat : 15001 (java) S 14997 14997 10570 0 -1 1077944384 1304 0 0 0 7 6 0 0 20 0 28 0 446968150 29935906816 302055 33554432000 4194304 4196468 140734234801184 140232321624336 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15002] ppid=14997 vsize=29234284 memory=1208896 CPUtime=0.14 cores=0-7
/proc/14999/task/15002/stat : 15002 (java) S 14997 14997 10570 0 -1 1077944384 891 0 0 0 8 6 0 0 20 0 28 0 446968150 29935906816 302055 33554432000 4194304 4196468 140734234801184 140232320571792 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15003] ppid=14997 vsize=29234284 memory=1208220 CPUtime=0.14 cores=0-7
/proc/14999/task/15003/stat : 15003 (java) S 14997 14997 10570 0 -1 1077944384 718 0 0 0 8 6 0 0 20 0 28 0 446968150 29935906816 302055 33554432000 4194304 4196468 140734234801184 140232319519248 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15004] ppid=14997 vsize=29234284 memory=1208220 CPUtime=0.14 cores=0-7
/proc/14999/task/15004/stat : 15004 (java) S 14997 14997 10570 0 -1 1077944384 867 0 0 0 8 6 0 0 20 0 28 0 446968150 29935906816 302055 33554432000 4194304 4196468 140734234801184 140232318466704 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15005] ppid=14997 vsize=29234284 memory=1448 CPUtime=0.14 cores=0-7
/proc/14999/task/15005/stat : 15005 (java) S 14997 14997 10570 0 -1 1077944384 813 0 0 0 8 6 0 0 20 0 28 0 446968150 29935906816 302055 33554432000 4194304 4196468 140734234801184 140232317414160 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15006] ppid=14997 vsize=29234284 memory=1206276 CPUtime=0.14 cores=0-7
/proc/14999/task/15006/stat : 15006 (java) S 14997 14997 10570 0 -1 1077944384 1663 0 0 0 8 6 0 0 20 0 28 0 446968150 29935906816 302055 33554432000 4194304 4196468 140734234801184 140232316361616 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15007] ppid=14997 vsize=29234284 memory=1208220 CPUtime=0.14 cores=0-7
/proc/14999/task/15007/stat : 15007 (java) S 14997 14997 10570 0 -1 1077944384 517 0 0 0 8 6 0 0 20 0 28 0 446968150 29935906816 302055 33554432000 4194304 4196468 140734234801184 140232315309072 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15008] ppid=14997 vsize=29234284 memory=1208220 CPUtime=0.14 cores=0-7
/proc/14999/task/15008/stat : 15008 (java) S 14997 14997 10570 0 -1 1077944384 915 0 0 0 8 6 0 0 20 0 28 0 446968150 29935906816 302055 33554432000 4194304 4196468 140734234801184 140232314256528 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15009] ppid=14997 vsize=29234284 memory=1448 CPUtime=0.04 cores=0-7
/proc/14999/task/15009/stat : 15009 (java) S 14997 14997 10570 0 -1 1077944384 4668 0 0 0 4 0 0 0 20 0 28 0 446968151 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230564685808 140232369015426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15010] ppid=14997 vsize=29234284 memory=1206100 CPUtime=0 cores=0-7
/proc/14999/task/15010/stat : 15010 (java) S 14997 14997 10570 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446968152 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230563632096 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15011] ppid=14997 vsize=29234284 memory=33 CPUtime=0 cores=0-7
/proc/14999/task/15011/stat : 15011 (java) S 14997 14997 10570 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 446968152 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230562579456 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15012] ppid=14997 vsize=29234284 memory=1208220 CPUtime=0 cores=0-7
/proc/14999/task/15012/stat : 15012 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446968154 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230561528016 140232369022875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15013] ppid=14997 vsize=29234284 memory=4872 CPUtime=2.2 cores=0-7
/proc/14999/task/15013/stat : 15013 (java) S 14997 14997 10570 0 -1 1077944384 9628 0 0 0 219 1 0 0 20 0 28 0 446968154 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230560475632 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15014] ppid=14997 vsize=29234284 memory=1448 CPUtime=2.14 cores=0-7
/proc/14999/task/15014/stat : 15014 (java) S 14997 14997 10570 0 -1 1077944384 4758 0 0 0 213 1 0 0 20 0 28 0 446968154 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230559423088 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15015] ppid=14997 vsize=29234284 memory=1208956 CPUtime=2.18 cores=0-7
/proc/14999/task/15015/stat : 15015 (java) S 14997 14997 10570 0 -1 1077944384 12104 0 0 0 215 3 0 0 20 0 28 0 446968155 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230558370544 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15016] ppid=14997 vsize=29234284 memory=1448 CPUtime=0.96 cores=0-7
/proc/14999/task/15016/stat : 15016 (java) S 14997 14997 10570 0 -1 1077944384 11340 0 0 0 94 2 0 0 20 0 28 0 446968155 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230557318000 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15017] ppid=14997 vsize=29234284 memory=1208220 CPUtime=0 cores=0-7
/proc/14999/task/15017/stat : 15017 (java) S 14997 14997 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446968155 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230556264672 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15018] ppid=14997 vsize=29234284 memory=1448 CPUtime=0.04 cores=0-7
/proc/14999/task/15018/stat : 15018 (java) S 14997 14997 10570 0 -1 1077944384 2130 0 0 0 0 4 0 0 20 0 28 0 446968155 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230555212208 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15649] ppid=14997 vsize=29234284 memory=9580 CPUtime=13.45 cores=0-7
/proc/14999/task/15649/stat : 15649 (java) R 14997 14997 10570 0 -1 4202560 504 0 0 0 1345 0 0 0 20 0 28 0 446989032 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230089541344 140231981378302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15650] ppid=14997 vsize=29234284 memory=1052 CPUtime=13.45 cores=0-7
/proc/14999/task/15650/stat : 15650 (java) R 14997 14997 10570 0 -1 4202560 424 0 0 0 1345 0 0 0 20 0 28 0 446989032 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230093751288 140232353381392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15651] ppid=14997 vsize=29234284 memory=1448 CPUtime=13.43 cores=0-7
/proc/14999/task/15651/stat : 15651 (java) R 14997 14997 10570 0 -1 4202560 468 0 0 0 1343 0 0 0 20 0 28 0 446989032 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230091645256 140231981415424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15652] ppid=14997 vsize=29234284 memory=1448 CPUtime=13.44 cores=0-7
/proc/14999/task/15652/stat : 15652 (java) R 14997 14997 10570 0 -1 4202560 1985 0 0 0 1341 3 0 0 20 0 28 0 446989032 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230088487088 140231984486941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15653] ppid=14997 vsize=29234284 memory=1208220 CPUtime=13.45 cores=0-7
/proc/14999/task/15653/stat : 15653 (java) R 14997 14997 10570 0 -1 4202560 713 0 0 0 1345 0 0 0 20 0 28 0 446989032 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230100058680 140231981461248 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15654] ppid=14997 vsize=29234284 memory=3504 CPUtime=13.44 cores=0-7
/proc/14999/task/15654/stat : 15654 (java) R 14997 14997 10570 0 -1 4202560 659 0 0 0 1343 1 0 0 20 0 28 0 446989032 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230087434984 140231981258240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15655] ppid=14997 vsize=29234284 memory=1208220 CPUtime=13.45 cores=0-7
/proc/14999/task/15655/stat : 15655 (java) R 14997 14997 10570 0 -1 4202560 357 0 0 0 1345 0 0 0 20 0 28 0 446989033 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230092697416 140231982248642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15656] ppid=14997 vsize=29234284 memory=48348 CPUtime=13.15 cores=0-7
/proc/14999/task/15656/stat : 15656 (java) R 14997 14997 10570 0 -1 4202560 558 0 0 0 1315 0 0 0 20 0 28 0 446989033 29935906816 302055 33554432000 4194304 4196468 140734234801184 140230103216104 140231981316999 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
Current children cumulated CPU time: 1764.38 s
Current children cumulated vsize: 29347412 KiB
Current children cumulated memory: 1209668 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.70 8.50 8.39 10/219 15659
/proc/meminfo: memFree=28135812/32770624 swapFree=66939908/67108860
[pid=14997] ppid=14994 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/14997/stat : 14997 (xcsp3-exec) S 14994 14997 10570 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446968149 115843072 362 33554432000 4194304 5098028 140729703230784 140729703228888 140490068300412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9662464 140729703236475 140729703236718 140729703236718 140729703239626 0
/proc/14997/statm: 28282 362 304 221 0 87 0
[pid=14999] ppid=14997 vsize=29234284 memory=1210844 CPUtime=2001.34 cores=0-7
/proc/14999/stat : 14999 (java) S 14997 14997 10570 0 -1 1077944320 154610 0 0 0 199951 183 0 0 20 0 28 0 446968149 29935906816 302711 33554432000 4194304 4196468 140734234801184 140734234783728 140232369004279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
/proc/14999/statm: 7308571 302711 3538 1 0 7269671 0
[pid=14999/tid=15000] ppid=14997 vsize=29234284 memory=1620 CPUtime=1.3 cores=0-7
/proc/14999/task/15000/stat : 15000 (java) S 14997 14997 10570 0 -1 1077944384 12404 0 0 0 123 7 0 0 20 0 28 0 446968149 29935906816 302711 33554432000 4194304 4196468 140734234801184 140232373245056 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15001] ppid=14997 vsize=29234284 memory=4126316290023845779 CPUtime=0.14 cores=0-7
/proc/14999/task/15001/stat : 15001 (java) S 14997 14997 10570 0 -1 1077944384 1780 0 0 0 7 7 0 0 20 0 28 0 446968150 29935906816 302711 33554432000 4194304 4196468 140734234801184 140232321624336 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15002] ppid=14997 vsize=29234284 memory=4096 CPUtime=0.15 cores=0-7
/proc/14999/task/15002/stat : 15002 (java) S 14997 14997 10570 0 -1 1077944384 912 0 0 0 9 6 0 0 20 0 28 0 446968150 29935906816 302711 33554432000 4194304 4196468 140734234801184 140232320571792 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15003] ppid=14997 vsize=29234284 memory=1412 CPUtime=0.15 cores=0-7
/proc/14999/task/15003/stat : 15003 (java) S 14997 14997 10570 0 -1 1077944384 1238 0 0 0 9 6 0 0 20 0 28 0 446968150 29935906816 302711 33554432000 4194304 4196468 140734234801184 140232319519248 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15004] ppid=14997 vsize=29234284 memory=4020 CPUtime=0.14 cores=0-7
/proc/14999/task/15004/stat : 15004 (java) S 14997 14997 10570 0 -1 1077944384 947 0 0 0 8 6 0 0 20 0 28 0 446968150 29935906816 302711 33554432000 4194304 4196468 140734234801184 140232318466704 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15005] ppid=14997 vsize=29234284 memory=1448 CPUtime=0.15 cores=0-7
/proc/14999/task/15005/stat : 15005 (java) S 14997 14997 10570 0 -1 1077944384 873 0 0 0 9 6 0 0 20 0 28 0 446968150 29935906816 302711 33554432000 4194304 4196468 140734234801184 140232317414160 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15006] ppid=14997 vsize=29234284 memory=1208328 CPUtime=0.15 cores=0-7
/proc/14999/task/15006/stat : 15006 (java) S 14997 14997 10570 0 -1 1077944384 1707 0 0 0 8 7 0 0 20 0 28 0 446968150 29935906816 302711 33554432000 4194304 4196468 140734234801184 140232316361616 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15007] ppid=14997 vsize=29234284 memory=1548 CPUtime=0.15 cores=0-7
/proc/14999/task/15007/stat : 15007 (java) S 14997 14997 10570 0 -1 1077944384 608 0 0 0 9 6 0 0 20 0 28 0 446968150 29935906816 302711 33554432000 4194304 4196468 140734234801184 140232315309072 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15008] ppid=14997 vsize=29234284 memory=1728 CPUtime=0.15 cores=0-7
/proc/14999/task/15008/stat : 15008 (java) S 14997 14997 10570 0 -1 1077944384 994 0 0 0 8 7 0 0 20 0 28 0 446968150 29935906816 302711 33554432000 4194304 4196468 140734234801184 140232314256528 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15009] ppid=14997 vsize=29234284 memory=8072 CPUtime=0.04 cores=0-7
/proc/14999/task/15009/stat : 15009 (java) S 14997 14997 10570 0 -1 1077944384 5258 0 0 0 4 0 0 0 20 0 28 0 446968151 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230564685808 140232369015426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15010] ppid=14997 vsize=29234284 memory=9580 CPUtime=0 cores=0-7
/proc/14999/task/15010/stat : 15010 (java) S 14997 14997 10570 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 446968152 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230563632096 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15011] ppid=14997 vsize=29234284 memory=1052 CPUtime=0 cores=0-7
/proc/14999/task/15011/stat : 15011 (java) S 14997 14997 10570 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 446968152 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230562579456 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15012] ppid=14997 vsize=29234284 memory=776 CPUtime=0 cores=0-7
/proc/14999/task/15012/stat : 15012 (java) S 14997 14997 10570 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446968154 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230561528016 140232369022875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15013] ppid=14997 vsize=29234284 memory=1548 CPUtime=2.2 cores=0-7
/proc/14999/task/15013/stat : 15013 (java) S 14997 14997 10570 0 -1 1077944384 9660 0 0 0 219 1 0 0 20 0 28 0 446968154 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230560475632 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15014] ppid=14997 vsize=29234284 memory=1728 CPUtime=2.14 cores=0-7
/proc/14999/task/15014/stat : 15014 (java) S 14997 14997 10570 0 -1 1077944384 4770 0 0 0 213 1 0 0 20 0 28 0 446968154 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230559423088 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15015] ppid=14997 vsize=29234284 memory=8072 CPUtime=2.18 cores=0-7
/proc/14999/task/15015/stat : 15015 (java) S 14997 14997 10570 0 -1 1077944384 12116 0 0 0 215 3 0 0 20 0 28 0 446968155 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230558370544 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15016] ppid=14997 vsize=29234284 memory=9580 CPUtime=0.96 cores=0-7
/proc/14999/task/15016/stat : 15016 (java) S 14997 14997 10570 0 -1 1077944384 11352 0 0 0 94 2 0 0 20 0 28 0 446968155 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230557318000 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15017] ppid=14997 vsize=29234284 memory=1052 CPUtime=0 cores=0-7
/proc/14999/task/15017/stat : 15017 (java) S 14997 14997 10570 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446968155 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230556264672 140232369014485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15018] ppid=14997 vsize=29234284 memory=776 CPUtime=0.05 cores=0-7
/proc/14999/task/15018/stat : 15018 (java) S 14997 14997 10570 0 -1 1077944384 2229 0 0 0 0 5 0 0 20 0 28 0 446968155 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230555212208 140232369015426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15649] ppid=14997 vsize=29234284 memory=2832 CPUtime=43.13 cores=0-7
/proc/14999/task/15649/stat : 15649 (java) R 14997 14997 10570 0 -1 4202560 904 0 0 0 4313 0 0 0 20 0 28 0 446989032 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230089539272 140231981415424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15650] ppid=14997 vsize=29234284 memory=668 CPUtime=42.71 cores=0-7
/proc/14999/task/15650/stat : 15650 (java) R 14997 14997 10570 0 -1 4202560 895 0 0 0 4271 0 0 0 20 0 28 0 446989032 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230093751288 140231983980912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15651] ppid=14997 vsize=29234284 memory=1256 CPUtime=43.12 cores=0-7
/proc/14999/task/15651/stat : 15651 (java) R 14997 14997 10570 0 -1 4202560 1058 0 0 0 4312 0 0 0 20 0 28 0 446989032 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230091645768 140231981378773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15652] ppid=14997 vsize=29234284 memory=1076 CPUtime=43.13 cores=0-7
/proc/14999/task/15652/stat : 15652 (java) R 14997 14997 10570 0 -1 4202560 2761 0 0 0 4308 5 0 0 20 0 28 0 446989032 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230088487088 140231982810018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15653] ppid=14997 vsize=29234284 memory=14008 CPUtime=43.14 cores=0-7
/proc/14999/task/15653/stat : 15653 (java) R 14997 14997 10570 0 -1 4202560 1045 0 0 0 4314 0 0 0 20 0 28 0 446989032 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230100058680 140231984135269 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15654] ppid=14997 vsize=29234284 memory=26524 CPUtime=43.13 cores=0-7
/proc/14999/task/15654/stat : 15654 (java) R 14997 14997 10570 0 -1 4202560 2442 0 0 0 4310 3 0 0 20 0 28 0 446989032 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230087437712 140231981546806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15655] ppid=14997 vsize=29234284 memory=14056 CPUtime=43.14 cores=0-7
/proc/14999/task/15655/stat : 15655 (java) R 14997 14997 10570 0 -1 4202560 985 0 0 0 4314 0 0 0 20 0 28 0 446989033 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230092697416 140231982656074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
[pid=14999/tid=15656] ppid=14997 vsize=29234284 memory=2116 CPUtime=42.66 cores=0-7
/proc/14999/task/15656/stat : 15656 (java) R 14997 14997 10570 0 -1 4202560 1137 0 0 0 4265 1 0 0 20 0 28 0 446989033 29935906816 302711 33554432000 4194304 4196468 140734234801184 140230103216104 140231981981471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17006592 140734234805232 140734234805403 140734234805403 140734234808271 0
Current children cumulated CPU time: 2001.34 s
Current children cumulated vsize: 29347412 KiB
Current children cumulated memory: 1212292 KiB

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

[startup+252.043 s]
# the end of solver process 14997 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001601 s, system=0.0008 s

[startup+252.104 s]
# the end of solver process 14999 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2000.16 s, system=1.84665 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): 252.104
CPU time (s): 2002
CPU user time (s): 2000.16
CPU system time (s): 1.84665
CPU usage (%): 794.118
Max. virtual memory (cumulated for all children) (KiB): 29347412
Max. memory (cumulated for all children) (KiB): 1212292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2000.16
system time used= 1.84665
maximum resident set size= 1214540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17046
involuntary context switches= 22896


# summary of solver processes directly reported to runsolver:
#   pid: 14997,14999
#   total CPU time (s): 2002
#   total CPU user time (s): 2000.16
#   total CPU system time (s): 1.84665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.54708 second user time and 2.49549 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n38-k5.xml
MD5SUM	681710e79c8377b968f88ec392af942b
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	770
Best CPU time to get the best result obtained on this benchmark	2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	1482
Number of constraints	1443
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":38},{"size":2,"count":1406},{"size":101,"count":37}]
Minimum variable degree	0
Maximum variable degree	73
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":38},{"degree":2,"count":74},{"degree":4,"count":1332},{"degree":73,"count":37}]
Minimum constraint arity	1
Maximum constraint arity	37
Distribution of constraint arities	[{"arity":1,"count":37},{"arity":3,"count":1332},{"arity":37,"count":74}]
Number of extensional constraints	0
Number of intensional constraints	37
Distribution of constraint types	[{"type":"intension","count":37},{"type":"sum","count":1332},{"type":"count","count":74}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4400291

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