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)	555	2002.3	252.116

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407483-1569347059.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407483-1569347059.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.09/1.27	c solve instance...
15.52/2.79	o 1572 
15.52/2.80	o 1542 
16.24/2.80	o 1539 
16.24/2.81	o 1535 
16.24/2.81	o 1505 
16.24/2.82	o 1500 
16.24/2.82	o 1483 
16.24/2.83	o 1475 
16.24/2.83	o 1454 
16.24/2.87	o 1451 
16.93/2.91	o 1447 
19.28/3.22	o 1111 
19.28/3.27	o 1096 
19.28/3.28	o 1061 
20.02/3.31	o 1055 
20.02/3.36	o 1043 
20.02/3.40	o 1023 
20.72/3.44	o 1019 
22.25/3.65	o 1009 
22.25/3.66	o 1007 
22.25/3.69	o 1005 
23.77/3.85	o 1004 
25.41/4.08	o 1002 
25.41/4.09	o 999 
26.16/4.11	o 993 
26.16/4.12	o 987 
26.16/4.17	o 975 
27.60/4.39	o 973 
29.94/4.65	o 958 
29.94/4.66	o 942 
30.68/4.74	o 924 
30.68/4.76	o 915 
31.36/4.88	o 913 
32.99/5.05	o 876 
33.78/5.13	o 868 
33.78/5.19	o 863 
35.23/5.39	o 861 
36.05/5.45	o 860 
36.05/5.46	o 852 
38.37/5.73	o 848 
39.14/5.81	o 845 
42.31/6.24	o 828 
42.31/6.25	o 811 
42.31/6.25	o 797 
42.31/6.26	o 793 
45.40/6.62	o 784 
46.98/6.86	o 781 
46.98/6.87	o 778 
47.73/6.90	o 764 
47.73/6.91	o 752 
48.56/7.10	o 738 
56.53/8.09	o 734 
65.27/9.18	o 726 
65.97/9.20	o 721 
67.55/9.46	o 720 
69.93/9.70	o 719 
76.29/10.56	o 713 
91.50/12.45	o 708 
99.38/13.46	o 704 
113.67/15.22	o 699 
139.19/18.46	o 688 
147.14/19.43	o 678 
157.49/20.74	o 673 
166.98/21.91	o 666 
185.32/24.21	o 662 
188.49/24.63	o 661 
194.06/25.35	o 641 
272.31/35.11	o 639 
273.83/35.39	o 632 
277.01/35.70	o 625 
280.27/36.17	o 617 
393.44/50.39	o 609 
899.22/113.70	o 604 
906.29/114.67	o 602 
1012.74/128.08	o 599 
1253.57/158.30	o 591 
1292.72/163.19	o 578 
1483.39/187.08	o 569 
1607.64/202.61	o 562 
1892.27/238.31	o 555 
2001.58/252.07	s SATISFIABLE
2001.58/252.07	v <instantiation>
2001.58/252.07	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[0][36] x[0][37] x[0][38] x[0][39] 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[1][36] x[1][37] x[1][38] x[1][39] 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[2][36] x[2][37] x[2][38] x[2][39] 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[3][36] x[3][37] x[3][38] x[3][39] 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[4][36] x[4][37] x[4][38] x[4][39] 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[5][36] x[5][37] x[5][38] x[5][39] 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[6][36] x[6][37] x[6][38] x[6][39] 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[7][36] x[7][37] x[7][38] x[7][39] 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[8][36] x[8][37] x[8][38] x[8][39] 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[9][36] x[9][37] x[9][38] x[9][39] 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[10][36] x[10][37] x[10][38] x[10][39] 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[11][36] x[11][37] x[11][38] x[11][39] 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[12][36] x[12][37] x[12][38] x[12][39] 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[13][36] x[13][37] x[13][38] x[13][39] 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[14][36] x[14][37] x[14][38] x[14][39] 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[15][36] x[15][37] x[15][38] x[15][39] 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[16][36] x[16][37] x[16][38] x[16][39] 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[17][36] x[17][37] x[17][38] x[17][39] 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[18][36] x[18][37] x[18][38] x[18][39] 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[19][36] x[19][37] x[19][38] x[19][39] 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[20][36] x[20][37] x[20][38] x[20][39] 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[21][36] x[21][37] x[21][38] x[21][39] 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[22][36] x[22][37] x[22][38] x[22][39] 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[23][36] x[23][37] x[23][38] x[23][39] 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[24][36] x[24][37] x[24][38] x[24][39] 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[25][36] x[25][37] x[25][38] x[25][39] 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[26][36] x[26][37] x[26][38] x[26][39] 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] x[27][36] x[27][37] x[27][38] x[27][39] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] </list>
2001.58/252.07	v 	<values>0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 0 0 0 0 0 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 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 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 1 0 0 0 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 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 103 138 88 84 72 15 116 38 11 100 136 51 66 137 19 15 22 125 75 66 108 96 87 97 43 71 15 52 21 56 63 130 95 37 38 72 9 117 70 </values>
2001.58/252.07	v </instantiation>
2001.58/252.08	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 (13086 MiB free)
  memory of node 1: 16384 MiB (11557 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407483-1569347059/watcher-4407483-1569347059 -o /tmp/evaluation-result-4407483-1569347059/solver-4407483-1569347059 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569335936-736 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1007611094 HOME/instance-4407483-1569347059.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
Current StackSize limit: 8192 KiB

solver pid=4126, runsolver pid=4123

[startup+0.10015 s]*
/proc/loadavg: 7.74 8.01 8.13 2/211 4147
/proc/meminfo: memFree=25219156/32770624 swapFree=66936696/67108860
[pid=4126] ppid=4123 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4126/stat : 4126 (xcsp3-exec) S 4123 4126 709 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510643652 115843072 363 33554432000 4194304 5098028 140729912384512 140729912382616 140374333366908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33808384 140729912386427 140729912386670 140729912386670 140729912389578 0
/proc/4126/statm: 28282 363 305 221 0 87 0
[pid=4128] ppid=4126 vsize=28227396 memory=28912 CPUtime=0.12 cores=0-7
/proc/4128/stat : 4128 (java) S 4126 4126 709 0 -1 1077944320 5690 0 0 0 11 1 0 0 20 0 20 0 510643653 28904853504 7228 33554432000 4194304 4196468 140734187123168 140734187105712 140659242245879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
/proc/4128/statm: 7056849 7228 3120 1 0 7019032 0
[pid=4128/tid=4129] ppid=4126 vsize=28227396 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/4128/task/4129/stat : 4129 (java) R 4126 4126 709 0 -1 4202560 3589 0 0 0 8 1 0 0 20 0 20 0 510643653 28904853504 7228 33554432000 4194304 4196468 140734187123168 140659246479152 140658854596445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4130] ppid=4126 vsize=28227396 memory=732370368120888293 CPUtime=0 cores=0-7
/proc/4128/task/4130/stat : 4130 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 7228 33554432000 4194304 4196468 140734187123168 140659194866832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4131] ppid=4126 vsize=28227396 memory=140229783434880 CPUtime=0 cores=0-7
/proc/4128/task/4131/stat : 4131 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 7228 33554432000 4194304 4196468 140734187123168 140659193814032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4132] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4132/stat : 4132 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 7228 33554432000 4194304 4196468 140734187123168 140659192761232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4133] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4133/stat : 4133 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 7228 33554432000 4194304 4196468 140734187123168 140659191708432 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4134] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4134/stat : 4134 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 7228 33554432000 4194304 4196468 140734187123168 140659190655632 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4135] ppid=4126 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4128/task/4135/stat : 4135 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 7228 33554432000 4194304 4196468 140734187123168 140659189602832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4136] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4136/stat : 4136 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 7228 33554432000 4194304 4196468 140734187123168 140659188550032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4137] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4137/stat : 4137 (java) S 4126 4126 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 7228 33554432000 4194304 4196468 140734187123168 140659187497232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4138] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4138/stat : 4138 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643655 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658290416496 140659242257026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4139] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4139/stat : 4139 (java) S 4126 4126 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510643656 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658289362464 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4140] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4140/stat : 4140 (java) S 4126 4126 709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510643656 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658288309616 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4141] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4141/stat : 4141 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643658 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658287257936 140659242264475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4142] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4142/stat : 4142 (java) S 4126 4126 709 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 510643658 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658286205296 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4143] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4143/stat : 4143 (java) R 4126 4126 709 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510643658 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658285152496 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4144] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4144/stat : 4144 (java) S 4126 4126 709 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 510643658 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658284099696 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4145] ppid=4126 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4128/task/4145/stat : 4145 (java) R 4126 4126 709 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 20 0 510643658 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658283046896 140659226326366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4146] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4146/stat : 4146 (java) S 4126 4126 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510643659 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658281995360 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4147] ppid=4126 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4128/task/4147/stat : 4147 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643659 28904853504 7228 33554432000 4194304 4196468 140734187123168 140658280942640 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30364 KiB

[startup+0.210632 s]*
/proc/loadavg: 7.74 8.01 8.13 2/211 4147
/proc/meminfo: memFree=25207072/32770624 swapFree=66936696/67108860
[pid=4126] ppid=4123 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4126/stat : 4126 (xcsp3-exec) S 4123 4126 709 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510643652 115843072 363 33554432000 4194304 5098028 140729912384512 140729912382616 140374333366908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33808384 140729912386427 140729912386670 140729912386670 140729912389578 0
/proc/4126/statm: 28282 363 305 221 0 87 0
[pid=4128] ppid=4126 vsize=28227396 memory=41188 CPUtime=0.33 cores=0-7
/proc/4128/stat : 4128 (java) S 4126 4126 709 0 -1 1077944320 9527 0 0 0 30 3 0 0 20 0 20 0 510643653 28904853504 10297 33554432000 4194304 4196468 140734187123168 140734187105712 140659242245879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
/proc/4128/statm: 7056849 10297 3301 1 0 7019032 0
[pid=4128/tid=4129] ppid=4126 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/4128/task/4129/stat : 4129 (java) R 4126 4126 709 0 -1 4202560 6622 0 0 0 17 2 0 0 20 0 20 0 510643653 28904853504 10297 33554432000 4194304 4196468 140734187123168 140659246477120 140658853692970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4130] ppid=4126 vsize=28227396 memory=732370368120888293 CPUtime=0 cores=0-7
/proc/4128/task/4130/stat : 4130 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 10297 33554432000 4194304 4196468 140734187123168 140659194866832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4131] ppid=4126 vsize=28227396 memory=140229783434880 CPUtime=0 cores=0-7
/proc/4128/task/4131/stat : 4131 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 10297 33554432000 4194304 4196468 140734187123168 140659193814032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4132] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4132/stat : 4132 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 10297 33554432000 4194304 4196468 140734187123168 140659192761232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4133] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4133/stat : 4133 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 10297 33554432000 4194304 4196468 140734187123168 140659191708432 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4134] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4134/stat : 4134 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 10297 33554432000 4194304 4196468 140734187123168 140659190655632 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4135] ppid=4126 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4128/task/4135/stat : 4135 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 10297 33554432000 4194304 4196468 140734187123168 140659189602832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4136] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4136/stat : 4136 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 10297 33554432000 4194304 4196468 140734187123168 140659188550032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4137] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4137/stat : 4137 (java) S 4126 4126 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510643654 28904853504 10297 33554432000 4194304 4196468 140734187123168 140659187497232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4138] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4138/stat : 4138 (java) S 4126 4126 709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510643655 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658290416496 140659242257026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4139] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4139/stat : 4139 (java) S 4126 4126 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510643656 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658289362464 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4140] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4140/stat : 4140 (java) S 4126 4126 709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510643656 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658288309616 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4141] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4141/stat : 4141 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643658 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658287257936 140659242264475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4142] ppid=4126 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4128/task/4142/stat : 4142 (java) S 4126 4126 709 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 510643658 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658286205296 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4143] ppid=4126 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4128/task/4143/stat : 4143 (java) R 4126 4126 709 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 510643658 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658285152496 140659242257026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4144] ppid=4126 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4128/task/4144/stat : 4144 (java) S 4126 4126 709 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 20 0 510643658 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658284099696 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4145] ppid=4126 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/4128/task/4145/stat : 4145 (java) R 4126 4126 709 0 -1 4202560 773 0 0 0 8 0 0 0 20 0 20 0 510643658 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658283046704 140659221191491 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4146] ppid=4126 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4146/stat : 4146 (java) S 4126 4126 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510643659 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658281995360 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4147] ppid=4126 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4128/task/4147/stat : 4147 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643659 28904853504 10297 33554432000 4194304 4196468 140734187123168 140658280942640 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42640 KiB

[startup+0.32059 s]*
/proc/loadavg: 7.74 8.01 8.13 3/211 4147
/proc/meminfo: memFree=25198820/32770624 swapFree=66936696/67108860
[pid=4126] ppid=4123 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4126/stat : 4126 (xcsp3-exec) S 4123 4126 709 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510643652 115843072 363 33554432000 4194304 5098028 140729912384512 140729912382616 140374333366908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33808384 140729912386427 140729912386670 140729912386670 140729912389578 0
/proc/4126/statm: 28282 363 305 221 0 87 0
[pid=4128] ppid=4126 vsize=28231652 memory=50764 CPUtime=0.53 cores=0-7
/proc/4128/stat : 4128 (java) S 4126 4126 709 0 -1 1077944320 11041 0 0 0 49 4 0 0 20 0 20 0 510643653 28909211648 12691 33554432000 4194304 4196468 140734187123168 140734187105712 140659242245879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
/proc/4128/statm: 7057913 12691 3340 1 0 7019032 0
[pid=4128/tid=4129] ppid=4126 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/4128/task/4129/stat : 4129 (java) R 4126 4126 709 0 -1 4202560 7906 0 0 0 27 3 0 0 20 0 20 0 510643653 28909211648 12691 33554432000 4194304 4196468 140734187123168 140659246473136 140659226326366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4130] ppid=4126 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4130/stat : 4130 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28909211648 12691 33554432000 4194304 4196468 140734187123168 140659194866832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4131] ppid=4126 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4131/stat : 4131 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28909211648 12691 33554432000 4194304 4196468 140734187123168 140659193814032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4132] ppid=4126 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4132/stat : 4132 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28909211648 12691 33554432000 4194304 4196468 140734187123168 140659192761232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4133] ppid=4126 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4133/stat : 4133 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28909211648 12691 33554432000 4194304 4196468 140734187123168 140659191708432 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4134] ppid=4126 vsize=28231652 memory=67 CPUtime=0 cores=0-7
/proc/4128/task/4134/stat : 4134 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28909211648 12691 33554432000 4194304 4196468 140734187123168 140659190655632 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4135] ppid=4126 vsize=28231652 memory=35 CPUtime=0 cores=0-7
/proc/4128/task/4135/stat : 4135 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28909211648 12691 33554432000 4194304 4196468 140734187123168 140659189602832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4136] ppid=4126 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/4128/task/4136/stat : 4136 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28909211648 12691 33554432000 4194304 4196468 140734187123168 140659188550032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4137] ppid=4126 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/4128/task/4137/stat : 4137 (java) S 4126 4126 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510643654 28909211648 12691 33554432000 4194304 4196468 140734187123168 140659187497232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4138] ppid=4126 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4138/stat : 4138 (java) S 4126 4126 709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510643655 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658290416496 140659242257026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4139] ppid=4126 vsize=28231652 memory=140229675685871 CPUtime=0 cores=0-7
/proc/4128/task/4139/stat : 4139 (java) S 4126 4126 709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510643656 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658289362464 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4140] ppid=4126 vsize=28231652 memory=280459351369424 CPUtime=0 cores=0-7
/proc/4128/task/4140/stat : 4140 (java) S 4126 4126 709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510643656 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658288309616 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4141] ppid=4126 vsize=28231652 memory=280459351376336 CPUtime=0 cores=0-7
/proc/4128/task/4141/stat : 4141 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643658 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658287257936 140659242264475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4142] ppid=4126 vsize=28231652 memory=280459351317584 CPUtime=0.03 cores=0-7
/proc/4128/task/4142/stat : 4142 (java) S 4126 4126 709 0 -1 1077944384 437 0 0 0 3 0 0 0 20 0 20 0 510643658 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658286205296 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4143] ppid=4126 vsize=28231652 memory=280459351390160 CPUtime=0.02 cores=0-7
/proc/4128/task/4143/stat : 4143 (java) S 4126 4126 709 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 20 0 510643658 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658285152496 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4144] ppid=4126 vsize=28231652 memory=280459351397072 CPUtime=0.02 cores=0-7
/proc/4128/task/4144/stat : 4144 (java) S 4126 4126 709 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 20 0 510643658 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658284099696 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4145] ppid=4126 vsize=28231652 memory=280459351394768 CPUtime=0.12 cores=0-7
/proc/4128/task/4145/stat : 4145 (java) S 4126 4126 709 0 -1 1077944384 905 0 0 0 12 0 0 0 20 0 20 0 510643658 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658283046896 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4146] ppid=4126 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4146/stat : 4146 (java) S 4126 4126 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510643659 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658281995360 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4147] ppid=4126 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/4128/task/4147/stat : 4147 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643659 28909211648 12691 33554432000 4194304 4196468 140734187123168 140658280942640 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52216 KiB

[startup+0.701014 s]
/proc/loadavg: 7.74 8.01 8.13 4/211 4147
/proc/meminfo: memFree=25178288/32770624 swapFree=66936696/67108860
[pid=4126] ppid=4123 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4126/stat : 4126 (xcsp3-exec) S 4123 4126 709 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510643652 115843072 363 33554432000 4194304 5098028 140729912384512 140729912382616 140374333366908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33808384 140729912386427 140729912386670 140729912386670 140729912389578 0
/proc/4126/statm: 28282 363 305 221 0 87 0
[pid=4128] ppid=4126 vsize=28233776 memory=94644 CPUtime=1.91 cores=0-7
/proc/4128/stat : 4128 (java) S 4126 4126 709 0 -1 1077944320 15844 0 0 0 182 9 0 0 20 0 20 0 510643653 28911386624 23661 33554432000 4194304 4196468 140734187123168 140734187105712 140659242245879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
/proc/4128/statm: 7058444 23661 3450 1 0 7019544 0
[pid=4128/tid=4129] ppid=4126 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/4128/task/4129/stat : 4129 (java) R 4126 4126 709 0 -1 4202560 9184 0 0 0 63 4 0 0 20 0 20 0 510643653 28911386624 23661 33554432000 4194304 4196468 140734187123168 140659246480736 140659242257814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4130] ppid=4126 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/4128/task/4130/stat : 4130 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510643654 28911386624 23661 33554432000 4194304 4196468 140734187123168 140659194866832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4131] ppid=4126 vsize=28233776 memory=32 CPUtime=0 cores=0-7
/proc/4128/task/4131/stat : 4131 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28911386624 23661 33554432000 4194304 4196468 140734187123168 140659193814032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4132] ppid=4126 vsize=28233776 memory=280459351163120 CPUtime=0 cores=0-7
/proc/4128/task/4132/stat : 4132 (java) S 4126 4126 709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510643654 28911386624 23661 33554432000 4194304 4196468 140734187123168 140659192761232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0

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

[pid=4128/tid=4775] ppid=4126 vsize=28834900 memory=1211628 CPUtime=3.95 cores=0-7
/proc/4128/task/4775/stat : 4775 (java) R 4126 4126 709 0 -1 4202560 317 0 0 0 395 0 0 0 20 0 28 0 510659483 29526937600 302907 33554432000 4194304 4196468 140734187123168 140658266713544 140658861149680 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
Current children cumulated CPU time: 1286.25 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 1213080 KiB

[startup+222.302 s]
/proc/loadavg: 8.03 8.03 8.12 9/219 4802
/proc/meminfo: memFree=24033148/32770624 swapFree=66936696/67108860
[pid=4126] ppid=4123 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4126/stat : 4126 (xcsp3-exec) S 4123 4126 709 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510643652 115843072 363 33554432000 4194304 5098028 140729912384512 140729912382616 140374333366908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33808384 140729912386427 140729912386670 140729912386670 140729912389578 0
/proc/4126/statm: 28282 363 305 221 0 87 0
[pid=4128] ppid=4126 vsize=28834900 memory=1213572 CPUtime=1764.58 cores=0-7
/proc/4128/stat : 4128 (java) S 4126 4126 709 0 -1 1077944320 158469 0 0 0 176269 189 0 0 20 0 28 0 510643653 29526937600 303393 33554432000 4194304 4196468 140734187123168 140734187105712 140659242245879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
/proc/4128/statm: 7208725 303393 3537 1 0 7169825 0
[pid=4128/tid=4129] ppid=4126 vsize=28834900 memory=1215600 CPUtime=1.34 cores=0-7
/proc/4128/task/4129/stat : 4129 (java) S 4126 4126 709 0 -1 1077944384 12489 0 0 0 127 7 0 0 20 0 28 0 510643653 29526937600 303393 33554432000 4194304 4196468 140734187123168 140659246486656 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4130] ppid=4126 vsize=28834900 memory=1215672 CPUtime=0.14 cores=0-7
/proc/4128/task/4130/stat : 4130 (java) S 4126 4126 709 0 -1 1077944384 555 0 0 0 8 6 0 0 20 0 28 0 510643654 29526937600 303393 33554432000 4194304 4196468 140734187123168 140659194866832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4131] ppid=4126 vsize=28834900 memory=1213572 CPUtime=0.12 cores=0-7
/proc/4128/task/4131/stat : 4131 (java) S 4126 4126 709 0 -1 1077944384 1258 0 0 0 6 6 0 0 20 0 28 0 510643654 29526937600 303393 33554432000 4194304 4196468 140734187123168 140659193814032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4132] ppid=4126 vsize=28834900 memory=1213572 CPUtime=0.13 cores=0-7
/proc/4128/task/4132/stat : 4132 (java) S 4126 4126 709 0 -1 1077944384 1090 0 0 0 8 5 0 0 20 0 28 0 510643654 29526937600 303393 33554432000 4194304 4196468 140734187123168 140659192761232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4133] ppid=4126 vsize=28834900 memory=1452 CPUtime=0.14 cores=0-7
/proc/4128/task/4133/stat : 4133 (java) S 4126 4126 709 0 -1 1077944384 1226 0 0 0 9 5 0 0 20 0 28 0 510643654 29526937600 303393 33554432000 4194304 4196468 140734187123168 140659191708432 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4134] ppid=4126 vsize=28834900 memory=1213572 CPUtime=0.14 cores=0-7
/proc/4128/task/4134/stat : 4134 (java) S 4126 4126 709 0 -1 1077944384 879 0 0 0 8 6 0 0 20 0 28 0 510643654 29526937600 303393 33554432000 4194304 4196468 140734187123168 140659190655632 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4135] ppid=4126 vsize=28834900 memory=1213572 CPUtime=0.14 cores=0-7
/proc/4128/task/4135/stat : 4135 (java) S 4126 4126 709 0 -1 1077944384 1107 0 0 0 9 5 0 0 20 0 28 0 510643654 29526937600 303393 33554432000 4194304 4196468 140734187123168 140659189602832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4136] ppid=4126 vsize=28834900 memory=55 CPUtime=0.14 cores=0-7
/proc/4128/task/4136/stat : 4136 (java) S 4126 4126 709 0 -1 1077944384 1367 0 0 0 9 5 0 0 20 0 28 0 510643654 29526937600 303393 33554432000 4194304 4196468 140734187123168 140659188550032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4137] ppid=4126 vsize=28834900 memory=1452 CPUtime=0.13 cores=0-7
/proc/4128/task/4137/stat : 4137 (java) S 4126 4126 709 0 -1 1077944384 832 0 0 0 7 6 0 0 20 0 28 0 510643654 29526937600 303393 33554432000 4194304 4196468 140734187123168 140659187497232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4138] ppid=4126 vsize=28834900 memory=3616 CPUtime=0.05 cores=0-7
/proc/4128/task/4138/stat : 4138 (java) S 4126 4126 709 0 -1 1077944384 4672 0 0 0 4 1 0 0 20 0 28 0 510643655 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658290416496 140659242257026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4139] ppid=4126 vsize=28834900 memory=1452 CPUtime=0 cores=0-7
/proc/4128/task/4139/stat : 4139 (java) S 4126 4126 709 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510643656 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658289362528 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4140] ppid=4126 vsize=28834900 memory=1452 CPUtime=0 cores=0-7
/proc/4128/task/4140/stat : 4140 (java) S 4126 4126 709 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 510643656 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658288309632 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4141] ppid=4126 vsize=28834900 memory=1213572 CPUtime=0 cores=0-7
/proc/4128/task/4141/stat : 4141 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510643658 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658287257936 140659242264475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4142] ppid=4126 vsize=28834900 memory=3616 CPUtime=2.35 cores=0-7
/proc/4128/task/4142/stat : 4142 (java) S 4126 4126 709 0 -1 1077944384 12246 0 0 0 233 2 0 0 20 0 28 0 510643658 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658286205296 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4143] ppid=4126 vsize=28834900 memory=1452 CPUtime=2.25 cores=0-7
/proc/4128/task/4143/stat : 4143 (java) S 4126 4126 709 0 -1 1077944384 8339 0 0 0 223 2 0 0 20 0 28 0 510643658 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658285152496 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4144] ppid=4126 vsize=28834900 memory=3616 CPUtime=2.29 cores=0-7
/proc/4128/task/4144/stat : 4144 (java) S 4126 4126 709 0 -1 1077944384 13567 0 0 0 227 2 0 0 20 0 28 0 510643658 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658284099696 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4145] ppid=4126 vsize=28834900 memory=11620 CPUtime=1 cores=0-7
/proc/4128/task/4145/stat : 4145 (java) S 4126 4126 709 0 -1 1077944384 15542 0 0 0 96 4 0 0 20 0 28 0 510643658 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658283046896 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4146] ppid=4126 vsize=28834900 memory=3608 CPUtime=0 cores=0-7
/proc/4128/task/4146/stat : 4146 (java) S 4126 4126 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510643659 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658281995360 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4147] ppid=4126 vsize=28834900 memory=1452 CPUtime=0.04 cores=0-7
/proc/4128/task/4147/stat : 4147 (java) S 4126 4126 709 0 -1 1077944384 2392 0 0 0 2 2 0 0 20 0 28 0 510643659 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658280942640 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4794] ppid=4126 vsize=28834900 memory=3616 CPUtime=19.28 cores=0-7
/proc/4128/task/4794/stat : 4794 (java) R 4126 4126 709 0 -1 4202560 736 0 0 0 1928 0 0 0 20 0 28 0 510663914 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658268810792 140659227456494 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4795] ppid=4126 vsize=28834900 memory=2432 CPUtime=19.66 cores=0-7
/proc/4128/task/4795/stat : 4795 (java) R 4126 4126 709 0 -1 4202560 361 0 0 0 1966 0 0 0 20 0 28 0 510663914 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658266706168 140658863547848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4796] ppid=4126 vsize=28834900 memory=1452 CPUtime=19.66 cores=0-7
/proc/4128/task/4796/stat : 4796 (java) R 4126 4126 709 0 -1 4202560 571 0 0 0 1966 0 0 0 20 0 28 0 510663914 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658264601256 140658861630441 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4797] ppid=4126 vsize=28834900 memory=2828 CPUtime=19.63 cores=0-7
/proc/4128/task/4797/stat : 4797 (java) R 4126 4126 709 0 -1 4202560 2130 0 0 0 1961 2 0 0 20 0 28 0 510663914 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658265656112 140658859176495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4798] ppid=4126 vsize=28834900 memory=1000 CPUtime=19.63 cores=0-7
/proc/4128/task/4798/stat : 4798 (java) R 4126 4126 709 0 -1 4202560 817 0 0 0 1962 1 0 0 20 0 28 0 510663914 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658263547832 140658863790266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4799] ppid=4126 vsize=28834900 memory=1560 CPUtime=19.66 cores=0-7
/proc/4128/task/4799/stat : 4799 (java) R 4126 4126 709 0 -1 4202560 421 0 0 0 1966 0 0 0 20 0 28 0 510663914 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658261442424 140658861149992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4800] ppid=4126 vsize=28834900 memory=1172 CPUtime=19.65 cores=0-7
/proc/4128/task/4800/stat : 4800 (java) R 4126 4126 709 0 -1 4202560 1311 0 0 0 1964 1 0 0 20 0 28 0 510663914 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658262495688 140658862784731 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4801] ppid=4126 vsize=28834900 memory=1452 CPUtime=19.64 cores=0-7
/proc/4128/task/4801/stat : 4801 (java) R 4126 4126 709 0 -1 4202560 960 0 0 0 1964 0 0 0 20 0 28 0 510663914 29526937600 303393 33554432000 4194304 4196468 140734187123168 140658271961456 140658861110377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
Current children cumulated CPU time: 1764.58 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 1215024 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.24 8.07 8.13 9/219 4812
/proc/meminfo: memFree=24022064/32770624 swapFree=66936696/67108860
[pid=4126] ppid=4123 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4126/stat : 4126 (xcsp3-exec) S 4123 4126 709 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510643652 115843072 363 33554432000 4194304 5098028 140729912384512 140729912382616 140374333366908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33808384 140729912386427 140729912386670 140729912386670 140729912389578 0
/proc/4126/statm: 28282 363 305 221 0 87 0
[pid=4128] ppid=4126 vsize=28834900 memory=1224376 CPUtime=2001.58 cores=0-7
/proc/4128/stat : 4128 (java) S 4126 4126 709 0 -1 1077944320 168877 0 0 0 199958 200 0 0 20 0 28 0 510643653 29526937600 306094 33554432000 4194304 4196468 140734187123168 140734187105712 140659242245879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
/proc/4128/statm: 7208725 306094 3537 1 0 7169825 0
[pid=4128/tid=4129] ppid=4126 vsize=28834900 memory=988 CPUtime=1.34 cores=0-7
/proc/4128/task/4129/stat : 4129 (java) S 4126 4126 709 0 -1 1077944384 12714 0 0 0 127 7 0 0 20 0 28 0 510643653 29526937600 306094 33554432000 4194304 4196468 140734187123168 140659246486656 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4130] ppid=4126 vsize=28834900 memory=1224376 CPUtime=0.15 cores=0-7
/proc/4128/task/4130/stat : 4130 (java) S 4126 4126 709 0 -1 1077944384 573 0 0 0 9 6 0 0 20 0 28 0 510643654 29526937600 306094 33554432000 4194304 4196468 140734187123168 140659194866832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4131] ppid=4126 vsize=28834900 memory=-7003737579269690708 CPUtime=0.13 cores=0-7
/proc/4128/task/4131/stat : 4131 (java) S 4126 4126 709 0 -1 1077944384 1628 0 0 0 7 6 0 0 20 0 28 0 510643654 29526937600 306094 33554432000 4194304 4196468 140734187123168 140659193814032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4132] ppid=4126 vsize=28834900 memory=-6948614817169703622 CPUtime=0.14 cores=0-7
/proc/4128/task/4132/stat : 4132 (java) S 4126 4126 709 0 -1 1077944384 1111 0 0 0 8 6 0 0 20 0 28 0 510643654 29526937600 306094 33554432000 4194304 4196468 140734187123168 140659192761232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4133] ppid=4126 vsize=28834900 memory=-4695052241013923951 CPUtime=0.15 cores=0-7
/proc/4128/task/4133/stat : 4133 (java) S 4126 4126 709 0 -1 1077944384 1245 0 0 0 9 6 0 0 20 0 28 0 510643654 29526937600 306094 33554432000 4194304 4196468 140734187123168 140659191708432 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4134] ppid=4126 vsize=28834900 memory=-3123010188551861097 CPUtime=0.15 cores=0-7
/proc/4128/task/4134/stat : 4134 (java) S 4126 4126 709 0 -1 1077944384 914 0 0 0 9 6 0 0 20 0 28 0 510643654 29526937600 306094 33554432000 4194304 4196468 140734187123168 140659190655632 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4135] ppid=4126 vsize=28834900 memory=1414353297708861353 CPUtime=0.15 cores=0-7
/proc/4128/task/4135/stat : 4135 (java) S 4126 4126 709 0 -1 1077944384 1176 0 0 0 10 5 0 0 20 0 28 0 510643654 29526937600 306094 33554432000 4194304 4196468 140734187123168 140659189602832 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4136] ppid=4126 vsize=28834900 memory=-3831251742559211316 CPUtime=0.15 cores=0-7
/proc/4128/task/4136/stat : 4136 (java) S 4126 4126 709 0 -1 1077944384 1405 0 0 0 9 6 0 0 20 0 28 0 510643654 29526937600 306094 33554432000 4194304 4196468 140734187123168 140659188550032 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4137] ppid=4126 vsize=28834900 memory=7019467088057612084 CPUtime=0.14 cores=0-7
/proc/4128/task/4137/stat : 4137 (java) S 4126 4126 709 0 -1 1077944384 849 0 0 0 8 6 0 0 20 0 28 0 510643654 29526937600 306094 33554432000 4194304 4196468 140734187123168 140659187497232 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4138] ppid=4126 vsize=28834900 memory=7019467088074389300 CPUtime=0.05 cores=0-7
/proc/4128/task/4138/stat : 4138 (java) S 4126 4126 709 0 -1 1077944384 4968 0 0 0 4 1 0 0 20 0 28 0 510643655 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658290416496 140659242257026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4139] ppid=4126 vsize=28834900 memory=7019467087923459892 CPUtime=0 cores=0-7
/proc/4128/task/4139/stat : 4139 (java) S 4126 4126 709 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 510643656 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658289362528 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4140] ppid=4126 vsize=28834900 memory=1172 CPUtime=0 cores=0-7
/proc/4128/task/4140/stat : 4140 (java) S 4126 4126 709 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 510643656 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658288309632 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4141] ppid=4126 vsize=28834900 memory=14008 CPUtime=0 cores=0-7
/proc/4128/task/4141/stat : 4141 (java) S 4126 4126 709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510643658 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658287257936 140659242264475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4142] ppid=4126 vsize=28834900 memory=1804 CPUtime=2.35 cores=0-7
/proc/4128/task/4142/stat : 4142 (java) S 4126 4126 709 0 -1 1077944384 12267 0 0 0 233 2 0 0 20 0 28 0 510643658 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658286205296 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4143] ppid=4126 vsize=28834900 memory=916 CPUtime=2.25 cores=0-7
/proc/4128/task/4143/stat : 4143 (java) S 4126 4126 709 0 -1 1077944384 8352 0 0 0 223 2 0 0 20 0 28 0 510643658 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658285152496 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4144] ppid=4126 vsize=28834900 memory=4500 CPUtime=2.29 cores=0-7
/proc/4128/task/4144/stat : 4144 (java) S 4126 4126 709 0 -1 1077944384 13580 0 0 0 227 2 0 0 20 0 28 0 510643658 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658284099696 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4145] ppid=4126 vsize=28834900 memory=14076 CPUtime=1 cores=0-7
/proc/4128/task/4145/stat : 4145 (java) S 4126 4126 709 0 -1 1077944384 15562 0 0 0 96 4 0 0 20 0 28 0 510643658 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658283046896 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4146] ppid=4126 vsize=28834900 memory=2116 CPUtime=0 cores=0-7
/proc/4128/task/4146/stat : 4146 (java) S 4126 4126 709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510643659 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658281995360 140659242256085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4147] ppid=4126 vsize=28834900 memory=22980 CPUtime=0.06 cores=0-7
/proc/4128/task/4147/stat : 4147 (java) S 4126 4126 709 0 -1 1077944384 2611 0 0 0 3 3 0 0 20 0 28 0 510643659 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658280942640 140659242257026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4805] ppid=4126 vsize=28834900 memory=528 CPUtime=13.67 cores=0-7
/proc/4128/task/4805/stat : 4805 (java) R 4126 4126 709 0 -1 4202560 630 0 0 0 1367 0 0 0 20 0 28 0 510667484 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658262498464 140658861149762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4806] ppid=4126 vsize=28834900 memory=1560 CPUtime=13.66 cores=0-7
/proc/4128/task/4806/stat : 4806 (java) R 4126 4126 709 0 -1 4202560 427 0 0 0 1366 0 0 0 20 0 28 0 510667484 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658264605384 140658863748446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4807] ppid=4126 vsize=28834900 memory=1452 CPUtime=13.67 cores=0-7
/proc/4128/task/4807/stat : 4807 (java) R 4126 4126 709 0 -1 4202560 524 0 0 0 1367 0 0 0 20 0 28 0 510667484 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658261447240 140658861630381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4808] ppid=4126 vsize=28834900 memory=1224376 CPUtime=13.67 cores=0-7
/proc/4128/task/4808/stat : 4808 (java) R 4126 4126 709 0 -1 4202560 624 0 0 0 1367 0 0 0 20 0 28 0 510667484 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658265657800 140658854695663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4809] ppid=4126 vsize=28834900 memory=2116 CPUtime=13.67 cores=0-7
/proc/4128/task/4809/stat : 4809 (java) R 4126 4126 709 0 -1 4202560 1328 0 0 0 1367 0 0 0 20 0 28 0 510667484 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658268810960 140658859176397 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4810] ppid=4126 vsize=28834900 memory=22980 CPUtime=13.39 cores=0-7
/proc/4128/task/4810/stat : 4810 (java) R 4126 4126 709 0 -1 4202560 526 0 0 0 1339 0 0 0 20 0 28 0 510667484 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658263551696 140658857425936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4811] ppid=4126 vsize=28834900 memory=528 CPUtime=13.66 cores=0-7
/proc/4128/task/4811/stat : 4811 (java) R 4126 4126 709 0 -1 4202560 807 0 0 0 1365 1 0 0 20 0 28 0 510667484 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658271966280 140658859176586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
[pid=4128/tid=4812] ppid=4126 vsize=28834900 memory=1560 CPUtime=13.67 cores=0-7
/proc/4128/task/4812/stat : 4812 (java) R 4126 4126 709 0 -1 4202560 347 0 0 0 1367 0 0 0 20 0 28 0 510667484 29526937600 306094 33554432000 4194304 4196468 140734187123168 140658266710984 140658861752483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39481344 140734187127792 140734187127963 140734187127963 140734187130831 0
Current children cumulated CPU time: 2001.58 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 1225828 KiB

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

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

[startup+252.116 s]
# the end of solver process 4128 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2000.28 s, system=2.01999 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.116
CPU time (s): 2002.3
CPU user time (s): 2000.28
CPU system time (s): 2.01999
CPU usage (%): 794.197
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 1225828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2000.28
system time used= 2.01999
maximum resident set size= 1227732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17362
involuntary context switches= 24217


# summary of solver processes directly reported to runsolver:
#   pid: 4126,4128
#   total CPU time (s): 2002.3
#   total CPU user time (s): 2000.28
#   total CPU system time (s): 2.01999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.42502 second user time and 2.5682 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml
MD5SUM	aadfd6ed706e08b9468e37c047f4c189
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	514
Best CPU time to get the best result obtained on this benchmark	2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	1640
Number of constraints	1599
Number of domains	3
Minimum domain size	1
Maximum domain size	141
Distribution of domain sizes	[{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}]
Minimum variable degree	0
Maximum variable degree	77
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}]
Minimum constraint arity	1
Maximum constraint arity	39
Distribution of constraint arities	[{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}]
Number of extensional constraints	0
Number of intensional constraints	39
Distribution of constraint types	[{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4407483

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