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	SAT (TO)	519	2400.35	603.879

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404183-1568990768.xml"  -tl '2400s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404183-1568990768.xml, -tl, 2400s, -p, 4]
0.33/0.22	c 4 solvers in parallel
0.33/0.28	c parse instance...
2.80/1.09	c solve instance...
11.06/3.18	o 1229 
11.06/3.34	o 1227 
11.06/3.34	o 1224 
11.06/3.34	o 1198 
11.06/3.34	o 1162 
11.06/3.34	o 1153 
11.06/3.40	o 1128 
13.35/3.71	o 1123 
13.76/3.87	o 1121 
14.96/4.17	o 1117 
14.96/4.19	o 1094 
15.38/4.23	o 1093 
15.38/4.24	o 1091 
15.79/4.38	o 1088 
16.08/4.42	o 1079 
16.84/4.64	o 1073 
16.84/4.65	o 1068 
16.84/4.67	o 1057 
17.21/4.78	o 1055 
17.21/4.79	o 1049 
17.62/4.89	o 1035 
18.39/5.04	o 1032 
18.77/5.11	o 1018 
18.77/5.18	o 1016 
20.34/5.53	o 1005 
20.34/5.54	o 998 
21.12/5.77	o 987 
21.12/5.77	o 955 
21.12/5.78	o 954 
21.12/5.79	o 937 
21.51/5.83	o 934 
21.51/5.83	o 923 
21.51/5.86	o 911 
22.28/6.03	o 905 
22.28/6.05	o 902 
22.28/6.07	o 873 
22.28/6.08	o 870 
23.47/6.34	o 847 
24.20/6.54	o 838 
24.20/6.55	o 834 
25.39/6.82	o 829 
26.58/7.10	o 825 
26.58/7.11	o 817 
26.58/7.12	o 809 
26.58/7.12	o 787 
26.58/7.13	o 786 
26.58/7.13	o 785 
26.58/7.14	o 768 
26.58/7.19	o 760 
26.58/7.19	o 749 
27.74/7.46	o 748 
28.54/7.66	o 746 
30.53/8.15	o 744 
31.73/8.44	o 712 
32.12/8.51	o 707 
34.11/9.01	o 694 
34.11/9.01	o 685 
34.11/9.02	o 667 
35.34/9.35	o 666 
42.07/11.00	o 659 
42.07/11.02	o 654 
42.07/11.03	o 650 
42.07/11.05	o 634 
51.24/13.34	o 625 
82.70/21.27	o 623 
82.70/21.29	o 615 
83.86/21.52	o 608 
89.44/22.95	o 604 
90.65/23.27	o 600 
145.58/37.08	o 597 
157.92/40.15	o 589 
206.90/52.45	o 585 
382.91/96.64	o 580 
398.84/100.61	o 576 
441.10/111.30	o 568 
526.45/132.78	o 557 
551.86/139.26	o 556 
600.91/151.65	o 552 
635.21/160.44	o 535 
703.56/177.61	o 533 
736.22/185.84	o 525 
1504.16/378.70	o 522 
1504.16/378.71	o 519 
2400.06/603.85	s SATISFIABLE
2400.06/603.85	v <instantiation>
2400.06/603.85	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>
2400.06/603.85	v 	<values>0 0 0 0 1 0 0 0 1 0 0 1 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 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 0 0 0 0 0 0 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 1 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 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 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 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 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 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 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 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 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 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 1 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 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 1 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 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 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 0 0 0 0 0 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 1 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 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 137 119 116 9 50 117 110 23 45 102 19 29 53 102 60 34 21 41 30 77 79 49 126 91 81 41 140 130 85 121 34 140 83 71 94 100 18 136 97 </values>
2400.06/603.85	v </instantiation>
2400.06/603.85	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 (3678 MiB free)
  memory of node 1: 16384 MiB (6053 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404183-1568990768/watcher-4404183-1568990768 -o /tmp/evaluation-result-4404183-1568990768/solver-4404183-1568990768 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1840425008 HOME/instance-4404183-1568990768.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2809, runsolver pid=2806
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 0.65 0.73 0.99 5/229 2831
/proc/meminfo: memFree=9938076/32770624 swapFree=67002124/67108860
[pid=2809] ppid=2806 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2809/stat : 2809 (xcsp3-exec) S 2806 2809 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475238363 115843072 362 33554432000 4194304 5098028 140733941420112 140733941418216 139799886627452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18448384 140733941429114 140733941429357 140733941429357 140733941432266 0
/proc/2809/statm: 28282 362 304 221 0 87 0
[pid=2811] ppid=2809 vsize=15144776 memory=29092 CPUtime=0.12 cores=0,2,4,6
/proc/2811/stat : 2811 (java) S 2809 2809 2739 0 -1 1077944320 5679 0 0 0 11 1 0 0 20 0 15 0 475238364 15508250624 7273 33554432000 4194304 4196468 140737456239632 140737456222176 139814767140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
/proc/2811/statm: 3786194 7273 3145 1 0 3748377 0
[pid=2811/tid=2817] ppid=2809 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/2811/task/2817/stat : 2817 (java) R 2809 2809 2739 0 -1 4202560 3584 0 0 0 8 1 0 0 20 0 15 0 475238364 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814771370816 139814767152534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2819] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2819/stat : 2819 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814678797072 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2820] ppid=2809 vsize=15144776 memory=288370562091705984 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2820/stat : 2820 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814677744528 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2821] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2821/stat : 2821 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814676691984 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2822] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2822/stat : 2822 (java) S 2809 2809 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238365 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814675639440 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2823] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2823/stat : 2823 (java) S 2809 2809 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238366 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814101334000 139814767151746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2824] ppid=2809 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2824/stat : 2824 (java) S 2809 2809 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238367 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814100280224 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2825] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2825/stat : 2825 (java) S 2809 2809 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238367 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814099227632 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2826] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2826/stat : 2826 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238369 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814098176208 139814767159195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2827] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2827/stat : 2827 (java) R 2809 2809 2739 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 475238369 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814097123824 139814767151746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2828] ppid=2809 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2828/stat : 2828 (java) R 2809 2809 2739 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 475238369 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814096071280 139814750596096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2829] ppid=2809 vsize=15144776 memory=140185939994240 CPUtime=0.02 cores=0,2,4,6
/proc/2811/task/2829/stat : 2829 (java) R 2809 2809 2739 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 475238369 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814095018736 139814747384749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2830] ppid=2809 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2830/stat : 2830 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238369 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814093966432 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2831] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2831/stat : 2831 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238370 15508250624 7273 33554432000 4194304 4196468 140737456239632 139814092912944 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30540 KiB

[startup+0.210688 s]*
/proc/loadavg: 0.65 0.73 0.99 7/229 2831
/proc/meminfo: memFree=9915636/32770624 swapFree=67002124/67108860
[pid=2809] ppid=2806 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2809/stat : 2809 (xcsp3-exec) S 2806 2809 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475238363 115843072 362 33554432000 4194304 5098028 140733941420112 140733941418216 139799886627452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18448384 140733941429114 140733941429357 140733941429357 140733941432266 0
/proc/2809/statm: 28282 362 304 221 0 87 0
[pid=2811] ppid=2809 vsize=15144776 memory=40944 CPUtime=0.33 cores=0,2,4,6
/proc/2811/stat : 2811 (java) S 2809 2809 2739 0 -1 1077944320 9486 0 0 0 30 3 0 0 20 0 15 0 475238364 15508250624 10236 33554432000 4194304 4196468 140737456239632 140737456222176 139814767140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
/proc/2811/statm: 3786194 10236 3262 1 0 3748377 0
[pid=2811/tid=2817] ppid=2809 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2811/task/2817/stat : 2817 (java) R 2809 2809 2739 0 -1 4202560 6610 0 0 0 17 3 0 0 20 0 15 0 475238364 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814771374544 139814767152534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2819] ppid=2809 vsize=15144776 memory=14645 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2819/stat : 2819 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814678797072 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2820] ppid=2809 vsize=15144776 memory=140185940011737 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2820/stat : 2820 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814677744528 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2821] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2821/stat : 2821 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814676691984 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2822] ppid=2809 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2822/stat : 2822 (java) S 2809 2809 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238365 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814675639440 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2823] ppid=2809 vsize=15144776 memory=140185939994240 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2823/stat : 2823 (java) S 2809 2809 2739 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475238366 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814101334000 139814767151746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2824] ppid=2809 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2824/stat : 2824 (java) S 2809 2809 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238367 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814100280224 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2825] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2825/stat : 2825 (java) S 2809 2809 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238367 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814099227632 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2826] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2826/stat : 2826 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238369 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814098176208 139814767159195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2827] ppid=2809 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2811/task/2827/stat : 2827 (java) S 2809 2809 2739 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 475238369 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814097123824 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2828] ppid=2809 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2811/task/2828/stat : 2828 (java) S 2809 2809 2739 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 15 0 475238369 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814096071280 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2829] ppid=2809 vsize=15144776 memory=140185939994240 CPUtime=0.07 cores=0,2,4,6
/proc/2811/task/2829/stat : 2829 (java) R 2809 2809 2739 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 15 0 475238369 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814095018736 139814746448558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2830] ppid=2809 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2830/stat : 2830 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238369 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814093966432 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2831] ppid=2809 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2831/stat : 2831 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238370 15508250624 10236 33554432000 4194304 4196468 140737456239632 139814092912944 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42392 KiB

[startup+0.310638 s]*
/proc/loadavg: 0.65 0.73 0.99 6/229 2831
/proc/meminfo: memFree=9901876/32770624 swapFree=67002124/67108860
[pid=2809] ppid=2806 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2809/stat : 2809 (xcsp3-exec) S 2806 2809 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475238363 115843072 362 33554432000 4194304 5098028 140733941420112 140733941418216 139799886627452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18448384 140733941429114 140733941429357 140733941429357 140733941432266 0
/proc/2809/statm: 28282 362 304 221 0 87 0
[pid=2811] ppid=2809 vsize=15149032 memory=50276 CPUtime=0.52 cores=0,2,4,6
/proc/2811/stat : 2811 (java) S 2809 2809 2739 0 -1 1077944320 10837 0 0 0 48 4 0 0 20 0 15 0 475238364 15512608768 12569 33554432000 4194304 4196468 140737456239632 140737456222176 139814767140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
/proc/2811/statm: 3787258 12569 3370 1 0 3748377 0
[pid=2811/tid=2817] ppid=2809 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/2811/task/2817/stat : 2817 (java) R 2809 2809 2739 0 -1 4202560 7765 0 0 0 26 3 0 0 20 0 15 0 475238364 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814771371712 139814751221086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2819] ppid=2809 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2819/stat : 2819 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814678797072 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2820] ppid=2809 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2820/stat : 2820 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814677744528 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2821] ppid=2809 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2821/stat : 2821 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814676691984 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2822] ppid=2809 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2822/stat : 2822 (java) S 2809 2809 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238365 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814675639440 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2823] ppid=2809 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2823/stat : 2823 (java) S 2809 2809 2739 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475238366 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814101334000 139814767151746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2824] ppid=2809 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2824/stat : 2824 (java) S 2809 2809 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238367 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814100280224 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2825] ppid=2809 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2825/stat : 2825 (java) S 2809 2809 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238367 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814099227632 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2826] ppid=2809 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2826/stat : 2826 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238369 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814098176208 139814767159195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2827] ppid=2809 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=0,2,4,6
/proc/2811/task/2827/stat : 2827 (java) S 2809 2809 2739 0 -1 1077944384 535 0 0 0 3 0 0 0 20 0 15 0 475238369 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814097123824 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2828] ppid=2809 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2811/task/2828/stat : 2828 (java) R 2809 2809 2739 0 -1 4202560 405 0 0 0 4 0 0 0 20 0 15 0 475238369 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814096052296 139814750695377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2829] ppid=2809 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2811/task/2829/stat : 2829 (java) S 2809 2809 2739 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 15 0 475238369 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814095018736 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2830] ppid=2809 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2830/stat : 2830 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238369 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814093966432 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2831] ppid=2809 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2831/stat : 2831 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238370 15512608768 12569 33554432000 4194304 4196468 140737456239632 139814092912944 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51724 KiB

[startup+0.702374 s]
/proc/loadavg: 0.65 0.73 0.99 9/229 2831
/proc/meminfo: memFree=9867156/32770624 swapFree=67002124/67108860
[pid=2809] ppid=2806 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2809/stat : 2809 (xcsp3-exec) S 2806 2809 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475238363 115843072 362 33554432000 4194304 5098028 140733941420112 140733941418216 139799886627452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18448384 140733941429114 140733941429357 140733941429357 140733941432266 0
/proc/2809/statm: 28282 362 304 221 0 87 0
[pid=2811] ppid=2809 vsize=15151156 memory=90288 CPUtime=1.79 cores=0,2,4,6
/proc/2811/stat : 2811 (java) S 2809 2809 2739 0 -1 1077944320 14890 0 0 0 173 6 0 0 20 0 15 0 475238364 15514783744 22572 33554432000 4194304 4196468 140737456239632 140737456222176 139814767140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
/proc/2811/statm: 3787789 22572 3450 1 0 3748889 0
[pid=2811/tid=2817] ppid=2809 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/2811/task/2817/stat : 2817 (java) R 2809 2809 2739 0 -1 4202560 8757 0 0 0 62 5 0 0 20 0 15 0 475238364 15514783744 22572 33554432000 4194304 4196468 140737456239632 139814771375568 139814359411348 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2819] ppid=2809 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2819/stat : 2819 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15514783744 22572 33554432000 4194304 4196468 140737456239632 139814678797072 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2820] ppid=2809 vsize=15151156 memory=3617 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2820/stat : 2820 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15514783744 22572 33554432000 4194304 4196468 140737456239632 139814677744528 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2821] ppid=2809 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2821/stat : 2821 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238365 15514783744 22572 33554432000 4194304 4196468 140737456239632 139814676691984 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2822] ppid=2809 vsize=15151156 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2822/stat : 2822 (java) S 2809 2809 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238365 15514783744 22572 33554432000 4194304 4196468 140737456239632 139814675639440 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2823] ppid=2809 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2823/stat : 2823 (java) S 2809 2809 2739 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475238366 15514783744 22572 33554432000 4194304 4196468 140737456239632 139814101334000 139814767151746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2824] ppid=2809 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2824/stat : 2824 (java) S 2809 2809 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238367 15514783744 23084 33554432000 4194304 4196468 140737456239632 139814100280224 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2825] ppid=2809 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2825/stat : 2825 (java) S 2809 2809 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238367 15514783744 23084 33554432000 4194304 4196468 140737456239632 139814099227632 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2826] ppid=2809 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2826/stat : 2826 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238369 15514783744 23084 33554432000 4194304 4196468 140737456239632 139814098176208 139814767159195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2827] ppid=2809 vsize=15151156 memory=1160 CPUtime=0.36 cores=0,2,4,6
/proc/2811/task/2827/stat : 2827 (java) R 2809 2809 2739 0 -1 4202560 1455 0 0 0 36 0 0 0 20 0 15 0 475238369 15514783744 23084 33554432000 4194304 4196468 140737456239632 139814097123952 139814746397047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2828] ppid=2809 vsize=15151156 memory=1716 CPUtime=0.32 cores=0,2,4,6
/proc/2811/task/2828/stat : 2828 (java) R 2809 2809 2739 0 -1 4202560 1301 0 0 0 32 0 0 0 20 0 15 0 475238369 15514783744 23084 33554432000 4194304 4196468 140737456239632 139814096071280 139814752046062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2829] ppid=2809 vsize=15151156 memory=1096 CPUtime=0.41 cores=0,2,4,6
/proc/2811/task/2829/stat : 2829 (java) S 2809 2809 2739 0 -1 1077944384 2070 0 0 0 41 0 0 0 20 0 15 0 475238369 15514783744 23084 33554432000 4194304 4196468 140737456239632 139814095018736 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2830] ppid=2809 vsize=15151156 memory=6128 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2830/stat : 2830 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238369 15514783744 23084 33554432000 4194304 4196468 140737456239632 139814093966432 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2831] ppid=2809 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2831/stat : 2831 (java) S 2809 2809 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238370 15514783744 23084 33554432000 4194304 4196468 140737456239632 139814092912944 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91736 KiB

[startup+1.50076 s]
/proc/loadavg: 0.65 0.73 0.99 11/233 2852
/proc/meminfo: memFree=9711808/32770624 swapFree=67002124/67108860
[pid=2809] ppid=2806 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2809/stat : 2809 (xcsp3-exec) S 2806 2809 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475238363 115843072 362 33554432000 4194304 5098028 140733941420112 140733941418216 139799886627452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18448384 140733941429114 140733941429357 140733941429357 140733941432266 0
/proc/2809/statm: 28282 362 304 221 0 87 0

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

/proc/2811/stat : 2811 (java) S 2809 2809 2739 0 -1 1077944320 136426 0 0 0 207517 70 0 0 20 0 19 0 475238364 15925850112 232887 33554432000 4194304 4196468 140737456239632 140737456222176 139814767140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
/proc/2811/statm: 3888147 232887 3532 1 0 3849247 0
[pid=2811/tid=2817] ppid=2809 vsize=15552588 memory=3588 CPUtime=1.14 cores=0,2,4,6
/proc/2811/task/2817/stat : 2817 (java) S 2809 2809 2739 0 -1 1077944384 14693 0 0 0 107 7 0 0 20 0 19 0 475238364 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814771381376 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2819] ppid=2809 vsize=15552588 memory=931548 CPUtime=0.2 cores=0,2,4,6
/proc/2811/task/2819/stat : 2819 (java) S 2809 2809 2739 0 -1 1077944384 3133 0 0 0 16 4 0 0 20 0 19 0 475238365 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814678797072 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2820] ppid=2809 vsize=15552588 memory=936680 CPUtime=0.2 cores=0,2,4,6
/proc/2811/task/2820/stat : 2820 (java) S 2809 2809 2739 0 -1 1077944384 3634 0 0 0 16 4 0 0 20 0 19 0 475238365 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814677744528 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2821] ppid=2809 vsize=15552588 memory=936680 CPUtime=0.19 cores=0,2,4,6
/proc/2811/task/2821/stat : 2821 (java) S 2809 2809 2739 0 -1 1077944384 2702 0 0 0 15 4 0 0 20 0 19 0 475238365 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814676691984 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2822] ppid=2809 vsize=15552588 memory=936680 CPUtime=0.18 cores=0,2,4,6
/proc/2811/task/2822/stat : 2822 (java) S 2809 2809 2739 0 -1 1077944384 3636 0 0 0 14 4 0 0 20 0 19 0 475238365 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814675639440 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2823] ppid=2809 vsize=15552588 memory=935656 CPUtime=0.13 cores=0,2,4,6
/proc/2811/task/2823/stat : 2823 (java) S 2809 2809 2739 0 -1 1077944384 6028 0 0 0 5 8 0 0 20 0 19 0 475238366 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814101334000 139814767151746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2824] ppid=2809 vsize=15552588 memory=935656 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2824/stat : 2824 (java) S 2809 2809 2739 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475238367 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814100280288 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2825] ppid=2809 vsize=15552588 memory=310 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2825/stat : 2825 (java) S 2809 2809 2739 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475238367 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814099227632 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2826] ppid=2809 vsize=15552588 memory=947968 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2826/stat : 2826 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238369 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814098176208 139814767159195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2827] ppid=2809 vsize=15552588 memory=1016728 CPUtime=3.1 cores=0,2,4,6
/proc/2811/task/2827/stat : 2827 (java) S 2809 2809 2739 0 -1 1077944384 13678 0 0 0 309 1 0 0 20 0 19 0 475238369 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814097123824 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2828] ppid=2809 vsize=15552588 memory=947968 CPUtime=3.35 cores=0,2,4,6
/proc/2811/task/2828/stat : 2828 (java) S 2809 2809 2739 0 -1 1077944384 17902 0 0 0 333 2 0 0 20 0 19 0 475238369 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814096071280 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2829] ppid=2809 vsize=15552588 memory=936680 CPUtime=0.9 cores=0,2,4,6
/proc/2811/task/2829/stat : 2829 (java) S 2809 2809 2739 0 -1 1077944384 10602 0 0 0 89 1 0 0 20 0 19 0 475238369 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814095018736 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2830] ppid=2809 vsize=15552588 memory=931548 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2830/stat : 2830 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238369 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814093966432 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2831] ppid=2809 vsize=15552588 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/2811/task/2831/stat : 2831 (java) S 2809 2809 2739 0 -1 1077944384 2378 0 0 0 0 15 0 0 20 0 19 0 475238370 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814092912944 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4284] ppid=2809 vsize=15552588 memory=931548 CPUtime=142.86 cores=0,2,4,6
/proc/2811/task/4284/stat : 4284 (java) R 2809 2809 2739 0 -1 4202560 925 0 0 0 14286 0 0 0 20 0 19 0 475276235 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814081829008 139814363470450 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4285] ppid=2809 vsize=15552588 memory=1448 CPUtime=143.23 cores=0,2,4,6
/proc/2811/task/4285/stat : 4285 (java) R 2809 2809 2739 0 -1 4202560 1444 0 0 0 14323 0 0 0 20 0 19 0 475276235 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814076572216 139814361864422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4286] ppid=2809 vsize=15552588 memory=1448 CPUtime=142.97 cores=0,2,4,6
/proc/2811/task/4286/stat : 4286 (java) R 2809 2809 2739 0 -1 4202560 1102 0 0 0 14297 0 0 0 20 0 19 0 475276235 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814077625688 139814363339741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4287] ppid=2809 vsize=15552588 memory=1448 CPUtime=142.25 cores=0,2,4,6
/proc/2811/task/4287/stat : 4287 (java) R 2809 2809 2739 0 -1 4202560 2249 0 0 0 14225 0 0 0 20 0 19 0 475276235 15925850112 232887 33554432000 4194304 4196468 140737456239632 139814082878960 139814356751064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
Current children cumulated CPU time: 2075.87 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 932996 KiB

[startup+582.311 s]
/proc/loadavg: 8.18 7.32 4.50 10/237 4332
/proc/meminfo: memFree=4994672/32770624 swapFree=67002128/67108860
[pid=2809] ppid=2806 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2809/stat : 2809 (xcsp3-exec) S 2806 2809 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475238363 115843072 362 33554432000 4194304 5098028 140733941420112 140733941418216 139799886627452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18448384 140733941429114 140733941429357 140733941429357 140733941432266 0
/proc/2809/statm: 28282 362 304 221 0 87 0
[pid=2811] ppid=2809 vsize=15552588 memory=814088 CPUtime=2314.59 cores=0,2,4,6
/proc/2811/stat : 2811 (java) S 2809 2809 2739 0 -1 1077944320 138191 0 0 0 231383 76 0 0 20 0 19 0 475238364 15925850112 203522 33554432000 4194304 4196468 140737456239632 140737456222176 139814767140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
/proc/2811/statm: 3888147 203522 3532 1 0 3849247 0
[pid=2811/tid=2817] ppid=2809 vsize=15552588 memory=1448 CPUtime=1.14 cores=0,2,4,6
/proc/2811/task/2817/stat : 2817 (java) S 2809 2809 2739 0 -1 1077944384 14693 0 0 0 107 7 0 0 20 0 19 0 475238364 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814771381376 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2819] ppid=2809 vsize=15552588 memory=1448 CPUtime=0.25 cores=0,2,4,6
/proc/2811/task/2819/stat : 2819 (java) S 2809 2809 2739 0 -1 1077944384 3446 0 0 0 21 4 0 0 20 0 19 0 475238365 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814678797072 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2820] ppid=2809 vsize=15552588 memory=1448 CPUtime=0.25 cores=0,2,4,6
/proc/2811/task/2820/stat : 2820 (java) S 2809 2809 2739 0 -1 1077944384 3676 0 0 0 20 5 0 0 20 0 19 0 475238365 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814677744528 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2821] ppid=2809 vsize=15552588 memory=826400 CPUtime=0.23 cores=0,2,4,6
/proc/2811/task/2821/stat : 2821 (java) S 2809 2809 2739 0 -1 1077944384 3026 0 0 0 19 4 0 0 20 0 19 0 475238365 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814676691984 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2822] ppid=2809 vsize=15552588 memory=1448 CPUtime=0.22 cores=0,2,4,6
/proc/2811/task/2822/stat : 2822 (java) S 2809 2809 2739 0 -1 1077944384 3733 0 0 0 18 4 0 0 20 0 19 0 475238365 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814675639440 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2823] ppid=2809 vsize=15552588 memory=839224 CPUtime=0.2 cores=0,2,4,6
/proc/2811/task/2823/stat : 2823 (java) S 2809 2809 2739 0 -1 1077944384 6311 0 0 0 7 13 0 0 20 0 19 0 475238366 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814101334000 139814767151746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2824] ppid=2809 vsize=15552588 memory=850000 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2824/stat : 2824 (java) S 2809 2809 2739 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475238367 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814100280288 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2825] ppid=2809 vsize=15552588 memory=863340 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2825/stat : 2825 (java) S 2809 2809 2739 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475238367 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814099227632 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2826] ppid=2809 vsize=15552588 memory=821268 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2826/stat : 2826 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238369 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814098176208 139814767159195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2827] ppid=2809 vsize=15552588 memory=814088 CPUtime=3.1 cores=0,2,4,6
/proc/2811/task/2827/stat : 2827 (java) S 2809 2809 2739 0 -1 1077944384 13680 0 0 0 309 1 0 0 20 0 19 0 475238369 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814097123824 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2828] ppid=2809 vsize=15552588 memory=1448 CPUtime=3.35 cores=0,2,4,6
/proc/2811/task/2828/stat : 2828 (java) S 2809 2809 2739 0 -1 1077944384 17905 0 0 0 333 2 0 0 20 0 19 0 475238369 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814096071280 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2829] ppid=2809 vsize=15552588 memory=821268 CPUtime=0.9 cores=0,2,4,6
/proc/2811/task/2829/stat : 2829 (java) S 2809 2809 2739 0 -1 1077944384 10604 0 0 0 89 1 0 0 20 0 19 0 475238369 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814095018736 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2830] ppid=2809 vsize=15552588 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2830/stat : 2830 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238369 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814093966432 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2831] ppid=2809 vsize=15552588 memory=821268 CPUtime=0.17 cores=0,2,4,6
/proc/2811/task/2831/stat : 2831 (java) S 2809 2809 2739 0 -1 1077944384 2402 0 0 0 0 17 0 0 20 0 19 0 475238370 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814092912944 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4284] ppid=2809 vsize=15552588 memory=1448 CPUtime=202.59 cores=0,2,4,6
/proc/2811/task/4284/stat : 4284 (java) R 2809 2809 2739 0 -1 4202560 1067 0 0 0 20259 0 0 0 20 0 19 0 475276235 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814081826120 139814363339532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4285] ppid=2809 vsize=15552588 memory=3588 CPUtime=202.77 cores=0,2,4,6
/proc/2811/task/4285/stat : 4285 (java) R 2809 2809 2739 0 -1 4202560 1596 0 0 0 20277 0 0 0 20 0 19 0 475276235 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814076575040 139814361971307 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4286] ppid=2809 vsize=15552588 memory=821268 CPUtime=202.43 cores=0,2,4,6
/proc/2811/task/4286/stat : 4286 (java) R 2809 2809 2739 0 -1 4202560 1233 0 0 0 20243 0 0 0 20 0 19 0 475276235 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814077624560 139814361971076 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4287] ppid=2809 vsize=15552588 memory=1448 CPUtime=201.98 cores=0,2,4,6
/proc/2811/task/4287/stat : 4287 (java) R 2809 2809 2739 0 -1 4202560 2499 0 0 0 20198 0 0 0 20 0 19 0 475276235 15925850112 203522 33554432000 4194304 4196468 140737456239632 139814082879320 139814361864306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
Current children cumulated CPU time: 2314.59 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 815536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.802 s]
/proc/loadavg: 8.13 7.37 4.57 10/237 4333
/proc/meminfo: memFree=5047608/32770624 swapFree=67002128/67108860
[pid=2809] ppid=2806 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2809/stat : 2809 (xcsp3-exec) S 2806 2809 2739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475238363 115843072 362 33554432000 4194304 5098028 140733941420112 140733941418216 139799886627452 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18448384 140733941429114 140733941429357 140733941429357 140733941432266 0
/proc/2809/statm: 28282 362 304 221 0 87 0
[pid=2811] ppid=2809 vsize=15552588 memory=761768 CPUtime=2400.06 cores=0,2,4,6
/proc/2811/stat : 2811 (java) S 2809 2809 2739 0 -1 1077944320 138261 0 0 0 239926 80 0 0 20 0 19 0 475238364 15925850112 190442 33554432000 4194304 4196468 140737456239632 140737456222176 139814767140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
/proc/2811/statm: 3888147 190442 3532 1 0 3849247 0
[pid=2811/tid=2817] ppid=2809 vsize=15552588 memory=804 CPUtime=1.14 cores=0,2,4,6
/proc/2811/task/2817/stat : 2817 (java) S 2809 2809 2739 0 -1 1077944384 14693 0 0 0 107 7 0 0 20 0 19 0 475238364 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814771381376 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2819] ppid=2809 vsize=15552588 memory=1804 CPUtime=0.27 cores=0,2,4,6
/proc/2811/task/2819/stat : 2819 (java) S 2809 2809 2739 0 -1 1077944384 3453 0 0 0 23 4 0 0 20 0 19 0 475238365 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814678797072 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2820] ppid=2809 vsize=15552588 memory=916 CPUtime=0.27 cores=0,2,4,6
/proc/2811/task/2820/stat : 2820 (java) S 2809 2809 2739 0 -1 1077944384 3691 0 0 0 22 5 0 0 20 0 19 0 475238365 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814677744528 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2821] ppid=2809 vsize=15552588 memory=3848 CPUtime=0.25 cores=0,2,4,6
/proc/2811/task/2821/stat : 2821 (java) S 2809 2809 2739 0 -1 1077944384 3040 0 0 0 21 4 0 0 20 0 19 0 475238365 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814676691984 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2822] ppid=2809 vsize=15552588 memory=2300 CPUtime=0.24 cores=0,2,4,6
/proc/2811/task/2822/stat : 2822 (java) S 2809 2809 2739 0 -1 1077944384 3749 0 0 0 20 4 0 0 20 0 19 0 475238365 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814675639440 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2823] ppid=2809 vsize=15552588 memory=2620 CPUtime=0.25 cores=0,2,4,6
/proc/2811/task/2823/stat : 2823 (java) S 2809 2809 2739 0 -1 1077944384 6317 0 0 0 9 16 0 0 20 0 19 0 475238366 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814101334000 139814767151746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2824] ppid=2809 vsize=15552588 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2824/stat : 2824 (java) S 2809 2809 2739 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475238367 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814100280288 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2825] ppid=2809 vsize=15552588 memory=3592 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2825/stat : 2825 (java) S 2809 2809 2739 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475238367 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814099227632 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2826] ppid=2809 vsize=15552588 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2826/stat : 2826 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238369 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814098176208 139814767159195 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2827] ppid=2809 vsize=15552588 memory=761768 CPUtime=3.1 cores=0,2,4,6
/proc/2811/task/2827/stat : 2827 (java) S 2809 2809 2739 0 -1 1077944384 13680 0 0 0 309 1 0 0 20 0 19 0 475238369 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814097123824 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2828] ppid=2809 vsize=15552588 memory=1412 CPUtime=3.35 cores=0,2,4,6
/proc/2811/task/2828/stat : 2828 (java) S 2809 2809 2739 0 -1 1077944384 17905 0 0 0 333 2 0 0 20 0 19 0 475238369 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814096071280 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2829] ppid=2809 vsize=15552588 memory=3508 CPUtime=0.9 cores=0,2,4,6
/proc/2811/task/2829/stat : 2829 (java) S 2809 2809 2739 0 -1 1077944384 10604 0 0 0 89 1 0 0 20 0 19 0 475238369 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814095018736 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2830] ppid=2809 vsize=15552588 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2811/task/2830/stat : 2830 (java) S 2809 2809 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238369 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814093966432 139814767150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=2831] ppid=2809 vsize=15552588 memory=4181040 CPUtime=0.18 cores=0,2,4,6
/proc/2811/task/2831/stat : 2831 (java) S 2809 2809 2739 0 -1 1077944384 2402 0 0 0 0 18 0 0 20 0 19 0 475238370 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814092912944 139814767151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4284] ppid=2809 vsize=15552588 memory=1736 CPUtime=223.83 cores=0,2,4,6
/proc/2811/task/4284/stat : 4284 (java) R 2809 2809 2739 0 -1 4202560 1071 0 0 0 22383 0 0 0 20 0 19 0 475276235 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814081825928 139814361831232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4285] ppid=2809 vsize=15552588 memory=18 CPUtime=224.14 cores=0,2,4,6
/proc/2811/task/4285/stat : 4285 (java) R 2809 2809 2739 0 -1 4202560 1599 0 0 0 22414 0 0 0 20 0 19 0 475276235 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814076571888 139814361864010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4286] ppid=2809 vsize=15552588 memory=1398722017469774279 CPUtime=223.71 cores=0,2,4,6
/proc/2811/task/4286/stat : 4286 (java) R 2809 2809 2739 0 -1 4202560 1234 0 0 0 22371 0 0 0 20 0 19 0 475276235 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814077624808 139814362837262 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
[pid=2811/tid=4287] ppid=2809 vsize=15552588 memory=833580 CPUtime=223.4 cores=0,2,4,6
/proc/2811/task/4287/stat : 4287 (java) R 2809 2809 2739 0 -1 4202560 2503 0 0 0 22340 0 0 0 20 0 19 0 475276235 15925850112 190442 33554432000 4194304 4196468 140737456239632 139814082881872 139814361891705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18567168 140737456243695 140737456243866 140737456243866 140737456246735 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 763216 KiB

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

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

[startup+603.879 s]
# the end of solver process 2811 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.54 s, system=0.811724 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): 603.879
CPU time (s): 2400.35
CPU user time (s): 2399.54
CPU system time (s): 0.811724
CPU usage (%): 397.488
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 1145456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.54
system time used= 0.811724
maximum resident set size= 1146052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19520
involuntary context switches= 40058


# summary of solver processes directly reported to runsolver:
#   pid: 2809,2811
#   total CPU time (s): 2400.35
#   total CPU user time (s): 2399.54
#   total CPU system time (s): 0.811724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.97212 second user time and 6.51034 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 4404183

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