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-16	SAT (TO)	31216	2520.39	658.803

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399397-1568694497.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399397-1568694497.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
10.06/3.31	c solve instance...
12.78/4.03	o 31919 
14.28/4.41	o 31914 
14.28/4.42	o 31907 
15.57/4.81	o 31904 
15.57/4.81	o 31894 
18.15/6.22	o 31878 
18.15/6.27	o 31869 
19.74/6.70	o 31865 
20.10/6.91	o 31859 
20.75/7.16	o 31836 
23.19/8.93	o 31827 
30.75/11.85	o 31826 
30.75/11.88	o 31817 
32.57/12.39	o 31812 
40.05/14.80	o 31768 
40.05/14.83	o 31757 
40.05/14.88	o 31741 
40.42/14.99	o 31737 
41.23/15.19	o 31727 
41.59/15.21	o 31722 
45.76/17.40	o 31689 
45.76/17.41	o 31674 
45.76/17.44	o 31656 
56.08/20.32	o 31637 
56.08/20.35	o 31610 
56.78/20.50	o 31589 
61.38/22.90	o 31580 
66.56/25.41	o 31566 
66.56/25.42	o 31546 
74.01/28.16	o 31540 
74.01/28.18	o 31522 
85.77/31.18	o 31494 
88.90/31.98	o 31482 
97.16/34.17	o 31476 
99.32/34.75	o 31457 
110.45/37.54	o 31452 
114.65/39.74	o 31447 
117.47/40.54	o 31444 
119.42/42.23	o 31435 
127.23/44.95	o 31434 
148.83/50.71	o 31422 
153.97/53.23	o 31417 
156.25/53.80	o 31415 
168.57/56.97	o 31413 
168.57/56.98	o 31378 
192.04/62.85	o 31365 
206.33/66.42	o 31363 
208.58/68.12	o 31358 
210.48/68.67	o 31357 
210.91/68.79	o 31355 
268.48/83.20	o 31354 
294.74/89.88	o 31351 
302.18/92.09	o 31336 
330.56/99.24	o 31331 
344.92/104.01	o 31328 
414.76/122.38	o 31324 
629.44/176.37	o 31318 
642.12/179.53	o 31296 
649.10/182.23	o 31292 
649.10/182.26	o 31290 
699.53/194.90	o 31282 
717.29/200.28	o 31275 
803.84/222.09	o 31272 
804.58/222.20	o 31268 
835.16/230.61	o 31267 
867.18/239.43	o 31258 
946.77/260.13	o 31256 
1041.82/284.09	o 31248 
1551.35/412.71	o 31246 
1556.93/415.29	o 31229 
1806.91/478.79	o 31226 
1917.29/506.54	o 31223 
1917.29/506.56	o 31222 
1969.30/520.35	o 31216 
2520.05/658.77	s SATISFIABLE
2520.05/658.77	v <instantiation>
2520.05/658.77	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.05/658.77	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.05/658.77	v </instantiation>
2520.05/658.77	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 (14596 MiB free)
  memory of node 1: 16384 MiB (15675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399397-1568694497/watcher-4399397-1568694497 -o /tmp/evaluation-result-4399397-1568694497/solver-4399397-1568694497 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23429 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 962874348 HOME/instance-4399397-1568694497.xml 

running on 4 cores: 1,3,5,7

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=23960, runsolver pid=23957

[startup+0.100058 s]*
/proc/loadavg: 4.99 2.18 1.42 7/232 23976
/proc/meminfo: memFree=30983252/32770624 swapFree=66977404/67108860
[pid=23960] ppid=23957 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23960/stat : 23960 (xcsp3-exec) S 23957 23960 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445706747 115843072 362 33554432000 4194304 5098028 140727875120912 140727875119016 139639546061436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20086784 140727875126139 140727875126381 140727875126381 140727875129290 0
/proc/23960/statm: 28282 362 304 221 0 87 0
[pid=23962] ppid=23960 vsize=15144776 memory=29000 CPUtime=0.13 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23960 23397 0 -1 1077944320 5705 0 0 0 12 1 0 0 20 0 15 0 445706747 15508250624 7250 33554432000 4194304 4196468 140724453674320 140724453656864 139804317576951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
/proc/23962/statm: 3786194 7250 3184 1 0 3748377 0
[pid=23962/tid=23963] ppid=23960 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/23962/task/23963/stat : 23963 (java) R 23960 23960 23397 0 -1 4202560 3570 0 0 0 8 0 0 0 20 0 15 0 445706747 15508250624 7250 33554432000 4194304 4196468 140724453674320 139804321808672 139804309814078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23964] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706748 15508250624 7250 33554432000 4194304 4196468 140724453674320 139804274129808 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23965] ppid=23960 vsize=15144776 memory=140174747250978 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23960 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706748 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803908823824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23966] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706748 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803907771536 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23967] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23960 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706748 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803906718736 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23968] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23960 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706750 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803786049648 139804317588098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23969] ppid=23960 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23960 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445706750 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803784995616 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23970] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23960 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445706750 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803783943280 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23971] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706753 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803782891600 139804317595547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23972] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23960 23397 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 445706753 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803781839472 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23973] ppid=23960 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23960 23397 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 445706753 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803780786672 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23974] ppid=23960 vsize=15144776 memory=140174744262272 CPUtime=0.02 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) R 23960 23960 23397 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 445706753 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803779734384 139803953725561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23975] ppid=23960 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706753 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803778681824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23976] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706753 15508250624 7250 33554432000 4194304 4196468 140724453674320 139803777628592 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30448 KiB

[startup+0.210769 s]*
/proc/loadavg: 4.99 2.18 1.42 7/232 23976
/proc/meminfo: memFree=30969248/32770624 swapFree=66977404/67108860
[pid=23960] ppid=23957 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23960/stat : 23960 (xcsp3-exec) S 23957 23960 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445706747 115843072 362 33554432000 4194304 5098028 140727875120912 140727875119016 139639546061436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20086784 140727875126139 140727875126381 140727875126381 140727875129290 0
/proc/23960/statm: 28282 362 304 221 0 87 0
[pid=23962] ppid=23960 vsize=15144776 memory=41136 CPUtime=0.34 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23960 23397 0 -1 1077944320 9467 0 0 0 32 2 0 0 20 0 15 0 445706747 15508250624 10284 33554432000 4194304 4196468 140724453674320 140724453656864 139804317576951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
/proc/23962/statm: 3786194 10284 3309 1 0 3748377 0
[pid=23962/tid=23963] ppid=23960 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23962/task/23963/stat : 23963 (java) R 23960 23960 23397 0 -1 4202560 6605 0 0 0 18 2 0 0 20 0 15 0 445706747 15508250624 10284 33554432000 4194304 4196468 140724453674320 139804321813712 139804301657438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23964] ppid=23960 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706748 15508250624 10284 33554432000 4194304 4196468 140724453674320 139804274129808 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23965] ppid=23960 vsize=15144776 memory=3616590264738158240 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23960 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706748 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803908823824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23966] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706748 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803907771536 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23967] ppid=23960 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23960 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706748 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803906718736 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23968] ppid=23960 vsize=15144776 memory=140174744262272 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23960 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445706750 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803786049648 139804317588098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23969] ppid=23960 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23960 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445706750 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803784995616 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23970] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23960 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445706750 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803783943280 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23971] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706753 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803782891600 139804317595547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23972] ppid=23960 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23960 23397 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 445706753 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803781839472 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23973] ppid=23960 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23960 23397 0 -1 1077944384 409 0 0 0 3 0 0 0 20 0 15 0 445706753 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803780786672 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23974] ppid=23960 vsize=15144776 memory=140174744262272 CPUtime=0.08 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23960 23397 0 -1 1077944384 797 0 0 0 8 0 0 0 20 0 15 0 445706753 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803779734384 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23975] ppid=23960 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706753 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803778681824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23976] ppid=23960 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706753 15508250624 10284 33554432000 4194304 4196468 140724453674320 139803777628592 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42584 KiB

[startup+0.321364 s]*
/proc/loadavg: 4.99 2.18 1.42 6/232 23976
/proc/meminfo: memFree=30962384/32770624 swapFree=66977404/67108860
[pid=23960] ppid=23957 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23960/stat : 23960 (xcsp3-exec) S 23957 23960 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445706747 115843072 362 33554432000 4194304 5098028 140727875120912 140727875119016 139639546061436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20086784 140727875126139 140727875126381 140727875126381 140727875129290 0
/proc/23960/statm: 28282 362 304 221 0 87 0
[pid=23962] ppid=23960 vsize=15149032 memory=50760 CPUtime=0.54 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23960 23397 0 -1 1077944320 11021 0 0 0 51 3 0 0 20 0 15 0 445706747 15512608768 12690 33554432000 4194304 4196468 140724453674320 140724453656864 139804317576951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
/proc/23962/statm: 3787258 12690 3357 1 0 3748377 0
[pid=23962/tid=23963] ppid=23960 vsize=15149032 memory=8317482817917895235 CPUtime=0.31 cores=1,3,5,7
/proc/23962/task/23963/stat : 23963 (java) R 23960 23960 23397 0 -1 4202560 7916 0 0 0 28 3 0 0 20 0 15 0 445706747 15512608768 12690 33554432000 4194304 4196468 140724453674320 139804321812064 139804301657438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23964] ppid=23960 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706748 15512608768 12690 33554432000 4194304 4196468 140724453674320 139804274129808 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23965] ppid=23960 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23960 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706748 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803908823824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23966] ppid=23960 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706748 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803907771536 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23967] ppid=23960 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23960 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706748 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803906718736 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23968] ppid=23960 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23960 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445706750 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803786049648 139804317588098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23969] ppid=23960 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23960 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445706750 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803784995616 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23970] ppid=23960 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23960 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445706750 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803783943280 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23971] ppid=23960 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706753 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803782891600 139804317595547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23972] ppid=23960 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23960 23397 0 -1 1077944384 368 0 0 0 4 0 0 0 20 0 15 0 445706753 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803781839472 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23973] ppid=23960 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23960 23397 0 -1 1077944384 537 0 0 0 6 0 0 0 20 0 15 0 445706753 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803780786672 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23974] ppid=23960 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23960 23397 0 -1 1077944384 893 0 0 0 12 0 0 0 20 0 15 0 445706753 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803779734384 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23975] ppid=23960 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706753 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803778681824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23976] ppid=23960 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706753 15512608768 12690 33554432000 4194304 4196468 140724453674320 139803777628592 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52208 KiB

[startup+0.701367 s]
/proc/loadavg: 4.99 2.18 1.42 8/232 23976
/proc/meminfo: memFree=30941912/32770624 swapFree=66977404/67108860
[pid=23960] ppid=23957 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23960/stat : 23960 (xcsp3-exec) S 23957 23960 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445706747 115843072 362 33554432000 4194304 5098028 140727875120912 140727875119016 139639546061436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20086784 140727875126139 140727875126381 140727875126381 140727875129290 0
/proc/23960/statm: 28282 362 304 221 0 87 0
[pid=23962] ppid=23960 vsize=15151156 memory=103700 CPUtime=1.7 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23960 23397 0 -1 1077944320 14499 0 0 0 165 5 0 0 20 0 15 0 445706747 15514783744 25925 33554432000 4194304 4196468 140724453674320 140724453656864 139804317576951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
/proc/23962/statm: 3787789 25925 3449 1 0 3748889 0
[pid=23962/tid=23963] ppid=23960 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/23962/task/23963/stat : 23963 (java) R 23960 23960 23397 0 -1 4202560 9077 0 0 0 63 4 0 0 20 0 15 0 445706747 15514783744 25925 33554432000 4194304 4196468 140724453674320 139804321812632 139803958327104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23964] ppid=23960 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706748 15514783744 25925 33554432000 4194304 4196468 140724453674320 139804274129808 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23965] ppid=23960 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23960 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706748 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803908823824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23966] ppid=23960 vsize=15151156 memory=692 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706748 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803907771536 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23967] ppid=23960 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23960 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445706748 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803906718736 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23968] ppid=23960 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23960 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445706750 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803786049648 139804317588098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23969] ppid=23960 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23960 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445706750 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803784995616 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23970] ppid=23960 vsize=15151156 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23960 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445706750 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803783943280 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23971] ppid=23960 vsize=15151156 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706753 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803782891600 139804317595547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23972] ppid=23960 vsize=15151156 memory=6048 CPUtime=0.33 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) R 23960 23960 23397 0 -1 4202560 1178 0 0 0 33 0 0 0 20 0 15 0 445706753 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803781829392 139804298212769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23973] ppid=23960 vsize=15151156 memory=7552 CPUtime=0.3 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23960 23397 0 -1 1077944384 1081 0 0 0 30 0 0 0 20 0 15 0 445706753 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803780786672 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23974] ppid=23960 vsize=15151156 memory=2832 CPUtime=0.38 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23960 23397 0 -1 1077944384 1855 0 0 0 38 0 0 0 20 0 15 0 445706753 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803779734384 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23975] ppid=23960 vsize=15151156 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445706753 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803778681824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23976] ppid=23960 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23960 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445706753 15514783744 25925 33554432000 4194304 4196468 140724453674320 139803777628592 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 105148 KiB

[startup+1.50139 s]
/proc/loadavg: 4.99 2.18 1.42 9/232 23976
/proc/meminfo: memFree=30745992/32770624 swapFree=66977404/67108860
[pid=23960] ppid=23957 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23960/stat : 23960 (xcsp3-exec) S 23957 23960 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445706747 115843072 362 33554432000 4194304 5098028 140727875120912 140727875119016 139639546061436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20086784 140727875126139 140727875126381 140727875126381 140727875129290 0
/proc/23960/statm: 28282 362 304 221 0 87 0

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

/proc/23962/stat : 23962 (java) S 23960 23960 23397 0 -1 1077944320 573515 0 0 0 245310 168 0 0 20 0 19 0 445706747 15994011648 428114 33554432000 4194304 4196468 140724453674320 140724453656864 139804317576951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
/proc/23962/statm: 3904788 428114 3558 1 0 3865888 0
[pid=23962/tid=23963] ppid=23960 vsize=15619152 memory=1712456 CPUtime=1.8 cores=1,3,5,7
/proc/23962/task/23963/stat : 23963 (java) S 23960 23960 23397 0 -1 1077944384 19304 0 0 0 172 8 0 0 20 0 19 0 445706747 15994011648 428114 33554432000 4194304 4196468 140724453674320 139804321817728 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23964] ppid=23960 vsize=15619152 memory=1737580 CPUtime=1.96 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23960 23397 0 -1 1077944384 12704 0 0 0 169 27 0 0 20 0 19 0 445706748 15994011648 428114 33554432000 4194304 4196468 140724453674320 139804274129808 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23965] ppid=23960 vsize=15619152 memory=1647732 CPUtime=1.93 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23960 23397 0 -1 1077944384 12179 0 0 0 167 26 0 0 20 0 19 0 445706748 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803908823824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23966] ppid=23960 vsize=15619152 memory=1659964 CPUtime=1.92 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23960 23397 0 -1 1077944384 11040 0 0 0 168 24 0 0 20 0 19 0 445706748 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803907771536 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23967] ppid=23960 vsize=15619152 memory=1725436 CPUtime=1.9 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23960 23397 0 -1 1077944384 12711 0 0 0 165 25 0 0 20 0 19 0 445706748 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803906718736 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23968] ppid=23960 vsize=15619152 memory=1731536 CPUtime=0.12 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23960 23397 0 -1 1077944384 10327 0 0 0 10 2 0 0 20 0 19 0 445706750 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803786049648 139804317588098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23969] ppid=23960 vsize=15619152 memory=1725268 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23960 23397 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 445706750 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803784995680 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23970] ppid=23960 vsize=15619152 memory=1712456 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23960 23397 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 445706750 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803783943296 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23971] ppid=23960 vsize=15619152 memory=1712456 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706753 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803782891600 139804317595547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23972] ppid=23960 vsize=15619152 memory=1448 CPUtime=4.71 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23960 23397 0 -1 1077944384 36899 0 0 0 468 3 0 0 20 0 19 0 445706753 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803781839472 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23973] ppid=23960 vsize=15619152 memory=1768 CPUtime=4.98 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23960 23397 0 -1 1077944384 29789 0 0 0 495 3 0 0 20 0 19 0 445706753 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803780786672 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23974] ppid=23960 vsize=15619152 memory=111632 CPUtime=1.07 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23960 23397 0 -1 1077944384 28543 0 0 0 104 3 0 0 20 0 19 0 445706753 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803779734384 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23975] ppid=23960 vsize=15619152 memory=1712456 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706753 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803778681824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23976] ppid=23960 vsize=15619152 memory=1112 CPUtime=0.26 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23960 23397 0 -1 1077944384 4346 0 0 0 8 18 0 0 20 0 19 0 445706753 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803777628592 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24635] ppid=23960 vsize=15619152 memory=3616 CPUtime=121.1 cores=1,3,5,7
/proc/23962/task/24635/stat : 24635 (java) R 23960 23960 23397 0 -1 4202560 1957 0 0 0 12110 0 0 0 20 0 19 0 445758782 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803759995400 139803962384810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24636] ppid=23960 vsize=15619152 memory=47564 CPUtime=121.67 cores=1,3,5,7
/proc/23962/task/24636/stat : 24636 (java) R 23960 23960 23397 0 -1 4202560 5032 0 0 0 12166 1 0 0 20 0 19 0 445758782 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803765251840 139803958428640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24637] ppid=23960 vsize=15619152 memory=1448 CPUtime=121.23 cores=1,3,5,7
/proc/23962/task/24637/stat : 24637 (java) R 23960 23960 23397 0 -1 4202560 5678 0 0 0 12123 0 0 0 20 0 19 0 445758782 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803763148752 139803961291267 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24638] ppid=23960 vsize=15619152 memory=1712456 CPUtime=121.17 cores=1,3,5,7
/proc/23962/task/24638/stat : 24638 (java) R 23960 23960 23397 0 -1 4202560 3805 0 0 0 12117 0 0 0 20 0 19 0 445758782 15994011648 428114 33554432000 4194304 4196468 140724453674320 139803764199464 139803960445578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
Current children cumulated CPU time: 2454.78 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 1713904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+658.701 s]
/proc/loadavg: 8.48 7.94 5.03 9/236 24653
/proc/meminfo: memFree=28787004/32770624 swapFree=66977404/67108860
[pid=23960] ppid=23957 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23960/stat : 23960 (xcsp3-exec) S 23957 23960 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445706747 115843072 362 33554432000 4194304 5098028 140727875120912 140727875119016 139639546061436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20086784 140727875126139 140727875126381 140727875126381 140727875129290 0
/proc/23960/statm: 28282 362 304 221 0 87 0
[pid=23962] ppid=23960 vsize=15619152 memory=1675524 CPUtime=2520.05 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23960 23397 0 -1 1077944320 574309 0 0 0 251836 169 0 0 20 0 19 0 445706747 15994011648 418881 33554432000 4194304 4196468 140724453674320 140724453656864 139804317576951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
/proc/23962/statm: 3904788 418881 3558 1 0 3865888 0
[pid=23962/tid=23963] ppid=23960 vsize=15619152 memory=1647732 CPUtime=1.8 cores=1,3,5,7
/proc/23962/task/23963/stat : 23963 (java) S 23960 23960 23397 0 -1 1077944384 19304 0 0 0 172 8 0 0 20 0 19 0 445706747 15994011648 418881 33554432000 4194304 4196468 140724453674320 139804321817728 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23964] ppid=23960 vsize=15619152 memory=1659964 CPUtime=1.96 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23960 23397 0 -1 1077944384 12706 0 0 0 169 27 0 0 20 0 19 0 445706748 15994011648 418881 33554432000 4194304 4196468 140724453674320 139804274129808 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23965] ppid=23960 vsize=15619152 memory=1725436 CPUtime=1.93 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23960 23397 0 -1 1077944384 12184 0 0 0 167 26 0 0 20 0 19 0 445706748 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803908823824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23966] ppid=23960 vsize=15619152 memory=1731536 CPUtime=1.93 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23960 23397 0 -1 1077944384 11041 0 0 0 169 24 0 0 20 0 19 0 445706748 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803907771536 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23967] ppid=23960 vsize=15619152 memory=1725268 CPUtime=1.91 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23960 23397 0 -1 1077944384 12712 0 0 0 166 25 0 0 20 0 19 0 445706748 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803906718736 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23968] ppid=23960 vsize=15619152 memory=1675524 CPUtime=0.12 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23960 23397 0 -1 1077944384 10338 0 0 0 10 2 0 0 20 0 19 0 445706750 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803786049648 139804317588098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23969] ppid=23960 vsize=15619152 memory=1675524 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23960 23397 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 445706750 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803784995680 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23970] ppid=23960 vsize=15619152 memory=1675524 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23960 23397 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 445706750 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803783943296 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23971] ppid=23960 vsize=15619152 memory=1675524 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803782891600 139804317595547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23972] ppid=23960 vsize=15619152 memory=1675524 CPUtime=4.71 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23960 23397 0 -1 1077944384 36899 0 0 0 468 3 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803781839472 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23973] ppid=23960 vsize=15619152 memory=1448 CPUtime=4.98 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23960 23397 0 -1 1077944384 29789 0 0 0 495 3 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803780786672 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23974] ppid=23960 vsize=15619152 memory=3616 CPUtime=1.08 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23960 23397 0 -1 1077944384 28987 0 0 0 105 3 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803779734384 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23975] ppid=23960 vsize=15619152 memory=47564 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803778681824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23976] ppid=23960 vsize=15619152 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23960 23397 0 -1 1077944384 4353 0 0 0 8 18 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803777628592 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24635] ppid=23960 vsize=15619152 memory=1675524 CPUtime=137.48 cores=1,3,5,7
/proc/23962/task/24635/stat : 24635 (java) R 23960 23960 23397 0 -1 4202560 2024 0 0 0 13748 0 0 0 20 0 19 0 445758782 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803759995416 139803960346605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24636] ppid=23960 vsize=15619152 memory=1448 CPUtime=138.04 cores=1,3,5,7
/proc/23962/task/24636/stat : 24636 (java) R 23960 23960 23397 0 -1 4202560 5119 0 0 0 13803 1 0 0 20 0 19 0 445758782 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803765254864 139803961107086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24637] ppid=23960 vsize=15619152 memory=1675524 CPUtime=137.49 cores=1,3,5,7
/proc/23962/task/24637/stat : 24637 (java) R 23960 23960 23397 0 -1 4202560 5807 0 0 0 13749 0 0 0 20 0 19 0 445758782 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803763146136 139803960035323 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24638] ppid=23960 vsize=15619152 memory=111632 CPUtime=137.37 cores=1,3,5,7
/proc/23962/task/24638/stat : 24638 (java) R 23960 23960 23397 0 -1 4202560 3845 0 0 0 13737 0 0 0 20 0 19 0 445758782 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803764199216 139803962540847 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 1676972 KiB

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

[startup+658.728 s]
# the end of solver process 23960 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001117 s, system=0.001117 s

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

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

[startup+658.701 s]
/proc/loadavg: 8.48 7.94 5.03 9/236 24653
/proc/meminfo: memFree=28787004/32770624 swapFree=66977404/67108860
[pid=23960] ppid=23957 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23960/stat : 23960 (xcsp3-exec) S 23957 23960 23397 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445706747 115843072 362 33554432000 4194304 5098028 140727875120912 140727875119016 139639546061436 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20086784 140727875126139 140727875126381 140727875126381 140727875129290 0
/proc/23960/statm: 28282 362 304 221 0 87 0
[pid=23962] ppid=23960 vsize=15619152 memory=1675524 CPUtime=2520.05 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23960 23397 0 -1 1077944320 574309 0 0 0 251836 169 0 0 20 0 19 0 445706747 15994011648 418881 33554432000 4194304 4196468 140724453674320 140724453656864 139804317576951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
/proc/23962/statm: 3904788 418881 3558 1 0 3865888 0
[pid=23962/tid=23963] ppid=23960 vsize=15619152 memory=1647732 CPUtime=1.8 cores=1,3,5,7
/proc/23962/task/23963/stat : 23963 (java) S 23960 23960 23397 0 -1 1077944384 19304 0 0 0 172 8 0 0 20 0 19 0 445706747 15994011648 418881 33554432000 4194304 4196468 140724453674320 139804321817728 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23964] ppid=23960 vsize=15619152 memory=1659964 CPUtime=1.96 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23960 23397 0 -1 1077944384 12706 0 0 0 169 27 0 0 20 0 19 0 445706748 15994011648 418881 33554432000 4194304 4196468 140724453674320 139804274129808 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23965] ppid=23960 vsize=15619152 memory=1725436 CPUtime=1.93 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23960 23397 0 -1 1077944384 12184 0 0 0 167 26 0 0 20 0 19 0 445706748 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803908823824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23966] ppid=23960 vsize=15619152 memory=1731536 CPUtime=1.93 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23960 23397 0 -1 1077944384 11041 0 0 0 169 24 0 0 20 0 19 0 445706748 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803907771536 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23967] ppid=23960 vsize=15619152 memory=1725268 CPUtime=1.91 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23960 23397 0 -1 1077944384 12712 0 0 0 166 25 0 0 20 0 19 0 445706748 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803906718736 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23968] ppid=23960 vsize=15619152 memory=1675524 CPUtime=0.12 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23960 23397 0 -1 1077944384 10338 0 0 0 10 2 0 0 20 0 19 0 445706750 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803786049648 139804317588098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23969] ppid=23960 vsize=15619152 memory=1675524 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23960 23397 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 445706750 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803784995680 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23970] ppid=23960 vsize=15619152 memory=1675524 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23960 23397 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 445706750 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803783943296 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23971] ppid=23960 vsize=15619152 memory=1675524 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803782891600 139804317595547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23972] ppid=23960 vsize=15619152 memory=1675524 CPUtime=4.71 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23960 23397 0 -1 1077944384 36899 0 0 0 468 3 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803781839472 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23973] ppid=23960 vsize=15619152 memory=1448 CPUtime=4.98 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23960 23397 0 -1 1077944384 29789 0 0 0 495 3 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803780786672 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23974] ppid=23960 vsize=15619152 memory=3616 CPUtime=1.08 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23960 23397 0 -1 1077944384 28987 0 0 0 105 3 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803779734384 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23975] ppid=23960 vsize=15619152 memory=47564 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23960 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803778681824 139804317587157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=23976] ppid=23960 vsize=15619152 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23960 23397 0 -1 1077944384 4353 0 0 0 8 18 0 0 20 0 19 0 445706753 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803777628592 139804317588098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24635] ppid=23960 vsize=15619152 memory=1675524 CPUtime=137.48 cores=1,3,5,7
/proc/23962/task/24635/stat : 24635 (java) R 23960 23960 23397 0 -1 4202560 2024 0 0 0 13748 0 0 0 20 0 19 0 445758782 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803759995416 139803960346605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24636] ppid=23960 vsize=15619152 memory=1448 CPUtime=138.04 cores=1,3,5,7
/proc/23962/task/24636/stat : 24636 (java) R 23960 23960 23397 0 -1 4202560 5119 0 0 0 13803 1 0 0 20 0 19 0 445758782 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803765254864 139803961107086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24637] ppid=23960 vsize=15619152 memory=1675524 CPUtime=137.49 cores=1,3,5,7
/proc/23962/task/24637/stat : 24637 (java) R 23960 23960 23397 0 -1 4202560 5807 0 0 0 13749 0 0 0 20 0 19 0 445758782 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803763146136 139803960035323 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
[pid=23962/tid=24638] ppid=23960 vsize=15619152 memory=111632 CPUtime=137.37 cores=1,3,5,7
/proc/23962/task/24638/stat : 24638 (java) R 23960 23960 23397 0 -1 4202560 3845 0 0 0 13737 0 0 0 20 0 19 0 445758782 15994011648 418881 33554432000 4194304 4196468 140724453674320 139803764199216 139803962540847 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18243584 140724453680111 140724453680282 140724453680282 140724453683151 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 1676972 KiB

Child status: 143
Real time (s): 658.803
CPU time (s): 2520.39
CPU user time (s): 2518.68
CPU system time (s): 1.70462
CPU usage (%): 382.571
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 1747244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.68
system time used= 1.70462
maximum resident set size= 1745824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21592
involuntary context switches= 43997


# summary of solver processes directly reported to runsolver:
#   pid: 23960,23962
#   total CPU time (s): 2520.39
#   total CPU user time (s): 2518.68
#   total CPU system time (s): 1.70462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.36705 second user time and 7.46131 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 4399397

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