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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	SAT (TO)	31258	1760.66	252.108

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407497-1569346879.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407497-1569346879.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
26.34/5.25	c solve instance...
31.83/6.10	o 31958 
33.74/6.45	o 31919 
37.04/8.28	o 31912 
37.72/8.51	o 31907 
38.03/8.74	o 31904 
39.92/9.01	o 31894 
39.92/9.06	o 31878 
40.48/9.26	o 31869 
41.55/9.56	o 31839 
41.80/9.60	o 31832 
42.24/9.82	o 31822 
42.24/9.83	o 31820 
42.50/10.01	o 31811 
42.50/10.05	o 31809 
42.84/10.24	o 31780 
70.20/13.72	o 31778 
70.20/13.74	o 31775 
70.43/13.80	o 31767 
71.15/13.91	o 31744 
71.15/13.98	o 31731 
73.03/14.23	o 31723 
106.83/19.23	o 31715 
183.76/29.19	o 31707 
183.86/29.21	o 31703 
186.95/29.81	o 31685 
187.54/30.35	o 31671 
188.84/31.11	o 31665 
532.43/74.30	o 31658 
539.59/75.43	o 31656 
540.78/75.92	o 31650 
547.40/78.14	o 31643 
548.77/78.53	o 31637 
549.87/78.89	o 31636 
557.19/81.09	o 31603 
559.80/81.54	o 31590 
560.04/81.79	o 31587 
561.51/82.04	o 31583 
570.80/83.21	o 31577 
577.24/85.63	o 31569 
577.24/85.68	o 31566 
584.08/86.53	o 31557 
591.99/88.06	o 31548 
592.90/88.69	o 31518 
607.01/91.81	o 31507 
608.72/92.35	o 31503 
616.80/93.54	o 31495 
617.28/93.97	o 31487 
618.23/94.46	o 31486 
624.37/95.31	o 31479 
637.84/97.10	o 31477 
658.09/100.48	o 31462 
658.31/100.51	o 31459 
686.15/104.58	o 31458 
700.36/106.59	o 31457 
700.91/107.04	o 31428 
701.81/107.61	o 31427 
725.98/111.11	o 31418 
736.86/112.59	o 31417 
747.16/115.25	o 31414 
756.15/116.51	o 31401 
888.85/133.37	o 31399 
975.30/144.65	o 31389 
976.69/145.27	o 31382 
977.34/145.86	o 31370 
1013.17/151.49	o 31369 
1013.30/151.51	o 31367 
1013.30/151.53	o 31362 
1013.92/151.66	o 31350 
1013.92/151.67	o 31344 
1013.92/151.68	o 31343 
1055.49/157.20	o 31330 
1069.00/158.91	o 31317 
1168.79/172.50	o 31315 
1168.79/172.51	o 31305 
1176.71/173.50	o 31298 
1193.41/175.63	o 31290 
1215.06/179.74	o 31282 
1245.66/184.89	o 31279 
1245.84/184.94	o 31276 
1273.49/188.58	o 31271 
1615.44/231.75	o 31269 
1634.75/235.49	o 31267 
1713.35/245.84	o 31266 
1735.83/248.97	o 31258 
1760.01/252.07	s SATISFIABLE
1760.01/252.07	v <instantiation>
1760.01/252.07	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>
1760.01/252.07	v 	<values>26 45 31 0 49 13 39 25 20 46 48 12 11 27 23 16 18 3 2 44 29 22 19 38 30 14 6 47 42 4 24 8 41 10 43 35 9 1 32 40 28 34 5 7 37 15 17 21 33 36 30 16 33 27 34 23 32 33 23 29 15 35 18 39 28 25 26 19 10 27 31 41 17 20 29 27 30 15 49 26 12 13 27 34 29 21 31 34 19 29 26 13 22 16 22 16 17 16 30 37 26 17 24 35 24 31 12 33 25 22 18 27 26 24 25 44 47 22 18 12 28 8 27 3 17 21 24 11 4 8 21 41 37 28 48 20 27 30 36 38 29 24 30 40 18 14 34 14 41 20 21 35 17 24 19 38 22 15 42 21 31 26 35 48 21 34 28 28 33 35 19 40 16 22 39 31 12 27 17 27 37 23 36 26 35 16 24 24 19 26 25 29 17 14 14 29 23 34 33 12 29 7 10 44 21 27 29 29 12 31 35 25 25 41 28 34 31 30 19 33 27 24 11 19 23 21 42 23 31 22 47 26 25 27 20 38 18 32 24 22 22 31 32 8 27 29 20 25 19 29 36 4 35 24 24 20 15 19 35 38 19 16 20 6 19 38 44 31 19 34 45 33 28 38 12 23 35 19 28 35 31 36 27 12 39 23 25 29 21 38 29 19 8 34 34 30 46 16 26 15 10 14 31 29 8 23 26 11 44 44 14 33 11 28 8 26 16 20 15 7 26 37 7 29 5 21 16 30 26 18 27 36 22 28 25 13 37 29 31 24 27 30 8 27 36 28 42 29 15 38 24 18 44 28 38 21 27 30 28 23 42 41 17 17 27 22 27 36 13 22 25 35 25 16 9 14 37 28 22 11 25 26 36 34 26 26 34 38 31 22 31 45 47 26 11 16 22 24 30 27 24 35 35 21 30 23 15 46 5 13 25 31 31 15 19 27 24 35 26 28 14 20 23 24 42 34 11 28 19 30 30 24 45 5 38 17 15 20 35 37 18 35 35 28 11 24 28 28 39 21 14 13 34 29 28 9 14 23 16 14 42 27 17 25 21 25 22 5 21 31 11 37 35 23 35 37 18 31 19 7 49 20 15 22 40 26 10 35 43 35 44 23 26 30 30 23 32 26 22 45 22 17 31 29 14 35 13 29 20 40 34 42 15 42 17 28 26 6 23 18 27 14 26 41 41 14 31 26 16 34 21 32 35 27 37 30 37 28 37 31 31 27 21 35 23 18 9 47 33 22 19 36 9 14 25 26 16 41 33 34 24 20 31 21 24 15 33 16 36 7 21 20 42 22 20 25 22 26 29 34 17 26 33 42 26 8 10 33 33 19 21 34 32 41 32 33 39 33 19 18 2 15 8 22 14 30 7 24 29 34 33 46 10 33 18 46 16 32 27 40 27 47 23 24 32 20 21 30 33 25 32 30 5 34 47 25 30 25 38 19 22 28 14 41 24 33 31 46 35 33 19 29 24 17 42 11 22 36 29 8 16 26 35 13 14 16 23 37 16 24 37 18 15 34 22 15 27 39 35 28 19 18 18 31 31 35 21 14 34 20 28 20 37 33 45 36 9 26 35 38 46 21 22 32 17 14 28 17 44 36 32 34 37 26 23 21 38 35 34 36 2 14 41 29 29 31 24 11 40 18 29 27 28 25 24 16 36 40 23 25 22 22 24 21 28 7 14 19 24 31 24 22 27 19 17 30 31 24 44 11 41 28 23 33 32 13 26 22 27 32 31 19 32 6 27 27 9 35 9 5 26 48 26 25 26 12 4 18 21 21 7 6 29 36 38 23 26 29 26 21 8 29 35 40 35 43 38 43 23 13 28 43 29 20 44 29 35 35 26 10 27 5 8 33 14 38 15 17 44 36 27 24 25 21 5 33 20 26 34 31 44 32 35 35 33 34 30 28 28 32 29 7 36 35 15 33 10 7 47 28 28 17 25 13 36 23 15 24 20 24 27 26 29 35 32 21 11 30 17 24 27 32 45 10 22 21 26 27 28 16 18 14 29 31 12 28 14 27 5 29 12 20 28 34 17 29 26 25 29 37 9 14 27 32 25 24 25 24 12 41 20 29 14 30 35 7 27 21 30 35 33 26 24 21 43 38 41 39 19 33 47 6 27 29 33 37 42 34 29 22 30 38 18 39 39 20 14 44 30 23 26 30 32 14 35 22 22 5 14 36 24 38 30 35 21 32 36 26 11 30 6 18 34 24 22 12 44 11 24 35 15 44 15 27 26 33 42 30 10 27 36 32 33 18 17 44 18 39 24 30 23 45 27 20 33 26 11 28 14 19 17 35 42 27 13 4 27 40 39 35 30 13 33 20 6 27 14 15 13 27 29 21 11 2 36 39 40 3 43 28 30 29 40 20 38 17 36 17 33 35 16 41 44 49 15 13 45 16 42 17 10 31 29 20 30 38 19 25 29 9 39 6 35 28 18 48 43 10 43 22 27 23 38 14 29 32 7 33 25 25 35 25 27 35 39 24 28 28 21 8 33 28 24 13 25 32 13 19 28 19 9 25 23 26 20 29 36 6 31 16 11 32 37 25 11 43 35 25 24 41 36 41 14 6 28 5 33 29 7 34 29 20 30 11 36 23 18 28 14 10 29 22 32 36 28 30 25 46 28 11 22 34 22 25 9 44 25 22 18 36 26 34 15 11 23 28 34 28 25 35 34 38 13 33 31 30 8 36 22 22 14 21 11 11 27 23 25 31 28 38 38 31 21 17 27 35 15 24 22 7 20 30 27 16 39 16 13 29 26 25 34 11 29 19 33 30 25 22 24 33 34 28 28 17 9 14 33 41 10 </values>
1760.01/252.07	v </instantiation>
1760.01/252.07	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13520 MiB free)
  memory of node 1: 16384 MiB (12068 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407497-1569346879/watcher-4407497-1569346879 -o /var/tmp/evaluation-result-4407497-1569346879/solver-4407497-1569346879 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407497-1569346879.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1842, runsolver pid=1839
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 8.00 8.36 8.29 2/210 1863
/proc/meminfo: memFree=26186028/32770624 swapFree=66956844/67108860
[pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0
/proc/1842/statm: 28282 364 305 221 0 87 0
[pid=1844] ppid=1842 vsize=28227396 memory=29684 CPUtime=0.12 cores=0-7
/proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 5899 0 0 0 11 1 0 0 20 0 20 0 510945682 28904853504 7421 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
/proc/1844/statm: 7056849 7421 3119 1 0 7019032 0
[pid=1844/tid=1845] ppid=1842 vsize=28227396 memory=-3103912127665269910 CPUtime=0.09 cores=0-7
/proc/1844/task/1845/stat : 1845 (java) R 1842 1842 29338 0 -1 4202560 3802 0 0 0 8 1 0 0 20 0 20 0 510945682 28904853504 7421 33554432000 4194304 4196468 140724799478704 140115004089136 140114999864726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1846] ppid=1842 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7
/proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1847] ppid=1842 vsize=28227396 memory=139711278737024 CPUtime=0 cores=0-7
/proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1848] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1849] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1850] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1851] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1852] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1853] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 7421 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1854] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945684 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1855] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510945685 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113664336928 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1856] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510945685 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113663284080 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1857] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1858] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1859] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1859/stat : 1859 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113660127984 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1860] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1861] ppid=1842 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1844/task/1861/stat : 1861 (java) R 1842 1842 29338 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 510945687 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113658022384 140114999874138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1862] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945688 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1863] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945688 28904853504 7421 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31140 KiB

[startup+0.210511 s]*
/proc/loadavg: 8.00 8.36 8.29 3/210 1863
/proc/meminfo: memFree=26172376/32770624 swapFree=66956844/67108860
[pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0
/proc/1842/statm: 28282 364 305 221 0 87 0
[pid=1844] ppid=1842 vsize=28227396 memory=41072 CPUtime=0.33 cores=0-7
/proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 9543 0 0 0 30 3 0 0 20 0 20 0 510945682 28904853504 10268 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
/proc/1844/statm: 7056849 10268 3305 1 0 7019032 0
[pid=1844/tid=1845] ppid=1842 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/1844/task/1845/stat : 1845 (java) R 1842 1842 29338 0 -1 4202560 6660 0 0 0 18 2 0 0 20 0 20 0 510945682 28904853504 10268 33554432000 4194304 4196468 140724799478704 140115004085520 140114600807277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1846] ppid=1842 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1847] ppid=1842 vsize=28227396 memory=3475004606632158880 CPUtime=0 cores=0-7
/proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1848] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1849] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1850] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1851] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1852] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1853] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945683 28904853504 10268 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1854] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510945684 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1855] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510945685 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113664336928 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1856] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510945685 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113663284080 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1857] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1858] ppid=1842 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1859] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1859/stat : 1859 (java) S 1842 1842 29338 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113660127984 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1860] ppid=1842 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1861] ppid=1842 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/1844/task/1861/stat : 1861 (java) R 1842 1842 29338 0 -1 4202560 726 0 0 0 8 0 0 0 20 0 20 0 510945687 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113658022384 140114978661463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1862] ppid=1842 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945688 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1863] ppid=1842 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945688 28904853504 10268 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42528 KiB

[startup+0.310339 s]*
/proc/loadavg: 8.00 8.36 8.29 3/210 1863
/proc/meminfo: memFree=26165352/32770624 swapFree=66956844/67108860
[pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0
/proc/1842/statm: 28282 364 305 221 0 87 0
[pid=1844] ppid=1842 vsize=28231652 memory=50032 CPUtime=0.52 cores=0-7
/proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 10868 0 0 0 48 4 0 0 20 0 20 0 510945682 28909211648 12508 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
/proc/1844/statm: 7057913 12508 3350 1 0 7019032 0
[pid=1844/tid=1845] ppid=1842 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/1844/task/1845/stat : 1845 (java) R 1842 1842 29338 0 -1 4202560 7805 0 0 0 27 3 0 0 20 0 20 0 510945682 28909211648 12537 33554432000 4194304 4196468 140724799478704 140115004083904 140114983933278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1846] ppid=1842 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1847] ppid=1842 vsize=28231652 memory=1620 CPUtime=0 cores=0-7
/proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1848] ppid=1842 vsize=28231652 memory=1136 CPUtime=0 cores=0-7
/proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1849] ppid=1842 vsize=28231652 memory=1072 CPUtime=0 cores=0-7
/proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1850] ppid=1842 vsize=28231652 memory=6196 CPUtime=0 cores=0-7
/proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1851] ppid=1842 vsize=28231652 memory=784 CPUtime=0 cores=0-7
/proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1852] ppid=1842 vsize=28231652 memory=1060 CPUtime=0 cores=0-7
/proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1853] ppid=1842 vsize=28231652 memory=14012 CPUtime=0 cores=0-7
/proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945683 28909211648 12537 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1854] ppid=1842 vsize=28231652 memory=25140 CPUtime=0 cores=0-7
/proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510945684 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1855] ppid=1842 vsize=28231652 memory=14056 CPUtime=0 cores=0-7
/proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510945685 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113664336928 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1856] ppid=1842 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510945685 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113663284080 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1857] ppid=1842 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1858] ppid=1842 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 574 0 0 0 3 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1859] ppid=1842 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/1844/task/1859/stat : 1859 (java) R 1842 1842 29338 0 -1 4202560 138 0 0 0 2 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113660118368 140114981373913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1860] ppid=1842 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1861] ppid=1842 vsize=28231652 memory=139711125489135 CPUtime=0.12 cores=0-7
/proc/1844/task/1861/stat : 1861 (java) S 1842 1842 29338 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 20 0 510945687 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113658022384 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1862] ppid=1842 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945688 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1863] ppid=1842 vsize=28231652 memory=115843071 CPUtime=0 cores=0-7
/proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510945688 28909211648 12537 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51488 KiB

[startup+0.701011 s]
/proc/loadavg: 8.00 8.36 8.29 6/210 1863
/proc/meminfo: memFree=26144936/32770624 swapFree=66956844/67108860
[pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0
/proc/1842/statm: 28282 364 305 221 0 87 0
[pid=1844] ppid=1842 vsize=28233776 memory=113080 CPUtime=1.86 cores=0-7
/proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 16245 0 0 0 180 6 0 0 20 0 20 0 510945682 28911386624 28270 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
/proc/1844/statm: 7058444 28270 3450 1 0 7019544 0
[pid=1844/tid=1845] ppid=1842 vsize=28233776 memory=279422251032864 CPUtime=0.67 cores=0-7
/proc/1844/task/1845/stat : 1845 (java) R 1842 1842 29338 0 -1 4202560 9063 0 0 0 63 4 0 0 20 0 20 0 510945682 28911386624 28270 33554432000 4194304 4196468 140724799478704 140115004090288 140114999864726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1846] ppid=1842 vsize=28233776 memory=139711125693296 CPUtime=0 cores=0-7
/proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28911386624 28270 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1847] ppid=1842 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510945683 28911386624 28270 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1848] ppid=1842 vsize=28233776 memory=2016 CPUtime=0 cores=0-7
/proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510945683 28911386624 28270 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0

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

[pid=1844/tid=2485] ppid=1842 vsize=28768336 memory=2016 CPUtime=3.36 cores=0-7
/proc/1844/task/2485/stat : 2485 (java) R 1842 1842 29338 0 -1 4202560 800 0 0 0 336 0 0 0 20 0 28 0 510961574 29458776064 735506 33554432000 4194304 4196468 140724799478704 140113575136200 140114608623972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
Current children cumulated CPU time: 1096.03 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2943480 KiB

[startup+222.301 s]
/proc/loadavg: 8.12 7.85 8.07 9/219 2552
/proc/meminfo: memFree=23228308/32770624 swapFree=66956844/67108860
[pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0
/proc/1842/statm: 28282 364 305 221 0 87 0
[pid=1844] ppid=1842 vsize=28768336 memory=2981168 CPUtime=1542.4 cores=0-7
/proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 528111 0 0 0 153125 1115 0 0 20 0 28 0 510945682 29458776064 745292 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
/proc/1844/statm: 7192084 745292 3557 1 0 7153184 0
[pid=1844/tid=1845] ppid=1842 vsize=28768336 memory=2981168 CPUtime=2.76 cores=0-7
/proc/1844/task/1845/stat : 1845 (java) S 1842 1842 29338 0 -1 1077944384 18387 0 0 0 257 19 0 0 20 0 28 0 510945682 29458776064 745292 33554432000 4194304 4196468 140724799478704 140115004093568 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1846] ppid=1842 vsize=28768336 memory=2942188 CPUtime=3.67 cores=0-7
/proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 6022 0 0 0 290 77 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1847] ppid=1842 vsize=28768336 memory=1456 CPUtime=3.65 cores=0-7
/proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 4826 0 0 0 284 81 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1848] ppid=1842 vsize=28768336 memory=2942016 CPUtime=3.68 cores=0-7
/proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 4907 0 0 0 289 79 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1849] ppid=1842 vsize=28768336 memory=2942016 CPUtime=3.66 cores=0-7
/proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 7654 0 0 0 284 82 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1850] ppid=1842 vsize=28768336 memory=2942144 CPUtime=3.62 cores=0-7
/proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 6027 0 0 0 284 78 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1851] ppid=1842 vsize=28768336 memory=2981168 CPUtime=3.69 cores=0-7
/proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 5901 0 0 0 290 79 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1852] ppid=1842 vsize=28768336 memory=2981168 CPUtime=3.68 cores=0-7
/proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 5832 0 0 0 289 79 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1853] ppid=1842 vsize=28768336 memory=2981168 CPUtime=3.68 cores=0-7
/proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 5606 0 0 0 291 77 0 0 20 0 28 0 510945683 29458776064 745292 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1854] ppid=1842 vsize=28768336 memory=2981168 CPUtime=0.14 cores=0-7
/proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 8084 0 0 0 11 3 0 0 20 0 28 0 510945684 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1855] ppid=1842 vsize=28768336 memory=2981168 CPUtime=0 cores=0-7
/proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 510945685 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113664336992 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1856] ppid=1842 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 510945685 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113663284096 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1857] ppid=1842 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1858] ppid=1842 vsize=28768336 memory=2942016 CPUtime=3.67 cores=0-7
/proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 24991 0 0 0 362 5 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1859] ppid=1842 vsize=28768336 memory=2942024 CPUtime=3.68 cores=0-7
/proc/1844/task/1859/stat : 1859 (java) S 1842 1842 29338 0 -1 1077944384 26685 0 0 0 362 6 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113660127984 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1860] ppid=1842 vsize=28768336 memory=2981168 CPUtime=4.27 cores=0-7
/proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 32081 0 0 0 420 7 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1861] ppid=1842 vsize=28768336 memory=1456 CPUtime=1.17 cores=0-7
/proc/1844/task/1861/stat : 1861 (java) S 1842 1842 29338 0 -1 1077944384 26471 0 0 0 112 5 0 0 20 0 28 0 510945687 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113658022384 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1862] ppid=1842 vsize=28768336 memory=2981168 CPUtime=0 cores=0-7
/proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510945688 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1863] ppid=1842 vsize=28768336 memory=1456 CPUtime=0.09 cores=0-7
/proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 2881 0 0 0 3 6 0 0 20 0 28 0 510945688 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2542] ppid=1842 vsize=28768336 memory=1456 CPUtime=33.56 cores=0-7
/proc/1844/task/2542/stat : 2542 (java) R 1842 1842 29338 0 -1 4202560 2731 0 0 0 3356 0 0 0 20 0 28 0 510964540 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113576180552 140114610251746 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2543] ppid=1842 vsize=28768336 memory=2981168 CPUtime=33.54 cores=0-7
/proc/1844/task/2543/stat : 2543 (java) R 1842 1842 29338 0 -1 4202560 1661 0 0 0 3353 1 0 0 20 0 28 0 510964540 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113571970464 140114607715639 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2544] ppid=1842 vsize=28768336 memory=1456 CPUtime=33.54 cores=0-7
/proc/1844/task/2544/stat : 2544 (java) R 1842 1842 29338 0 -1 4202560 2847 0 0 0 3351 3 0 0 20 0 28 0 510964540 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113577235096 140114607716475 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2545] ppid=1842 vsize=28768336 memory=2981168 CPUtime=33.56 cores=0-7
/proc/1844/task/2545/stat : 2545 (java) R 1842 1842 29338 0 -1 4202560 12619 0 0 0 3354 2 0 0 20 0 28 0 510964540 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113645646280 140114610252584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2546] ppid=1842 vsize=28768336 memory=2116 CPUtime=32.91 cores=0-7
/proc/1844/task/2546/stat : 2546 (java) R 1842 1842 29338 0 -1 4202560 1908 0 0 0 3285 6 0 0 20 0 28 0 510964541 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113573024248 140114607715634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2547] ppid=1842 vsize=28768336 memory=516 CPUtime=33.57 cores=0-7
/proc/1844/task/2547/stat : 2547 (java) R 1842 1842 29338 0 -1 4202560 1428 0 0 0 3353 4 0 0 20 0 28 0 510964541 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113574076456 140114608623144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2548] ppid=1842 vsize=28768336 memory=2981168 CPUtime=33.56 cores=0-7
/proc/1844/task/2548/stat : 2548 (java) R 1842 1842 29338 0 -1 4202560 5032 0 0 0 3349 7 0 0 20 0 28 0 510964541 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113646698488 140114605450206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2549] ppid=1842 vsize=28768336 memory=1456 CPUtime=33.47 cores=0-7
/proc/1844/task/2549/stat : 2549 (java) R 1842 1842 29338 0 -1 4202560 1409 0 0 0 3342 5 0 0 20 0 28 0 510964541 29458776064 745292 33554432000 4194304 4196468 140724799478704 140113575129144 140114608623384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
Current children cumulated CPU time: 1542.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2982624 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 7.82 7.80 8.04 9/219 2586
/proc/meminfo: memFree=23227252/32770624 swapFree=66956844/67108860
[pid=1842] ppid=1839 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1842/stat : 1842 (xcsp3-exec) S 1839 1842 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510945681 115843072 364 33554432000 4194304 5098028 140732396509136 140732396507240 139837312111228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37982208 140732396512087 140732396512346 140732396512346 140732396515270 0
/proc/1842/statm: 28282 364 305 221 0 87 0
[pid=1844] ppid=1842 vsize=28768336 memory=2981320 CPUtime=1760.01 cores=0-7
/proc/1844/stat : 1844 (java) S 1842 1842 29338 0 -1 1077944320 560479 0 0 0 174836 1165 0 0 20 0 28 0 510945682 29458776064 745330 33554432000 4194304 4196468 140724799478704 140724799461248 140114999852791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
/proc/1844/statm: 7192084 745330 3557 1 0 7153184 0
[pid=1844/tid=1845] ppid=1842 vsize=28768336 memory=8317482817917895235 CPUtime=2.77 cores=0-7
/proc/1844/task/1845/stat : 1845 (java) S 1842 1842 29338 0 -1 1077944384 19483 0 0 0 258 19 0 0 20 0 28 0 510945682 29458776064 745330 33554432000 4194304 4196468 140724799478704 140115004093568 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1846] ppid=1842 vsize=28768336 memory=4872558044660077418 CPUtime=3.79 cores=0-7
/proc/1844/task/1846/stat : 1846 (java) S 1842 1842 29338 0 -1 1077944384 6096 0 0 0 302 77 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114551495312 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1847] ppid=1842 vsize=28768336 memory=1456 CPUtime=3.77 cores=0-7
/proc/1844/task/1847/stat : 1847 (java) S 1842 1842 29338 0 -1 1077944384 5065 0 0 0 296 81 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114550442512 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1848] ppid=1842 vsize=28768336 memory=2981380 CPUtime=3.8 cores=0-7
/proc/1844/task/1848/stat : 1848 (java) S 1842 1842 29338 0 -1 1077944384 5017 0 0 0 301 79 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114549389712 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1849] ppid=1842 vsize=28768336 memory=2580 CPUtime=3.77 cores=0-7
/proc/1844/task/1849/stat : 1849 (java) S 1842 1842 29338 0 -1 1077944384 7845 0 0 0 295 82 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114548336912 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1850] ppid=1842 vsize=28768336 memory=1760 CPUtime=3.74 cores=0-7
/proc/1844/task/1850/stat : 1850 (java) S 1842 1842 29338 0 -1 1077944384 6149 0 0 0 296 78 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114547285136 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1851] ppid=1842 vsize=28768336 memory=111632 CPUtime=3.81 cores=0-7
/proc/1844/task/1851/stat : 1851 (java) S 1842 1842 29338 0 -1 1077944384 5990 0 0 0 302 79 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114546232336 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1852] ppid=1842 vsize=28768336 memory=804 CPUtime=3.8 cores=0-7
/proc/1844/task/1852/stat : 1852 (java) S 1842 1842 29338 0 -1 1077944384 6503 0 0 0 301 79 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114545179536 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1853] ppid=1842 vsize=28768336 memory=1804 CPUtime=3.8 cores=0-7
/proc/1844/task/1853/stat : 1853 (java) S 1842 1842 29338 0 -1 1077944384 5688 0 0 0 303 77 0 0 20 0 28 0 510945683 29458776064 745330 33554432000 4194304 4196468 140724799478704 140114544126736 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1854] ppid=1842 vsize=28768336 memory=916 CPUtime=0.14 cores=0-7
/proc/1844/task/1854/stat : 1854 (java) S 1842 1842 29338 0 -1 1077944384 8550 0 0 0 11 3 0 0 20 0 28 0 510945684 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113665390960 140114999863938 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1855] ppid=1842 vsize=28768336 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/1844/task/1855/stat : 1855 (java) S 1842 1842 29338 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 510945685 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113664336992 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1856] ppid=1842 vsize=28768336 memory=1444 CPUtime=0 cores=0-7
/proc/1844/task/1856/stat : 1856 (java) S 1842 1842 29338 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 510945685 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113663284096 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1857] ppid=1842 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/1844/task/1857/stat : 1857 (java) S 1842 1842 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113662232400 140114999871387 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1858] ppid=1842 vsize=28768336 memory=2981236 CPUtime=3.69 cores=0-7
/proc/1844/task/1858/stat : 1858 (java) S 1842 1842 29338 0 -1 1077944384 26410 0 0 0 364 5 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113661180784 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1859] ppid=1842 vsize=28768336 memory=1760 CPUtime=3.69 cores=0-7
/proc/1844/task/1859/stat : 1859 (java) S 1842 1842 29338 0 -1 1077944384 26908 0 0 0 363 6 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113660127984 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1860] ppid=1842 vsize=28768336 memory=111632 CPUtime=4.27 cores=0-7
/proc/1844/task/1860/stat : 1860 (java) S 1842 1842 29338 0 -1 1077944384 32522 0 0 0 420 7 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113659075184 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1861] ppid=1842 vsize=28768336 memory=804 CPUtime=1.18 cores=0-7
/proc/1844/task/1861/stat : 1861 (java) S 1842 1842 29338 0 -1 1077944384 29469 0 0 0 113 5 0 0 20 0 28 0 510945687 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113658022384 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1862] ppid=1842 vsize=28768336 memory=53596 CPUtime=0 cores=0-7
/proc/1844/task/1862/stat : 1862 (java) S 1842 1842 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510945688 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113656969824 140114999862997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=1863] ppid=1842 vsize=28768336 memory=1456 CPUtime=0.1 cores=0-7
/proc/1844/task/1863/stat : 1863 (java) S 1842 1842 29338 0 -1 1077944384 3144 0 0 0 4 6 0 0 20 0 28 0 510945688 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113655917104 140114999863938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2579] ppid=1842 vsize=28768336 memory=2981076 CPUtime=3.01 cores=0-7
/proc/1844/task/2579/stat : 2579 (java) R 1842 1842 29338 0 -1 4202560 646 0 0 0 299 2 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113575128200 140114609359750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2580] ppid=1842 vsize=28768336 memory=2981380 CPUtime=3.02 cores=0-7
/proc/1844/task/2580/stat : 2580 (java) R 1842 1842 29338 0 -1 4202560 509 0 0 0 302 0 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113574080632 140114607715549 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2581] ppid=1842 vsize=28768336 memory=1548 CPUtime=3.01 cores=0-7
/proc/1844/task/2581/stat : 2581 (java) R 1842 1842 29338 0 -1 4202560 385 0 0 0 299 2 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113576187464 140114608338762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2582] ppid=1842 vsize=28768336 memory=7552 CPUtime=3 cores=0-7
/proc/1844/task/2582/stat : 2582 (java) R 1842 1842 29338 0 -1 4202560 596 0 0 0 296 4 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113571976056 140114607715131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2583] ppid=1842 vsize=28768336 memory=3608 CPUtime=3.02 cores=0-7
/proc/1844/task/2583/stat : 2583 (java) R 1842 1842 29338 0 -1 4202560 547 0 0 0 296 6 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113573031240 140114609325677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2584] ppid=1842 vsize=28768336 memory=301741373374332954 CPUtime=3.02 cores=0-7
/proc/1844/task/2584/stat : 2584 (java) R 1842 1842 29338 0 -1 4202560 575 0 0 0 302 0 0 0 20 0 28 0 510970579 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113646705864 140114607716475 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2585] ppid=1842 vsize=28768336 memory=288230621803970871 CPUtime=3.01 cores=0-7
/proc/1844/task/2585/stat : 2585 (java) R 1842 1842 29338 0 -1 4202560 452 0 0 0 301 0 0 0 20 0 28 0 510970580 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113645653064 140114609327500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
[pid=1844/tid=2586] ppid=1842 vsize=28768336 memory=13565990034212583 CPUtime=2.93 cores=0-7
/proc/1844/task/2586/stat : 2586 (java) R 1842 1842 29338 0 -1 4202560 395 0 0 0 290 3 0 0 20 0 28 0 510970581 29458776064 745330 33554432000 4194304 4196468 140724799478704 140113577241544 140114608623294 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31277056 140724799480796 140724799480971 140724799480971 140724799483855 0
Current children cumulated CPU time: 1760.01 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2982776 KiB

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

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

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

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

Child status: 143
Real time (s): 252.108
CPU time (s): 1760.66
CPU user time (s): 1748.98
CPU system time (s): 11.6843
CPU usage (%): 698.378
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2982836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.98
system time used= 11.6843
maximum resident set size= 2981860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562281
page faults= 0
swaps= 0
block input operations= 0
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23565
involuntary context switches= 19947


# summary of solver processes directly reported to runsolver:
#   pid: 1842,1844
#   total CPU time (s): 1760.66
#   total CPU user time (s): 1748.98
#   total CPU system time (s): 11.6843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.07489 second user time and 3.10402 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	2400.08
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 4407497

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