2019 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 2019-09-24	SAT (TO)	31118	2520.06	2511.81

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406297-1569399998.xml"  -tl '2520s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406297-1569399998.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.29	c parse instance...
2.44/1.03	c solve instance...
8.58/5.04	o 31906 
8.58/5.05	o 31882 
8.58/5.05	o 31880 
8.58/5.06	o 31854 
8.58/5.06	o 31835 
8.85/5.13	o 31824 
8.85/5.15	o 31820 
9.14/5.23	o 31813 
9.45/5.38	o 31812 
9.75/5.40	o 31809 
10.74/5.92	o 31799 
10.74/5.93	o 31798 
10.74/5.94	o 31796 
10.94/6.02	o 31794 
10.94/6.02	o 31789 
10.94/6.03	o 31770 
11.63/6.37	o 31764 
12.18/6.64	o 31755 
12.18/6.66	o 31740 
12.18/6.66	o 31738 
12.18/6.69	o 31728 
12.28/6.75	o 31724 
12.49/6.82	o 31719 
12.99/7.28	o 31716 
13.10/7.39	o 31711 
13.50/7.73	o 31703 
13.50/7.75	o 31697 
13.50/7.75	o 31689 
13.72/7.98	o 31687 
13.72/8.00	o 31685 
13.83/8.01	o 31680 
14.22/8.40	o 31660 
14.36/8.51	o 31634 
14.36/8.51	o 31632 
14.88/9.08	o 31624 
15.77/9.78	o 31616 
16.28/10.26	o 31608 
16.28/10.26	o 31590 
16.99/10.86	o 31585 
16.99/10.86	o 31566 
16.99/10.87	o 31563 
18.48/12.23	o 31548 
18.61/12.33	o 31543 
18.61/12.34	o 31536 
18.61/12.35	o 31529 
19.92/13.56	o 31519 
20.63/14.27	o 31495 
21.18/14.71	o 31488 
22.01/15.45	o 31483 
22.21/15.61	o 31481 
23.82/17.26	o 31478 
25.14/18.54	o 31475 
29.45/22.89	o 31473 
30.85/24.23	o 31472 
30.85/24.24	o 31461 
30.85/24.24	o 31455 
30.85/24.28	o 31451 
31.59/24.98	o 31444 
32.19/25.52	o 31443 
32.19/25.59	o 31436 
33.42/26.66	o 31434 
33.42/26.66	o 31428 
33.42/26.68	o 31425 
34.12/27.35	o 31424 
34.22/27.42	o 31413 
37.22/30.45	o 31406 
37.32/30.51	o 31405 
37.42/30.60	o 31403 
39.62/32.87	o 31386 
39.72/32.97	o 31381 
39.72/32.99	o 31377 
43.57/36.74	o 31349 
61.88/54.93	o 31340 
61.88/54.94	o 31338 
63.18/56.25	o 31331 
63.28/56.30	o 31329 
65.58/58.61	o 31320 
65.58/58.61	o 31311 
73.79/66.85	o 31299 
75.00/68.06	o 31298 
86.40/79.49	o 31287 
86.50/79.52	o 31282 
113.72/106.73	o 31281 
123.04/116.06	o 31272 
143.44/136.41	o 31262 
159.55/152.55	o 31245 
244.18/237.08	o 31242 
253.37/246.21	o 31240 
258.07/250.98	o 31226 
288.59/281.46	o 31225 
307.04/299.87	o 31224 
318.85/311.68	o 31218 
352.16/344.91	o 31217 
352.37/345.19	o 31213 
365.56/358.37	o 31204 
399.09/391.83	o 31203 
399.30/392.06	o 31187 
416.31/409.03	o 31178 
420.10/412.87	o 31165 
516.58/509.25	o 31158 
644.82/637.44	o 31157 
651.38/643.97	o 31155 
795.33/787.89	o 31153 
920.12/912.50	o 31148 
921.92/914.31	o 31144 
925.32/917.77	o 31143 
1151.27/1143.67	o 31138 
1564.15/1556.21	o 31127 
1706.30/1698.35	o 31122 
1731.51/1723.50	o 31118 
2520.03/2511.80	s SATISFIABLE
2520.03/2511.80	v <instantiation>
2520.03/2511.80	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][48] d[3][49] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][49] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][13] d[12][14] d[12][15] d[12][16] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][49] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][49] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][49] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][49] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][46] d[45][47] d[45][48] d[45][49] d[46][47] d[46][48] d[46][49] d[47][48] d[47][49] d[48][49] </list>
2520.03/2511.80	v 	<values>4 38 46 9 40 41 25 24 32 36 33 43 23 42 18 34 29 3 37 28 15 13 7 26 12 8 45 14 16 11 1 10 27 6 44 31 47 5 49 20 22 30 35 17 0 19 21 2 48 39 9 22 28 40 39 26 2 29 41 44 3 31 27 34 38 25 21 17 20 33 29 36 49 27 36 21 30 35 22 30 40 10 6 35 19 33 17 38 11 28 38 35 31 21 16 27 14 36 42 24 20 32 25 14 41 33 35 24 22 37 14 14 15 40 7 29 27 16 35 17 30 27 12 26 34 21 12 25 7 25 26 21 29 30 24 14 35 29 25 21 24 30 27 22 31 23 18 31 27 5 37 26 40 37 13 25 29 19 23 28 31 20 12 49 23 39 21 31 17 34 21 35 11 14 25 14 35 21 7 22 15 16 27 35 15 23 14 22 9 28 21 32 27 47 16 22 22 34 37 24 30 34 28 34 24 46 36 28 47 25 21 33 48 37 35 35 42 29 19 40 11 43 27 30 30 44 5 15 27 33 11 19 29 22 42 18 39 16 10 23 11 44 43 11 20 14 8 32 19 22 30 14 11 22 19 36 20 5 34 10 9 9 23 15 20 37 27 36 34 15 24 37 34 21 42 28 11 26 17 38 31 49 28 25 13 35 33 27 23 28 33 14 8 24 33 26 21 13 23 6 4 26 18 34 35 25 46 24 43 22 28 20 30 25 19 25 28 33 28 24 35 29 29 34 11 23 30 31 35 26 16 24 28 9 24 22 35 27 32 13 38 35 47 25 22 26 22 25 36 37 20 34 30 24 22 22 26 45 35 14 11 21 14 36 29 17 39 9 13 46 13 37 29 21 28 38 31 19 8 30 26 21 24 23 28 26 42 15 33 18 43 40 18 20 19 28 28 41 45 25 30 26 29 27 35 28 31 33 11 42 33 2 34 44 27 35 28 34 33 25 34 19 10 48 22 14 8 25 19 47 35 37 27 45 28 19 17 20 33 7 38 21 12 13 25 42 28 10 5 16 11 27 20 7 33 24 21 28 7 19 16 24 25 18 26 35 39 11 11 30 36 33 25 42 29 35 28 17 39 10 14 17 41 38 41 27 28 14 38 29 7 29 23 22 31 28 37 29 17 34 33 40 36 26 33 15 16 32 27 8 26 35 13 28 24 32 39 14 9 20 34 33 36 17 29 39 38 25 20 24 36 35 41 44 41 34 9 28 21 32 31 26 25 32 32 12 13 31 39 24 19 24 36 32 14 24 18 6 5 40 38 33 34 36 25 16 22 26 21 8 39 31 35 18 14 5 31 17 19 33 41 30 22 24 29 29 31 38 28 45 35 7 19 13 25 35 27 32 27 24 24 13 6 27 31 15 15 31 4 17 44 39 25 13 40 46 30 40 35 32 14 35 34 43 35 29 34 22 21 6 29 27 29 22 38 24 41 11 29 31 25 16 26 26 17 23 24 36 21 18 44 21 36 29 25 15 32 28 35 40 44 17 18 46 23 22 35 30 35 27 15 8 27 26 27 30 36 28 33 25 23 24 15 29 36 33 17 33 35 26 34 20 24 31 42 22 4 26 27 24 30 35 28 34 34 27 35 5 47 44 37 16 31 48 22 36 23 26 27 33 4 35 14 17 26 28 29 38 32 13 23 37 44 17 11 19 24 26 34 7 24 25 37 25 22 19 2 22 25 21 22 31 19 19 16 23 31 41 21 36 28 28 26 28 31 33 20 26 22 26 14 40 30 33 34 18 29 21 33 26 16 28 27 12 35 32 22 36 30 26 29 25 21 18 23 28 28 25 29 9 22 27 14 20 33 44 25 37 44 44 23 20 23 20 27 42 29 38 23 14 38 12 28 21 15 25 16 16 29 29 35 45 32 36 36 30 10 24 14 16 23 35 21 30 23 33 25 12 34 7 27 42 16 34 23 23 17 15 38 25 14 11 29 10 34 14 14 26 18 27 30 26 44 7 17 46 26 8 31 13 25 38 38 38 37 21 38 20 20 26 35 35 11 30 38 18 35 11 34 47 5 11 21 23 28 15 12 30 29 28 35 31 27 18 27 10 16 30 34 27 33 31 20 29 22 33 41 16 19 29 23 35 33 28 26 41 22 18 14 37 32 24 31 14 32 5 27 37 47 33 37 33 21 10 30 11 37 19 29 43 18 34 38 16 17 23 16 19 17 39 18 32 19 27 7 9 13 42 8 27 25 28 8 22 27 44 30 3 36 26 24 22 28 41 24 37 18 30 25 12 24 22 42 22 30 29 20 8 28 14 24 34 23 33 26 14 21 25 32 32 31 22 27 21 21 18 19 15 24 15 27 20 20 31 18 34 31 36 10 15 9 16 36 26 17 20 22 33 19 20 19 8 13 36 20 33 41 12 7 32 15 26 28 27 24 29 17 23 22 31 38 24 29 29 26 23 31 34 26 15 44 16 22 23 39 18 26 6 30 13 33 13 6 27 16 31 9 20 15 34 8 38 33 32 25 14 24 27 33 29 30 25 15 43 18 29 28 11 27 15 24 10 24 44 30 41 45 10 19 17 30 31 35 35 36 24 26 21 28 27 29 29 5 32 30 13 33 26 34 21 35 34 12 24 14 48 19 40 17 41 26 19 42 7 21 24 19 28 10 17 32 31 8 28 37 29 29 30 22 27 16 18 6 30 22 35 20 38 35 29 24 19 29 31 32 26 20 45 28 29 28 11 27 5 15 23 11 12 36 30 26 32 28 6 38 25 27 18 32 45 24 18 11 14 28 26 34 24 27 20 17 6 14 41 31 40 27 34 14 28 22 26 29 29 26 17 30 25 16 </values>
2520.03/2511.80	v </instantiation>
2520.03/2511.80	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 (13751 MiB free)
  memory of node 1: 16384 MiB (12148 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406297-1569399998/watcher-4406297-1569399998 -o /tmp/evaluation-result-4406297-1569399998/solver-4406297-1569399998 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569392447-21328 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1174005154 HOME/instance-4406297-1569399998.xml 

running on 4 cores: 0,2,4,6

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

solver pid=22555, runsolver pid=22552

[startup+0.100917 s]*
/proc/loadavg: 1.75 1.88 1.75 4/229 22571
/proc/meminfo: memFree=26507752/32770624 swapFree=66986412/67108860
[pid=22555] ppid=22552 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22555/stat : 22555 (xcsp3-exec) S 22552 22555 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516256345 115843072 363 33554432000 4194304 5098028 140726907811248 140726907809352 140069023109756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9592832 140726907814778 140726907815021 140726907815021 140726907817930 0
/proc/22555/statm: 28282 363 304 221 0 87 0
[pid=22557] ppid=22555 vsize=15144776 memory=29404 CPUtime=0.12 cores=0,2,4,6
/proc/22557/stat : 22557 (java) S 22555 22555 21297 0 -1 1077944320 5813 0 0 0 11 1 0 0 20 0 15 0 516256346 15508250624 7351 33554432000 4194304 4196468 140735311053408 140735311035952 140431023255287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
/proc/22557/statm: 3786194 7351 3122 1 0 3748377 0
[pid=22557/tid=22558] ppid=22555 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/22557/task/22558/stat : 22558 (java) R 22555 22555 21297 0 -1 4202560 3734 0 0 0 8 0 0 0 20 0 15 0 516256346 15508250624 7351 33554432000 4194304 4196468 140735311053408 140431027488064 140431009324288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22559] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22559/stat : 22559 (java) S 22555 22555 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516256347 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430951295504 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22560] ppid=22555 vsize=15144776 memory=140047123428084 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22560/stat : 22560 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430950242960 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22561] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22561/stat : 22561 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430949189904 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22562] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22562/stat : 22562 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430948137360 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22563] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22563/stat : 22563 (java) S 22555 22555 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516256348 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430030699248 140431023266434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22564] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22564/stat : 22564 (java) S 22555 22555 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516256349 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430029645472 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22565] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22565/stat : 22565 (java) S 22555 22555 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516256349 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430028592368 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22566] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22566/stat : 22566 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430027540944 140431023273883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22567] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22567/stat : 22567 (java) S 22555 22555 21297 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 516256351 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430026488048 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22568] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22568/stat : 22568 (java) S 22555 22555 21297 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516256351 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430025435504 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22569] ppid=22555 vsize=15144776 memory=140047119763072 CPUtime=0.02 cores=0,2,4,6
/proc/22557/task/22569/stat : 22569 (java) R 22555 22555 21297 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 516256351 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430024382448 140431023267222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22570] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22570/stat : 22570 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430023330144 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22571] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22571/stat : 22571 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256352 15508250624 7351 33554432000 4194304 4196468 140735311053408 140430022278192 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30856 KiB

[startup+0.211049 s]*
/proc/loadavg: 1.75 1.88 1.75 3/229 22571
/proc/meminfo: memFree=26495328/32770624 swapFree=66986412/67108860
[pid=22555] ppid=22552 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22555/stat : 22555 (xcsp3-exec) S 22552 22555 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516256345 115843072 363 33554432000 4194304 5098028 140726907811248 140726907809352 140069023109756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9592832 140726907814778 140726907815021 140726907815021 140726907817930 0
/proc/22555/statm: 28282 363 304 221 0 87 0
[pid=22557] ppid=22555 vsize=15144776 memory=40316 CPUtime=0.34 cores=0,2,4,6
/proc/22557/stat : 22557 (java) S 22555 22555 21297 0 -1 1077944320 9284 0 0 0 31 3 0 0 20 0 15 0 516256346 15508250624 10079 33554432000 4194304 4196468 140735311053408 140735311035952 140431023255287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
/proc/22557/statm: 3786194 10079 3310 1 0 3748377 0
[pid=22557/tid=22558] ppid=22555 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22557/task/22558/stat : 22558 (java) R 22555 22555 21297 0 -1 4202560 6586 0 0 0 18 2 0 0 20 0 15 0 516256346 15508250624 10079 33554432000 4194304 4196468 140735311053408 140431027485440 140431023267222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22559] ppid=22555 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22559/stat : 22559 (java) S 22555 22555 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516256347 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430951295504 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22560] ppid=22555 vsize=15144776 memory=3979406979752216224 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22560/stat : 22560 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430950242960 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22561] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22561/stat : 22561 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430949189904 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22562] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22562/stat : 22562 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430948137360 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22563] ppid=22555 vsize=15144776 memory=140047119763072 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22563/stat : 22563 (java) S 22555 22555 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516256348 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430030699248 140431023266434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22564] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22564/stat : 22564 (java) S 22555 22555 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516256349 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430029645472 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22565] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22565/stat : 22565 (java) S 22555 22555 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516256349 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430028592368 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22566] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22566/stat : 22566 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430027540944 140431023273883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22567] ppid=22555 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22557/task/22567/stat : 22567 (java) R 22555 22555 21297 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 516256351 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430026488048 140431023266434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22568] ppid=22555 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22557/task/22568/stat : 22568 (java) S 22555 22555 21297 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 15 0 516256351 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430025435504 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22569] ppid=22555 vsize=15144776 memory=140047119763072 CPUtime=0.08 cores=0,2,4,6
/proc/22557/task/22569/stat : 22569 (java) R 22555 22555 21297 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 516256351 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430024382256 140431015492414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22570] ppid=22555 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22570/stat : 22570 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430023330144 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22571] ppid=22555 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22571/stat : 22571 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256352 15508250624 10079 33554432000 4194304 4196468 140735311053408 140430022278192 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41768 KiB

[startup+0.312638 s]*
/proc/loadavg: 1.75 1.88 1.75 5/229 22571
/proc/meminfo: memFree=26490804/32770624 swapFree=66986412/67108860
[pid=22555] ppid=22552 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22555/stat : 22555 (xcsp3-exec) S 22552 22555 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516256345 115843072 363 33554432000 4194304 5098028 140726907811248 140726907809352 140069023109756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9592832 140726907814778 140726907815021 140726907815021 140726907817930 0
/proc/22555/statm: 28282 363 304 221 0 87 0
[pid=22557] ppid=22555 vsize=15149032 memory=49864 CPUtime=0.52 cores=0,2,4,6
/proc/22557/stat : 22557 (java) S 22555 22555 21297 0 -1 1077944320 10765 0 0 0 49 3 0 0 20 0 15 0 516256346 15512608768 12466 33554432000 4194304 4196468 140735311053408 140735311035952 140431023255287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
/proc/22557/statm: 3787258 12466 3355 1 0 3748377 0
[pid=22557/tid=22558] ppid=22555 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/22557/task/22558/stat : 22558 (java) R 22555 22555 21297 0 -1 4202560 7720 0 0 0 27 3 0 0 20 0 15 0 516256346 15512608768 12466 33554432000 4194304 4196468 140735311053408 140431027484768 140431007335774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22559] ppid=22555 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22559/stat : 22559 (java) S 22555 22555 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516256347 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430951295504 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22560] ppid=22555 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22560/stat : 22560 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430950242960 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22561] ppid=22555 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22561/stat : 22561 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430949189904 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22562] ppid=22555 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22562/stat : 22562 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430948137360 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22563] ppid=22555 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22563/stat : 22563 (java) S 22555 22555 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516256348 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430030699248 140431023266434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22564] ppid=22555 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22564/stat : 22564 (java) S 22555 22555 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516256349 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430029645472 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22565] ppid=22555 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22565/stat : 22565 (java) S 22555 22555 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516256349 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430028592368 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22566] ppid=22555 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22566/stat : 22566 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430027540944 140431023273883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22567] ppid=22555 vsize=15149032 memory=7827413994055111515 CPUtime=0.06 cores=0,2,4,6
/proc/22557/task/22567/stat : 22567 (java) R 22555 22555 21297 0 -1 4202560 620 0 0 0 6 0 0 0 20 0 15 0 516256351 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430026478432 140431004776513 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22568] ppid=22555 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22557/task/22568/stat : 22568 (java) S 22555 22555 21297 0 -1 1077944384 167 0 0 0 3 0 0 0 20 0 15 0 516256351 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430025435504 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22569] ppid=22555 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22557/task/22569/stat : 22569 (java) S 22555 22555 21297 0 -1 1077944384 954 0 0 0 12 0 0 0 20 0 15 0 516256351 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430024382448 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22570] ppid=22555 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22570/stat : 22570 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430023330144 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22571] ppid=22555 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22571/stat : 22571 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256352 15512608768 12466 33554432000 4194304 4196468 140735311053408 140430022278192 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51316 KiB

[startup+0.700847 s]
/proc/loadavg: 1.75 1.88 1.75 5/229 22571
/proc/meminfo: memFree=26466052/32770624 swapFree=66986412/67108860
[pid=22555] ppid=22552 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22555/stat : 22555 (xcsp3-exec) S 22552 22555 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516256345 115843072 363 33554432000 4194304 5098028 140726907811248 140726907809352 140069023109756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9592832 140726907814778 140726907815021 140726907815021 140726907817930 0
/proc/22555/statm: 28282 363 304 221 0 87 0
[pid=22557] ppid=22555 vsize=15151156 memory=102308 CPUtime=1.69 cores=0,2,4,6
/proc/22557/stat : 22557 (java) S 22555 22555 21297 0 -1 1077944320 14686 0 0 0 164 5 0 0 20 0 15 0 516256346 15514783744 25577 33554432000 4194304 4196468 140735311053408 140735311035952 140431023255287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
/proc/22557/statm: 3787789 25577 3448 1 0 3748889 0
[pid=22557/tid=22558] ppid=22555 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=0,2,4,6
/proc/22557/task/22558/stat : 22558 (java) R 22555 22555 21297 0 -1 4202560 9091 0 0 0 64 4 0 0 20 0 15 0 516256346 15514783744 25577 33554432000 4194304 4196468 140735311053408 140431027492880 140431009323406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22559] ppid=22555 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22559/stat : 22559 (java) S 22555 22555 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516256347 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430951295504 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22560] ppid=22555 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22560/stat : 22560 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430950242960 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22561] ppid=22555 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22561/stat : 22561 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430949189904 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22562] ppid=22555 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22562/stat : 22562 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256347 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430948137360 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22563] ppid=22555 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22563/stat : 22563 (java) S 22555 22555 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516256348 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430030699248 140431023266434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22564] ppid=22555 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22564/stat : 22564 (java) S 22555 22555 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516256349 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430029645472 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22565] ppid=22555 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22565/stat : 22565 (java) S 22555 22555 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516256349 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430028592368 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22566] ppid=22555 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22566/stat : 22566 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430027540944 140431023273883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22567] ppid=22555 vsize=15151156 memory=6208 CPUtime=0.36 cores=0,2,4,6
/proc/22557/task/22567/stat : 22567 (java) R 22555 22555 21297 0 -1 4202560 1512 0 0 0 36 0 0 0 20 0 15 0 516256351 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430026488048 140431008378816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22568] ppid=22555 vsize=15151156 memory=7552 CPUtime=0.25 cores=0,2,4,6
/proc/22557/task/22568/stat : 22568 (java) S 22555 22555 21297 0 -1 1077944384 661 0 0 0 25 0 0 0 20 0 15 0 516256351 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430025435504 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22569] ppid=22555 vsize=15151156 memory=2832 CPUtime=0.38 cores=0,2,4,6
/proc/22557/task/22569/stat : 22569 (java) S 22555 22555 21297 0 -1 1077944384 2116 0 0 0 38 0 0 0 20 0 15 0 516256351 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430024382448 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22570] ppid=22555 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22570/stat : 22570 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430023330144 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22571] ppid=22555 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22571/stat : 22571 (java) S 22555 22555 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516256352 15514783744 25577 33554432000 4194304 4196468 140735311053408 140430022278192 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103760 KiB

[startup+1.50091 s]
/proc/loadavg: 1.75 1.88 1.75 6/229 22571
/proc/meminfo: memFree=26271496/32770624 swapFree=66986412/67108860
[pid=22555] ppid=22552 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22555/stat : 22555 (xcsp3-exec) S 22552 22555 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516256345 115843072 363 33554432000 4194304 5098028 140726907811248 140726907809352 140069023109756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9592832 140726907814778 140726907815021 140726907815021 140726907817930 0
/proc/22555/statm: 28282 363 304 221 0 87 0

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

/proc/22557/task/22565/stat : 22565 (java) S 22555 22555 21297 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516256349 15514783744 342984 33554432000 4194304 4196468 140735311053408 140430028592368 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22566] ppid=22555 vsize=15151156 memory=1371936 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22566/stat : 22566 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 342984 33554432000 4194304 4196468 140735311053408 140430027540944 140431023273883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22567] ppid=22555 vsize=15151156 memory=3616 CPUtime=3.01 cores=0,2,4,6
/proc/22557/task/22567/stat : 22567 (java) S 22555 22555 21297 0 -1 1077944384 21052 0 0 0 299 2 0 0 20 0 15 0 516256351 15514783744 342984 33554432000 4194304 4196468 140735311053408 140430026488048 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22568] ppid=22555 vsize=15151156 memory=66612 CPUtime=3.01 cores=0,2,4,6
/proc/22557/task/22568/stat : 22568 (java) S 22555 22555 21297 0 -1 1077944384 21592 0 0 0 299 2 0 0 20 0 15 0 516256351 15514783744 342984 33554432000 4194304 4196468 140735311053408 140430025435504 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22569] ppid=22555 vsize=15151156 memory=988 CPUtime=0.76 cores=0,2,4,6
/proc/22557/task/22569/stat : 22569 (java) S 22555 22555 21297 0 -1 1077944384 10687 0 0 0 74 2 0 0 20 0 15 0 516256351 15514783744 342984 33554432000 4194304 4196468 140735311053408 140430024382448 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22570] ppid=22555 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22570/stat : 22570 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 342984 33554432000 4194304 4196468 140735311053408 140430023330144 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22571] ppid=22555 vsize=15151156 memory=1371936 CPUtime=0.78 cores=0,2,4,6
/proc/22557/task/22571/stat : 22571 (java) S 22555 22555 21297 0 -1 1077944384 2001 0 0 0 39 39 0 0 20 0 15 0 516256352 15514783744 342984 33554432000 4194304 4196468 140735311053408 140430022278192 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
Current children cumulated CPU time: 2390.49 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1373388 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/228 22873
/proc/meminfo: memFree=25129492/32770624 swapFree=66986412/67108860
[pid=22555] ppid=22552 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22555/stat : 22555 (xcsp3-exec) S 22552 22555 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516256345 115843072 363 33554432000 4194304 5098028 140726907811248 140726907809352 140069023109756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9592832 140726907814778 140726907815021 140726907815021 140726907817930 0
/proc/22555/statm: 28282 363 304 221 0 87 0
[pid=22557] ppid=22555 vsize=15151156 memory=1371220 CPUtime=2450.51 cores=0,2,4,6
/proc/22557/stat : 22557 (java) S 22555 22555 21297 0 -1 1077944320 126203 0 0 0 244951 100 0 0 20 0 15 0 516256346 15514783744 342805 33554432000 4194304 4196468 140735311053408 140735311035952 140431023255287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
/proc/22557/statm: 3787789 342805 3513 1 0 3748889 0
[pid=22557/tid=22558] ppid=22555 vsize=15151156 memory=1371220 CPUtime=2441.68 cores=0,2,4,6
/proc/22557/task/22558/stat : 22558 (java) R 22555 22555 21297 0 -1 4202560 49577 0 0 0 244146 22 0 0 20 0 15 0 516256346 15514783744 342805 33554432000 4194304 4196468 140735311053408 140431027494672 140430623018807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22559] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.28 cores=0,2,4,6
/proc/22557/task/22559/stat : 22559 (java) S 22555 22555 21297 0 -1 1077944384 5594 0 0 0 18 10 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430951295504 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22560] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.28 cores=0,2,4,6
/proc/22557/task/22560/stat : 22560 (java) S 22555 22555 21297 0 -1 1077944384 2340 0 0 0 18 10 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430950242960 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22561] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.28 cores=0,2,4,6
/proc/22557/task/22561/stat : 22561 (java) S 22555 22555 21297 0 -1 1077944384 4002 0 0 0 17 11 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430949189904 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22562] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.26 cores=0,2,4,6
/proc/22557/task/22562/stat : 22562 (java) S 22555 22555 21297 0 -1 1077944384 3311 0 0 0 16 10 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430948137360 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22563] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.06 cores=0,2,4,6
/proc/22557/task/22563/stat : 22563 (java) S 22555 22555 21297 0 -1 1077944384 4698 0 0 0 4 2 0 0 20 0 15 0 516256348 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430030699248 140431023266434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22564] ppid=22555 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22564/stat : 22564 (java) S 22555 22555 21297 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 516256349 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430029645536 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22565] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22565/stat : 22565 (java) S 22555 22555 21297 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516256349 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430028592368 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22566] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22566/stat : 22566 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430027540944 140431023273883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22567] ppid=22555 vsize=15151156 memory=1452 CPUtime=3.01 cores=0,2,4,6
/proc/22557/task/22567/stat : 22567 (java) S 22555 22555 21297 0 -1 1077944384 21057 0 0 0 299 2 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430026488048 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22568] ppid=22555 vsize=15151156 memory=1371220 CPUtime=3.01 cores=0,2,4,6
/proc/22557/task/22568/stat : 22568 (java) S 22555 22555 21297 0 -1 1077944384 21596 0 0 0 299 2 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430025435504 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22569] ppid=22555 vsize=15151156 memory=1452 CPUtime=0.76 cores=0,2,4,6
/proc/22557/task/22569/stat : 22569 (java) S 22555 22555 21297 0 -1 1077944384 10691 0 0 0 74 2 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430024382448 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22570] ppid=22555 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22570/stat : 22570 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430023330144 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22571] ppid=22555 vsize=15151156 memory=1452 CPUtime=0.8 cores=0,2,4,6
/proc/22557/task/22571/stat : 22571 (java) S 22555 22555 21297 0 -1 1077944384 2024 0 0 0 40 40 0 0 20 0 15 0 516256352 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430022278192 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
Current children cumulated CPU time: 2450.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1372672 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/228 22879
/proc/meminfo: memFree=25128652/32770624 swapFree=66986412/67108860
[pid=22555] ppid=22552 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22555/stat : 22555 (xcsp3-exec) S 22552 22555 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516256345 115843072 363 33554432000 4194304 5098028 140726907811248 140726907809352 140069023109756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9592832 140726907814778 140726907815021 140726907815021 140726907817930 0
/proc/22555/statm: 28282 363 304 221 0 87 0
[pid=22557] ppid=22555 vsize=15151156 memory=1371220 CPUtime=2510.53 cores=0,2,4,6
/proc/22557/stat : 22557 (java) S 22555 22555 21297 0 -1 1077944320 126957 0 0 0 250952 101 0 0 20 0 15 0 516256346 15514783744 342805 33554432000 4194304 4196468 140735311053408 140735311035952 140431023255287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
/proc/22557/statm: 3787789 342805 3513 1 0 3748889 0
[pid=22557/tid=22558] ppid=22555 vsize=15151156 memory=1371220 CPUtime=2501.67 cores=0,2,4,6
/proc/22557/task/22558/stat : 22558 (java) R 22555 22555 21297 0 -1 4202560 50277 0 0 0 250145 22 0 0 20 0 15 0 516256346 15514783744 342805 33554432000 4194304 4196468 140735311053408 140431027494672 140430623018832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22559] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.28 cores=0,2,4,6
/proc/22557/task/22559/stat : 22559 (java) S 22555 22555 21297 0 -1 1077944384 5594 0 0 0 18 10 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430951295504 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22560] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.28 cores=0,2,4,6
/proc/22557/task/22560/stat : 22560 (java) S 22555 22555 21297 0 -1 1077944384 2340 0 0 0 18 10 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430950242960 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22561] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.28 cores=0,2,4,6
/proc/22557/task/22561/stat : 22561 (java) S 22555 22555 21297 0 -1 1077944384 4002 0 0 0 17 11 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430949189904 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22562] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.26 cores=0,2,4,6
/proc/22557/task/22562/stat : 22562 (java) S 22555 22555 21297 0 -1 1077944384 3311 0 0 0 16 10 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430948137360 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22563] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.06 cores=0,2,4,6
/proc/22557/task/22563/stat : 22563 (java) S 22555 22555 21297 0 -1 1077944384 4708 0 0 0 4 2 0 0 20 0 15 0 516256348 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430030699248 140431023266434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22564] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22564/stat : 22564 (java) S 22555 22555 21297 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 516256349 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430029645536 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22565] ppid=22555 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22565/stat : 22565 (java) S 22555 22555 21297 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516256349 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430028592368 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22566] ppid=22555 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22566/stat : 22566 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430027540944 140431023273883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22567] ppid=22555 vsize=15151156 memory=66612 CPUtime=3.01 cores=0,2,4,6
/proc/22557/task/22567/stat : 22567 (java) S 22555 22555 21297 0 -1 1077944384 21061 0 0 0 299 2 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430026488048 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22568] ppid=22555 vsize=15151156 memory=1452 CPUtime=3.01 cores=0,2,4,6
/proc/22557/task/22568/stat : 22568 (java) S 22555 22555 21297 0 -1 1077944384 21598 0 0 0 299 2 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430025435504 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22569] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.76 cores=0,2,4,6
/proc/22557/task/22569/stat : 22569 (java) S 22555 22555 21297 0 -1 1077944384 10693 0 0 0 74 2 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430024382448 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22570] ppid=22555 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22570/stat : 22570 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430023330144 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22571] ppid=22555 vsize=15151156 memory=1371220 CPUtime=0.81 cores=0,2,4,6
/proc/22557/task/22571/stat : 22571 (java) S 22555 22555 21297 0 -1 1077944384 2060 0 0 0 40 41 0 0 20 0 15 0 516256352 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430022278192 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
Current children cumulated CPU time: 2510.53 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1372672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.8 s]
/proc/loadavg: 2.00 2.01 1.95 3/228 22882
/proc/meminfo: memFree=25120632/32770624 swapFree=66986412/67108860
[pid=22555] ppid=22552 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22555/stat : 22555 (xcsp3-exec) S 22552 22555 21297 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516256345 115843072 363 33554432000 4194304 5098028 140726907811248 140726907809352 140069023109756 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9592832 140726907814778 140726907815021 140726907815021 140726907817930 0
/proc/22555/statm: 28282 363 304 221 0 87 0
[pid=22557] ppid=22555 vsize=15151156 memory=1371220 CPUtime=2520.03 cores=0,2,4,6
/proc/22557/stat : 22557 (java) S 22555 22555 21297 0 -1 1077944320 126990 0 0 0 251902 101 0 0 20 0 15 0 516256346 15514783744 342805 33554432000 4194304 4196468 140735311053408 140735311035952 140431023255287 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
/proc/22557/statm: 3787789 342805 3513 1 0 3748889 0
[pid=22557/tid=22558] ppid=22555 vsize=15151156 memory=1408 CPUtime=2511.17 cores=0,2,4,6
/proc/22557/task/22558/stat : 22558 (java) R 22555 22555 21297 0 -1 4202560 50308 0 0 0 251095 22 0 0 20 0 15 0 516256346 15514783744 342805 33554432000 4194304 4196468 140735311053408 140431027494672 140430621608350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22559] ppid=22555 vsize=15151156 memory=3120 CPUtime=0.28 cores=0,2,4,6
/proc/22557/task/22559/stat : 22559 (java) S 22555 22555 21297 0 -1 1077944384 5594 0 0 0 18 10 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430951295504 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22560] ppid=22555 vsize=15151156 memory=1452 CPUtime=0.28 cores=0,2,4,6
/proc/22557/task/22560/stat : 22560 (java) S 22555 22555 21297 0 -1 1077944384 2340 0 0 0 18 10 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430950242960 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22561] ppid=22555 vsize=15151156 memory=215692 CPUtime=0.28 cores=0,2,4,6
/proc/22557/task/22561/stat : 22561 (java) S 22555 22555 21297 0 -1 1077944384 4002 0 0 0 17 11 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430949189904 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22562] ppid=22555 vsize=15151156 memory=3848 CPUtime=0.26 cores=0,2,4,6
/proc/22557/task/22562/stat : 22562 (java) S 22555 22555 21297 0 -1 1077944384 3311 0 0 0 16 10 0 0 20 0 15 0 516256347 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430948137360 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22563] ppid=22555 vsize=15151156 memory=2844 CPUtime=0.06 cores=0,2,4,6
/proc/22557/task/22563/stat : 22563 (java) S 22555 22555 21297 0 -1 1077944384 4708 0 0 0 4 2 0 0 20 0 15 0 516256348 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430030699248 140431023266434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22564] ppid=22555 vsize=15151156 memory=2612 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22564/stat : 22564 (java) S 22555 22555 21297 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 516256349 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430029645536 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22565] ppid=22555 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22565/stat : 22565 (java) S 22555 22555 21297 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516256349 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430028592368 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22566] ppid=22555 vsize=15151156 memory=3224 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22566/stat : 22566 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430027540944 140431023273883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22567] ppid=22555 vsize=15151156 memory=1452 CPUtime=3.01 cores=0,2,4,6
/proc/22557/task/22567/stat : 22567 (java) S 22555 22555 21297 0 -1 1077944384 21061 0 0 0 299 2 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430026488048 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22568] ppid=22555 vsize=15151156 memory=1164 CPUtime=3.01 cores=0,2,4,6
/proc/22557/task/22568/stat : 22568 (java) S 22555 22555 21297 0 -1 1077944384 21598 0 0 0 299 2 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430025435504 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22569] ppid=22555 vsize=15151156 memory=8317482817917895235 CPUtime=0.76 cores=0,2,4,6
/proc/22557/task/22569/stat : 22569 (java) S 22555 22555 21297 0 -1 1077944384 10693 0 0 0 74 2 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430024382448 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22570] ppid=22555 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/22557/task/22570/stat : 22570 (java) S 22555 22555 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516256351 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430023330144 140431023265493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
[pid=22557/tid=22571] ppid=22555 vsize=15151156 memory=1556 CPUtime=0.82 cores=0,2,4,6
/proc/22557/task/22571/stat : 22571 (java) S 22555 22555 21297 0 -1 1077944384 2062 0 0 0 40 42 0 0 20 0 15 0 516256352 15514783744 342805 33554432000 4194304 4196468 140735311053408 140430022278192 140431023266434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 11649024 140735311061999 140735311062170 140735311062170 140735311065039 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1372672 KiB

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

[startup+2511.81 s]
# the end of solver process 22555 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001587 s, system=0.000793 s

[startup+2511.81 s]
# the end of solver process 22557 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.04 s, system=1.02287 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): 2511.81
CPU time (s): 2520.06
CPU user time (s): 2519.04
CPU system time (s): 1.02287
CPU usage (%): 100.328
Max. virtual memory (cumulated for all children) (KiB): 15266052
Max. memory (cumulated for all children) (KiB): 1376040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.04
system time used= 1.02287
maximum resident set size= 1376640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58009
involuntary context switches= 2275


# summary of solver processes directly reported to runsolver:
#   pid: 22555,22557
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.04
#   total CPU system time (s): 1.02287

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0783 second user time and 25.8534 second system time

The end

Name	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml
MD5SUM	4fcc0be526f5147180ee0aa4ecb06fa1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	31118
Best CPU time to get the best result obtained on this benchmark	2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	2550
Number of constraints	1200
Number of domains	2
Minimum domain size	49
Maximum domain size	50
Distribution of domain sizes	[{"size":49,"count":1199},{"size":50,"count":50}]
Minimum variable degree	0
Maximum variable degree	50
Distribution of variable degrees	[{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}]
Minimum constraint arity	3
Maximum constraint arity	50
Distribution of constraint arities	[{"arity":3,"count":1199},{"arity":50,"count":1}]
Number of extensional constraints	1199
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1199},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4406297

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