2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	SAT (TO)	550	2520.65	634.491

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403883-1568989885.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403883-1568989885.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.80/1.07	c solve instance...
9.79/2.86	o 1229 
9.79/2.89	o 1227 
10.20/2.92	o 1224 
10.20/2.93	o 1198 
10.20/2.95	o 1162 
10.60/3.01	o 1153 
10.60/3.06	o 1128 
11.76/3.30	o 1123 
12.15/3.45	o 1121 
13.72/3.84	o 1117 
13.72/3.85	o 1094 
14.10/3.90	o 1093 
14.10/3.90	o 1091 
14.93/4.14	o 1088 
14.93/4.19	o 1079 
15.26/4.28	o 1069 
16.08/4.45	o 1068 
17.20/4.72	o 1057 
17.20/4.72	o 1055 
17.20/4.72	o 1049 
17.20/4.72	o 1035 
17.61/4.82	o 1019 
17.61/4.85	o 1016 
19.18/5.27	o 998 
19.18/5.28	o 992 
20.01/5.48	o 980 
20.01/5.49	o 949 
20.39/5.52	o 948 
20.76/5.67	o 944 
20.76/5.68	o 929 
21.17/5.70	o 926 
21.17/5.72	o 922 
21.56/5.85	o 908 
23.50/6.30	o 904 
23.83/6.49	o 875 
23.83/6.50	o 871 
25.43/6.81	o 867 
25.43/6.83	o 866 
25.43/6.86	o 862 
25.81/6.93	o 841 
25.81/6.93	o 821 
26.98/7.29	o 820 
27.38/7.30	o 809 
27.38/7.31	o 798 
27.38/7.31	o 774 
27.38/7.34	o 751 
27.38/7.35	o 746 
27.38/7.38	o 741 
27.75/7.40	o 737 
27.75/7.41	o 733 
27.75/7.41	o 730 
27.75/7.48	o 723 
30.55/8.18	o 718 
31.34/8.36	o 708 
33.29/8.86	o 705 
39.25/10.37	o 704 
43.22/11.34	o 702 
48.79/12.74	o 699 
54.75/14.27	o 680 
63.51/16.49	o 665 
75.04/19.32	o 657 
79.82/20.55	o 647 
79.82/20.55	o 644 
98.91/25.35	o 643 
127.57/32.53	o 627 
146.27/37.23	o 622 
147.07/37.40	o 619 
157.02/40.00	o 608 
159.39/40.55	o 602 
223.10/56.53	o 596 
254.13/64.30	o 594 
254.13/64.32	o 592 
254.13/64.32	o 588 
271.20/68.78	o 587 
276.90/70.25	o 584 
370.81/93.86	o 577 
433.65/109.66	o 571 
472.26/119.47	o 566 
472.84/119.69	o 563 
585.46/147.90	o 556 
669.06/168.97	o 551 
970.22/244.79	o 550 
2520.32/634.45	s SATISFIABLE
2520.32/634.45	v <instantiation>
2520.32/634.45	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>
2520.32/634.45	v 	<values>0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 7 78 86 101 21 116 52 123 119 26 19 133 92 21 60 34 104 90 69 114 42 86 33 17 49 59 133 100 48 108 70 135 49 89 137 120 50 134 63 </values>
2520.32/634.45	v </instantiation>
2520.32/634.45	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 (372 MiB free)
  memory of node 1: 16384 MiB (1567 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403883-1568989885/watcher-4403883-1568989885 -o /var/tmp/evaluation-result-4403883-1568989885/solver-4403883-1568989885 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6087 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1393916854 HOME/instance-4403883-1568989885.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB

solver pid=7345, runsolver pid=7342

[startup+0.100084 s]*
/proc/loadavg: 8.26 8.37 6.79 8/233 7361
/proc/meminfo: memFree=1971408/32770624 swapFree=66988724/67108860
[pid=7345] ppid=7342 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7345/stat : 7345 (xcsp3-exec) S 7342 7345 6055 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475251131 115843072 363 33554432000 4194304 5098028 140731228601248 140731228599352 140486345732732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34304000 140731228607318 140731228607577 140731228607577 140731228610502 0
/proc/7345/statm: 28282 363 305 221 0 87 0
[pid=7347] ppid=7345 vsize=15144776 memory=29164 CPUtime=0.13 cores=1,3,5,7
/proc/7347/stat : 7347 (java) S 7345 7345 6055 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 475251131 15508250624 7291 33554432000 4194304 4196468 140720671870912 140720671853456 139887695101687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
/proc/7347/statm: 3786194 7291 3186 1 0 3748377 0
[pid=7347/tid=7348] ppid=7345 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=1,3,5,7
/proc/7347/task/7348/stat : 7348 (java) R 7345 7345 6055 0 -1 4202560 3594 0 0 0 9 0 0 0 20 0 15 0 475251132 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887699323744 139887695113622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7349] ppid=7345 vsize=15144776 memory=3472468517269202128 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7349/stat : 7349 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887623142160 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7350] ppid=7345 vsize=15144776 memory=140388374050432 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7350/stat : 7350 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887286545296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7351] ppid=7345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7351/stat : 7351 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887285492752 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7352] ppid=7345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7352/stat : 7352 (java) S 7345 7345 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475251133 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887284440208 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7353] ppid=7345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7353/stat : 7353 (java) S 7345 7345 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475251134 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887230842864 139887695112834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7354] ppid=7345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7354/stat : 7354 (java) S 7345 7345 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475251134 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887229789088 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7355] ppid=7345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7355/stat : 7355 (java) S 7345 7345 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475251135 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887228736496 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7356] ppid=7345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7356/stat : 7356 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475251137 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887227685072 139887695120283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7357] ppid=7345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7357/stat : 7357 (java) S 7345 7345 6055 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 475251137 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887226632688 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7358] ppid=7345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7358/stat : 7358 (java) S 7345 7345 6055 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 475251137 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887225580144 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7359] ppid=7345 vsize=15144776 memory=140388374050432 CPUtime=0.02 cores=1,3,5,7
/proc/7347/task/7359/stat : 7359 (java) R 7345 7345 6055 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 475251137 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887224527600 139887687338814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7360] ppid=7345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7360/stat : 7360 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475251137 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887223475296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7361] ppid=7345 vsize=15144776 memory=140388374050432 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7361/stat : 7361 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251137 15508250624 7291 33554432000 4194304 4196468 140720671870912 139887222421808 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30616 KiB

[startup+0.210722 s]*
/proc/loadavg: 8.26 8.37 6.79 8/233 7361
/proc/meminfo: memFree=1956356/32770624 swapFree=66988724/67108860
[pid=7345] ppid=7342 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7345/stat : 7345 (xcsp3-exec) S 7342 7345 6055 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475251131 115843072 363 33554432000 4194304 5098028 140731228601248 140731228599352 140486345732732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34304000 140731228607318 140731228607577 140731228607577 140731228610502 0
/proc/7345/statm: 28282 363 305 221 0 87 0
[pid=7347] ppid=7345 vsize=15144776 memory=41852 CPUtime=0.34 cores=1,3,5,7
/proc/7347/stat : 7347 (java) S 7345 7345 6055 0 -1 1077944320 9185 0 0 0 32 2 0 0 20 0 15 0 475251131 15508250624 10463 33554432000 4194304 4196468 140720671870912 140720671853456 139887695101687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
/proc/7347/statm: 3786194 10463 3267 1 0 3748377 0
[pid=7347/tid=7348] ppid=7345 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/7347/task/7348/stat : 7348 (java) R 7345 7345 6055 0 -1 4202560 6338 0 0 0 18 2 0 0 20 0 15 0 475251132 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887699339504 139887695123613 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7349] ppid=7345 vsize=15144776 memory=3472468517269202128 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7349/stat : 7349 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887623142160 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7350] ppid=7345 vsize=15144776 memory=140388374050432 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7350/stat : 7350 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887286545296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7351] ppid=7345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7351/stat : 7351 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887285492752 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7352] ppid=7345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7352/stat : 7352 (java) S 7345 7345 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475251133 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887284440208 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7353] ppid=7345 vsize=15144776 memory=140388374050432 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7353/stat : 7353 (java) S 7345 7345 6055 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475251134 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887230842864 139887695112834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7354] ppid=7345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7354/stat : 7354 (java) S 7345 7345 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475251134 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887229789088 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7355] ppid=7345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7355/stat : 7355 (java) S 7345 7345 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475251135 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887228736496 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7356] ppid=7345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7356/stat : 7356 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475251137 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887227685072 139887695120283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7357] ppid=7345 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7347/task/7357/stat : 7357 (java) S 7345 7345 6055 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 475251137 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887226632688 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7358] ppid=7345 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7347/task/7358/stat : 7358 (java) S 7345 7345 6055 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 475251137 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887225580144 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7359] ppid=7345 vsize=15144776 memory=140388374050432 CPUtime=0.08 cores=1,3,5,7
/proc/7347/task/7359/stat : 7359 (java) S 7345 7345 6055 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 15 0 475251137 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887224527600 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7360] ppid=7345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7360/stat : 7360 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475251137 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887223475296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7361] ppid=7345 vsize=15144776 memory=140388374050432 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7361/stat : 7361 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251137 15508250624 10463 33554432000 4194304 4196468 140720671870912 139887222421808 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43304 KiB

[startup+0.310596 s]*
/proc/loadavg: 8.26 8.37 6.79 7/233 7361
/proc/meminfo: memFree=1949336/32770624 swapFree=66988724/67108860
[pid=7345] ppid=7342 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7345/stat : 7345 (xcsp3-exec) S 7342 7345 6055 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475251131 115843072 363 33554432000 4194304 5098028 140731228601248 140731228599352 140486345732732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34304000 140731228607318 140731228607577 140731228607577 140731228610502 0
/proc/7345/statm: 28282 363 305 221 0 87 0
[pid=7347] ppid=7345 vsize=15149032 memory=51220 CPUtime=0.53 cores=1,3,5,7
/proc/7347/stat : 7347 (java) S 7345 7345 6055 0 -1 1077944320 10577 0 0 0 50 3 0 0 20 0 15 0 475251131 15512608768 12805 33554432000 4194304 4196468 140720671870912 140720671853456 139887695101687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
/proc/7347/statm: 3787258 12805 3373 1 0 3748377 0
[pid=7347/tid=7348] ppid=7345 vsize=15149032 memory=-8094235084319000145 CPUtime=0.3 cores=1,3,5,7
/proc/7347/task/7348/stat : 7348 (java) R 7345 7345 6055 0 -1 4202560 7527 0 0 0 27 3 0 0 20 0 15 0 475251132 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887699332800 139887695123613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7349] ppid=7345 vsize=15149032 memory=3472468517269202128 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7349/stat : 7349 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887623142160 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7350] ppid=7345 vsize=15149032 memory=280776627988864 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7350/stat : 7350 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887286545296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7351] ppid=7345 vsize=15149032 memory=280776507909152 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7351/stat : 7351 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887285492752 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7352] ppid=7345 vsize=15149032 memory=140388253938447 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7352/stat : 7352 (java) S 7345 7345 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475251133 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887284440208 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7353] ppid=7345 vsize=15149032 memory=280776627995776 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7353/stat : 7353 (java) S 7345 7345 6055 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475251134 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887230842864 139887695112834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7354] ppid=7345 vsize=15149032 memory=140388253943055 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7354/stat : 7354 (java) S 7345 7345 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475251134 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887229789088 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7355] ppid=7345 vsize=15149032 memory=140388253951447 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7355/stat : 7355 (java) S 7345 7345 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475251135 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887228736496 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7356] ppid=7345 vsize=15149032 memory=140388253954865 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7356/stat : 7356 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475251137 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887227685072 139887695120283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7357] ppid=7345 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7347/task/7357/stat : 7357 (java) S 7345 7345 6055 0 -1 1077944384 398 0 0 0 4 0 0 0 20 0 15 0 475251137 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887226632688 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7358] ppid=7345 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/7347/task/7358/stat : 7358 (java) R 7345 7345 6055 0 -1 4202560 454 0 0 0 5 0 0 0 20 0 15 0 475251137 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887225561160 139887680023469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7359] ppid=7345 vsize=15149032 memory=140388374050432 CPUtime=0.13 cores=1,3,5,7
/proc/7347/task/7359/stat : 7359 (java) S 7345 7345 6055 0 -1 1077944384 899 0 0 0 13 0 0 0 20 0 15 0 475251137 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887224527600 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7360] ppid=7345 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7360/stat : 7360 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475251137 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887223475296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7361] ppid=7345 vsize=15149032 memory=140388374051884 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7361/stat : 7361 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251137 15512608768 12805 33554432000 4194304 4196468 140720671870912 139887222421808 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52672 KiB

[startup+0.704057 s]
/proc/loadavg: 8.26 8.37 6.79 7/233 7361
/proc/meminfo: memFree=1928296/32770624 swapFree=66988724/67108860
[pid=7345] ppid=7342 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7345/stat : 7345 (xcsp3-exec) S 7342 7345 6055 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475251131 115843072 363 33554432000 4194304 5098028 140731228601248 140731228599352 140486345732732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34304000 140731228607318 140731228607577 140731228607577 140731228610502 0
/proc/7345/statm: 28282 363 305 221 0 87 0
[pid=7347] ppid=7345 vsize=15151156 memory=92692 CPUtime=1.81 cores=1,3,5,7
/proc/7347/stat : 7347 (java) S 7345 7345 6055 0 -1 1077944320 14836 0 0 0 176 5 0 0 20 0 15 0 475251131 15514783744 23173 33554432000 4194304 4196468 140720671870912 140720671853456 139887695101687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
/proc/7347/statm: 3787789 23173 3454 1 0 3748889 0
[pid=7347/tid=7348] ppid=7345 vsize=15151156 memory=7887610716981113652 CPUtime=0.68 cores=1,3,5,7
/proc/7347/task/7348/stat : 7348 (java) R 7345 7345 6055 0 -1 4202560 8818 0 0 0 64 4 0 0 20 0 15 0 475251132 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887699336000 139887306131452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7349] ppid=7345 vsize=15151156 memory=6224326950734024021 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7349/stat : 7349 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887623142160 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7350] ppid=7345 vsize=15151156 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7350/stat : 7350 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887286545296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7351] ppid=7345 vsize=15151156 memory=3470692292451393600 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7351/stat : 7351 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251133 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887285492752 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7352] ppid=7345 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7352/stat : 7352 (java) S 7345 7345 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475251133 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887284440208 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7353] ppid=7345 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7353/stat : 7353 (java) S 7345 7345 6055 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475251134 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887230842864 139887695112834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7354] ppid=7345 vsize=15151156 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7354/stat : 7354 (java) S 7345 7345 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475251134 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887229789088 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7355] ppid=7345 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7355/stat : 7355 (java) S 7345 7345 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475251135 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887228736496 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7356] ppid=7345 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7356/stat : 7356 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475251137 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887227685072 139887695120283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7357] ppid=7345 vsize=15151156 memory=1548 CPUtime=0.35 cores=1,3,5,7
/proc/7347/task/7357/stat : 7357 (java) R 7345 7345 6055 0 -1 4202560 1364 0 0 0 35 0 0 0 20 0 15 0 475251137 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887226632688 139887674291136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7358] ppid=7345 vsize=15151156 memory=8104 CPUtime=0.33 cores=1,3,5,7
/proc/7347/task/7358/stat : 7358 (java) R 7345 7345 6055 0 -1 4202560 1346 0 0 0 33 0 0 0 20 0 15 0 475251137 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887225571120 139887679012382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7359] ppid=7345 vsize=15151156 memory=1164 CPUtime=0.42 cores=1,3,5,7
/proc/7347/task/7359/stat : 7359 (java) S 7345 7345 6055 0 -1 1077944384 1999 0 0 0 42 0 0 0 20 0 15 0 475251137 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887224527600 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7360] ppid=7345 vsize=15151156 memory=9520 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7360/stat : 7360 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475251137 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887223475296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7361] ppid=7345 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7361/stat : 7361 (java) S 7345 7345 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475251137 15514783744 23173 33554432000 4194304 4196468 140720671870912 139887222421808 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94144 KiB

[startup+1.50144 s]
/proc/loadavg: 8.26 8.37 6.79 8/233 7361
/proc/meminfo: memFree=1847624/32770624 swapFree=66988724/67108860
[pid=7345] ppid=7342 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7345/stat : 7345 (xcsp3-exec) S 7342 7345 6055 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475251131 115843072 363 33554432000 4194304 5098028 140731228601248 140731228599352 140486345732732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34304000 140731228607318 140731228607577 140731228607577 140731228610502 0
/proc/7345/statm: 28282 363 305 221 0 87 0

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

/proc/7347/stat : 7347 (java) S 7345 7345 6055 0 -1 1077944320 948803 0 0 0 207294 180 0 0 20 0 19 0 475251131 16062173184 223220 33554432000 4194304 4196468 140720671870912 140720671853456 139887695101687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
/proc/7347/statm: 3921429 223220 3533 1 0 3882529 0
[pid=7347/tid=7348] ppid=7345 vsize=15685716 memory=899036 CPUtime=1.13 cores=1,3,5,7
/proc/7347/task/7348/stat : 7348 (java) S 7345 7345 6055 0 -1 1077944384 13898 0 0 0 108 5 0 0 20 0 19 0 475251132 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887699342464 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7349] ppid=7345 vsize=15685716 memory=905700 CPUtime=0.27 cores=1,3,5,7
/proc/7347/task/7349/stat : 7349 (java) S 7345 7345 6055 0 -1 1077944384 8960 0 0 0 18 9 0 0 20 0 19 0 475251133 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887623142160 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7350] ppid=7345 vsize=15685716 memory=905700 CPUtime=0.26 cores=1,3,5,7
/proc/7347/task/7350/stat : 7350 (java) S 7345 7345 6055 0 -1 1077944384 9528 0 0 0 17 9 0 0 20 0 19 0 475251133 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887286545296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7351] ppid=7345 vsize=15685716 memory=921096 CPUtime=0.27 cores=1,3,5,7
/proc/7347/task/7351/stat : 7351 (java) S 7345 7345 6055 0 -1 1077944384 14581 0 0 0 16 11 0 0 20 0 19 0 475251133 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887285492752 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7352] ppid=7345 vsize=15685716 memory=943624 CPUtime=0.26 cores=1,3,5,7
/proc/7347/task/7352/stat : 7352 (java) S 7345 7345 6055 0 -1 1077944384 13632 0 0 0 18 8 0 0 20 0 19 0 475251133 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887284440208 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7353] ppid=7345 vsize=15685716 memory=909808 CPUtime=0.17 cores=1,3,5,7
/proc/7347/task/7353/stat : 7353 (java) S 7345 7345 6055 0 -1 1077944384 5080 0 0 0 6 11 0 0 20 0 19 0 475251134 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887230842864 139887695112834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7354] ppid=7345 vsize=15685716 memory=905700 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7354/stat : 7354 (java) S 7345 7345 6055 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475251134 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887229789152 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7355] ppid=7345 vsize=15685716 memory=899036 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7355/stat : 7355 (java) S 7345 7345 6055 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 475251135 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887228736496 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7356] ppid=7345 vsize=15685716 memory=899036 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7356/stat : 7356 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475251137 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887227685072 139887695120283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7357] ppid=7345 vsize=15685716 memory=1452 CPUtime=2.82 cores=1,3,5,7
/proc/7347/task/7357/stat : 7357 (java) S 7345 7345 6055 0 -1 1077944384 12755 0 0 0 281 1 0 0 20 0 19 0 475251137 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887226632688 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7358] ppid=7345 vsize=15685716 memory=905700 CPUtime=2.67 cores=1,3,5,7
/proc/7347/task/7358/stat : 7358 (java) S 7345 7345 6055 0 -1 1077944384 14224 0 0 0 265 2 0 0 20 0 19 0 475251137 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887225580144 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7359] ppid=7345 vsize=15685716 memory=1452 CPUtime=0.95 cores=1,3,5,7
/proc/7347/task/7359/stat : 7359 (java) S 7345 7345 6055 0 -1 1077944384 10941 0 0 0 94 1 0 0 20 0 19 0 475251137 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887224527600 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7360] ppid=7345 vsize=15685716 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7360/stat : 7360 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475251137 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887223475296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7361] ppid=7345 vsize=15685716 memory=899036 CPUtime=0.2 cores=1,3,5,7
/proc/7347/task/7361/stat : 7361 (java) S 7345 7345 6055 0 -1 1077944384 1748 0 0 0 20 0 0 0 20 0 19 0 475251137 16062173184 223220 33554432000 4194304 4196468 140720671870912 139887222421808 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8110] ppid=7345 vsize=15685716 memory=1452 CPUtime=276.59 cores=1,3,5,7
/proc/7347/task/8110/stat : 8110 (java) R 7345 7345 6055 0 -1 4202560 8857 0 0 0 27659 0 0 0 20 0 19 0 475275611 16062173184 223220 33554432000 4194304 4196468 140720671870912 139886240548400 139887310000256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8111] ppid=7345 vsize=15685716 memory=1452 CPUtime=275.52 cores=1,3,5,7
/proc/7347/task/8111/stat : 8111 (java) R 7345 7345 6055 0 -1 4202560 41701 0 0 0 27549 3 0 0 20 0 19 0 475275611 16062173184 223220 33554432000 4194304 4196468 140720671870912 139886233186048 139887304152266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8112] ppid=7345 vsize=15685716 memory=899036 CPUtime=275.68 cores=1,3,5,7
/proc/7347/task/8112/stat : 8112 (java) R 7345 7345 6055 0 -1 4202560 8820 0 0 0 27566 2 0 0 20 0 19 0 475275611 16062173184 223220 33554432000 4194304 4196468 140720671870912 139886236344488 139887309091648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8113] ppid=7345 vsize=15685716 memory=1452 CPUtime=275.93 cores=1,3,5,7
/proc/7347/task/8113/stat : 8113 (java) R 7345 7345 6055 0 -1 4202560 67370 0 0 0 27590 3 0 0 20 0 19 0 475275611 16062173184 223220 33554432000 4194304 4196468 140720671870912 139886235291848 139887310235023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
Current children cumulated CPU time: 2074.74 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 894332 KiB

[startup+582.301 s]
/proc/loadavg: 8.70 8.41 7.51 10/238 8150
/proc/meminfo: memFree=7273564/32770624 swapFree=66988728/67108860
[pid=7345] ppid=7342 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7345/stat : 7345 (xcsp3-exec) S 7342 7345 6055 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475251131 115843072 363 33554432000 4194304 5098028 140731228601248 140731228599352 140486345732732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34304000 140731228607318 140731228607577 140731228607577 140731228610502 0
/proc/7345/statm: 28282 363 305 221 0 87 0
[pid=7347] ppid=7345 vsize=15685716 memory=760244 CPUtime=2313.38 cores=1,3,5,7
/proc/7347/stat : 7347 (java) S 7345 7345 6055 0 -1 1077944320 971315 0 0 0 231148 190 0 0 20 0 19 0 475251131 16062173184 190061 33554432000 4194304 4196468 140720671870912 140720671853456 139887695101687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
/proc/7347/statm: 3921429 190061 3533 1 0 3882529 0
[pid=7347/tid=7348] ppid=7345 vsize=15685716 memory=805308 CPUtime=1.13 cores=1,3,5,7
/proc/7347/task/7348/stat : 7348 (java) S 7345 7345 6055 0 -1 1077944384 13898 0 0 0 108 5 0 0 20 0 19 0 475251132 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887699342464 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7349] ppid=7345 vsize=15685716 memory=804808 CPUtime=0.33 cores=1,3,5,7
/proc/7347/task/7349/stat : 7349 (java) S 7345 7345 6055 0 -1 1077944384 16415 0 0 0 24 9 0 0 20 0 19 0 475251133 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887623142160 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7350] ppid=7345 vsize=15685716 memory=804808 CPUtime=0.32 cores=1,3,5,7
/proc/7347/task/7350/stat : 7350 (java) S 7345 7345 6055 0 -1 1077944384 15658 0 0 0 22 10 0 0 20 0 19 0 475251133 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887286545296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7351] ppid=7345 vsize=15685716 memory=783324 CPUtime=0.33 cores=1,3,5,7
/proc/7347/task/7351/stat : 7351 (java) S 7345 7345 6055 0 -1 1077944384 16741 0 0 0 21 12 0 0 20 0 19 0 475251133 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887285492752 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7352] ppid=7345 vsize=15685716 memory=782808 CPUtime=0.31 cores=1,3,5,7
/proc/7347/task/7352/stat : 7352 (java) S 7345 7345 6055 0 -1 1077944384 17457 0 0 0 23 8 0 0 20 0 19 0 475251133 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887284440208 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7353] ppid=7345 vsize=15685716 memory=760244 CPUtime=0.25 cores=1,3,5,7
/proc/7347/task/7353/stat : 7353 (java) S 7345 7345 6055 0 -1 1077944384 5376 0 0 0 8 17 0 0 20 0 19 0 475251134 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887230842864 139887695112834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7354] ppid=7345 vsize=15685716 memory=760244 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7354/stat : 7354 (java) S 7345 7345 6055 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475251134 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887229789152 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7355] ppid=7345 vsize=15685716 memory=782808 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7355/stat : 7355 (java) S 7345 7345 6055 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 475251135 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887228736496 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7356] ppid=7345 vsize=15685716 memory=783324 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7356/stat : 7356 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475251137 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887227685072 139887695120283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7357] ppid=7345 vsize=15685716 memory=783324 CPUtime=2.82 cores=1,3,5,7
/proc/7347/task/7357/stat : 7357 (java) S 7345 7345 6055 0 -1 1077944384 12758 0 0 0 281 1 0 0 20 0 19 0 475251137 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887226632688 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7358] ppid=7345 vsize=15685716 memory=1452 CPUtime=2.67 cores=1,3,5,7
/proc/7347/task/7358/stat : 7358 (java) S 7345 7345 6055 0 -1 1077944384 14231 0 0 0 265 2 0 0 20 0 19 0 475251137 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887225580144 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7359] ppid=7345 vsize=15685716 memory=1452 CPUtime=0.95 cores=1,3,5,7
/proc/7347/task/7359/stat : 7359 (java) S 7345 7345 6055 0 -1 1077944384 10945 0 0 0 94 1 0 0 20 0 19 0 475251137 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887224527600 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7360] ppid=7345 vsize=15685716 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7360/stat : 7360 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475251137 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887223475296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7361] ppid=7345 vsize=15685716 memory=1808 CPUtime=0.22 cores=1,3,5,7
/proc/7347/task/7361/stat : 7361 (java) S 7345 7345 6055 0 -1 1077944384 1769 0 0 0 22 0 0 0 20 0 19 0 475251137 16062173184 190061 33554432000 4194304 4196468 140720671870912 139887222421808 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8110] ppid=7345 vsize=15685716 memory=3620 CPUtime=336.01 cores=1,3,5,7
/proc/7347/task/8110/stat : 8110 (java) R 7345 7345 6055 0 -1 4202560 9465 0 0 0 33601 0 0 0 20 0 19 0 475275611 16062173184 190061 33554432000 4194304 4196468 140720671870912 139886240545328 139887310234616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8111] ppid=7345 vsize=15685716 memory=38944 CPUtime=334.95 cores=1,3,5,7
/proc/7347/task/8111/stat : 8111 (java) R 7345 7345 6055 0 -1 4202560 42455 0 0 0 33492 3 0 0 20 0 19 0 475275611 16062173184 190061 33554432000 4194304 4196468 140720671870912 139886233186344 139887310903118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8112] ppid=7345 vsize=15685716 memory=772032 CPUtime=335.33 cores=1,3,5,7
/proc/7347/task/8112/stat : 8112 (java) R 7345 7345 6055 0 -1 4202560 9261 0 0 0 33531 2 0 0 20 0 19 0 475275611 16062173184 190061 33554432000 4194304 4196468 140720671870912 139886236344488 139887309591387 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8113] ppid=7345 vsize=15685716 memory=1452 CPUtime=335.72 cores=1,3,5,7
/proc/7347/task/8113/stat : 8113 (java) R 7345 7345 6055 0 -1 4202560 68178 0 0 0 33568 4 0 0 20 0 19 0 475275611 16062173184 190061 33554432000 4194304 4196468 140720671870912 139886235294688 139887304152566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
Current children cumulated CPU time: 2313.38 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 761696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+634.401 s]
/proc/loadavg: 8.76 8.47 7.58 10/238 8153
/proc/meminfo: memFree=7543652/32770624 swapFree=66988728/67108860
[pid=7345] ppid=7342 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7345/stat : 7345 (xcsp3-exec) S 7342 7345 6055 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475251131 115843072 363 33554432000 4194304 5098028 140731228601248 140731228599352 140486345732732 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34304000 140731228607318 140731228607577 140731228607577 140731228610502 0
/proc/7345/statm: 28282 363 305 221 0 87 0
[pid=7347] ppid=7345 vsize=15685716 memory=480156 CPUtime=2520.32 cores=1,3,5,7
/proc/7347/stat : 7347 (java) S 7345 7345 6055 0 -1 1077944320 976578 0 0 0 251828 204 0 0 20 0 19 0 475251131 16062173184 120039 33554432000 4194304 4196468 140720671870912 140720671853456 139887695101687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
/proc/7347/statm: 3921429 120039 3533 1 0 3882529 0
[pid=7347/tid=7348] ppid=7345 vsize=15685716 memory=288230621803970871 CPUtime=1.13 cores=1,3,5,7
/proc/7347/task/7348/stat : 7348 (java) S 7345 7345 6055 0 -1 1077944384 13898 0 0 0 108 5 0 0 20 0 19 0 475251132 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887699342464 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7349] ppid=7345 vsize=15685716 memory=14689690934577591 CPUtime=0.44 cores=1,3,5,7
/proc/7347/task/7349/stat : 7349 (java) S 7345 7345 6055 0 -1 1077944384 16982 0 0 0 34 10 0 0 20 0 19 0 475251133 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887623142160 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7350] ppid=7345 vsize=15685716 memory=14008 CPUtime=0.43 cores=1,3,5,7
/proc/7347/task/7350/stat : 7350 (java) S 7345 7345 6055 0 -1 1077944384 15805 0 0 0 33 10 0 0 20 0 19 0 475251133 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887286545296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7351] ppid=7345 vsize=15685716 memory=2120 CPUtime=0.44 cores=1,3,5,7
/proc/7347/task/7351/stat : 7351 (java) S 7345 7345 6055 0 -1 1077944384 16915 0 0 0 32 12 0 0 20 0 19 0 475251133 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887285492752 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7352] ppid=7345 vsize=15685716 memory=12028 CPUtime=0.43 cores=1,3,5,7
/proc/7347/task/7352/stat : 7352 (java) S 7345 7345 6055 0 -1 1077944384 18526 0 0 0 34 9 0 0 20 0 19 0 475251133 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887284440208 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7353] ppid=7345 vsize=15685716 memory=8112282956445269571 CPUtime=0.43 cores=1,3,5,7
/proc/7347/task/7353/stat : 7353 (java) S 7345 7345 6055 0 -1 1077944384 5632 0 0 0 14 29 0 0 20 0 19 0 475251134 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887230842864 139887695112834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7354] ppid=7345 vsize=15685716 memory=512 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7354/stat : 7354 (java) S 7345 7345 6055 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475251134 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887229789152 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7355] ppid=7345 vsize=15685716 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7355/stat : 7355 (java) S 7345 7345 6055 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 475251135 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887228736496 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7356] ppid=7345 vsize=15685716 memory=490932 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7356/stat : 7356 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475251137 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887227685072 139887695120283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7357] ppid=7345 vsize=15685716 memory=4486604260213485459 CPUtime=2.82 cores=1,3,5,7
/proc/7347/task/7357/stat : 7357 (java) S 7345 7345 6055 0 -1 1077944384 12761 0 0 0 281 1 0 0 20 0 19 0 475251137 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887226632688 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7358] ppid=7345 vsize=15685716 memory=567816 CPUtime=2.67 cores=1,3,5,7
/proc/7347/task/7358/stat : 7358 (java) S 7345 7345 6055 0 -1 1077944384 14235 0 0 0 265 2 0 0 20 0 19 0 475251137 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887225580144 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7359] ppid=7345 vsize=15685716 memory=1412 CPUtime=0.95 cores=1,3,5,7
/proc/7347/task/7359/stat : 7359 (java) S 7345 7345 6055 0 -1 1077944384 11541 0 0 0 94 1 0 0 20 0 19 0 475251137 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887224527600 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7360] ppid=7345 vsize=15685716 memory=3356 CPUtime=0 cores=1,3,5,7
/proc/7347/task/7360/stat : 7360 (java) S 7345 7345 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475251137 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887223475296 139887695111893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=7361] ppid=7345 vsize=15685716 memory=8112282956445269571 CPUtime=0.24 cores=1,3,5,7
/proc/7347/task/7361/stat : 7361 (java) S 7345 7345 6055 0 -1 1077944384 1794 0 0 0 24 0 0 0 20 0 19 0 475251137 16062173184 120039 33554432000 4194304 4196468 140720671870912 139887222421808 139887695112834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8110] ppid=7345 vsize=15685716 memory=1576 CPUtime=387.6 cores=1,3,5,7
/proc/7347/task/8110/stat : 8110 (java) R 7345 7345 6055 0 -1 4202560 10159 0 0 0 38759 1 0 0 20 0 19 0 475275611 16062173184 120039 33554432000 4194304 4196468 140720671870912 139886240545592 139887310902755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8111] ppid=7345 vsize=15685716 memory=1028 CPUtime=386.66 cores=1,3,5,7
/proc/7347/task/8111/stat : 8111 (java) R 7345 7345 6055 0 -1 4202560 43091 0 0 0 38663 3 0 0 20 0 19 0 475275611 16062173184 120039 33554432000 4194304 4196468 140720671870912 139886233186744 139887304152564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8112] ppid=7345 vsize=15685716 memory=1060 CPUtime=386.85 cores=1,3,5,7
/proc/7347/task/8112/stat : 8112 (java) R 7345 7345 6055 0 -1 4202560 9707 0 0 0 38683 2 0 0 20 0 19 0 475275611 16062173184 120039 33554432000 4194304 4196468 140720671870912 139886236344080 139887310701732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
[pid=7347/tid=8113] ppid=7345 vsize=15685716 memory=4486604260213485459 CPUtime=387.2 cores=1,3,5,7
/proc/7347/task/8113/stat : 8113 (java) R 7345 7345 6055 0 -1 4202560 68824 0 0 0 38716 4 0 0 20 0 19 0 475275611 16062173184 120039 33554432000 4194304 4196468 140720671870912 139886235294576 139887312149087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39071744 140720671871963 140720671872138 140720671872138 140720671875023 0
Current children cumulated CPU time: 2520.32 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 481608 KiB

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

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

[startup+634.491 s]
# the end of solver process 7347 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.59 s, system=2.0601 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): 634.491
CPU time (s): 2520.65
CPU user time (s): 2518.59
CPU system time (s): 2.0601
CPU usage (%): 397.271
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 1104552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.59
system time used= 2.0601
maximum resident set size= 1110712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 977938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21317
involuntary context switches= 40809


# summary of solver processes directly reported to runsolver:
#   pid: 7345,7347
#   total CPU time (s): 2520.65
#   total CPU user time (s): 2518.59
#   total CPU system time (s): 2.0601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.08897 second user time and 7.12724 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	508
Best CPU time to get the best result obtained on this benchmark	19845.3
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 4403883

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