2017 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 4.0.5 par (2017-08-18)	SAT (TO)	783	19994.6	2520.1101

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280640-1503134588.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280640-1503134588.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
3.35/1.03	c solve instance...
3.94/1.11	o 3154 
3.94/1.12	o 3117 
3.94/1.13	o 3090 
3.94/1.14	o 2245 
9.42/1.83	o 2056 
10.98/2.09	o 2012 
11.76/2.20	o 1936 
12.47/2.23	o 1881 
14.09/2.41	o 1874 
14.82/2.52	o 1796 
18.80/3.08	o 1770 
20.26/3.27	o 1731 
20.99/3.36	o 1729 
20.99/3.37	o 1712 
21.76/3.45	o 1701 
25.73/3.99	o 1694 
26.62/4.05	o 1671 
27.99/4.22	o 1634 
27.99/4.29	o 1612 
28.75/4.33	o 1608 
29.52/4.50	o 1600 
30.31/4.51	o 1569 
30.31/4.53	o 1560 
31.05/4.63	o 1514 
31.05/4.69	o 1495 
31.05/4.71	o 1478 
33.38/4.90	o 1457 
33.38/4.91	o 1450 
38.92/5.64	o 1448 
39.69/5.71	o 1389 
42.90/6.20	o 1366 
44.41/6.31	o 1349 
48.38/6.86	o 1347 
69.87/9.57	o 1343 
70.62/9.61	o 1329 
136.79/17.99	o 1326 
189.33/24.50	o 1318 
189.33/24.57	o 1316 
244.26/31.42	o 1308 
279.23/35.84	o 1301 
282.34/36.29	o 1287 
336.66/43.04	o 1281 
348.48/44.56	o 1237 
348.48/44.59	o 1234 
381.70/49.00	o 1226 
381.85/49.02	o 1218 
505.36/64.54	o 1209 
585.02/74.60	o 1198 
596.13/75.91	o 1189 
596.13/75.95	o 1173 
644.61/82.08	o 1142 
655.60/83.40	o 1140 
664.36/84.55	o 1108 
755.25/95.97	o 1085 
756.10/96.10	o 1051 
793.29/100.72	o 1046 
1050.83/133.03	o 1045 
1128.85/142.89	o 1035 
1129.63/142.92	o 1031 
1218.86/154.18	o 1029 
1420.78/179.59	o 1022 
1625.00/205.15	o 1017 
1667.17/210.46	o 1014 
1695.93/214.09	o 1006 
1873.70/236.39	o 995 
1965.28/247.82	o 974 
2076.89/261.87	o 960 
2117.21/266.99	o 956 
2385.83/300.66	o 954 
2393.07/301.51	o 944 
2500.63/315.05	o 942 
2727.28/343.50	o 939 
2844.96/358.32	o 938 
2998.42/377.67	o 934 
3133.92/394.70	o 929 
3196.31/402.69	o 920 
3452.94/434.99	o 911 
3648.66/459.75	o 893 
3862.18/486.79	o 865 
4330.27/545.68	o 863 
4859.26/612.32	o 862 
5003.92/630.55	o 861 
5239.37/660.34	o 860 
5489.81/692.02	o 857 
5753.24/725.39	o 856 
7073.50/891.32	o 854 
7904.95/996.11	o 853 
8086.62/1019.20	o 852 
8935.56/1126.42	o 849 
9427.97/1188.67	o 846 
9885.83/1246.37	o 837 
9940.07/1253.19	o 829 
10313.84/1300.32	o 820 
12113.44/1527.21	o 819 
12810.35/1615.20	o 815 
14237.56/1795.18	o 809 
15087.74/1902.40	o 803 
15623.99/1970.23	o 796 
16489.78/2079.33	o 783 
19993.90/2520.08	s SATISFIABLE
19993.90/2520.08	v <instantiation>
19993.90/2520.08	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
19993.90/2520.08	v 	<values>0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 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 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 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 1 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 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 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 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 30 3 40 16 56 91 98 62 16 100 64 45 100 24 67 82 95 10 80 97 27 58 56 80 69 37 3 86 37 100 46 42 83 </values>
19993.90/2520.08	v </instantiation>
19993.90/2520.08	c Unexpected resolution interruption!

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280640-1503134588/watcher-4280640-1503134588 -o /tmp/evaluation-result-4280640-1503134588/solver-4280640-1503134588 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503126150-19729 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1916681261 HOME/instance-4280640-1503134588.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=21415, runsolver pid=21412

[startup+0.100155 s]*
/proc/loadavg: 7.50 7.92 8.16 2/199 21436
/proc/meminfo: memFree=27049156/32770624 swapFree=67108860/67108860
[pid=21415] ppid=21412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21415/stat : 21415 (xcsp3-exec) S 21412 21415 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146546772 9740288 346 33554432000 4194304 5098028 140731169263824 140731169261928 139805873255036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28778496 140731169268836 140731169269047 140731169269047 140731169271787 0
/proc/21415/statm: 2378 346 289 221 0 87 0
[pid=21417] ppid=21415 vsize=25999808 memory=26464 CPUtime=0.11 cores=0-7
/proc/21417/stat : 21417 (java) S 21415 21415 19702 0 -1 1077944320 5504 0 0 0 10 1 0 0 20 0 20 0 146546772 26623803392 6616 33554432000 4194304 4196468 140737110269392 140737110251936 140199182589687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
/proc/21417/statm: 6499952 6616 2881 1 0 6488269 0
[pid=21417/tid=21418] ppid=21415 vsize=25999808 memory=7968446023329554584 CPUtime=0.09 cores=0-7
/proc/21417/task/21418/stat : 21418 (java) R 21415 21415 19702 0 -1 4202560 3509 0 0 0 9 0 0 0 20 0 20 0 146546772 26623803392 6616 33554432000 4194304 4196468 140737110269392 140199186822016 140199166633317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21419] ppid=21415 vsize=25999808 memory=732370274824723429 CPUtime=0 cores=0-7
/proc/21417/task/21419/stat : 21419 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26623803392 6616 33554432000 4194304 4196468 140737110269392 140198741036048 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21420] ppid=21415 vsize=25999808 memory=140136487270016 CPUtime=0 cores=0-7
/proc/21417/task/21420/stat : 21420 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146546773 26623803392 6616 33554432000 4194304 4196468 140737110269392 140198739983504 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21421] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21421/stat : 21421 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546773 26623803392 6616 33554432000 4194304 4196468 140737110269392 140198738930448 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21422] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21422/stat : 21422 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26623803392 6616 33554432000 4194304 4196468 140737110269392 140198737877904 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21423] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21423/stat : 21423 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26623803392 6616 33554432000 4194304 4196468 140737110269392 140198736824848 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21424] ppid=21415 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21417/task/21424/stat : 21424 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26623803392 6616 33554432000 4194304 4196468 140737110269392 140198735772304 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21425] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21425/stat : 21425 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546773 26623803392 6616 33554432000 4194304 4196468 140737110269392 140198734719248 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21426] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21426/stat : 21426 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26623803392 6616 33554432000 4194304 4196468 140737110269392 140198733666704 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21427] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21427/stat : 21427 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546775 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197634153200 140199182600834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21428] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21428/stat : 21428 (java) S 21415 21415 19702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146546775 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197633099424 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21429] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21429/stat : 21429 (java) S 21415 21415 19702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146546775 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197632046320 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21430] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21430/stat : 21430 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546778 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197630994896 140199182608283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21431] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21431/stat : 21431 (java) S 21415 21415 19702 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 146546778 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197629942000 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21432] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21432/stat : 21432 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146546778 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197628889456 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21433] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21433/stat : 21433 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146546778 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197627836400 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21434] ppid=21415 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21417/task/21434/stat : 21434 (java) S 21415 21415 19702 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 146546778 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197626783856 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21435] ppid=21415 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21435/stat : 21435 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146546778 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197625732064 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21436] ppid=21415 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21417/task/21436/stat : 21436 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546778 26623803392 6682 33554432000 4194304 4196468 140737110269392 140197624679600 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27848 KiB

[startup+0.210089 s]*
/proc/loadavg: 7.50 7.92 8.16 3/199 21436
/proc/meminfo: memFree=27037868/32770624 swapFree=67108860/67108860
[pid=21415] ppid=21412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21415/stat : 21415 (xcsp3-exec) S 21412 21415 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146546772 9740288 346 33554432000 4194304 5098028 140731169263824 140731169261928 139805873255036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28778496 140731169268836 140731169269047 140731169269047 140731169271787 0
/proc/21415/statm: 2378 346 289 221 0 87 0
[pid=21417] ppid=21415 vsize=26004064 memory=38940 CPUtime=0.33 cores=0-7
/proc/21417/stat : 21417 (java) S 21415 21415 19702 0 -1 1077944320 8330 0 0 0 31 2 0 0 20 0 20 0 146546772 26628161536 9735 33554432000 4194304 4196468 140737110269392 140737110251936 140199182589687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
/proc/21417/statm: 6501016 9735 3052 1 0 6488269 0
[pid=21417/tid=21418] ppid=21415 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/21417/task/21418/stat : 21418 (java) R 21415 21415 19702 0 -1 4202560 5417 0 0 0 19 0 0 0 20 0 20 0 146546772 26628161536 9735 33554432000 4194304 4196468 140737110269392 140199186810680 140199175267701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21419] ppid=21415 vsize=26004064 memory=732370274824723429 CPUtime=0 cores=0-7
/proc/21417/task/21419/stat : 21419 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 9735 33554432000 4194304 4196468 140737110269392 140198741036048 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21420] ppid=21415 vsize=26004064 memory=140136487270016 CPUtime=0 cores=0-7
/proc/21417/task/21420/stat : 21420 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 9735 33554432000 4194304 4196468 140737110269392 140198739983504 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21421] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21421/stat : 21421 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 9735 33554432000 4194304 4196468 140737110269392 140198738930448 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21422] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21422/stat : 21422 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 9735 33554432000 4194304 4196468 140737110269392 140198737877904 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21423] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21423/stat : 21423 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 9735 33554432000 4194304 4196468 140737110269392 140198736824848 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21424] ppid=21415 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21417/task/21424/stat : 21424 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 9735 33554432000 4194304 4196468 140737110269392 140198735772304 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21425] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21425/stat : 21425 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 9735 33554432000 4194304 4196468 140737110269392 140198734719248 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21426] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21426/stat : 21426 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 9735 33554432000 4194304 4196468 140737110269392 140198733666704 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21427] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21427/stat : 21427 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546775 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197634153200 140199182600834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21428] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21428/stat : 21428 (java) S 21415 21415 19702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146546775 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197633099424 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21429] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21429/stat : 21429 (java) S 21415 21415 19702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146546775 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197632046320 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21430] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21430/stat : 21430 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546778 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197630994896 140199182608283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21431] ppid=21415 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21417/task/21431/stat : 21431 (java) S 21415 21415 19702 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 20 0 146546778 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197629942000 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21432] ppid=21415 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21417/task/21432/stat : 21432 (java) S 21415 21415 19702 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 146546778 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197628889456 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21433] ppid=21415 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21417/task/21433/stat : 21433 (java) S 21415 21415 19702 0 -1 1077944384 191 0 0 0 1 0 0 0 20 0 20 0 146546778 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197627836400 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21434] ppid=21415 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/21417/task/21434/stat : 21434 (java) R 21415 21415 19702 0 -1 1077944384 767 0 0 0 7 0 0 0 20 0 20 0 146546778 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197626783856 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21435] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21435/stat : 21435 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146546778 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197625732064 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21436] ppid=21415 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21417/task/21436/stat : 21436 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546778 26628161536 9735 33554432000 4194304 4196468 140737110269392 140197624679600 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40324 KiB

[startup+0.30946 s]*
/proc/loadavg: 7.50 7.92 8.16 3/199 21436
/proc/meminfo: memFree=27033464/32770624 swapFree=67108860/67108860
[pid=21415] ppid=21412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21415/stat : 21415 (xcsp3-exec) S 21412 21415 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146546772 9740288 346 33554432000 4194304 5098028 140731169263824 140731169261928 139805873255036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28778496 140731169268836 140731169269047 140731169269047 140731169271787 0
/proc/21415/statm: 2378 346 289 221 0 87 0
[pid=21417] ppid=21415 vsize=26004064 memory=43616 CPUtime=0.5 cores=0-7
/proc/21417/stat : 21417 (java) S 21415 21415 19702 0 -1 1077944320 9176 0 0 0 47 3 0 0 20 0 20 0 146546772 26628161536 10904 33554432000 4194304 4196468 140737110269392 140737110251936 140199182589687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
/proc/21417/statm: 6501016 10904 3084 1 0 6488269 0
[pid=21417/tid=21418] ppid=21415 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/21417/task/21418/stat : 21418 (java) R 21415 21415 19702 0 -1 4202560 6103 0 0 0 27 1 0 0 20 0 20 0 146546772 26628161536 10904 33554432000 4194304 4196468 140737110269392 140199186827728 140199182601622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21419] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21419/stat : 21419 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 10904 33554432000 4194304 4196468 140737110269392 140198741036048 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21420] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21420/stat : 21420 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 10904 33554432000 4194304 4196468 140737110269392 140198739983504 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21421] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21421/stat : 21421 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 10904 33554432000 4194304 4196468 140737110269392 140198738930448 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21422] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21422/stat : 21422 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 10904 33554432000 4194304 4196468 140737110269392 140198737877904 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21423] ppid=21415 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21417/task/21423/stat : 21423 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 10904 33554432000 4194304 4196468 140737110269392 140198736824848 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21424] ppid=21415 vsize=26004064 memory=140136327246767 CPUtime=0 cores=0-7
/proc/21417/task/21424/stat : 21424 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 10904 33554432000 4194304 4196468 140737110269392 140198735772304 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21425] ppid=21415 vsize=26004064 memory=140136327249072 CPUtime=0 cores=0-7
/proc/21417/task/21425/stat : 21425 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 10904 33554432000 4194304 4196468 140737110269392 140198734719248 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21426] ppid=21415 vsize=26004064 memory=140136327251376 CPUtime=0 cores=0-7
/proc/21417/task/21426/stat : 21426 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26628161536 10904 33554432000 4194304 4196468 140737110269392 140198733666704 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21427] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21427/stat : 21427 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546775 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197634153200 140199182600834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21428] ppid=21415 vsize=26004064 memory=280272654509712 CPUtime=0 cores=0-7
/proc/21417/task/21428/stat : 21428 (java) S 21415 21415 19702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146546775 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197633099424 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21429] ppid=21415 vsize=26004064 memory=280272654516624 CPUtime=0 cores=0-7
/proc/21417/task/21429/stat : 21429 (java) S 21415 21415 19702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146546775 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197632046320 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21430] ppid=21415 vsize=26004064 memory=280272654457904 CPUtime=0 cores=0-7
/proc/21417/task/21430/stat : 21430 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546778 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197630994896 140199182608283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21431] ppid=21415 vsize=26004064 memory=280272654530448 CPUtime=0.02 cores=0-7
/proc/21417/task/21431/stat : 21431 (java) S 21415 21415 19702 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 20 0 146546778 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197629942000 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21432] ppid=21415 vsize=26004064 memory=280272654537360 CPUtime=0.02 cores=0-7
/proc/21417/task/21432/stat : 21432 (java) S 21415 21415 19702 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 146546778 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197628889456 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21433] ppid=21415 vsize=26004064 memory=280272654535056 CPUtime=0.02 cores=0-7
/proc/21417/task/21433/stat : 21433 (java) S 21415 21415 19702 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 20 0 146546778 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197627836400 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21434] ppid=21415 vsize=26004064 memory=280272654551216 CPUtime=0.12 cores=0-7
/proc/21417/task/21434/stat : 21434 (java) R 21415 21415 19702 0 -1 4202560 849 0 0 0 12 0 0 0 20 0 20 0 146546778 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197626783856 140199161861609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21435] ppid=21415 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21417/task/21435/stat : 21435 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146546778 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197625732064 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21436] ppid=21415 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21417/task/21436/stat : 21436 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546778 26628161536 10904 33554432000 4194304 4196468 140737110269392 140197624679600 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45000 KiB

[startup+0.700951 s]
/proc/loadavg: 7.14 7.84 8.13 6/199 21436
/proc/meminfo: memFree=27010884/32770624 swapFree=67108860/67108860
[pid=21415] ppid=21412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21415/stat : 21415 (xcsp3-exec) S 21412 21415 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146546772 9740288 346 33554432000 4194304 5098028 140731169263824 140731169261928 139805873255036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28778496 140731169268836 140731169269047 140731169269047 140731169271787 0
/proc/21415/statm: 2378 346 289 221 0 87 0
[pid=21417] ppid=21415 vsize=26006188 memory=96944 CPUtime=1.99 cores=0-7
/proc/21417/stat : 21417 (java) S 21415 21415 19702 0 -1 1077944320 13225 0 0 0 194 5 0 0 20 0 20 0 146546772 26630336512 24236 33554432000 4194304 4196468 140737110269392 140737110251936 140199182589687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
/proc/21417/statm: 6501547 24236 3209 1 0 6488781 0
[pid=21417/tid=21418] ppid=21415 vsize=26006188 memory=280272654846144 CPUtime=0.67 cores=0-7
/proc/21417/task/21418/stat : 21418 (java) R 21415 21415 19702 0 -1 4202560 6710 0 0 0 65 2 0 0 20 0 20 0 146546772 26630336512 24236 33554432000 4194304 4196468 140737110269392 140199186826032 140198821210888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21419] ppid=21415 vsize=26006188 memory=1420 CPUtime=0 cores=0-7
/proc/21417/task/21419/stat : 21419 (java) S 21415 21415 19702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146546773 26630336512 24236 33554432000 4194304 4196468 140737110269392 140198741036048 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21420] ppid=21415 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/21417/task/21420/stat : 21420 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146546773 26630336512 24236 33554432000 4194304 4196468 140737110269392 140198739983504 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21421] ppid=21415 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/21417/task/21421/stat : 21421 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146546773 26630336512 24236 33554432000 4194304 4196468 140737110269392 140198738930448 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0

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

[pid=21417/tid=22269] ppid=21415 vsize=26538700 memory=1384 CPUtime=360.19 cores=0-7
/proc/21417/task/22269/stat : 22269 (java) R 21415 21415 19702 0 -1 4202560 1089 0 0 0 36017 2 0 0 20 0 28 0 146754706 27175628800 97943 33554432000 4194304 4196468 140737110269392 140197609300640 140198829039574 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
Current children cumulated CPU time: 19378.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 393156 KiB

[startup+2502.3 s]
/proc/loadavg: 8.46 8.24 8.24 9/207 22276
/proc/meminfo: memFree=26581432/32770624 swapFree=67108860/67108860
[pid=21415] ppid=21412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21415/stat : 21415 (xcsp3-exec) S 21412 21415 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146546772 9740288 346 33554432000 4194304 5098028 140731169263824 140731169261928 139805873255036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28778496 140731169268836 140731169269047 140731169269047 140731169271787 0
/proc/21415/statm: 2378 346 289 221 0 87 0
[pid=21417] ppid=21415 vsize=26538700 memory=490488 CPUtime=19853.3 cores=0-7
/proc/21417/stat : 21417 (java) S 21415 21415 19702 0 -1 1077944320 1313595 0 0 0 1984324 1006 0 0 20 0 28 0 146546772 27175628800 122622 33554432000 4194304 4196468 140737110269392 140737110251936 140199182589687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
/proc/21417/statm: 6634675 122622 3305 1 0 6621909 0
[pid=21417/tid=21418] ppid=21415 vsize=26538700 memory=491000 CPUtime=1.1 cores=0-7
/proc/21417/task/21418/stat : 21418 (java) S 21415 21415 19702 0 -1 1077944384 15938 0 0 0 105 5 0 0 20 0 28 0 146546772 27175628800 122622 33554432000 4194304 4196468 140737110269392 140199186830464 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21419] ppid=21415 vsize=26538700 memory=449956 CPUtime=7.5 cores=0-7
/proc/21417/task/21419/stat : 21419 (java) S 21415 21415 19702 0 -1 1077944384 46312 0 0 0 721 29 0 0 20 0 28 0 146546773 27175628800 122622 33554432000 4194304 4196468 140737110269392 140198741036048 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21420] ppid=21415 vsize=26538700 memory=422144 CPUtime=7.56 cores=0-7
/proc/21417/task/21420/stat : 21420 (java) S 21415 21415 19702 0 -1 1077944384 45939 0 0 0 726 30 0 0 20 0 28 0 146546773 27175628800 122622 33554432000 4194304 4196468 140737110269392 140198739983504 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21421] ppid=21415 vsize=26538700 memory=423620 CPUtime=7.52 cores=0-7
/proc/21417/task/21421/stat : 21421 (java) S 21415 21415 19702 0 -1 1077944384 40337 0 0 0 721 31 0 0 20 0 28 0 146546773 27175628800 122622 33554432000 4194304 4196468 140737110269392 140198738930448 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21422] ppid=21415 vsize=26538700 memory=426128 CPUtime=7.47 cores=0-7
/proc/21417/task/21422/stat : 21422 (java) S 21415 21415 19702 0 -1 1077944384 40732 0 0 0 717 30 0 0 20 0 28 0 146546773 27175628800 122622 33554432000 4194304 4196468 140737110269392 140198737877904 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21423] ppid=21415 vsize=26538700 memory=415364 CPUtime=7.52 cores=0-7
/proc/21417/task/21423/stat : 21423 (java) S 21415 21415 19702 0 -1 1077944384 45942 0 0 0 721 31 0 0 20 0 28 0 146546773 27175628800 122622 33554432000 4194304 4196468 140737110269392 140198736824848 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21424] ppid=21415 vsize=26538700 memory=399248 CPUtime=7.44 cores=0-7
/proc/21417/task/21424/stat : 21424 (java) S 21415 21415 19702 0 -1 1077944384 39388 0 0 0 715 29 0 0 20 0 28 0 146546773 27175628800 122622 33554432000 4194304 4196468 140737110269392 140198735772304 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21425] ppid=21415 vsize=26538700 memory=433968 CPUtime=7.44 cores=0-7
/proc/21417/task/21425/stat : 21425 (java) S 21415 21415 19702 0 -1 1077944384 40092 0 0 0 713 31 0 0 20 0 28 0 146546773 27175628800 122622 33554432000 4194304 4196468 140737110269392 140198734719248 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21426] ppid=21415 vsize=26538700 memory=391772 CPUtime=7.51 cores=0-7
/proc/21417/task/21426/stat : 21426 (java) S 21415 21415 19702 0 -1 1077944384 41111 0 0 0 720 31 0 0 20 0 28 0 146546773 27175628800 122622 33554432000 4194304 4196468 140737110269392 140198733666704 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21427] ppid=21415 vsize=26538700 memory=391772 CPUtime=8.13 cores=0-7
/proc/21417/task/21427/stat : 21427 (java) S 21415 21415 19702 0 -1 1077944384 196911 0 0 0 427 386 0 0 20 0 28 0 146546775 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197634153200 140199182600834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21428] ppid=21415 vsize=26538700 memory=391772 CPUtime=0 cores=0-7
/proc/21417/task/21428/stat : 21428 (java) S 21415 21415 19702 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 146546775 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197633099488 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21429] ppid=21415 vsize=26538700 memory=391772 CPUtime=0 cores=0-7
/proc/21417/task/21429/stat : 21429 (java) S 21415 21415 19702 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 146546775 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197632046336 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21430] ppid=21415 vsize=26538700 memory=391772 CPUtime=0 cores=0-7
/proc/21417/task/21430/stat : 21430 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146546778 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197630994896 140199182608283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21431] ppid=21415 vsize=26538700 memory=491212 CPUtime=2.41 cores=0-7
/proc/21417/task/21431/stat : 21431 (java) S 21415 21415 19702 0 -1 1077944384 14709 0 0 0 240 1 0 0 20 0 28 0 146546778 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197629942000 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21432] ppid=21415 vsize=26538700 memory=517428 CPUtime=2.59 cores=0-7
/proc/21417/task/21432/stat : 21432 (java) S 21415 21415 19702 0 -1 1077944384 10551 0 0 0 259 0 0 0 20 0 28 0 146546778 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197628889456 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21433] ppid=21415 vsize=26538700 memory=484584 CPUtime=2.43 cores=0-7
/proc/21417/task/21433/stat : 21433 (java) S 21415 21415 19702 0 -1 1077944384 13897 0 0 0 242 1 0 0 20 0 28 0 146546778 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197627836400 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21434] ppid=21415 vsize=26538700 memory=489800 CPUtime=1.02 cores=0-7
/proc/21417/task/21434/stat : 21434 (java) S 21415 21415 19702 0 -1 1077944384 22103 0 0 0 99 3 0 0 20 0 28 0 146546778 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197626783856 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21435] ppid=21415 vsize=26538700 memory=490308 CPUtime=0 cores=0-7
/proc/21417/task/21435/stat : 21435 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146546778 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197625732064 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21436] ppid=21415 vsize=26538700 memory=1384 CPUtime=0.46 cores=0-7
/proc/21417/task/21436/stat : 21436 (java) S 21415 21415 19702 0 -1 1077944384 10331 0 0 0 18 28 0 0 20 0 28 0 146546778 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197624679600 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22262] ppid=21415 vsize=26538700 memory=1384 CPUtime=420.08 cores=0-7
/proc/21417/task/22262/stat : 22262 (java) R 21415 21415 19702 0 -1 4202560 1378 0 0 0 42008 0 0 0 20 0 28 0 146754705 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197612456672 140198828277061 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22263] ppid=21415 vsize=26538700 memory=1384 CPUtime=419.99 cores=0-7
/proc/21417/task/22263/stat : 22263 (java) R 21415 21415 19702 0 -1 4202560 1089 0 0 0 41999 0 0 0 20 0 28 0 146754705 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197613511848 140198824140451 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22264] ppid=21415 vsize=26538700 memory=490488 CPUtime=418.4 cores=0-7
/proc/21417/task/22264/stat : 22264 (java) R 21415 21415 19702 0 -1 4202560 3479 0 0 0 41838 2 0 0 20 0 28 0 146754705 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197611405400 140198826634825 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22265] ppid=21415 vsize=26538700 memory=140140782237311 CPUtime=420.21 cores=0-7
/proc/21417/task/22265/stat : 22265 (java) R 21415 21415 19702 0 -1 4202560 5015 0 0 0 42018 3 0 0 20 0 28 0 146754706 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197614563416 140198828263574 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22266] ppid=21415 vsize=26538700 memory=489792 CPUtime=418.44 cores=0-7
/proc/21417/task/22266/stat : 22266 (java) R 21415 21415 19702 0 -1 4202560 2835 0 0 0 41841 3 0 0 20 0 28 0 146754706 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197616669088 140198828263365 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22267] ppid=21415 vsize=26538700 memory=1384 CPUtime=419.95 cores=0-7
/proc/21417/task/22267/stat : 22267 (java) R 21415 21415 19702 0 -1 4202560 1604 0 0 0 41994 1 0 0 20 0 28 0 146754706 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197610352472 140198828263650 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22268] ppid=21415 vsize=26538700 memory=1384 CPUtime=418.11 cores=0-7
/proc/21417/task/22268/stat : 22268 (java) R 21415 21415 19702 0 -1 4202560 4998 0 0 0 41795 16 0 0 20 0 28 0 146754706 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197615619552 140198826761980 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22269] ppid=21415 vsize=26538700 memory=1384 CPUtime=418.99 cores=0-7
/proc/21417/task/22269/stat : 22269 (java) R 21415 21415 19702 0 -1 4202560 1141 0 0 0 41897 2 0 0 20 0 28 0 146754706 27175628800 122622 33554432000 4194304 4196468 140737110269392 140197609301104 140198828666967 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
Current children cumulated CPU time: 19853.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 491872 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.58 8.28 8.25 9/207 22276
/proc/meminfo: memFree=26582668/32770624 swapFree=67108860/67108860
[pid=21415] ppid=21412 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21415/stat : 21415 (xcsp3-exec) S 21412 21415 19702 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146546772 9740288 346 33554432000 4194304 5098028 140731169263824 140731169261928 139805873255036 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28778496 140731169268836 140731169269047 140731169269047 140731169271787 0
/proc/21415/statm: 2378 346 289 221 0 87 0
[pid=21417] ppid=21415 vsize=26538700 memory=491220 CPUtime=19993.9 cores=0-7
/proc/21417/stat : 21417 (java) S 21415 21415 19702 0 -1 1077944320 1315215 0 0 0 1998379 1011 0 0 20 0 28 0 146546772 27175628800 122805 33554432000 4194304 4196468 140737110269392 140737110251936 140199182589687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
/proc/21417/statm: 6634675 122805 3305 1 0 6621909 0
[pid=21417/tid=21418] ppid=21415 vsize=26538700 memory=6791534058613427641 CPUtime=1.1 cores=0-7
/proc/21417/task/21418/stat : 21418 (java) S 21415 21415 19702 0 -1 1077944384 15938 0 0 0 105 5 0 0 20 0 28 0 146546772 27175628800 122805 33554432000 4194304 4196468 140737110269392 140199186830464 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21419] ppid=21415 vsize=26538700 memory=-7003737579269690708 CPUtime=7.56 cores=0-7
/proc/21417/task/21419/stat : 21419 (java) S 21415 21415 19702 0 -1 1077944384 46429 0 0 0 727 29 0 0 20 0 28 0 146546773 27175628800 122805 33554432000 4194304 4196468 140737110269392 140198741036048 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21420] ppid=21415 vsize=26538700 memory=6791534058613427641 CPUtime=7.62 cores=0-7
/proc/21417/task/21420/stat : 21420 (java) S 21415 21415 19702 0 -1 1077944384 46104 0 0 0 732 30 0 0 20 0 28 0 146546773 27175628800 122805 33554432000 4194304 4196468 140737110269392 140198739983504 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21421] ppid=21415 vsize=26538700 memory=-7003737579269690708 CPUtime=7.58 cores=0-7
/proc/21417/task/21421/stat : 21421 (java) S 21415 21415 19702 0 -1 1077944384 40402 0 0 0 727 31 0 0 20 0 28 0 146546773 27175628800 122805 33554432000 4194304 4196468 140737110269392 140198738930448 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21422] ppid=21415 vsize=26538700 memory=494748 CPUtime=7.53 cores=0-7
/proc/21417/task/21422/stat : 21422 (java) S 21415 21415 19702 0 -1 1077944384 40845 0 0 0 723 30 0 0 20 0 28 0 146546773 27175628800 122805 33554432000 4194304 4196468 140737110269392 140198737877904 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21423] ppid=21415 vsize=26538700 memory=4140 CPUtime=7.58 cores=0-7
/proc/21417/task/21423/stat : 21423 (java) S 21415 21415 19702 0 -1 1077944384 46048 0 0 0 727 31 0 0 20 0 28 0 146546773 27175628800 122805 33554432000 4194304 4196468 140737110269392 140198736824848 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21424] ppid=21415 vsize=26538700 memory=40804 CPUtime=7.49 cores=0-7
/proc/21417/task/21424/stat : 21424 (java) S 21415 21415 19702 0 -1 1077944384 39743 0 0 0 720 29 0 0 20 0 28 0 146546773 27175628800 122805 33554432000 4194304 4196468 140737110269392 140198735772304 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21425] ppid=21415 vsize=26538700 memory=6791534058613427641 CPUtime=7.51 cores=0-7
/proc/21417/task/21425/stat : 21425 (java) S 21415 21415 19702 0 -1 1077944384 40166 0 0 0 719 32 0 0 20 0 28 0 146546773 27175628800 122805 33554432000 4194304 4196468 140737110269392 140198734719248 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21426] ppid=21415 vsize=26538700 memory=1712 CPUtime=7.57 cores=0-7
/proc/21417/task/21426/stat : 21426 (java) S 21415 21415 19702 0 -1 1077944384 41248 0 0 0 726 31 0 0 20 0 28 0 146546773 27175628800 122805 33554432000 4194304 4196468 140737110269392 140198733666704 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21427] ppid=21415 vsize=26538700 memory=1952 CPUtime=8.2 cores=0-7
/proc/21417/task/21427/stat : 21427 (java) S 21415 21415 19702 0 -1 1077944384 197007 0 0 0 431 389 0 0 20 0 28 0 146546775 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197634153200 140199182600834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21428] ppid=21415 vsize=26538700 memory=8612 CPUtime=0 cores=0-7
/proc/21417/task/21428/stat : 21428 (java) S 21415 21415 19702 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 146546775 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197633099488 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21429] ppid=21415 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/21417/task/21429/stat : 21429 (java) S 21415 21415 19702 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 146546775 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197632046336 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21430] ppid=21415 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/21417/task/21430/stat : 21430 (java) S 21415 21415 19702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146546778 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197630994896 140199182608283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21431] ppid=21415 vsize=26538700 memory=1004 CPUtime=2.41 cores=0-7
/proc/21417/task/21431/stat : 21431 (java) S 21415 21415 19702 0 -1 1077944384 14709 0 0 0 240 1 0 0 20 0 28 0 146546778 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197629942000 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21432] ppid=21415 vsize=26538700 memory=5788 CPUtime=2.59 cores=0-7
/proc/21417/task/21432/stat : 21432 (java) S 21415 21415 19702 0 -1 1077944384 10551 0 0 0 259 0 0 0 20 0 28 0 146546778 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197628889456 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21433] ppid=21415 vsize=26538700 memory=6791534058613427641 CPUtime=2.43 cores=0-7
/proc/21417/task/21433/stat : 21433 (java) S 21415 21415 19702 0 -1 1077944384 13897 0 0 0 242 1 0 0 20 0 28 0 146546778 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197627836400 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21434] ppid=21415 vsize=26538700 memory=5788 CPUtime=1.02 cores=0-7
/proc/21417/task/21434/stat : 21434 (java) S 21415 21415 19702 0 -1 1077944384 22103 0 0 0 99 3 0 0 20 0 28 0 146546778 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197626783856 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21435] ppid=21415 vsize=26538700 memory=1196 CPUtime=0 cores=0-7
/proc/21417/task/21435/stat : 21435 (java) S 21415 21415 19702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146546778 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197625732064 140199182599893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=21436] ppid=21415 vsize=26538700 memory=4612 CPUtime=0.46 cores=0-7
/proc/21417/task/21436/stat : 21436 (java) S 21415 21415 19702 0 -1 1077944384 10336 0 0 0 18 28 0 0 20 0 28 0 146546778 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197624679600 140199182600834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22262] ppid=21415 vsize=26538700 memory=6791534058613427641 CPUtime=437.57 cores=0-7
/proc/21417/task/22262/stat : 22262 (java) R 21415 21415 19702 0 -1 4202560 1404 0 0 0 43757 0 0 0 20 0 28 0 146754705 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197612456912 140198826186071 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22263] ppid=21415 vsize=26538700 memory=495568 CPUtime=437.55 cores=0-7
/proc/21417/task/22263/stat : 22263 (java) R 21415 21415 19702 0 -1 4202560 1095 0 0 0 43755 0 0 0 20 0 28 0 146754705 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197613511064 140198828264910 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22264] ppid=21415 vsize=26538700 memory=1384 CPUtime=435.91 cores=0-7
/proc/21417/task/22264/stat : 22264 (java) R 21415 21415 19702 0 -1 4202560 3528 0 0 0 43589 2 0 0 20 0 28 0 146754705 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197611405048 140198828277130 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22265] ppid=21415 vsize=26538700 memory=0 CPUtime=437.77 cores=0-7
/proc/21417/task/22265/stat : 22265 (java) R 21415 21415 19702 0 -1 4202560 5041 0 0 0 43774 3 0 0 20 0 28 0 146754706 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197614563416 140198823960896 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22266] ppid=21415 vsize=26538700 memory=636 CPUtime=435.79 cores=0-7
/proc/21417/task/22266/stat : 22266 (java) R 21415 21415 19702 0 -1 4202560 2865 0 0 0 43576 3 0 0 20 0 28 0 146754706 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197616668376 140198828277064 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22267] ppid=21415 vsize=26538700 memory=492244 CPUtime=437.44 cores=0-7
/proc/21417/task/22267/stat : 22267 (java) R 21415 21415 19702 0 -1 4202560 1607 0 0 0 43743 1 0 0 20 0 28 0 146754706 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197610352472 140198829025942 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22268] ppid=21415 vsize=26538700 memory=1292 CPUtime=435.68 cores=0-7
/proc/21417/task/22268/stat : 22268 (java) R 21415 21415 19702 0 -1 4202560 5217 0 0 0 43552 16 0 0 20 0 28 0 146754706 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197615618704 140198826710367 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
[pid=21417/tid=22269] ppid=21415 vsize=26538700 memory=2428 CPUtime=436.5 cores=0-7
/proc/21417/task/22269/stat : 22269 (java) R 21415 21415 19702 0 -1 4202560 1169 0 0 0 43648 2 0 0 20 0 28 0 146754706 27175628800 122805 33554432000 4194304 4196468 140737110269392 140197609300328 140198823960916 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 7016448 140737110271122 140737110271299 140737110271299 140737110273999 0
Current children cumulated CPU time: 19993.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 492604 KiB

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

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

[startup+2520.11 s]
# the end of solver process 21417 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19984.5 s, system=10.1246 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): 2520.11
CPU time (s): 19994.6
CPU user time (s): 19984.5
CPU system time (s): 10.1246
CPU usage (%): 793.404
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1151528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19984.5
system time used= 10.1246
maximum resident set size= 1150144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1315974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 272669
involuntary context switches= 216067


# summary of solver processes directly reported to runsolver:
#   pid: 21415,21417
#   total CPU time (s): 19994.6
#   total CPU user time (s): 19984.5
#   total CPU system time (s): 10.1246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.3609 second user time and 23.1662 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml
MD5SUM	72c979ceab0684897cea6dc90bd0dbab
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	783
Best CPU time to get the best result obtained on this benchmark	19994.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1190
Number of constraints	1155
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}]
Minimum variable degree	0
Maximum variable degree	65
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}]
Minimum constraint arity	1
Maximum constraint arity	33
Distribution of constraint arities	[{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}]
Number of extensional constraints	0
Number of intensional constraints	33
Distribution of constraint types	[{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4280640

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