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-20 parallel	SAT (TO)	563	1997.93	252.106

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405083-1569003974.xml"  -tl '2016s' -p 8
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4405083-1569003974.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.48/1.31	c solve instance...
15.34/2.72	o 1572 
15.34/2.73	o 1542 
15.34/2.74	o 1539 
15.34/2.74	o 1535 
15.34/2.75	o 1505 
15.34/2.75	o 1500 
15.34/2.76	o 1483 
15.34/2.77	o 1475 
15.34/2.77	o 1454 
15.96/2.81	o 1451 
17.61/3.08	o 1229 
18.37/3.14	o 1111 
18.37/3.16	o 1096 
18.37/3.17	o 1061 
19.04/3.20	o 1055 
19.04/3.24	o 1043 
19.04/3.28	o 1023 
19.78/3.33	o 1019 
21.39/3.56	o 1009 
21.39/3.57	o 1007 
21.39/3.58	o 1005 
24.45/3.98	o 1003 
24.45/3.99	o 984 
24.45/4.00	o 983 
24.45/4.00	o 981 
24.45/4.01	o 967 
25.29/4.02	o 965 
25.29/4.05	o 960 
25.29/4.07	o 958 
26.70/4.30	o 954 
27.48/4.34	o 947 
29.85/4.61	o 916 
29.85/4.66	o 908 
29.85/4.67	o 893 
30.60/4.72	o 889 
30.60/4.75	o 888 
31.29/4.80	o 885 
31.29/4.85	o 871 
32.89/5.02	o 859 
34.40/5.28	o 846 
39.97/5.97	o 842 
39.97/5.98	o 837 
42.33/6.21	o 831 
42.33/6.24	o 821 
45.44/6.64	o 819 
45.44/6.64	o 815 
47.80/6.90	o 803 
49.40/7.16	o 797 
49.40/7.18	o 796 
49.40/7.19	o 795 
50.08/7.21	o 794 
50.08/7.22	o 776 
50.08/7.24	o 764 
53.18/7.61	o 758 
53.18/7.62	o 752 
54.72/7.88	o 751 
55.51/7.90	o 748 
55.51/7.97	o 746 
58.64/8.39	o 712 
69.00/9.65	o 703 
74.56/10.32	o 687 
76.95/10.64	o 682 
159.04/20.96	o 678 
166.99/21.96	o 665 
178.15/23.37	o 657 
191.75/25.08	o 656 
207.29/27.09	o 653 
357.95/45.92	o 650 
365.89/46.97	o 644 
415.37/53.13	o 643 
424.06/54.28	o 639 
450.38/57.54	o 638 
486.31/62.08	o 630 
503.04/64.14	o 623 
565.18/71.97	o 609 
566.71/72.22	o 600 
662.64/84.36	o 596 
1094.61/138.56	o 594 
1115.86/141.37	o 593 
1169.63/148.13	o 589 
1169.63/148.15	o 582 
1286.59/162.90	o 579 
1414.08/178.86	o 572 
1708.41/215.76	o 567 
1708.41/215.77	o 565 
1782.49/225.09	o 563 
1997.28/252.07	s SATISFIABLE
1997.28/252.07	v <instantiation>
1997.28/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>
1997.28/252.07	v 	<values>0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 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 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 1 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 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 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 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 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 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 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 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 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 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 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 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 123 44 82 9 130 30 75 116 95 84 19 140 122 71 22 34 12 50 131 110 14 52 56 40 99 82 15 66 6 79 93 138 45 60 133 116 9 111 109 </values>
1997.28/252.07	v </instantiation>
1997.28/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 (13263 MiB free)
  memory of node 1: 16384 MiB (11602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405083-1569003974/watcher-4405083-1569003974 -o /tmp/evaluation-result-4405083-1569003974/solver-4405083-1569003974 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568994483-6691 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 569598195 HOME/instance-4405083-1569003974.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 threader pid=4
, stack expansion will
9430
Starting watchdog threader pid=4
, stack expansion will
9430Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 7.91 7.47 7.82 2/209 9454
/proc/meminfo: memFree=25446284/32770624 swapFree=66939144/67108860
[pid=9433] ppid=9430 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9433/stat : 9433 (xcsp3-exec) S 9430 9433 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476667154 115843072 362 33554432000 4194304 5098028 140735180538336 140735180536440 140268660699772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140735180542844 140735180543086 140735180543086 140735180545994 0
/proc/9433/statm: 28282 362 304 221 0 87 0
[pid=9435] ppid=9433 vsize=28227396 memory=29160 CPUtime=0.13 cores=0-7
/proc/9435/stat : 9435 (java) S 9433 9433 6664 0 -1 1077944320 5694 0 0 0 11 2 0 0 20 0 20 0 476667154 28904853504 7290 33554432000 4194304 4196468 140727120037520 140727120020064 140288586764023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
/proc/9435/statm: 7056849 7290 3158 1 0 7019032 0
[pid=9435/tid=9436] ppid=9433 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9435/task/9436/stat : 9436 (java) R 9433 9433 6664 0 -1 4202560 3609 0 0 0 8 1 0 0 20 0 20 0 476667154 28904853504 7290 33554432000 4194304 4196468 140727120037520 140288590989984 140288211438288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9437] ppid=9433 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9435/task/9437/stat : 9437 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 7290 33554432000 4194304 4196468 140727120037520 140288539384592 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9438] ppid=9433 vsize=28227396 memory=139972086732416 CPUtime=0 cores=0-7
/proc/9435/task/9438/stat : 9438 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 7290 33554432000 4194304 4196468 140727120037520 140288538332048 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9439] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9439/stat : 9439 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 7290 33554432000 4194304 4196468 140727120037520 140288537279504 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9440] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9440/stat : 9440 (java) S 9433 9433 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 7290 33554432000 4194304 4196468 140727120037520 140288536226960 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9441] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9441/stat : 9441 (java) S 9433 9433 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 7290 33554432000 4194304 4196468 140727120037520 140288535173392 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9442] ppid=9433 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9435/task/9442/stat : 9442 (java) S 9433 9433 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 7290 33554432000 4194304 4196468 140727120037520 140288534120848 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9443] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9443/stat : 9443 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 7290 33554432000 4194304 4196468 140727120037520 140288533068304 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9444] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9444/stat : 9444 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 7290 33554432000 4194304 4196468 140727120037520 140288532015760 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9445] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9445/stat : 9445 (java) S 9433 9433 6664 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 476667157 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287184714224 140288586775170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9446] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9446/stat : 9446 (java) S 9433 9433 6664 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476667157 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287183660448 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9447] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9447/stat : 9447 (java) S 9433 9433 6664 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476667157 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287182607856 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9448] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9448/stat : 9448 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667160 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287181556432 140288586782619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9449] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9449/stat : 9449 (java) R 9433 9433 6664 0 -1 4202560 412 0 0 0 0 0 0 0 20 0 20 0 476667160 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287180503024 140288586775170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9450] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9450/stat : 9450 (java) S 9433 9433 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476667160 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287179450480 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9451] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9451/stat : 9451 (java) R 9433 9433 6664 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 476667160 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287178397936 140288586785370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9452] ppid=9433 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9435/task/9452/stat : 9452 (java) R 9433 9433 6664 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 476667160 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287177345392 140288586775958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9453] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9453/stat : 9453 (java) S 9433 9433 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476667160 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287176293088 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9454] ppid=9433 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9435/task/9454/stat : 9454 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667160 28904853504 7290 33554432000 4194304 4196468 140727120037520 140287175240624 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30608 KiB

[startup+0.210719 s]*
/proc/loadavg: 7.91 7.47 7.82 2/209 9454
/proc/meminfo: memFree=25434436/32770624 swapFree=66939144/67108860
[pid=9433] ppid=9430 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9433/stat : 9433 (xcsp3-exec) S 9430 9433 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476667154 115843072 362 33554432000 4194304 5098028 140735180538336 140735180536440 140268660699772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140735180542844 140735180543086 140735180543086 140735180545994 0
/proc/9433/statm: 28282 362 304 221 0 87 0
[pid=9435] ppid=9433 vsize=28227396 memory=40340 CPUtime=0.34 cores=0-7
/proc/9435/stat : 9435 (java) S 9433 9433 6664 0 -1 1077944320 9362 0 0 0 30 4 0 0 20 0 20 0 476667154 28904853504 10085 33554432000 4194304 4196468 140727120037520 140727120020064 140288586764023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
/proc/9435/statm: 7056849 10085 3269 1 0 7019032 0
[pid=9435/tid=9436] ppid=9433 vsize=28227396 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/9435/task/9436/stat : 9436 (java) R 9433 9433 6664 0 -1 4202560 6590 0 0 0 17 2 0 0 20 0 20 0 476667154 28904853504 10085 33554432000 4194304 4196468 140727120037520 140288590994576 140288554354795 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9437] ppid=9433 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/9435/task/9437/stat : 9437 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 10085 33554432000 4194304 4196468 140727120037520 140288539384592 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9438] ppid=9433 vsize=28227396 memory=16239245635491480 CPUtime=0 cores=0-7
/proc/9435/task/9438/stat : 9438 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 10085 33554432000 4194304 4196468 140727120037520 140288538332048 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9439] ppid=9433 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9435/task/9439/stat : 9439 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 10085 33554432000 4194304 4196468 140727120037520 140288537279504 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9440] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9440/stat : 9440 (java) S 9433 9433 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 10085 33554432000 4194304 4196468 140727120037520 140288536226960 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9441] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9441/stat : 9441 (java) S 9433 9433 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 10085 33554432000 4194304 4196468 140727120037520 140288535173392 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9442] ppid=9433 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9435/task/9442/stat : 9442 (java) S 9433 9433 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 10085 33554432000 4194304 4196468 140727120037520 140288534120848 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9443] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9443/stat : 9443 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 10085 33554432000 4194304 4196468 140727120037520 140288533068304 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9444] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9444/stat : 9444 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28904853504 10085 33554432000 4194304 4196468 140727120037520 140288532015760 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9445] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9445/stat : 9445 (java) S 9433 9433 6664 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 476667157 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287184714224 140288586775170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9446] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9446/stat : 9446 (java) S 9433 9433 6664 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476667157 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287183660448 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9447] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9447/stat : 9447 (java) S 9433 9433 6664 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476667157 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287182607856 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9448] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9448/stat : 9448 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667160 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287181556432 140288586782619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9449] ppid=9433 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9435/task/9449/stat : 9449 (java) S 9433 9433 6664 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 20 0 476667160 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287180503024 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9450] ppid=9433 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9435/task/9450/stat : 9450 (java) S 9433 9433 6664 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 476667160 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287179450480 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9451] ppid=9433 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9435/task/9451/stat : 9451 (java) S 9433 9433 6664 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 476667160 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287178397936 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9452] ppid=9433 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/9435/task/9452/stat : 9452 (java) R 9433 9433 6664 0 -1 4202560 803 0 0 0 7 0 0 0 20 0 20 0 476667160 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287177345200 140288565306705 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9453] ppid=9433 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9453/stat : 9453 (java) S 9433 9433 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476667160 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287176293088 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9454] ppid=9433 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9435/task/9454/stat : 9454 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667160 28904853504 10085 33554432000 4194304 4196468 140727120037520 140287175240624 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41788 KiB

[startup+0.31041 s]*
/proc/loadavg: 7.91 7.47 7.82 3/209 9454
/proc/meminfo: memFree=25426804/32770624 swapFree=66939144/67108860
[pid=9433] ppid=9430 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9433/stat : 9433 (xcsp3-exec) S 9430 9433 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476667154 115843072 362 33554432000 4194304 5098028 140735180538336 140735180536440 140268660699772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140735180542844 140735180543086 140735180543086 140735180545994 0
/proc/9433/statm: 28282 362 304 221 0 87 0
[pid=9435] ppid=9433 vsize=28231652 memory=49604 CPUtime=0.51 cores=0-7
/proc/9435/stat : 9435 (java) S 9433 9433 6664 0 -1 1077944320 10737 0 0 0 46 5 0 0 20 0 20 0 476667154 28909211648 12401 33554432000 4194304 4196468 140727120037520 140727120020064 140288586764023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
/proc/9435/statm: 7057913 12401 3349 1 0 7019032 0
[pid=9435/tid=9436] ppid=9433 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9435/task/9436/stat : 9436 (java) R 9433 9433 6664 0 -1 4202560 7731 0 0 0 26 3 0 0 20 0 20 0 476667154 28909211648 12401 33554432000 4194304 4196468 140727120037520 140288591001184 140288570844510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9437] ppid=9433 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9437/stat : 9437 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28909211648 12401 33554432000 4194304 4196468 140727120037520 140288539384592 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9438] ppid=9433 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9438/stat : 9438 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28909211648 12401 33554432000 4194304 4196468 140727120037520 140288538332048 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9439] ppid=9433 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9439/stat : 9439 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28909211648 12401 33554432000 4194304 4196468 140727120037520 140288537279504 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9440] ppid=9433 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9440/stat : 9440 (java) S 9433 9433 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476667155 28909211648 12401 33554432000 4194304 4196468 140727120037520 140288536226960 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9441] ppid=9433 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9441/stat : 9441 (java) S 9433 9433 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476667155 28909211648 12401 33554432000 4194304 4196468 140727120037520 140288535173392 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9442] ppid=9433 vsize=28231652 memory=139971977636527 CPUtime=0 cores=0-7
/proc/9435/task/9442/stat : 9442 (java) S 9433 9433 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476667155 28909211648 12401 33554432000 4194304 4196468 140727120037520 140288534120848 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9443] ppid=9433 vsize=28231652 memory=139971977638832 CPUtime=0 cores=0-7
/proc/9435/task/9443/stat : 9443 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28909211648 12401 33554432000 4194304 4196468 140727120037520 140288533068304 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9444] ppid=9433 vsize=28231652 memory=139971977641136 CPUtime=0 cores=0-7
/proc/9435/task/9444/stat : 9444 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28909211648 12401 33554432000 4194304 4196468 140727120037520 140288532015760 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9445] ppid=9433 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9445/stat : 9445 (java) S 9433 9433 6664 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 476667157 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287184714224 140288586775170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9446] ppid=9433 vsize=28231652 memory=279943955296144 CPUtime=0 cores=0-7
/proc/9435/task/9446/stat : 9446 (java) S 9433 9433 6664 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476667157 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287183660448 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9447] ppid=9433 vsize=28231652 memory=279943955293840 CPUtime=0 cores=0-7
/proc/9435/task/9447/stat : 9447 (java) S 9433 9433 6664 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476667157 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287182607856 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9448] ppid=9433 vsize=28231652 memory=279943955300752 CPUtime=0 cores=0-7
/proc/9435/task/9448/stat : 9448 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667160 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287181556432 140288586782619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9449] ppid=9433 vsize=28231652 memory=279943955242032 CPUtime=0.01 cores=0-7
/proc/9435/task/9449/stat : 9449 (java) S 9433 9433 6664 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 20 0 476667160 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287180503024 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9450] ppid=9433 vsize=28231652 memory=279943955314576 CPUtime=0.03 cores=0-7
/proc/9435/task/9450/stat : 9450 (java) S 9433 9433 6664 0 -1 1077944384 137 0 0 0 3 0 0 0 20 0 20 0 476667160 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287179450480 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9451] ppid=9433 vsize=28231652 memory=279943955321488 CPUtime=0.02 cores=0-7
/proc/9435/task/9451/stat : 9451 (java) S 9433 9433 6664 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 20 0 476667160 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287178397936 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9452] ppid=9433 vsize=28231652 memory=279943955319184 CPUtime=0.12 cores=0-7
/proc/9435/task/9452/stat : 9452 (java) S 9433 9433 6664 0 -1 1077944384 973 0 0 0 12 0 0 0 20 0 20 0 476667160 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287177345392 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9453] ppid=9433 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9435/task/9453/stat : 9453 (java) S 9433 9433 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476667160 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287176293088 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9454] ppid=9433 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9435/task/9454/stat : 9454 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667160 28909211648 12401 33554432000 4194304 4196468 140727120037520 140287175240624 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51052 KiB

[startup+0.700958 s]
/proc/loadavg: 7.91 7.47 7.82 4/209 9454
/proc/meminfo: memFree=25403420/32770624 swapFree=66939144/67108860
[pid=9433] ppid=9430 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9433/stat : 9433 (xcsp3-exec) S 9430 9433 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476667154 115843072 362 33554432000 4194304 5098028 140735180538336 140735180536440 140268660699772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140735180542844 140735180543086 140735180543086 140735180545994 0
/proc/9433/statm: 28282 362 304 221 0 87 0
[pid=9435] ppid=9433 vsize=28233776 memory=95328 CPUtime=1.97 cores=0-7
/proc/9435/stat : 9435 (java) S 9433 9433 6664 0 -1 1077944320 16017 0 0 0 189 8 0 0 20 0 20 0 476667154 28911386624 23832 33554432000 4194304 4196468 140727120037520 140727120020064 140288586764023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
/proc/9435/statm: 7058444 23832 3449 1 0 7019544 0
[pid=9435/tid=9436] ppid=9433 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/9435/task/9436/stat : 9436 (java) R 9433 9433 6664 0 -1 4202560 9203 0 0 0 63 5 0 0 20 0 20 0 476667154 28911386624 23832 33554432000 4194304 4196468 140727120037520 140288590997600 140288586775958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9437] ppid=9433 vsize=28233776 memory=2353 CPUtime=0 cores=0-7
/proc/9435/task/9437/stat : 9437 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476667155 28911386624 23832 33554432000 4194304 4196468 140727120037520 140288539384592 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9438] ppid=9433 vsize=28233776 memory=0 CPUtime=0 cores=0-7

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

[pid=9435/tid=10126] ppid=9433 vsize=28769364 memory=1096 CPUtime=14 cores=0-7
/proc/9435/task/10126/stat : 10126 (java) R 9433 9433 6664 0 -1 4202560 338 0 0 0 1400 0 0 0 20 0 28 0 476681970 29459828736 546051 33554432000 4194304 4196468 140727120037520 140287160996840 140288219533467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
Current children cumulated CPU time: 1282.59 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2185652 KiB

[startup+222.302 s]
/proc/loadavg: 8.24 8.03 7.99 9/218 10163
/proc/meminfo: memFree=23269552/32770624 swapFree=66939148/67108860
[pid=9433] ppid=9430 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9433/stat : 9433 (xcsp3-exec) S 9430 9433 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476667154 115843072 362 33554432000 4194304 5098028 140735180538336 140735180536440 140268660699772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140735180542844 140735180543086 140735180543086 140735180545994 0
/proc/9433/statm: 28282 362 304 221 0 87 0
[pid=9435] ppid=9433 vsize=28769364 memory=2201608 CPUtime=1761.02 cores=0-7
/proc/9435/stat : 9435 (java) S 9433 9433 6664 0 -1 1077944320 146090 0 0 0 175885 217 0 0 20 0 28 0 476667154 29459828736 550402 33554432000 4194304 4196468 140727120037520 140727120020064 140288586764023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
/proc/9435/statm: 7192341 550402 3538 1 0 7153441 0
[pid=9435/tid=9436] ppid=9433 vsize=28769364 memory=2201668 CPUtime=1.38 cores=0-7
/proc/9435/task/9436/stat : 9436 (java) S 9433 9433 6664 0 -1 1077944384 15022 0 0 0 130 8 0 0 20 0 28 0 476667154 29459828736 550402 33554432000 4194304 4196468 140727120037520 140288591004800 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9437] ppid=9433 vsize=28769364 memory=2201668 CPUtime=0.11 cores=0-7
/proc/9435/task/9437/stat : 9437 (java) S 9433 9433 6664 0 -1 1077944384 565 0 0 0 6 5 0 0 20 0 28 0 476667155 29459828736 550402 33554432000 4194304 4196468 140727120037520 140288539384592 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9438] ppid=9433 vsize=28769364 memory=2201608 CPUtime=0.14 cores=0-7
/proc/9435/task/9438/stat : 9438 (java) S 9433 9433 6664 0 -1 1077944384 295 0 0 0 8 6 0 0 20 0 28 0 476667155 29459828736 550402 33554432000 4194304 4196468 140727120037520 140288538332048 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9439] ppid=9433 vsize=28769364 memory=2201608 CPUtime=0.12 cores=0-7
/proc/9435/task/9439/stat : 9439 (java) S 9433 9433 6664 0 -1 1077944384 284 0 0 0 6 6 0 0 20 0 28 0 476667155 29459828736 550402 33554432000 4194304 4196468 140727120037520 140288537279504 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9440] ppid=9433 vsize=28769364 memory=1448 CPUtime=0.12 cores=0-7
/proc/9435/task/9440/stat : 9440 (java) S 9433 9433 6664 0 -1 1077944384 631 0 0 0 7 5 0 0 20 0 28 0 476667155 29459828736 550402 33554432000 4194304 4196468 140727120037520 140288536226960 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9441] ppid=9433 vsize=28769364 memory=56 CPUtime=0.11 cores=0-7
/proc/9435/task/9441/stat : 9441 (java) S 9433 9433 6664 0 -1 1077944384 344 0 0 0 6 5 0 0 20 0 28 0 476667155 29459828736 550402 33554432000 4194304 4196468 140727120037520 140288535173392 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9442] ppid=9433 vsize=28769364 memory=2201608 CPUtime=0.1 cores=0-7
/proc/9435/task/9442/stat : 9442 (java) S 9433 9433 6664 0 -1 1077944384 255 0 0 0 6 4 0 0 20 0 28 0 476667155 29459828736 550402 33554432000 4194304 4196468 140727120037520 140288534120848 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9443] ppid=9433 vsize=28769364 memory=1448 CPUtime=0.12 cores=0-7
/proc/9435/task/9443/stat : 9443 (java) S 9433 9433 6664 0 -1 1077944384 212 0 0 0 7 5 0 0 20 0 28 0 476667155 29459828736 550402 33554432000 4194304 4196468 140727120037520 140288533068304 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9444] ppid=9433 vsize=28769364 memory=8112282956445269571 CPUtime=0.13 cores=0-7
/proc/9435/task/9444/stat : 9444 (java) S 9433 9433 6664 0 -1 1077944384 1057 0 0 0 7 6 0 0 20 0 28 0 476667155 29459828736 550402 33554432000 4194304 4196468 140727120037520 140288532015760 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9445] ppid=9433 vsize=28769364 memory=2176004 CPUtime=0.04 cores=0-7
/proc/9435/task/9445/stat : 9445 (java) S 9433 9433 6664 0 -1 1077944384 2863 0 0 0 2 2 0 0 20 0 28 0 476667157 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287184714224 140288586775170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9446] ppid=9433 vsize=28769364 memory=2016 CPUtime=0 cores=0-7
/proc/9435/task/9446/stat : 9446 (java) S 9433 9433 6664 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476667157 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287183660512 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9447] ppid=9433 vsize=28769364 memory=1416 CPUtime=0 cores=0-7
/proc/9435/task/9447/stat : 9447 (java) S 9433 9433 6664 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476667157 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287182607872 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9448] ppid=9433 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9435/task/9448/stat : 9448 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476667160 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287181556432 140288586782619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9449] ppid=9433 vsize=28769364 memory=8112282956445269571 CPUtime=2.47 cores=0-7
/proc/9435/task/9449/stat : 9449 (java) S 9433 9433 6664 0 -1 1077944384 9878 0 0 0 244 3 0 0 20 0 28 0 476667160 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287180503024 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9450] ppid=9433 vsize=28769364 memory=2175832 CPUtime=2.52 cores=0-7
/proc/9435/task/9450/stat : 9450 (java) S 9433 9433 6664 0 -1 1077944384 11276 0 0 0 250 2 0 0 20 0 28 0 476667160 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287179450480 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9451] ppid=9433 vsize=28769364 memory=3616 CPUtime=2.16 cores=0-7
/proc/9435/task/9451/stat : 9451 (java) S 9433 9433 6664 0 -1 1077944384 6645 0 0 0 215 1 0 0 20 0 28 0 476667160 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287178397936 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9452] ppid=9433 vsize=28769364 memory=1552 CPUtime=0.99 cores=0-7
/proc/9435/task/9452/stat : 9452 (java) S 9433 9433 6664 0 -1 1077944384 10640 0 0 0 94 5 0 0 20 0 28 0 476667160 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287177345392 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9453] ppid=9433 vsize=28769364 memory=3640 CPUtime=0 cores=0-7
/proc/9435/task/9453/stat : 9453 (java) S 9433 9433 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476667160 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287176293088 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9454] ppid=9433 vsize=28769364 memory=1448 CPUtime=0.04 cores=0-7
/proc/9435/task/9454/stat : 9454 (java) S 9433 9433 6664 0 -1 1077944384 2034 0 0 0 0 4 0 0 20 0 28 0 476667160 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287175240624 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10156] ppid=9433 vsize=28769364 memory=1448 CPUtime=6.52 cores=0-7
/proc/9435/task/10156/stat : 10156 (java) R 9433 9433 6664 0 -1 4202560 226 0 0 0 652 0 0 0 20 0 28 0 476688731 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287162052360 140288215222147 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10157] ppid=9433 vsize=28769364 memory=3616 CPUtime=6.52 cores=0-7
/proc/9435/task/10157/stat : 10157 (java) R 9433 9433 6664 0 -1 4202560 187 0 0 0 652 0 0 0 20 0 28 0 476688731 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287155745784 140288218863216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10158] ppid=9433 vsize=28769364 memory=53840 CPUtime=6.52 cores=0-7
/proc/9435/task/10158/stat : 10158 (java) R 9433 9433 6664 0 -1 4202560 227 0 0 0 652 0 0 0 20 0 28 0 476688731 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287166263416 140288221340562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10159] ppid=9433 vsize=28769364 memory=1448 CPUtime=6.38 cores=0-7
/proc/9435/task/10159/stat : 10159 (java) R 9433 9433 6664 0 -1 4202560 858 0 0 0 637 1 0 0 20 0 28 0 476688731 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287161000184 140288221768487 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10160] ppid=9433 vsize=28769364 memory=3616 CPUtime=6.51 cores=0-7
/proc/9435/task/10160/stat : 10160 (java) R 9433 9433 6664 0 -1 4202560 336 0 0 0 650 1 0 0 20 0 28 0 476688731 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287163108296 140288221783230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10161] ppid=9433 vsize=28769364 memory=1448 CPUtime=6.51 cores=0-7
/proc/9435/task/10161/stat : 10161 (java) R 9433 9433 6664 0 -1 4202560 576 0 0 0 649 2 0 0 20 0 28 0 476688731 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287165213768 140288218808561 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10162] ppid=9433 vsize=28769364 memory=3616 CPUtime=6.51 cores=0-7
/proc/9435/task/10162/stat : 10162 (java) R 9433 9433 6664 0 -1 4202560 617 0 0 0 651 0 0 0 20 0 28 0 476688731 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287156800712 140288218808849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10163] ppid=9433 vsize=28769364 memory=53840 CPUtime=6.52 cores=0-7
/proc/9435/task/10163/stat : 10163 (java) R 9433 9433 6664 0 -1 4202560 220 0 0 0 652 0 0 0 20 0 28 0 476688731 29459828736 550402 33554432000 4194304 4196468 140727120037520 140287164161352 140288221340477 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
Current children cumulated CPU time: 1761.02 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2203056 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.15 8.03 7.99 9/218 10173
/proc/meminfo: memFree=23270504/32770624 swapFree=66939148/67108860
[pid=9433] ppid=9430 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9433/stat : 9433 (xcsp3-exec) S 9430 9433 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476667154 115843072 362 33554432000 4194304 5098028 140735180538336 140735180536440 140268660699772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20168704 140735180542844 140735180543086 140735180543086 140735180545994 0
/proc/9433/statm: 28282 362 304 221 0 87 0
[pid=9435] ppid=9433 vsize=28769364 memory=2201076 CPUtime=1997.28 cores=0-7
/proc/9435/stat : 9435 (java) S 9433 9433 6664 0 -1 1077944320 158939 0 0 0 199485 243 0 0 20 0 28 0 476667154 29459828736 550269 33554432000 4194304 4196468 140727120037520 140727120020064 140288586764023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
/proc/9435/statm: 7192341 550269 3538 1 0 7153441 0
[pid=9435/tid=9436] ppid=9433 vsize=28769364 memory=2201076 CPUtime=1.38 cores=0-7
/proc/9435/task/9436/stat : 9436 (java) S 9433 9433 6664 0 -1 1077944384 15282 0 0 0 130 8 0 0 20 0 28 0 476667154 29459828736 550269 33554432000 4194304 4196468 140727120037520 140288591004800 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9437] ppid=9433 vsize=28769364 memory=10728 CPUtime=0.12 cores=0-7
/proc/9435/task/9437/stat : 9437 (java) S 9433 9433 6664 0 -1 1077944384 603 0 0 0 6 6 0 0 20 0 28 0 476667155 29459828736 550269 33554432000 4194304 4196468 140727120037520 140288539384592 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9438] ppid=9433 vsize=28769364 memory=4126316290023845779 CPUtime=0.14 cores=0-7
/proc/9435/task/9438/stat : 9438 (java) S 9433 9433 6664 0 -1 1077944384 439 0 0 0 8 6 0 0 20 0 28 0 476667155 29459828736 550269 33554432000 4194304 4196468 140727120037520 140288538332048 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9439] ppid=9433 vsize=28769364 memory=2201604 CPUtime=0.12 cores=0-7
/proc/9435/task/9439/stat : 9439 (java) S 9433 9433 6664 0 -1 1077944384 722 0 0 0 6 6 0 0 20 0 28 0 476667155 29459828736 550269 33554432000 4194304 4196468 140727120037520 140288537279504 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9440] ppid=9433 vsize=28769364 memory=1448 CPUtime=0.13 cores=0-7
/proc/9435/task/9440/stat : 9440 (java) S 9433 9433 6664 0 -1 1077944384 721 0 0 0 7 6 0 0 20 0 28 0 476667155 29459828736 550269 33554432000 4194304 4196468 140727120037520 140288536226960 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9441] ppid=9433 vsize=28769364 memory=2201076 CPUtime=0.11 cores=0-7
/proc/9435/task/9441/stat : 9441 (java) S 9433 9433 6664 0 -1 1077944384 419 0 0 0 6 5 0 0 20 0 28 0 476667155 29459828736 550269 33554432000 4194304 4196468 140727120037520 140288535173392 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9442] ppid=9433 vsize=28769364 memory=1448 CPUtime=0.11 cores=0-7
/proc/9435/task/9442/stat : 9442 (java) S 9433 9433 6664 0 -1 1077944384 294 0 0 0 6 5 0 0 20 0 28 0 476667155 29459828736 550269 33554432000 4194304 4196468 140727120037520 140288534120848 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9443] ppid=9433 vsize=28769364 memory=2201076 CPUtime=0.13 cores=0-7
/proc/9435/task/9443/stat : 9443 (java) S 9433 9433 6664 0 -1 1077944384 243 0 0 0 7 6 0 0 20 0 28 0 476667155 29459828736 550269 33554432000 4194304 4196468 140727120037520 140288533068304 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9444] ppid=9433 vsize=28769364 memory=8112282956445269571 CPUtime=0.13 cores=0-7
/proc/9435/task/9444/stat : 9444 (java) S 9433 9433 6664 0 -1 1077944384 1120 0 0 0 7 6 0 0 20 0 28 0 476667155 29459828736 550269 33554432000 4194304 4196468 140727120037520 140288532015760 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9445] ppid=9433 vsize=28769364 memory=1448 CPUtime=0.05 cores=0-7
/proc/9435/task/9445/stat : 9445 (java) S 9433 9433 6664 0 -1 1077944384 3229 0 0 0 3 2 0 0 20 0 28 0 476667157 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287184714224 140288586775170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9446] ppid=9433 vsize=28769364 memory=2201076 CPUtime=0 cores=0-7
/proc/9435/task/9446/stat : 9446 (java) S 9433 9433 6664 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476667157 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287183660512 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9447] ppid=9433 vsize=28769364 memory=1560 CPUtime=0 cores=0-7
/proc/9435/task/9447/stat : 9447 (java) S 9433 9433 6664 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476667157 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287182607872 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9448] ppid=9433 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/9435/task/9448/stat : 9448 (java) S 9433 9433 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476667160 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287181556432 140288586782619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9449] ppid=9433 vsize=28769364 memory=2201076 CPUtime=2.47 cores=0-7
/proc/9435/task/9449/stat : 9449 (java) S 9433 9433 6664 0 -1 1077944384 9919 0 0 0 244 3 0 0 20 0 28 0 476667160 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287180503024 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9450] ppid=9433 vsize=28769364 memory=2201608 CPUtime=2.52 cores=0-7
/proc/9435/task/9450/stat : 9450 (java) S 9433 9433 6664 0 -1 1077944384 11291 0 0 0 250 2 0 0 20 0 28 0 476667160 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287179450480 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9451] ppid=9433 vsize=28769364 memory=56 CPUtime=2.16 cores=0-7
/proc/9435/task/9451/stat : 9451 (java) S 9433 9433 6664 0 -1 1077944384 6660 0 0 0 215 1 0 0 20 0 28 0 476667160 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287178397936 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9452] ppid=9433 vsize=28769364 memory=1448 CPUtime=0.99 cores=0-7
/proc/9435/task/9452/stat : 9452 (java) S 9433 9433 6664 0 -1 1077944384 11041 0 0 0 94 5 0 0 20 0 28 0 476667160 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287177345392 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9453] ppid=9433 vsize=28769364 memory=2201076 CPUtime=0 cores=0-7
/proc/9435/task/9453/stat : 9453 (java) S 9433 9433 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476667160 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287176293088 140288586774229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=9454] ppid=9433 vsize=28769364 memory=7666367259033621074 CPUtime=0.05 cores=0-7
/proc/9435/task/9454/stat : 9454 (java) S 9433 9433 6664 0 -1 1077944384 2307 0 0 0 0 5 0 0 20 0 28 0 476667160 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287175240624 140288586775170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10164] ppid=9433 vsize=28769364 memory=7666367259033621074 CPUtime=26.88 cores=0-7
/proc/9435/task/10164/stat : 10164 (java) R 9433 9433 6664 0 -1 4202560 855 0 0 0 2688 0 0 0 20 0 28 0 476689663 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287155740248 140288219491195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10165] ppid=9433 vsize=28769364 memory=7666367259033621074 CPUtime=26.88 cores=0-7
/proc/9435/task/10165/stat : 10165 (java) R 9433 9433 6664 0 -1 4202560 514 0 0 0 2688 0 0 0 20 0 28 0 476689663 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287163102024 140288219946250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10166] ppid=9433 vsize=28769364 memory=7666367259033621074 CPUtime=26.6 cores=0-7
/proc/9435/task/10166/stat : 10166 (java) R 9433 9433 6664 0 -1 4202560 709 0 0 0 2660 0 0 0 20 0 28 0 476689663 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287165206128 140288218863448 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10167] ppid=9433 vsize=28769364 memory=7666367259033621074 CPUtime=26.89 cores=0-7
/proc/9435/task/10167/stat : 10167 (java) R 9433 9433 6664 0 -1 4202560 567 0 0 0 2689 0 0 0 20 0 28 0 476689663 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287160996328 140288219516591 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10168] ppid=9433 vsize=28769364 memory=7235146499394523747 CPUtime=26.88 cores=0-7
/proc/9435/task/10168/stat : 10168 (java) R 9433 9433 6664 0 -1 4202560 2156 0 0 0 2681 7 0 0 20 0 28 0 476689663 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287162051344 140288221342336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10169] ppid=9433 vsize=28769364 memory=7235146499394523747 CPUtime=26.88 cores=0-7
/proc/9435/task/10169/stat : 10169 (java) R 9433 9433 6664 0 -1 4202560 1577 0 0 0 2685 3 0 0 20 0 28 0 476689663 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287166259432 140288218808876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10170] ppid=9433 vsize=28769364 memory=7163648556860465746 CPUtime=26.88 cores=0-7
/proc/9435/task/10170/stat : 10170 (java) R 9433 9433 6664 0 -1 4202560 1102 0 0 0 2686 2 0 0 20 0 28 0 476689663 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287164154168 140288218615504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
[pid=9435/tid=10171] ppid=9433 vsize=28769364 memory=7163648556860465746 CPUtime=26.65 cores=0-7
/proc/9435/task/10171/stat : 10171 (java) R 9433 9433 6664 0 -1 4202560 1060 0 0 0 2660 5 0 0 20 0 28 0 476689663 29459828736 550269 33554432000 4194304 4196468 140727120037520 140287156793832 140288221340677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21471232 140727120045040 140727120045211 140727120045211 140727120048079 0
Current children cumulated CPU time: 1997.28 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2202524 KiB

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

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

[startup+252.106 s]
# the end of solver process 9435 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1995.47 s, system=2.45125 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.106
CPU time (s): 1997.93
CPU user time (s): 1995.47
CPU system time (s): 2.45125
CPU usage (%): 792.494
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 2203116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1995.47
system time used= 2.45125
maximum resident set size= 2213900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17671
involuntary context switches= 20913


# summary of solver processes directly reported to runsolver:
#   pid: 9433,9435
#   total CPU time (s): 1997.93
#   total CPU user time (s): 1995.47
#   total CPU system time (s): 2.45125

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.49069 second user time and 2.4661 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 4405083

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