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-20	SAT (TO)	31216	2520.29	661.092

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403897-1568989173.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4403897-1568989173.xml, -tl, 2520s, -p, 4]
0.33/0.22	c 4 solvers in parallel
0.33/0.28	c parse instance...
10.07/3.36	c solve instance...
12.92/4.14	o 31919 
13.93/4.45	o 31908 
17.11/6.13	o 31907 
17.56/6.34	o 31904 
17.75/6.40	o 31894 
17.93/6.56	o 31878 
18.13/6.62	o 31869 
18.88/6.88	o 31865 
19.92/7.21	o 31859 
20.44/7.41	o 31836 
22.55/9.16	o 31827 
29.87/12.05	o 31826 
30.08/12.18	o 31817 
32.22/12.79	o 31812 
38.04/14.92	o 31768 
38.04/14.96	o 31757 
38.37/15.02	o 31741 
38.75/15.19	o 31737 
39.50/15.39	o 31727 
39.91/15.44	o 31722 
44.34/17.59	o 31689 
44.48/17.61	o 31674 
44.48/17.64	o 31656 
55.14/20.58	o 31637 
55.31/20.62	o 31610 
55.69/20.79	o 31589 
60.83/23.13	o 31580 
66.13/25.68	o 31566 
66.28/25.70	o 31546 
73.99/28.39	o 31540 
74.09/28.44	o 31522 
86.41/31.53	o 31494 
89.53/32.35	o 31482 
98.45/34.69	o 31476 
100.57/35.28	o 31457 
112.48/38.22	o 31452 
116.54/40.22	o 31447 
119.36/41.01	o 31444 
121.23/42.68	o 31435 
129.22/45.35	o 31434 
151.58/51.15	o 31422 
156.87/53.67	o 31417 
159.03/54.27	o 31415 
174.53/59.32	o 31413 
174.53/59.35	o 31378 
198.67/65.41	o 31365 
212.61/68.98	o 31363 
213.70/69.21	o 31358 
217.37/70.94	o 31357 
217.65/71.06	o 31355 
277.73/86.14	o 31354 
306.81/94.41	o 31351 
314.32/97.09	o 31336 
345.08/105.80	o 31331 
358.35/109.17	o 31328 
430.34/127.20	o 31324 
653.55/183.45	o 31318 
666.52/186.71	o 31296 
673.56/189.28	o 31292 
673.72/189.32	o 31290 
724.67/202.16	o 31282 
742.48/207.15	o 31275 
832.55/230.72	o 31272 
832.89/230.85	o 31268 
864.87/239.50	o 31267 
897.53/248.24	o 31258 
978.96/268.71	o 31256 
1078.38/294.62	o 31248 
1602.21/426.90	o 31246 
1608.08/429.54	o 31229 
1863.77/494.36	o 31226 
1979.10/523.99	o 31223 
1979.23/524.03	o 31222 
2031.96/538.41	o 31216 
2520.01/661.06	s SATISFIABLE
2520.01/661.06	v <instantiation>
2520.01/661.06	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.01/661.06	v 	<values>46 48 0 16 21 32 3 25 27 2 41 43 17 42 1 44 34 12 18 28 45 37 10 38 4 14 47 23 8 20 7 22 5 29 36 39 13 19 6 31 33 30 35 26 9 40 49 15 24 11 28 23 34 22 37 28 27 14 9 31 37 15 25 35 14 19 39 29 31 31 42 11 42 22 17 21 13 21 15 49 16 7 23 26 21 12 14 25 35 40 27 23 23 18 22 20 5 21 34 44 26 42 26 36 43 30 29 40 14 29 15 30 26 10 23 28 12 18 20 22 14 22 31 35 13 46 23 32 6 23 41 16 39 26 17 17 48 45 34 29 17 31 27 35 35 10 40 21 21 14 29 27 33 24 27 34 23 29 31 33 23 37 26 27 35 31 25 28 7 19 29 47 12 22 29 38 14 17 31 41 14 20 25 11 33 19 42 29 25 30 12 9 14 37 25 19 16 18 31 36 39 21 24 28 26 23 20 27 33 18 34 35 22 27 5 19 31 37 18 20 37 35 36 38 15 15 15 26 34 31 28 35 34 20 28 21 13 28 21 25 29 24 6 17 21 34 5 22 33 18 38 30 25 31 30 16 17 13 7 11 11 30 16 32 41 17 26 28 10 19 33 18 28 16 22 11 19 34 29 32 27 11 47 25 28 11 38 33 25 37 34 19 2 28 48 35 19 41 29 22 45 42 10 17 25 20 28 44 31 28 12 35 27 33 33 7 34 22 23 19 34 17 8 9 2 28 14 24 41 24 22 25 30 34 38 17 24 19 40 21 25 22 47 7 19 24 16 31 24 33 28 19 36 22 21 23 23 31 26 24 19 19 11 28 25 25 14 31 31 35 26 26 37 24 13 16 22 35 24 22 25 26 34 35 38 22 27 22 30 28 23 29 36 11 36 20 30 26 45 32 47 16 24 35 34 22 15 46 32 33 46 27 8 24 14 18 37 22 21 16 7 10 29 33 33 18 25 20 14 32 22 30 18 29 30 34 38 32 24 27 18 40 23 27 30 33 20 35 5 6 6 26 32 4 21 46 12 25 21 9 27 27 31 32 25 9 27 21 26 18 13 38 25 8 22 19 40 36 32 26 19 26 29 7 27 15 35 28 27 35 43 28 23 23 24 4 8 25 32 39 26 44 33 6 30 21 25 28 33 25 29 26 28 24 22 13 19 25 13 27 39 20 33 34 14 39 25 13 25 9 38 35 21 36 32 24 3 32 39 29 28 24 41 36 24 20 5 38 44 18 12 31 28 32 34 37 43 19 41 13 26 29 26 27 24 40 38 24 30 6 21 35 21 19 35 32 28 34 11 39 28 14 41 7 20 30 24 9 38 18 22 11 21 35 33 25 41 13 40 27 31 32 6 17 13 40 37 27 44 32 33 4 34 15 47 14 24 11 27 31 22 30 35 43 35 15 30 20 35 27 13 25 29 25 22 36 44 28 18 28 12 30 22 23 17 43 38 38 24 22 31 11 14 31 24 17 15 29 29 31 29 9 31 36 42 26 29 32 21 44 44 26 23 26 8 35 30 38 24 35 26 35 23 33 13 34 29 29 31 8 21 28 10 43 20 36 10 43 33 46 29 27 30 35 23 14 38 36 33 36 27 35 27 26 17 35 20 27 8 42 15 36 7 34 20 26 28 8 33 15 29 33 16 9 33 26 18 30 27 28 31 31 35 5 25 27 14 35 24 30 23 37 37 24 34 37 47 15 33 36 32 16 21 41 41 26 24 21 14 34 17 36 34 26 15 31 32 29 22 27 22 29 17 44 42 29 28 35 25 34 14 25 11 37 24 27 31 25 29 20 14 20 22 22 20 25 27 23 35 21 21 28 14 23 31 42 29 29 36 30 45 28 31 33 40 8 12 21 8 3 18 11 24 38 22 36 18 24 17 18 27 30 40 28 41 30 37 20 26 29 24 25 29 7 17 30 28 16 14 35 26 32 27 30 24 23 20 29 33 16 22 22 36 22 46 22 12 33 34 25 40 30 18 19 35 30 20 13 26 48 11 15 11 16 22 39 16 13 27 19 9 6 36 15 17 9 26 29 22 27 14 35 35 30 15 33 31 16 24 25 21 35 29 25 17 24 20 24 27 14 21 30 33 31 36 11 36 28 17 25 41 36 29 21 6 19 44 38 43 28 40 38 33 2 22 14 14 37 23 38 24 44 26 27 15 32 20 28 36 26 14 29 35 5 34 35 23 42 24 17 42 11 7 26 27 42 8 14 10 11 33 35 21 24 30 30 27 19 14 18 20 35 31 8 38 29 25 16 27 21 19 41 22 14 28 45 39 24 11 29 26 46 31 19 38 17 23 5 25 42 23 27 34 16 33 39 18 12 48 43 16 29 29 18 26 37 35 28 5 27 28 24 21 24 20 45 33 5 15 22 35 13 35 30 34 19 28 16 5 26 35 29 49 11 13 25 22 38 25 30 21 29 14 17 28 30 36 10 35 32 15 23 31 15 24 35 21 28 36 33 29 30 26 27 26 13 29 30 34 30 36 28 16 20 19 7 37 34 38 36 26 29 17 26 27 34 32 4 28 21 16 27 7 17 36 25 10 39 10 16 22 11 35 28 39 39 31 29 30 41 17 24 24 23 18 38 32 42 28 26 46 10 14 37 26 44 34 47 11 18 15 8 25 45 48 34 27 14 29 28 24 12 26 7 28 27 24 44 27 11 15 15 42 18 22 26 34 12 16 27 37 34 24 19 39 14 17 34 44 28 28 9 33 6 20 27 37 20 30 41 20 29 33 34 38 23 45 33 21 19 27 16 26 35 32 44 28 16 42 34 14 10 10 23 19 8 19 32 26 </values>
2520.01/661.06	v </instantiation>
2520.01/661.06	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 (4784 MiB free)
  memory of node 1: 16384 MiB (4886 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403897-1568989173/watcher-4403897-1568989173 -o /tmp/evaluation-result-4403897-1568989173/solver-4403897-1568989173 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1396502724 HOME/instance-4403897-1568989173.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=777, runsolver pid=774


[startup+0.100737 s]*
/proc/loadavg: 8.40 8.10 6.45 7/232 793
/proc/meminfo: memFree=9885492/32770624 swapFree=66938896/67108860
[pid=777] ppid=774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/777/stat : 777 (xcsp3-exec) S 774 777 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475186935 115843072 363 33554432000 4194304 5098028 140730592819776 140730592817880 140418767893116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35684352 140730592822138 140730592822381 140730592822381 140730592825290 0
/proc/777/statm: 28282 363 304 221 0 87 0
[pid=779] ppid=777 vsize=15144776 memory=30076 CPUtime=0.12 cores=0,2,4,6
/proc/779/stat : 779 (java) S 777 777 30846 0 -1 1077944320 5479 0 0 0 11 1 0 0 20 0 15 0 475186935 15508250624 7519 33554432000 4194304 4196468 140731308505472 140731308488016 140432586837751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
/proc/779/statm: 3786194 7519 3116 1 0 3748377 0
[pid=779/tid=780] ppid=777 vsize=15144776 memory=7883960649037381690 CPUtime=0.09 cores=0,2,4,6
/proc/779/task/780/stat : 780 (java) R 777 777 30846 0 -1 4202560 3411 0 0 0 8 1 0 0 20 0 15 0 475186935 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432591070016 140432222651937 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=781] ppid=777 vsize=15144776 memory=12641 CPUtime=0 cores=0,2,4,6
/proc/779/task/781/stat : 781 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432547797776 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=782] ppid=777 vsize=15144776 memory=3977724514148431520 CPUtime=0 cores=0,2,4,6
/proc/779/task/782/stat : 782 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432546745232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=783] ppid=777 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/783/stat : 783 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432177601552 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=784] ppid=777 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/779/task/784/stat : 784 (java) S 777 777 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475186936 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432176549008 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=785] ppid=777 vsize=15144776 memory=139799946737280 CPUtime=0 cores=0,2,4,6
/proc/779/task/785/stat : 785 (java) S 777 777 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475186937 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432055535600 140432586848898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=786] ppid=777 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/779/task/786/stat : 786 (java) S 777 777 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475186938 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432054481824 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=787] ppid=777 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/787/stat : 787 (java) S 777 777 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475186938 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432053429232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=788] ppid=777 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/788/stat : 788 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186940 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432052377808 140432586856347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=789] ppid=777 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/789/stat : 789 (java) S 777 777 30846 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 475186940 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432051325424 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=790] ppid=777 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/779/task/790/stat : 790 (java) S 777 777 30846 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 475186940 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432050272880 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=791] ppid=777 vsize=15144776 memory=139799946737280 CPUtime=0.02 cores=0,2,4,6
/proc/779/task/791/stat : 791 (java) R 777 777 30846 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 475186941 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432049220336 140432586849686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=792] ppid=777 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/779/task/792/stat : 792 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186941 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432048168032 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=793] ppid=777 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/793/stat : 793 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186941 15508250624 7585 33554432000 4194304 4196468 140731308505472 140432047114544 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31528 KiB

[startup+0.210657 s]*
/proc/loadavg: 8.40 8.10 6.45 8/232 793
/proc/meminfo: memFree=9873248/32770624 swapFree=66938896/67108860
[pid=777] ppid=774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/777/stat : 777 (xcsp3-exec) S 774 777 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475186935 115843072 363 33554432000 4194304 5098028 140730592819776 140730592817880 140418767893116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35684352 140730592822138 140730592822381 140730592822381 140730592825290 0
/proc/777/statm: 28282 363 304 221 0 87 0
[pid=779] ppid=777 vsize=15144776 memory=41488 CPUtime=0.33 cores=0,2,4,6
/proc/779/stat : 779 (java) S 777 777 30846 0 -1 1077944320 9016 0 0 0 30 3 0 0 20 0 15 0 475186935 15508250624 10372 33554432000 4194304 4196468 140731308505472 140731308488016 140432586837751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
/proc/779/statm: 3786194 10372 3301 1 0 3748377 0
[pid=779/tid=780] ppid=777 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/779/task/780/stat : 780 (java) R 777 777 30846 0 -1 4202560 6221 0 0 0 18 2 0 0 20 0 15 0 475186935 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432591071792 140432586859677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=781] ppid=777 vsize=15144776 memory=12641 CPUtime=0 cores=0,2,4,6
/proc/779/task/781/stat : 781 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432547797776 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=782] ppid=777 vsize=15144776 memory=3977724514148431520 CPUtime=0 cores=0,2,4,6
/proc/779/task/782/stat : 782 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432546745232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=783] ppid=777 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/783/stat : 783 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432177601552 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=784] ppid=777 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/779/task/784/stat : 784 (java) S 777 777 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475186936 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432176549008 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=785] ppid=777 vsize=15144776 memory=139799946737280 CPUtime=0 cores=0,2,4,6
/proc/779/task/785/stat : 785 (java) S 777 777 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475186937 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432055535600 140432586848898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=786] ppid=777 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/779/task/786/stat : 786 (java) S 777 777 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475186938 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432054481824 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=787] ppid=777 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/787/stat : 787 (java) S 777 777 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475186938 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432053429232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=788] ppid=777 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/788/stat : 788 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186940 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432052377808 140432586856347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=789] ppid=777 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/779/task/789/stat : 789 (java) S 777 777 30846 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 475186940 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432051325424 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=790] ppid=777 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/779/task/790/stat : 790 (java) S 777 777 30846 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 475186940 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432050272880 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=791] ppid=777 vsize=15144776 memory=139799946737280 CPUtime=0.08 cores=0,2,4,6
/proc/779/task/791/stat : 791 (java) R 777 777 30846 0 -1 4202560 729 0 0 0 8 0 0 0 20 0 15 0 475186941 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432049220336 140432586859098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=792] ppid=777 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/779/task/792/stat : 792 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186941 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432048168032 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=793] ppid=777 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/793/stat : 793 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186941 15508250624 10372 33554432000 4194304 4196468 140731308505472 140432047114544 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42940 KiB

[startup+0.311274 s]*
/proc/loadavg: 8.40 8.10 6.45 8/232 793
/proc/meminfo: memFree=9866192/32770624 swapFree=66938896/67108860
[pid=777] ppid=774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/777/stat : 777 (xcsp3-exec) S 774 777 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475186935 115843072 363 33554432000 4194304 5098028 140730592819776 140730592817880 140418767893116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35684352 140730592822138 140730592822381 140730592822381 140730592825290 0
/proc/777/statm: 28282 363 304 221 0 87 0
[pid=779] ppid=777 vsize=15149032 memory=50300 CPUtime=0.52 cores=0,2,4,6
/proc/779/stat : 779 (java) S 777 777 30846 0 -1 1077944320 10323 0 0 0 48 4 0 0 20 0 15 0 475186935 15512608768 12575 33554432000 4194304 4196468 140731308505472 140731308488016 140432586837751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
/proc/779/statm: 3787258 12575 3372 1 0 3748377 0
[pid=779/tid=780] ppid=777 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/779/task/780/stat : 780 (java) R 777 777 30846 0 -1 4202560 7361 0 0 0 27 3 0 0 20 0 15 0 475186935 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432591068864 140432586859677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=781] ppid=777 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/779/task/781/stat : 781 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432547797776 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=782] ppid=777 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/779/task/782/stat : 782 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432546745232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=783] ppid=777 vsize=15149032 memory=3475195960850671461 CPUtime=0 cores=0,2,4,6
/proc/779/task/783/stat : 783 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432177601552 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=784] ppid=777 vsize=15149032 memory=-6876588461455810464 CPUtime=0 cores=0,2,4,6
/proc/779/task/784/stat : 784 (java) S 777 777 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475186936 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432176549008 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=785] ppid=777 vsize=15149032 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/779/task/785/stat : 785 (java) S 777 777 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475186937 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432055535600 140432586848898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=786] ppid=777 vsize=15149032 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/779/task/786/stat : 786 (java) S 777 777 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475186938 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432054481824 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=787] ppid=777 vsize=15149032 memory=-8608168169079938421 CPUtime=0 cores=0,2,4,6
/proc/779/task/787/stat : 787 (java) S 777 777 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475186938 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432053429232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=788] ppid=777 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/788/stat : 788 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186940 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432052377808 140432586856347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=789] ppid=777 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/779/task/789/stat : 789 (java) R 777 777 30846 0 -1 4202560 490 0 0 0 4 0 0 0 20 0 15 0 475186940 15512608768 12640 33554432000 4194304 4196468 140731308505472 140432051315808 140432571765169 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=790] ppid=777 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/779/task/790/stat : 790 (java) S 777 777 30846 0 -1 1077944384 406 0 0 0 4 0 0 0 20 0 15 0 475186940 15512608768 12647 33554432000 4194304 4196468 140731308505472 140432050272880 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=791] ppid=777 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/779/task/791/stat : 791 (java) S 777 777 30846 0 -1 1077944384 824 0 0 0 12 0 0 0 20 0 15 0 475186941 15512608768 12647 33554432000 4194304 4196468 140731308505472 140432049220336 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=792] ppid=777 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/779/task/792/stat : 792 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186941 15512608768 12647 33554432000 4194304 4196468 140731308505472 140432048168032 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=793] ppid=777 vsize=15149032 memory=4049052965732169013 CPUtime=0 cores=0,2,4,6
/proc/779/task/793/stat : 793 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186941 15512608768 12647 33554432000 4194304 4196468 140731308505472 140432047114544 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51752 KiB

[startup+0.700849 s]
/proc/loadavg: 8.40 8.10 6.45 8/232 793
/proc/meminfo: memFree=9846296/32770624 swapFree=66938896/67108860
[pid=777] ppid=774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/777/stat : 777 (xcsp3-exec) S 774 777 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475186935 115843072 363 33554432000 4194304 5098028 140730592819776 140730592817880 140418767893116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35684352 140730592822138 140730592822381 140730592822381 140730592825290 0
/proc/777/statm: 28282 363 304 221 0 87 0
[pid=779] ppid=777 vsize=15151156 memory=106364 CPUtime=1.72 cores=0,2,4,6
/proc/779/stat : 779 (java) S 777 777 30846 0 -1 1077944320 14146 0 0 0 166 6 0 0 20 0 15 0 475186935 15514783744 26591 33554432000 4194304 4196468 140731308505472 140731308488016 140432586837751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
/proc/779/statm: 3787789 26591 3455 1 0 3748889 0
[pid=779/tid=780] ppid=777 vsize=15151156 memory=-8961168018402230209 CPUtime=0.68 cores=0,2,4,6
/proc/779/task/780/stat : 780 (java) R 777 777 30846 0 -1 4202560 8636 0 0 0 64 4 0 0 20 0 15 0 475186935 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432591066848 140432586849686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=781] ppid=777 vsize=15151156 memory=4639059895069856102 CPUtime=0 cores=0,2,4,6
/proc/779/task/781/stat : 781 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432547797776 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=782] ppid=777 vsize=15151156 memory=7518026621751088994 CPUtime=0 cores=0,2,4,6
/proc/779/task/782/stat : 782 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432546745232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=783] ppid=777 vsize=15151156 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/779/task/783/stat : 783 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186936 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432177601552 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=784] ppid=777 vsize=15151156 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/779/task/784/stat : 784 (java) S 777 777 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475186936 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432176549008 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=785] ppid=777 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/779/task/785/stat : 785 (java) S 777 777 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475186937 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432055535600 140432586848898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=786] ppid=777 vsize=15151156 memory=3640 CPUtime=0 cores=0,2,4,6
/proc/779/task/786/stat : 786 (java) S 777 777 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475186938 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432054481824 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=787] ppid=777 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/779/task/787/stat : 787 (java) S 777 777 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475186938 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432053429232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=788] ppid=777 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/779/task/788/stat : 788 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186940 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432052377808 140432586856347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=789] ppid=777 vsize=15151156 memory=1060 CPUtime=0.29 cores=0,2,4,6
/proc/779/task/789/stat : 789 (java) S 777 777 30846 0 -1 1077944384 964 0 0 0 29 0 0 0 20 0 15 0 475186940 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432051325424 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=790] ppid=777 vsize=15151156 memory=1720 CPUtime=0.35 cores=0,2,4,6
/proc/779/task/790/stat : 790 (java) S 777 777 30846 0 -1 1077944384 1382 0 0 0 35 0 0 0 20 0 15 0 475186940 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432050272880 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=791] ppid=777 vsize=15151156 memory=1096 CPUtime=0.37 cores=0,2,4,6
/proc/779/task/791/stat : 791 (java) S 777 777 30846 0 -1 1077944384 1856 0 0 0 37 0 0 0 20 0 15 0 475186941 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432049220336 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=792] ppid=777 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/779/task/792/stat : 792 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186941 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432048168032 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=793] ppid=777 vsize=15151156 memory=6112 CPUtime=0 cores=0,2,4,6
/proc/779/task/793/stat : 793 (java) S 777 777 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186941 15514783744 26591 33554432000 4194304 4196468 140731308505472 140432047114544 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 107816 KiB

[startup+1.50101 s]
/proc/loadavg: 8.45 8.12 6.47 8/232 793
/proc/meminfo: memFree=9650872/32770624 swapFree=66938896/67108860
[pid=777] ppid=774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/777/stat : 777 (xcsp3-exec) S 774 777 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475186935 115843072 363 33554432000 4194304 5098028 140730592819776 140730592817880 140418767893116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35684352 140730592822138 140730592822381 140730592822381 140730592825290 0
/proc/777/statm: 28282 363 304 221 0 87 0

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

/proc/779/stat : 779 (java) S 777 777 30846 0 -1 1077944320 496616 0 0 0 220496 170 0 0 20 0 19 0 475186935 16062173184 433105 33554432000 4194304 4196468 140731308505472 140731308488016 140432586837751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
/proc/779/statm: 3921429 433105 3555 1 0 3882529 0
[pid=779/tid=780] ppid=777 vsize=15685716 memory=1732420 CPUtime=1.81 cores=0,2,4,6
/proc/779/task/780/stat : 780 (java) S 777 777 30846 0 -1 1077944384 17255 0 0 0 172 9 0 0 20 0 19 0 475186935 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432591078528 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=781] ppid=777 vsize=15685716 memory=1732420 CPUtime=2 cores=0,2,4,6
/proc/779/task/781/stat : 781 (java) S 777 777 30846 0 -1 1077944384 11326 0 0 0 173 27 0 0 20 0 19 0 475186936 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432547797776 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=782] ppid=777 vsize=15685716 memory=1726292 CPUtime=1.97 cores=0,2,4,6
/proc/779/task/782/stat : 782 (java) S 777 777 30846 0 -1 1077944384 10764 0 0 0 171 26 0 0 20 0 19 0 475186936 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432546745232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=783] ppid=777 vsize=15685716 memory=1705920 CPUtime=2.02 cores=0,2,4,6
/proc/779/task/783/stat : 783 (java) S 777 777 30846 0 -1 1077944384 13105 0 0 0 176 26 0 0 20 0 19 0 475186936 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432177601552 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=784] ppid=777 vsize=15685716 memory=1712048 CPUtime=1.99 cores=0,2,4,6
/proc/779/task/784/stat : 784 (java) S 777 777 30846 0 -1 1077944384 12536 0 0 0 173 26 0 0 20 0 19 0 475186936 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432176549008 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=785] ppid=777 vsize=15685716 memory=1714088 CPUtime=0.1 cores=0,2,4,6
/proc/779/task/785/stat : 785 (java) S 777 777 30846 0 -1 1077944384 9425 0 0 0 8 2 0 0 20 0 19 0 475186937 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432055535600 140432586848898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=786] ppid=777 vsize=15685716 memory=1719920 CPUtime=0 cores=0,2,4,6
/proc/779/task/786/stat : 786 (java) S 777 777 30846 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475186938 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432054481888 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=787] ppid=777 vsize=15685716 memory=1720192 CPUtime=0 cores=0,2,4,6
/proc/779/task/787/stat : 787 (java) S 777 777 30846 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475186938 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432053429248 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=788] ppid=777 vsize=15685716 memory=1726040 CPUtime=0 cores=0,2,4,6
/proc/779/task/788/stat : 788 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186940 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432052377808 140432586856347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=789] ppid=777 vsize=15685716 memory=1726312 CPUtime=4.05 cores=0,2,4,6
/proc/779/task/789/stat : 789 (java) S 777 777 30846 0 -1 1077944384 30087 0 0 0 402 3 0 0 20 0 19 0 475186940 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432051325424 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=790] ppid=777 vsize=15685716 memory=1726312 CPUtime=4.23 cores=0,2,4,6
/proc/779/task/790/stat : 790 (java) S 777 777 30846 0 -1 1077944384 32093 0 0 0 419 4 0 0 20 0 19 0 475186940 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432050272880 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=791] ppid=777 vsize=15685716 memory=1726312 CPUtime=1.04 cores=0,2,4,6
/proc/779/task/791/stat : 791 (java) S 777 777 30846 0 -1 1077944384 29311 0 0 0 102 2 0 0 20 0 19 0 475186941 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432049220336 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=792] ppid=777 vsize=15685716 memory=1726292 CPUtime=0 cores=0,2,4,6
/proc/779/task/792/stat : 792 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186941 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432048168032 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=793] ppid=777 vsize=15685716 memory=1726292 CPUtime=0.2 cores=0,2,4,6
/proc/779/task/793/stat : 793 (java) S 777 777 30846 0 -1 1077944384 4239 0 0 0 11 9 0 0 20 0 19 0 475186941 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432047114544 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1550] ppid=777 vsize=15685716 memory=1726292 CPUtime=43.04 cores=0,2,4,6
/proc/779/task/1550/stat : 1550 (java) R 777 777 30846 0 -1 4202560 1568 0 0 0 4304 0 0 0 20 0 19 0 475240776 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432032631368 140432229510494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1551] ppid=777 vsize=15685716 memory=1452 CPUtime=43.84 cores=0,2,4,6
/proc/779/task/1551/stat : 1551 (java) R 777 777 30846 0 -1 4202560 3684 0 0 0 4384 0 0 0 20 0 19 0 475240776 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432033688064 140432228590132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1552] ppid=777 vsize=15685716 memory=1726292 CPUtime=43.84 cores=0,2,4,6
/proc/779/task/1552/stat : 1552 (java) R 777 777 30846 0 -1 4202560 3352 0 0 0 4384 0 0 0 20 0 19 0 475240776 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432030526624 140432229704457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1553] ppid=777 vsize=15685716 memory=1452 CPUtime=43.86 cores=0,2,4,6
/proc/779/task/1553/stat : 1553 (java) R 777 777 30846 0 -1 4202560 2004 0 0 0 4386 0 0 0 20 0 19 0 475240776 16062173184 433105 33554432000 4194304 4196468 140731308505472 140432031580232 140432229716914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
Current children cumulated CPU time: 2206.66 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 1733872 KiB

[startup+642.308 s]
/proc/loadavg: 8.05 8.24 7.35 9/236 1561
/proc/meminfo: memFree=8728232/32770624 swapFree=66938908/67108860
[pid=777] ppid=774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/777/stat : 777 (xcsp3-exec) S 774 777 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475186935 115843072 363 33554432000 4194304 5098028 140730592819776 140730592817880 140418767893116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35684352 140730592822138 140730592822381 140730592822381 140730592825290 0
/proc/777/statm: 28282 363 304 221 0 87 0
[pid=779] ppid=777 vsize=15685716 memory=1694968 CPUtime=2445.54 cores=0,2,4,6
/proc/779/stat : 779 (java) S 777 777 30846 0 -1 1077944320 504830 0 0 0 244383 171 0 0 20 0 19 0 475186935 16062173184 423742 33554432000 4194304 4196468 140731308505472 140731308488016 140432586837751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
/proc/779/statm: 3921429 423742 3555 1 0 3882529 0
[pid=779/tid=780] ppid=777 vsize=15685716 memory=1707792 CPUtime=1.81 cores=0,2,4,6
/proc/779/task/780/stat : 780 (java) S 777 777 30846 0 -1 1077944384 17255 0 0 0 172 9 0 0 20 0 19 0 475186935 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432591078528 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=781] ppid=777 vsize=15685716 memory=1707792 CPUtime=2.02 cores=0,2,4,6
/proc/779/task/781/stat : 781 (java) S 777 777 30846 0 -1 1077944384 11622 0 0 0 175 27 0 0 20 0 19 0 475186936 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432547797776 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=782] ppid=777 vsize=15685716 memory=1714088 CPUtime=1.99 cores=0,2,4,6
/proc/779/task/782/stat : 782 (java) S 777 777 30846 0 -1 1077944384 11236 0 0 0 173 26 0 0 20 0 19 0 475186936 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432546745232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=783] ppid=777 vsize=15685716 memory=1720192 CPUtime=2.03 cores=0,2,4,6
/proc/779/task/783/stat : 783 (java) S 777 777 30846 0 -1 1077944384 13467 0 0 0 177 26 0 0 20 0 19 0 475186936 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432177601552 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=784] ppid=777 vsize=15685716 memory=1726312 CPUtime=2.01 cores=0,2,4,6
/proc/779/task/784/stat : 784 (java) S 777 777 30846 0 -1 1077944384 12732 0 0 0 175 26 0 0 20 0 19 0 475186936 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432176549008 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=785] ppid=777 vsize=15685716 memory=1726312 CPUtime=0.11 cores=0,2,4,6
/proc/779/task/785/stat : 785 (java) S 777 777 30846 0 -1 1077944384 9727 0 0 0 9 2 0 0 20 0 19 0 475186937 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432055535600 140432586848898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=786] ppid=777 vsize=15685716 memory=1726292 CPUtime=0 cores=0,2,4,6
/proc/779/task/786/stat : 786 (java) S 777 777 30846 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475186938 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432054481888 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=787] ppid=777 vsize=15685716 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/779/task/787/stat : 787 (java) S 777 777 30846 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475186938 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432053429248 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=788] ppid=777 vsize=15685716 memory=1722156 CPUtime=0 cores=0,2,4,6
/proc/779/task/788/stat : 788 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186940 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432052377808 140432586856347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=789] ppid=777 vsize=15685716 memory=1707792 CPUtime=4.05 cores=0,2,4,6
/proc/779/task/789/stat : 789 (java) S 777 777 30846 0 -1 1077944384 30091 0 0 0 402 3 0 0 20 0 19 0 475186940 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432051325424 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=790] ppid=777 vsize=15685716 memory=1707792 CPUtime=4.23 cores=0,2,4,6
/proc/779/task/790/stat : 790 (java) S 777 777 30846 0 -1 1077944384 32095 0 0 0 419 4 0 0 20 0 19 0 475186940 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432050272880 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=791] ppid=777 vsize=15685716 memory=1722156 CPUtime=1.05 cores=0,2,4,6
/proc/779/task/791/stat : 791 (java) S 777 777 30846 0 -1 1077944384 30761 0 0 0 102 3 0 0 20 0 19 0 475186941 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432049220336 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=792] ppid=777 vsize=15685716 memory=1707792 CPUtime=0 cores=0,2,4,6
/proc/779/task/792/stat : 792 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186941 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432048168032 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=793] ppid=777 vsize=15685716 memory=1707792 CPUtime=0.22 cores=0,2,4,6
/proc/779/task/793/stat : 793 (java) S 777 777 30846 0 -1 1077944384 4274 0 0 0 12 10 0 0 20 0 19 0 475186941 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432047114544 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1550] ppid=777 vsize=15685716 memory=1707792 CPUtime=102.13 cores=0,2,4,6
/proc/779/task/1550/stat : 1550 (java) R 777 777 30846 0 -1 4202560 1806 0 0 0 10213 0 0 0 20 0 19 0 475240776 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432032631248 140432229704457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1551] ppid=777 vsize=15685716 memory=1707792 CPUtime=103.8 cores=0,2,4,6
/proc/779/task/1551/stat : 1551 (java) R 777 777 30846 0 -1 4202560 6224 0 0 0 10380 0 0 0 20 0 19 0 475240776 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432033684976 140432229511005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1552] ppid=777 vsize=15685716 memory=1452 CPUtime=103.81 cores=0,2,4,6
/proc/779/task/1552/stat : 1552 (java) R 777 777 30846 0 -1 4202560 5177 0 0 0 10381 0 0 0 20 0 19 0 475240776 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432030529552 140432229719998 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1553] ppid=777 vsize=15685716 memory=1452 CPUtime=103.61 cores=0,2,4,6
/proc/779/task/1553/stat : 1553 (java) R 777 777 30846 0 -1 4202560 2496 0 0 0 10361 0 0 0 20 0 19 0 475240776 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432031579840 140432228590137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
Current children cumulated CPU time: 2445.54 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 1696420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+661.008 s]*
/proc/loadavg: 8.03 8.22 7.36 9/236 1563
/proc/meminfo: memFree=8756036/32770624 swapFree=66938908/67108860
[pid=777] ppid=774 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/777/stat : 777 (xcsp3-exec) S 774 777 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475186935 115843072 363 33554432000 4194304 5098028 140730592819776 140730592817880 140418767893116 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35684352 140730592822138 140730592822381 140730592822381 140730592825290 0
/proc/777/statm: 28282 363 304 221 0 87 0
[pid=779] ppid=777 vsize=15685716 memory=1694968 CPUtime=2520.01 cores=0,2,4,6
/proc/779/stat : 779 (java) S 777 777 30846 0 -1 1077944320 506258 0 0 0 251829 172 0 0 20 0 19 0 475186935 16062173184 423742 33554432000 4194304 4196468 140731308505472 140731308488016 140432586837751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
/proc/779/statm: 3921429 423742 3555 1 0 3882529 0
[pid=779/tid=780] ppid=777 vsize=15685716 memory=6935054825532540783 CPUtime=1.81 cores=0,2,4,6
/proc/779/task/780/stat : 780 (java) S 777 777 30846 0 -1 1077944384 17255 0 0 0 172 9 0 0 20 0 19 0 475186935 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432591078528 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=781] ppid=777 vsize=15685716 memory=4126316290023845779 CPUtime=2.02 cores=0,2,4,6
/proc/779/task/781/stat : 781 (java) S 777 777 30846 0 -1 1077944384 11622 0 0 0 175 27 0 0 20 0 19 0 475186936 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432547797776 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=782] ppid=777 vsize=15685716 memory=303148769816609083 CPUtime=1.99 cores=0,2,4,6
/proc/779/task/782/stat : 782 (java) S 777 777 30846 0 -1 1077944384 11236 0 0 0 173 26 0 0 20 0 19 0 475186936 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432546745232 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=783] ppid=777 vsize=15685716 memory=15816703221171978 CPUtime=2.03 cores=0,2,4,6
/proc/779/task/783/stat : 783 (java) S 777 777 30846 0 -1 1077944384 13467 0 0 0 177 26 0 0 20 0 19 0 475186936 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432177601552 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=784] ppid=777 vsize=15685716 memory=7452727665442252653 CPUtime=2.01 cores=0,2,4,6
/proc/779/task/784/stat : 784 (java) S 777 777 30846 0 -1 1077944384 12732 0 0 0 175 26 0 0 20 0 19 0 475186936 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432176549008 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=785] ppid=777 vsize=15685716 memory=7883104064506195051 CPUtime=0.11 cores=0,2,4,6
/proc/779/task/785/stat : 785 (java) S 777 777 30846 0 -1 1077944384 9732 0 0 0 9 2 0 0 20 0 19 0 475186937 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432055535600 140432586848898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=786] ppid=777 vsize=15685716 memory=7451880037002930496 CPUtime=0 cores=0,2,4,6
/proc/779/task/786/stat : 786 (java) S 777 777 30846 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475186938 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432054481888 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=787] ppid=777 vsize=15685716 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/779/task/787/stat : 787 (java) S 777 777 30846 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475186938 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432053429248 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=788] ppid=777 vsize=15685716 memory=7897517683652307531 CPUtime=0 cores=0,2,4,6
/proc/779/task/788/stat : 788 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186940 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432052377808 140432586856347 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=789] ppid=777 vsize=15685716 memory=8514726395715349656 CPUtime=4.05 cores=0,2,4,6
/proc/779/task/789/stat : 789 (java) S 777 777 30846 0 -1 1077944384 30095 0 0 0 402 3 0 0 20 0 19 0 475186940 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432051325424 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=790] ppid=777 vsize=15685716 memory=-8412652160765825907 CPUtime=4.23 cores=0,2,4,6
/proc/779/task/790/stat : 790 (java) S 777 777 30846 0 -1 1077944384 32102 0 0 0 419 4 0 0 20 0 19 0 475186940 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432050272880 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=791] ppid=777 vsize=15685716 memory=-8634980985311628903 CPUtime=1.05 cores=0,2,4,6
/proc/779/task/791/stat : 791 (java) S 777 777 30846 0 -1 1077944384 30765 0 0 0 102 3 0 0 20 0 19 0 475186941 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432049220336 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=792] ppid=777 vsize=15685716 memory=7100839878645619564 CPUtime=0 cores=0,2,4,6
/proc/779/task/792/stat : 792 (java) S 777 777 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186941 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432048168032 140432586847957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=793] ppid=777 vsize=15685716 memory=3047711553320166262 CPUtime=0.23 cores=0,2,4,6
/proc/779/task/793/stat : 793 (java) S 777 777 30846 0 -1 1077944384 4299 0 0 0 12 11 0 0 20 0 19 0 475186941 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432047114544 140432586848898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1550] ppid=777 vsize=15685716 memory=7824336315716348491 CPUtime=120.84 cores=0,2,4,6
/proc/779/task/1550/stat : 1550 (java) R 777 777 30846 0 -1 4202560 2027 0 0 0 12084 0 0 0 20 0 19 0 475240776 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432032631384 140432229704530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1551] ppid=777 vsize=15685716 memory=-8412652169205224307 CPUtime=122.5 cores=0,2,4,6
/proc/779/task/1551/stat : 1551 (java) R 777 777 30846 0 -1 4202560 6615 0 0 0 12250 0 0 0 20 0 19 0 475240776 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432033685112 140432229704457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1552] ppid=777 vsize=15685716 memory=7235141006317545536 CPUtime=122.19 cores=0,2,4,6
/proc/779/task/1552/stat : 1552 (java) R 777 777 30846 0 -1 4202560 5651 0 0 0 12218 1 0 0 20 0 19 0 475240776 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432030529552 140432228590137 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
[pid=779/tid=1553] ppid=777 vsize=15685716 memory=-7465405268641471099 CPUtime=122.3 cores=0,2,4,6
/proc/779/task/1553/stat : 1553 (java) R 777 777 30846 0 -1 4202560 2793 0 0 0 12230 0 0 0 20 0 19 0 475240776 16062173184 423742 33554432000 4194304 4196468 140731308505472 140432031579840 140432229510724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29450240 140731308508143 140731308508314 140731308508314 140731308511183 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 1696420 KiB

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

[startup+661.032 s]
# the end of solver process 777 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00151 s, system=0.000755 s

[startup+661.092 s]
# the end of solver process 779 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.55 s, system=1.73635 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): 661.092
CPU time (s): 2520.29
CPU user time (s): 2518.55
CPU system time (s): 1.73635
CPU usage (%): 381.231
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 1733872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.55
system time used= 1.73635
maximum resident set size= 1732448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21439
involuntary context switches= 47004


# summary of solver processes directly reported to runsolver:
#   pid: 777,779
#   total CPU time (s): 2520.29
#   total CPU user time (s): 2518.55
#   total CPU system time (s): 1.73635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.28432 second user time and 7.4267 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 4403897

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