2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	2455	19998.6	2520.15

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297526-1532691703.xml"  -tl '20160s' -p 8
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297526-1532691703.xml, -tl, 20160s, -p, 8]
0.12/0.21	c 8 solvers in parallel
0.34/0.28	c parse instance...
15.51/3.98	c solve instance...
21.99/4.85	o 24824 
36.21/6.67	o 24720 
46.53/7.99	o 24625 
56.81/9.23	o 24524 
65.59/10.37	o 24423 
103.84/15.16	o 16828 
103.84/15.18	o 16727 
103.84/15.19	o 16626 
103.84/15.19	o 16525 
104.25/15.20	o 16523 
125.00/18.10	o 6371 
126.22/18.74	o 6370 
126.70/18.84	o 6269 
247.64/34.49	o 5291 
259.96/36.18	o 5013 
261.44/36.77	o 4912 
525.25/70.10	o 3465 
732.64/96.17	o 3459 
734.08/96.80	o 3359 
2867.65/364.34	o 3354 
3178.12/403.63	o 3051 
3178.12/403.65	o 2951 
3178.12/403.65	o 2851 
8091.52/1019.89	o 2755 
8182.11/1031.48	o 2750 
10088.69/1271.84	o 2660 
10187.31/1284.30	o 2659 
10187.31/1284.32	o 2658 
10825.78/1364.84	o 2654 
10833.11/1365.89	o 2554 
10834.11/1366.09	o 2455 
19997.78/2520.09	s SATISFIABLE
19997.78/2520.09	v <instantiation>
19997.78/2520.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] </list>
19997.78/2520.09	v 	<values>4 1 1 1 4 3 0 4 2 2 4 2 2 4 4 4 2 2 3 1 4 4 4 4 4 4 4 4 1 4 4 4 4 0 4 4 1 1 1 2 1 3 0 4 2 3 4 2 2 0 4 4 4 4 4 4 4 4 4 4 4 1 4 4 1 4 4 4 4 0 4 4 1 2 1 2 1 4 4 4 2 3 0 2 4 0 4 4 4 4 4 4 4 4 2 4 0 1 4 4 4 4 4 4 4 0 4 4 1 2 1 4 1 4 4 0 2 4 2 2 4 0 4 0 4 4 4 4 4 1 2 4 0 1 4 4 4 4 4 4 4 4 1 4 1 2 4 4 1 4 4 0 2 4 3 4 4 2 4 0 4 4 4 4 4 4 2 4 0 1 4 4 4 4 4 4 4 4 4 4 3 4 4 2 4 4 4 4 4 4 4 4 2 4 4 3 2 4 0 4 4 4 2 2 0 1 4 1 4 0 4 4 0 4 4 4 4 4 4 2 4 0 4 4 4 4 4 4 2 4 1 4 4 3 1 4 4 4 4 2 4 4 4 4 3 0 0 4 4 4 4 2 4 1 1 2 4 0 0 3 4 4 4 4 4 4 1 4 4 3 4 3 2 1 4 2 4 4 4 4 4 0 4 4 4 4 4 2 2 1 1 2 4 0 0 3 4 4 4 4 4 4 1 4 4 4 4 3 4 1 4 2 4 4 3 4 4 0 4 4 4 4 4 4 2 4 1 2 0 0 0 3 4 2 4 4 4 4 1 0 4 4 4 4 4 1 4 2 4 4 4 4 4 4 4 4 4 4 1 4 2 4 1 4 0 0 0 3 4 2 4 4 2 4 4 3 4 4 4 4 4 4 4 4 4 0 3 4 4 4 4 4 4 4 1 4 2 4 1 4 0 4 0 4 4 2 2 4 2 1 4 3 1 4 4 4 1 4 4 4 4 0 4 4 4 4 1 0 2 4 1 4 2 4 4 4 4 4 4 4 0 2 2 0 4 1 4 4 4 0 3 4 2 0 4 4 4 4 4 4 4 4 4 0 4 4 1 4 4 4 4 4 4 4 4 2 0 2 2 0 4 1 4 4 4 3 3 1 2 0 4 4 4 4 4 1 4 4 4 0 4 3 4 4 4 4 0 4 1 4 4 2 0 4 2 4 4 1 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 3 4 0 2 3 4 4 4 0 0 1 1 4 4 2 0 4 4 4 1 4 2 4 1 4 4 4 4 0 4 4 2 4 4 4 4 4 4 4 4 4 4 2 3 1 4 1 4 0 0 2 2 2 4 4 1 4 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 1 4 2 4 0 0 3 4 2 4 2 1 4 2 1 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 2 4 1 4 2 4 0 0 4 4 2 4 2 1 2 2 3 1 4 4 1 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 4 4 4 0 1 4 2 4 4 2 4 2 4 4 1 4 4 1 0 4 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 0 3 1 2 3 4 4 2 4 3 4 4 1 4 4 1 0 4 2 4 0 4 4 4 4 4 1 4 0 4 4 4 2 4 0 4 0 4 4 2 3 4 0 4 4 4 4 4 1 2 0 1 2 3 2 4 0 4 2 1 1 3 4 4 0 4 1 4 2 4 1 4 0 4 4 4 4 4 0 4 4 4 3 4 4 2 0 4 4 4 2 4 1 4 4 3 4 4 4 2 0 4 1 2 3 0 1 1 4 1 0 4 4 0 4 4 4 4 3 4 4 2 1 4 4 4 2 0 1 4 2 4 4 4 2 2 4 4 4 4 4 0 4 1 4 1 0 0 0 0 4 0 4 4 3 0 4 2 1 3 4 4 4 0 1 4 4 1 4 4 2 2 4 2 4 2 4 0 4 1 0 3 0 2 2 0 4 2 1 4 3 0 4 2 4 4 4 4 4 1 4 1 4 4 3 4 4 4 4 4 4 2 4 1 1 2 0 4 0 4 4 0 2 4 3 4 4 1 1 4 4 4 3 4 4 1 4 1 2 3 4 4 4 4 4 4 4 4 4 1 1 2 0 4 0 4 4 0 2 4 3 4 4 1 1 4 0 1 4 3 2 2 4 1 2 4 1 4 3 4 2 4 4 4 0 4 7 4 13 4 10 3 0 11 4 13 0 0 11 0 6 11 0 11 9 6 0 0 13 9 2 0 4 13 15 2 0 0 11 3 0 7 5 13 5 0 8 2 13 5 0 9 2 12 3 0 7 1 17 3 0 9 0 16 0 5 6 2 15 3 4 3 1 17 0 4 4 4 16 5 3 0 4 16 0 8 2 0 18 1 0 6 3 18 4 3 0 3 18 0 7 0 3 18 4 1 4 1 18 4 4 0 2 18 0 0 10 0 18 2 2 6 0 18 6 3 1 0 18 2 8 0 0 18 0 0 4 2 22 0 4 0 2 22 0 4 0 2 22 4 0 0 2 22 1 2 2 1 22 4 0 3 0 21 4 0 3 0 21 3 0 1 2 22 0 7 0 0 21 0 0 7 0 21 2 5 6 2 21 3 6 4 2 21 4 4 5 1 22 4 6 5 0 21 3 3 4 1 25 4 2 5 2 23 3 2 4 2 25 3 4 4 3 22 3 4 3 3 23 4 4 4 1 23 4 2 3 3 24 4 6 5 1 20 5 2 4 1 24 4 3 4 3 22 4 2 3 2 25 4 4 4 0 24 2 3 4 1 26 3 3 5 2 23 3 4 5 1 23 2 4 4 0 26 5 4 3 3 21 6 5 6 3 16 4 3 5 2 22 4 5 5 2 20 8 5 5 2 16 5 4 5 3 19 3 6 3 3 21 4 7 6 3 16 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 2 0 0 2 3 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 3 3 3 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 1 0 100 0 0 0 0 100 0 0 0 0 0 0 0 200 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 0 0 0 1 100 0 0 0 0 100 0 0 0 0 300 0 0 0 0 0 0 0 0 0 100 0 0 1 0 300 0 0 0 0 200 0 0 0 0 0 0 0 0 0 200 0 0 0 0 200 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 200 0 0 0 0 0 0 </values>
19997.78/2520.09	v </instantiation>
19997.78/2520.09	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 (11589 MiB free)
  memory of node 1: 16384 MiB (15135 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297526-1532691703/watcher-4297526-1532691703 -o /tmp/evaluation-result-4297526-1532691703/solver-4297526-1532691703 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532684138-15543 --watchdog 2580 HOME/xcsp3-exec -seed 175483547 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297526-1532691703.xml 

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

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

solver pid=19342, runsolver pid=19339

[startup+0.100167 s]*
/proc/loadavg: 8.25 8.48 8.43 2/205 19363
/proc/meminfo: memFree=27351292/32770624 swapFree=67108860/67108860
[pid=19342] ppid=19339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19342/stat : 19342 (xcsp3-exec) S 19339 19342 15516 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86733439 115843072 363 33554432000 4194304 5098028 140736935457088 140736935455192 140339832504956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140736935461942 140736935462144 140736935462144 140736935464906 0
/proc/19342/statm: 28282 363 305 221 0 87 0
[pid=19344] ppid=19342 vsize=26104152 memory=26968 CPUtime=0.12 cores=0-7
/proc/19344/stat : 19344 (java) S 19342 19342 15516 0 -1 1077944320 5658 0 0 0 10 2 0 0 20 0 20 0 86733439 26730651648 6742 33554432000 4194304 4196468 140728563530240 140728563512784 140385911934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
/proc/19344/statm: 6526038 6742 3005 1 0 6488315 0
[pid=19344/tid=19345] ppid=19342 vsize=26104152 memory=7898639129593683355 CPUtime=0.09 cores=0-7
/proc/19344/task/19345/stat : 19345 (java) R 19342 19342 15516 0 -1 4202560 3668 0 0 0 8 1 0 0 20 0 20 0 86733440 26730651648 6742 33554432000 4194304 4196468 140728563530240 140385916169248 140385911956637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19346] ppid=19342 vsize=26104152 memory=732369953103682533 CPUtime=0 cores=0-7
/proc/19344/task/19346/stat : 19346 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733440 26730651648 6742 33554432000 4194304 4196468 140728563530240 140385864555664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19347] ppid=19342 vsize=26104152 memory=139814766229120 CPUtime=0 cores=0-7
/proc/19344/task/19347/stat : 19347 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733440 26730651648 6742 33554432000 4194304 4196468 140728563530240 140385863502864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19348] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19348/stat : 19348 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86733440 26730651648 6742 33554432000 4194304 4196468 140728563530240 140385862450064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19349] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19349/stat : 19349 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733440 26730651648 6742 33554432000 4194304 4196468 140728563530240 140385861397264 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19350] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19350/stat : 19350 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733441 26730651648 6742 33554432000 4194304 4196468 140728563530240 140385860344464 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19351] ppid=19342 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19344/task/19351/stat : 19351 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733441 26730651648 6742 33554432000 4194304 4196468 140728563530240 140385859291664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19352] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19352/stat : 19352 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733441 26730651648 6742 33554432000 4194304 4196468 140728563530240 140385858238864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19353] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19353/stat : 19353 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733441 26730651648 6742 33554432000 4194304 4196468 140728563530240 140385857186064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19354] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19354/stat : 19354 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733442 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384699034480 140385911945858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19355] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19355/stat : 19355 (java) S 19342 19342 15516 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86733442 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384629941792 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19356] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19356/stat : 19356 (java) S 19342 19342 15516 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86733443 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384628888944 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19357] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19357/stat : 19357 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733445 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384627837264 140385911953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19358] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19358/stat : 19358 (java) S 19342 19342 15516 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 86733445 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384626784624 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19359] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19359/stat : 19359 (java) S 19342 19342 15516 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 86733445 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384625731824 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19360] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19360/stat : 19360 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86733445 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384624679024 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19361] ppid=19342 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19344/task/19361/stat : 19361 (java) S 19342 19342 15516 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 20 0 86733445 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384623626224 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19362] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19362/stat : 19362 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86733445 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384622574688 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19363] ppid=19342 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19344/task/19363/stat : 19363 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733445 26730651648 6742 33554432000 4194304 4196468 140728563530240 140384621521968 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28420 KiB

[startup+0.21051 s]*
/proc/loadavg: 8.25 8.48 8.43 3/205 19363
/proc/meminfo: memFree=27339508/32770624 swapFree=67108860/67108860
[pid=19342] ppid=19339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19342/stat : 19342 (xcsp3-exec) S 19339 19342 15516 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86733439 115843072 363 33554432000 4194304 5098028 140736935457088 140736935455192 140339832504956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140736935461942 140736935462144 140736935462144 140736935464906 0
/proc/19342/statm: 28282 363 305 221 0 87 0
[pid=19344] ppid=19342 vsize=26104152 memory=39968 CPUtime=0.34 cores=0-7
/proc/19344/stat : 19344 (java) S 19342 19342 15516 0 -1 1077944320 8509 0 0 0 31 3 0 0 20 0 20 0 86733439 26730651648 9992 33554432000 4194304 4196468 140728563530240 140728563512784 140385911934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
/proc/19344/statm: 6526038 9992 3216 1 0 6488315 0
[pid=19344/tid=19345] ppid=19342 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/19344/task/19345/stat : 19345 (java) R 19342 19342 15516 0 -1 4202560 5579 0 0 0 18 2 0 0 20 0 20 0 86733440 26730651648 9992 33554432000 4194304 4196468 140728563530240 140385916169696 140385896015198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19346] ppid=19342 vsize=26104152 memory=732369953103682533 CPUtime=0 cores=0-7
/proc/19344/task/19346/stat : 19346 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733440 26730651648 9992 33554432000 4194304 4196468 140728563530240 140385864555664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19347] ppid=19342 vsize=26104152 memory=139814766229120 CPUtime=0 cores=0-7
/proc/19344/task/19347/stat : 19347 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733440 26730651648 9992 33554432000 4194304 4196468 140728563530240 140385863502864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19348] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19348/stat : 19348 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86733440 26730651648 9992 33554432000 4194304 4196468 140728563530240 140385862450064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19349] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19349/stat : 19349 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733440 26730651648 9992 33554432000 4194304 4196468 140728563530240 140385861397264 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19350] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19350/stat : 19350 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733441 26730651648 9992 33554432000 4194304 4196468 140728563530240 140385860344464 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19351] ppid=19342 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19344/task/19351/stat : 19351 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733441 26730651648 9992 33554432000 4194304 4196468 140728563530240 140385859291664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19352] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19352/stat : 19352 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733441 26730651648 9992 33554432000 4194304 4196468 140728563530240 140385858238864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19353] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19353/stat : 19353 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733441 26730651648 9992 33554432000 4194304 4196468 140728563530240 140385857186064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19354] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19354/stat : 19354 (java) S 19342 19342 15516 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86733442 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384699034480 140385911945858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19355] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19355/stat : 19355 (java) S 19342 19342 15516 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86733442 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384629941792 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19356] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19356/stat : 19356 (java) S 19342 19342 15516 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86733443 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384628888944 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19357] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19357/stat : 19357 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733445 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384627837264 140385911953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19358] ppid=19342 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19344/task/19358/stat : 19358 (java) S 19342 19342 15516 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 20 0 86733445 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384626784624 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19359] ppid=19342 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/19344/task/19359/stat : 19359 (java) S 19342 19342 15516 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 20 0 86733445 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384625731824 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19360] ppid=19342 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/19344/task/19360/stat : 19360 (java) S 19342 19342 15516 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 86733445 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384624679024 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19361] ppid=19342 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/19344/task/19361/stat : 19361 (java) S 19342 19342 15516 0 -1 1077944384 796 0 0 0 7 0 0 0 20 0 20 0 86733445 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384623626224 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19362] ppid=19342 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19362/stat : 19362 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86733445 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384622574688 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19363] ppid=19342 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/19344/task/19363/stat : 19363 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733445 26730651648 9992 33554432000 4194304 4196468 140728563530240 140384621521968 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41420 KiB

[startup+0.310448 s]*
/proc/loadavg: 8.25 8.48 8.43 3/205 19363
/proc/meminfo: memFree=27332688/32770624 swapFree=67108860/67108860
[pid=19342] ppid=19339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19342/stat : 19342 (xcsp3-exec) S 19339 19342 15516 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86733439 115843072 363 33554432000 4194304 5098028 140736935457088 140736935455192 140339832504956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140736935461942 140736935462144 140736935462144 140736935464906 0
/proc/19342/statm: 28282 363 305 221 0 87 0
[pid=19344] ppid=19342 vsize=26108408 memory=46812 CPUtime=0.52 cores=0-7
/proc/19344/stat : 19344 (java) S 19342 19342 15516 0 -1 1077944320 9428 0 0 0 49 3 0 0 20 0 20 0 86733439 26735009792 11703 33554432000 4194304 4196468 140728563530240 140728563512784 140385911934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
/proc/19344/statm: 6527102 11703 3257 1 0 6488315 0
[pid=19344/tid=19345] ppid=19342 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19344/task/19345/stat : 19345 (java) R 19342 19342 15516 0 -1 4202560 6287 0 0 0 27 2 0 0 20 0 20 0 86733440 26735009792 11703 33554432000 4194304 4196468 140728563530240 140385916165824 140385896015198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19346] ppid=19342 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19346/stat : 19346 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733440 26735009792 11703 33554432000 4194304 4196468 140728563530240 140385864555664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19347] ppid=19342 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19347/stat : 19347 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733440 26735009792 11703 33554432000 4194304 4196468 140728563530240 140385863502864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19348] ppid=19342 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19348/stat : 19348 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86733440 26735009792 11703 33554432000 4194304 4196468 140728563530240 140385862450064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19349] ppid=19342 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19349/stat : 19349 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733440 26735009792 11703 33554432000 4194304 4196468 140728563530240 140385861397264 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19350] ppid=19342 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/19344/task/19350/stat : 19350 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733441 26735009792 11703 33554432000 4194304 4196468 140728563530240 140385860344464 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19351] ppid=19342 vsize=26108408 memory=139814607352751 CPUtime=0 cores=0-7
/proc/19344/task/19351/stat : 19351 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733441 26735009792 11703 33554432000 4194304 4196468 140728563530240 140385859291664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19352] ppid=19342 vsize=26108408 memory=139814607355056 CPUtime=0 cores=0-7
/proc/19344/task/19352/stat : 19352 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733441 26735009792 11703 33554432000 4194304 4196468 140728563530240 140385858238864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19353] ppid=19342 vsize=26108408 memory=139814607357360 CPUtime=0 cores=0-7
/proc/19344/task/19353/stat : 19353 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733441 26735009792 11703 33554432000 4194304 4196468 140728563530240 140385857186064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19354] ppid=19342 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19354/stat : 19354 (java) S 19342 19342 15516 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86733442 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384699034480 140385911945858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19355] ppid=19342 vsize=26108408 memory=279629214721680 CPUtime=0 cores=0-7
/proc/19344/task/19355/stat : 19355 (java) S 19342 19342 15516 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86733442 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384629941792 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19356] ppid=19342 vsize=26108408 memory=279629214728592 CPUtime=0 cores=0-7
/proc/19344/task/19356/stat : 19356 (java) S 19342 19342 15516 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86733443 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384628888944 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19357] ppid=19342 vsize=26108408 memory=279629214669872 CPUtime=0 cores=0-7
/proc/19344/task/19357/stat : 19357 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733445 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384627837264 140385911953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19358] ppid=19342 vsize=26108408 memory=279629214742416 CPUtime=0.02 cores=0-7
/proc/19344/task/19358/stat : 19358 (java) S 19342 19342 15516 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 86733445 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384626784624 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19359] ppid=19342 vsize=26108408 memory=279629214749328 CPUtime=0.02 cores=0-7
/proc/19344/task/19359/stat : 19359 (java) S 19342 19342 15516 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 20 0 86733445 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384625731824 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19360] ppid=19342 vsize=26108408 memory=279629214747024 CPUtime=0.04 cores=0-7
/proc/19344/task/19360/stat : 19360 (java) S 19342 19342 15516 0 -1 1077944384 319 0 0 0 4 0 0 0 20 0 20 0 86733445 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384624679024 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19361] ppid=19342 vsize=26108408 memory=279629214763184 CPUtime=0.12 cores=0-7
/proc/19344/task/19361/stat : 19361 (java) S 19342 19342 15516 0 -1 1077944384 879 0 0 0 12 0 0 0 20 0 20 0 86733445 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384623626224 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19362] ppid=19342 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/19344/task/19362/stat : 19362 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86733445 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384622574688 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19363] ppid=19342 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/19344/task/19363/stat : 19363 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733445 26735009792 11703 33554432000 4194304 4196468 140728563530240 140384621521968 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48264 KiB

[startup+0.700953 s]
/proc/loadavg: 8.25 8.48 8.43 3/205 19363
/proc/meminfo: memFree=27312004/32770624 swapFree=67108860/67108860
[pid=19342] ppid=19339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19342/stat : 19342 (xcsp3-exec) S 19339 19342 15516 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86733439 115843072 363 33554432000 4194304 5098028 140736935457088 140736935455192 140339832504956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140736935461942 140736935462144 140736935462144 140736935464906 0
/proc/19342/statm: 28282 363 305 221 0 87 0
[pid=19344] ppid=19342 vsize=26110532 memory=99876 CPUtime=1.96 cores=0-7
/proc/19344/stat : 19344 (java) S 19342 19342 15516 0 -1 1077944320 13911 0 0 0 190 6 0 0 20 0 20 0 86733439 26737184768 24969 33554432000 4194304 4196468 140728563530240 140728563512784 140385911934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
/proc/19344/statm: 6527633 24969 3363 1 0 6488827 0
[pid=19344/tid=19345] ppid=19342 vsize=26110532 memory=279629215058112 CPUtime=0.67 cores=0-7
/proc/19344/task/19345/stat : 19345 (java) R 19342 19342 15516 0 -1 4202560 6829 0 0 0 64 3 0 0 20 0 20 0 86733440 26737184768 24969 33554432000 4194304 4196468 140728563530240 140385916171264 140385894397503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19346] ppid=19342 vsize=26110532 memory=792 CPUtime=0 cores=0-7
/proc/19344/task/19346/stat : 19346 (java) S 19342 19342 15516 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86733440 26737184768 24969 33554432000 4194304 4196468 140728563530240 140385864555664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19347] ppid=19342 vsize=26110532 memory=1224 CPUtime=0 cores=0-7
/proc/19344/task/19347/stat : 19347 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86733440 26737184768 24969 33554432000 4194304 4196468 140728563530240 140385863502864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19348] ppid=19342 vsize=26110532 memory=1944 CPUtime=0 cores=0-7
/proc/19344/task/19348/stat : 19348 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86733440 26737184768 24969 33554432000 4194304 4196468 140728563530240 140385862450064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0

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

/proc/meminfo: memFree=22616780/32770624 swapFree=67108860/67108860
[pid=19342] ppid=19339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19342/stat : 19342 (xcsp3-exec) S 19339 19342 15516 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86733439 115843072 363 33554432000 4194304 5098028 140736935457088 140736935455192 140339832504956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140736935461942 140736935462144 140736935462144 140736935464906 0
/proc/19342/statm: 28282 363 305 221 0 87 0
[pid=19344] ppid=19342 vsize=26645092 memory=4744928 CPUtime=19857.3 cores=0-7
/proc/19344/stat : 19344 (java) S 19342 19342 15516 0 -1 1077944320 1155488 0 0 0 1984463 1268 0 0 20 0 28 0 86733439 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140728563512784 140385911934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
/proc/19344/statm: 6661273 1186232 3465 1 0 6622467 0
[pid=19344/tid=19345] ppid=19342 vsize=26645092 memory=4748008 CPUtime=3.8 cores=0-7
/proc/19344/task/19345/stat : 19345 (java) S 19342 19342 15516 0 -1 1077944384 13432 0 0 0 371 9 0 0 20 0 28 0 86733440 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140385916175488 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19346] ppid=19342 vsize=26645092 memory=1452 CPUtime=11.67 cores=0-7
/proc/19344/task/19346/stat : 19346 (java) S 19342 19342 15516 0 -1 1077944384 32762 0 0 0 1145 22 0 0 20 0 28 0 86733440 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140385864555664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19347] ppid=19342 vsize=26645092 memory=4759240 CPUtime=11.65 cores=0-7
/proc/19344/task/19347/stat : 19347 (java) S 19342 19342 15516 0 -1 1077944384 36662 0 0 0 1142 23 0 0 20 0 28 0 86733440 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140385863502864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19348] ppid=19342 vsize=26645092 memory=4753136 CPUtime=11.52 cores=0-7
/proc/19344/task/19348/stat : 19348 (java) S 19342 19342 15516 0 -1 1077944384 35906 0 0 0 1129 23 0 0 20 0 28 0 86733440 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140385862450064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19349] ppid=19342 vsize=26645092 memory=4748008 CPUtime=11.62 cores=0-7
/proc/19344/task/19349/stat : 19349 (java) S 19342 19342 15516 0 -1 1077944384 30782 0 0 0 1142 20 0 0 20 0 28 0 86733440 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140385861397264 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19350] ppid=19342 vsize=26645092 memory=4748008 CPUtime=11.66 cores=0-7
/proc/19344/task/19350/stat : 19350 (java) S 19342 19342 15516 0 -1 1077944384 33892 0 0 0 1144 22 0 0 20 0 28 0 86733441 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140385860344464 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19351] ppid=19342 vsize=26645092 memory=1452 CPUtime=11.67 cores=0-7
/proc/19344/task/19351/stat : 19351 (java) S 19342 19342 15516 0 -1 1077944384 34557 0 0 0 1145 22 0 0 20 0 28 0 86733441 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140385859291664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19352] ppid=19342 vsize=26645092 memory=3560 CPUtime=11.59 cores=0-7
/proc/19344/task/19352/stat : 19352 (java) S 19342 19342 15516 0 -1 1077944384 33915 0 0 0 1140 19 0 0 20 0 28 0 86733441 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140385858238864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19353] ppid=19342 vsize=26645092 memory=15492 CPUtime=11.55 cores=0-7
/proc/19344/task/19353/stat : 19353 (java) S 19342 19342 15516 0 -1 1077944384 28265 0 0 0 1132 23 0 0 20 0 28 0 86733441 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140385857186064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19354] ppid=19342 vsize=26645092 memory=1452 CPUtime=5.93 cores=0-7
/proc/19344/task/19354/stat : 19354 (java) S 19342 19342 15516 0 -1 1077944384 211253 0 0 0 302 291 0 0 20 0 28 0 86733442 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384699034480 140385911945858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19355] ppid=19342 vsize=26645092 memory=4857012 CPUtime=0 cores=0-7
/proc/19344/task/19355/stat : 19355 (java) S 19342 19342 15516 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 86733442 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384629941856 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19356] ppid=19342 vsize=26645092 memory=2432 CPUtime=0 cores=0-7
/proc/19344/task/19356/stat : 19356 (java) S 19342 19342 15516 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 86733443 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384628888960 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19357] ppid=19342 vsize=26645092 memory=1720 CPUtime=0 cores=0-7
/proc/19344/task/19357/stat : 19357 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86733445 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384627837264 140385911953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19358] ppid=19342 vsize=26645092 memory=0 CPUtime=7.46 cores=0-7
/proc/19344/task/19358/stat : 19358 (java) S 19342 19342 15516 0 -1 1077944384 43909 0 0 0 740 6 0 0 20 0 28 0 86733445 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384626784624 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19359] ppid=19342 vsize=26645092 memory=6943526294502006880 CPUtime=6.42 cores=0-7
/proc/19344/task/19359/stat : 19359 (java) S 19342 19342 15516 0 -1 1077944384 31017 0 0 0 638 4 0 0 20 0 28 0 86733445 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384625731824 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19360] ppid=19342 vsize=26645092 memory=1788 CPUtime=6.57 cores=0-7
/proc/19344/task/19360/stat : 19360 (java) S 19342 19342 15516 0 -1 1077944384 30538 0 0 0 653 4 0 0 20 0 28 0 86733445 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384624679024 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19361] ppid=19342 vsize=26645092 memory=1232 CPUtime=1.48 cores=0-7
/proc/19344/task/19361/stat : 19361 (java) S 19342 19342 15516 0 -1 1077944384 36823 0 0 0 139 9 0 0 20 0 28 0 86733445 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384623626224 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19362] ppid=19342 vsize=26645092 memory=303430223234596890 CPUtime=0 cores=0-7
/proc/19344/task/19362/stat : 19362 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86733445 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384622574688 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19363] ppid=19342 vsize=26645092 memory=316378093722009915 CPUtime=1.02 cores=0-7
/proc/19344/task/19363/stat : 19363 (java) S 19342 19342 15516 0 -1 1077944384 10319 0 0 0 44 58 0 0 20 0 28 0 86733445 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384621521968 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19656] ppid=19342 vsize=26645092 memory=3560 CPUtime=1120.02 cores=0-7
/proc/19344/task/19656/stat : 19656 (java) R 19342 19342 15516 0 -1 4202560 14554 0 0 0 111993 9 0 0 20 0 28 0 86870049 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384608722264 140385523391344 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19657] ppid=19342 vsize=26645092 memory=25352 CPUtime=1119.74 cores=0-7
/proc/19344/task/19657/stat : 19657 (java) R 19342 19342 15516 0 -1 4202560 14246 0 0 0 111963 11 0 0 20 0 28 0 86870049 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384605565272 140385531153389 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19658] ppid=19342 vsize=26645092 memory=4012 CPUtime=1120.21 cores=0-7
/proc/19344/task/19658/stat : 19658 (java) R 19342 19342 15516 0 -1 4202560 20490 0 0 0 112002 19 0 0 20 0 28 0 86870049 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384609775688 140385523390799 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19659] ppid=19342 vsize=26645092 memory=15492 CPUtime=1118.69 cores=0-7
/proc/19344/task/19659/stat : 19659 (java) R 19342 19342 15516 0 -1 4202560 19829 0 0 0 111850 19 0 0 20 0 28 0 86870049 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384603459576 140385522189272 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19660] ppid=19342 vsize=26645092 memory=18220 CPUtime=1115.58 cores=0-7
/proc/19344/task/19660/stat : 19660 (java) R 19342 19342 15516 0 -1 4202560 20584 0 0 0 111548 10 0 0 20 0 28 0 86870049 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384606617560 140385523391124 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19661] ppid=19342 vsize=26645092 memory=1452 CPUtime=1119.3 cores=0-7
/proc/19344/task/19661/stat : 19661 (java) R 19342 19342 15516 0 -1 4202560 12846 0 0 0 111921 9 0 0 20 0 28 0 86870049 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384610830976 140385530292293 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19662] ppid=19342 vsize=26645092 memory=4764884 CPUtime=1118.36 cores=0-7
/proc/19344/task/19662/stat : 19662 (java) R 19342 19342 15516 0 -1 4202560 51856 0 0 0 111820 16 0 0 20 0 28 0 86870049 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384607670840 140385519478797 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19663] ppid=19342 vsize=26645092 memory=1452 CPUtime=1123.73 cores=0-7
/proc/19344/task/19663/stat : 19663 (java) R 19342 19342 15516 0 -1 4202560 27497 0 0 0 112353 20 0 0 20 0 28 0 86870049 27284574208 1186232 33554432000 4194304 4196468 140728563530240 140384604512576 140385529615680 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
Current children cumulated CPU time: 19857.3 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4746380 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.33 8.40 8.39 10/212 19686
/proc/meminfo: memFree=22634988/32770624 swapFree=67108860/67108860
[pid=19342] ppid=19339 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19342/stat : 19342 (xcsp3-exec) S 19339 19342 15516 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86733439 115843072 363 33554432000 4194304 5098028 140736935457088 140736935455192 140339832504956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12623872 140736935461942 140736935462144 140736935462144 140736935464906 0
/proc/19342/statm: 28282 363 305 221 0 87 0
[pid=19344] ppid=19342 vsize=26645092 memory=4728512 CPUtime=19997.8 cores=0-7
/proc/19344/stat : 19344 (java) S 19342 19342 15516 0 -1 1077944320 1159985 0 0 0 1998502 1276 0 0 20 0 28 0 86733439 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140728563512784 140385911934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
/proc/19344/statm: 6661273 1182128 3465 1 0 6622467 0
[pid=19344/tid=19345] ppid=19342 vsize=26645092 memory=6791534058613427641 CPUtime=3.8 cores=0-7
/proc/19344/task/19345/stat : 19345 (java) S 19342 19342 15516 0 -1 1077944384 13432 0 0 0 371 9 0 0 20 0 28 0 86733440 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140385916175488 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19346] ppid=19342 vsize=26645092 memory=-7003737579269690708 CPUtime=11.73 cores=0-7
/proc/19344/task/19346/stat : 19346 (java) S 19342 19342 15516 0 -1 1077944384 32894 0 0 0 1151 22 0 0 20 0 28 0 86733440 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140385864555664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19347] ppid=19342 vsize=26645092 memory=4732104 CPUtime=11.71 cores=0-7
/proc/19344/task/19347/stat : 19347 (java) S 19342 19342 15516 0 -1 1077944384 36728 0 0 0 1148 23 0 0 20 0 28 0 86733440 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140385863502864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19348] ppid=19342 vsize=26645092 memory=-7737605734073681312 CPUtime=11.59 cores=0-7
/proc/19344/task/19348/stat : 19348 (java) S 19342 19342 15516 0 -1 1077944384 35952 0 0 0 1135 24 0 0 20 0 28 0 86733440 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140385862450064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19349] ppid=19342 vsize=26645092 memory=-7025448733113094249 CPUtime=11.68 cores=0-7
/proc/19344/task/19349/stat : 19349 (java) S 19342 19342 15516 0 -1 1077944384 30941 0 0 0 1148 20 0 0 20 0 28 0 86733440 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140385861397264 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19350] ppid=19342 vsize=26645092 memory=-7457052372387209120 CPUtime=11.72 cores=0-7
/proc/19344/task/19350/stat : 19350 (java) S 19342 19342 15516 0 -1 1077944384 34125 0 0 0 1150 22 0 0 20 0 28 0 86733441 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140385860344464 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19351] ppid=19342 vsize=26645092 memory=0 CPUtime=11.73 cores=0-7
/proc/19344/task/19351/stat : 19351 (java) S 19342 19342 15516 0 -1 1077944384 34656 0 0 0 1151 22 0 0 20 0 28 0 86733441 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140385859291664 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19352] ppid=19342 vsize=26645092 memory=1796 CPUtime=11.65 cores=0-7
/proc/19344/task/19352/stat : 19352 (java) S 19342 19342 15516 0 -1 1077944384 34267 0 0 0 1146 19 0 0 20 0 28 0 86733441 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140385858238864 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19353] ppid=19342 vsize=26645092 memory=912 CPUtime=11.61 cores=0-7
/proc/19344/task/19353/stat : 19353 (java) S 19342 19342 15516 0 -1 1077944384 28749 0 0 0 1138 23 0 0 20 0 28 0 86733441 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140385857186064 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19354] ppid=19342 vsize=26645092 memory=5748 CPUtime=6.03 cores=0-7
/proc/19344/task/19354/stat : 19354 (java) S 19342 19342 15516 0 -1 1077944384 211805 0 0 0 305 298 0 0 20 0 28 0 86733442 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384699034480 140385911945858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19355] ppid=19342 vsize=26645092 memory=4104 CPUtime=0 cores=0-7
/proc/19344/task/19355/stat : 19355 (java) S 19342 19342 15516 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 86733442 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384629941856 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19356] ppid=19342 vsize=26645092 memory=1404 CPUtime=0 cores=0-7
/proc/19344/task/19356/stat : 19356 (java) S 19342 19342 15516 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 86733443 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384628888960 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19357] ppid=19342 vsize=26645092 memory=4108 CPUtime=0 cores=0-7
/proc/19344/task/19357/stat : 19357 (java) S 19342 19342 15516 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86733445 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384627837264 140385911953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19358] ppid=19342 vsize=26645092 memory=1452 CPUtime=7.46 cores=0-7
/proc/19344/task/19358/stat : 19358 (java) S 19342 19342 15516 0 -1 1077944384 43911 0 0 0 740 6 0 0 20 0 28 0 86733445 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384626784624 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19359] ppid=19342 vsize=26645092 memory=4733644 CPUtime=6.42 cores=0-7
/proc/19344/task/19359/stat : 19359 (java) S 19342 19342 15516 0 -1 1077944384 31019 0 0 0 638 4 0 0 20 0 28 0 86733445 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384625731824 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19360] ppid=19342 vsize=26645092 memory=4735184 CPUtime=6.57 cores=0-7
/proc/19344/task/19360/stat : 19360 (java) S 19342 19342 15516 0 -1 1077944384 30540 0 0 0 653 4 0 0 20 0 28 0 86733445 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384624679024 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19361] ppid=19342 vsize=26645092 memory=1452 CPUtime=1.48 cores=0-7
/proc/19344/task/19361/stat : 19361 (java) S 19342 19342 15516 0 -1 1077944384 36827 0 0 0 139 9 0 0 20 0 28 0 86733445 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384623626224 140385911945858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19362] ppid=19342 vsize=26645092 memory=4728512 CPUtime=0 cores=0-7
/proc/19344/task/19362/stat : 19362 (java) S 19342 19342 15516 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86733445 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384622574688 140385911944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19363] ppid=19342 vsize=26645092 memory=2432 CPUtime=1.03 cores=0-7
/proc/19344/task/19363/stat : 19363 (java) R 19342 19342 15516 0 -1 1077944384 10355 0 0 0 44 59 0 0 20 0 28 0 86733445 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384621521968 140385911945858 0 4 0 16800975 0 0 0 -1 6 0 0 32 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19656] ppid=19342 vsize=26645092 memory=1720 CPUtime=1137.54 cores=0-7
/proc/19344/task/19656/stat : 19656 (java) R 19342 19342 15516 0 -1 4202560 14764 0 0 0 113745 9 0 0 20 0 28 0 86870049 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384608722600 140385520276015 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19657] ppid=19342 vsize=26645092 memory=792 CPUtime=1137.28 cores=0-7
/proc/19344/task/19657/stat : 19657 (java) R 19342 19342 15516 0 -1 4202560 14435 0 0 0 113717 11 0 0 20 0 28 0 86870049 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384605565688 140385530901464 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19658] ppid=19342 vsize=26645092 memory=1224 CPUtime=1137.63 cores=0-7
/proc/19344/task/19658/stat : 19658 (java) R 19342 19342 15516 0 -1 4202560 20755 0 0 0 113743 20 0 0 20 0 28 0 86870049 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384609776152 140385530699276 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19659] ppid=19342 vsize=26645092 memory=1944 CPUtime=1136.22 cores=0-7
/proc/19344/task/19659/stat : 19659 (java) R 19342 19342 15516 0 -1 4202560 20087 0 0 0 113603 19 0 0 20 0 28 0 86870049 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384603460088 140385530978654 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19660] ppid=19342 vsize=26645092 memory=5484 CPUtime=1132.97 cores=0-7
/proc/19344/task/19660/stat : 19660 (java) R 19342 19342 15516 0 -1 4202560 20787 0 0 0 113287 10 0 0 20 0 28 0 86870049 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384606617880 140385530527064 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19661] ppid=19342 vsize=26645092 memory=1444 CPUtime=1136.61 cores=0-7
/proc/19344/task/19661/stat : 19661 (java) R 19342 19342 15516 0 -1 4202560 12998 0 0 0 113652 9 0 0 20 0 28 0 86870049 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384610827976 140385523391143 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19662] ppid=19342 vsize=26645092 memory=1452 CPUtime=1135.9 cores=0-7
/proc/19344/task/19662/stat : 19662 (java) R 19342 19342 15516 0 -1 4202560 52479 0 0 0 113574 16 0 0 20 0 28 0 86870049 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384607670592 140385528395999 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
[pid=19344/tid=19663] ppid=19342 vsize=26645092 memory=6791534058613427641 CPUtime=1141.35 cores=0-7
/proc/19344/task/19663/stat : 19663 (java) R 19342 19342 15516 0 -1 4202560 27925 0 0 0 114115 20 0 0 20 0 28 0 86870049 27284574208 1182128 33554432000 4194304 4196468 140728563530240 140384604515616 140385891659925 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 21544960 140728563532929 140728563533101 140728563533101 140728563535823 0
Current children cumulated CPU time: 19997.8 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4729964 KiB

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

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

[startup+2520.15 s]
# the end of solver process 19344 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19985.8 s, system=12.7987 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+2520.13 s]*
/proc/loadavg: 8.33 8.40 8.39 2/185 19688
/proc/meminfo: memFree=26322372/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.002294 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19998.6
CPU user time (s): 19985.8
CPU system time (s): 12.7987
CPU usage (%): 793.551
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 5657496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19985.8
system time used= 12.7987
maximum resident set size= 5658288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1162090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155061
involuntary context switches= 233135


# summary of solver processes directly reported to runsolver:
#   pid: 19342,19344
#   total CPU time (s): 19998.6
#   total CPU user time (s): 19985.8
#   total CPU system time (s): 12.7987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1503 second user time and 34.0154 second system time

The end

Name	NurseRostering/ NurseRostering-09_c18.xml
MD5SUM	01a28a521b9bba3b9351b91d9c8d3e2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	2455
Best CPU time to get the best result obtained on this benchmark	19998.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1844
Number of constraints	4787
Number of domains	17
Minimum domain size	1
Maximum domain size	37
Distribution of domain sizes	[{"size":1,"count":60},{"size":2,"count":376},{"size":3,"count":8},{"size":4,"count":7},{"size":5,"count":1014},{"size":6,"count":6},{"size":29,"count":121},{"size":37,"count":252}]
Minimum variable degree	2
Maximum variable degree	25
Distribution of variable degrees	[{"degree":2,"count":692},{"degree":3,"count":144},{"degree":14,"count":14},{"degree":15,"count":38},{"degree":16,"count":18},{"degree":17,"count":15},{"degree":18,"count":42},{"degree":19,"count":59},{"degree":20,"count":68},{"degree":21,"count":132},{"degree":22,"count":199},{"degree":23,"count":238},{"degree":24,"count":163},{"degree":25,"count":22}]
Minimum constraint arity	2
Maximum constraint arity	72
Distribution of constraint arities	[{"arity":2,"count":2474},{"arity":3,"count":936},{"arity":4,"count":186},{"arity":5,"count":180},{"arity":6,"count":690},{"arity":29,"count":180},{"arity":37,"count":140},{"arity":72,"count":1}]
Number of extensional constraints	1112
Number of intensional constraints	552
Distribution of constraint types	[{"type":"extension","count":1112},{"type":"intension","count":552},{"type":"regular","count":1896},{"type":"sum","count":72},{"type":"count","count":1154},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4297526

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