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
R1: OscaR - Conflict Ordering 2017-06-30	SAT (TO)	962	2400.0901	2326.04

0.21/0.40	c version: 2017-06-30
0.37/0.40	c seed: 634987075
0.37/0.40	c timeout: 2400
0.37/0.40	c memlimit: 15500
0.37/0.40	c nbcore: 4
0.37/0.42	c Parsing instance...
6.40/2.32	c Parsing done, starting search...
26.58/20.41	o 1080
47.61/40.24	o 1079
68.17/60.15	o 1078
88.77/80.14	o 1077
109.26/100.03	o 1076
129.73/119.91	o 1075
150.21/139.81	o 1074
170.70/159.77	o 1073
191.16/179.62	o 1072
211.62/199.57	o 1071
232.06/219.45	o 1070
252.74/239.55	o 1069
273.25/259.41	o 1068
293.61/279.24	o 1067
313.88/298.95	o 1066
334.95/318.92	o 1065
355.19/338.63	o 1064
375.51/358.40	o 1063
395.74/378.17	o 1062
415.99/397.81	o 1061
436.11/417.44	o 1060
456.35/437.11	o 1059
476.49/456.73	o 1058
496.62/476.36	o 1057
516.76/495.99	o 1056
538.06/516.13	o 1055
558.29/535.81	o 1054
578.32/555.30	o 1053
598.41/574.92	o 1052
618.44/594.45	o 1051
638.49/613.96	o 1050
658.56/633.59	o 1049
678.60/653.06	o 1048
698.69/672.61	o 1047
718.73/692.19	o 1046
738.91/711.81	o 1045
758.85/731.27	o 1044
779.67/750.96	o 1043
799.69/770.48	o 1042
819.73/789.92	o 1041
839.71/809.40	o 1040
859.55/828.79	o 1039
879.44/848.16	o 1038
899.37/867.51	o 1037
919.26/886.99	o 1036
940.62/907.71	o 1035
962.01/928.51	o 1034
983.28/949.24	o 1033
1004.61/970.06	o 1032
1026.55/990.93	o 1031
1047.89/1011.76	o 1030
1069.06/1032.38	o 1029
1090.24/1052.97	o 1028
1111.40/1073.59	o 1027
1132.53/1094.19	o 1026
1153.67/1114.70	o 1025
1174.72/1135.25	o 1024
1195.86/1155.83	o 1023
1216.89/1176.34	o 1022
1237.94/1196.82	o 1021
1258.78/1217.15	o 1020
1279.75/1237.52	o 1019
1301.05/1257.89	o 1018
1321.88/1278.19	o 1017
1342.61/1298.36	o 1016
1363.36/1318.57	o 1015
1384.01/1338.66	o 1014
1404.84/1358.90	o 1013
1425.47/1379.02	o 1012
1446.02/1399.07	o 1011
1466.44/1418.90	o 1010
1486.79/1438.75	o 1009
1507.20/1458.63	o 1008
1527.54/1478.43	o 1007
1548.49/1498.35	o 1006
1568.60/1517.95	o 1005
1588.63/1537.50	o 1004
1608.76/1557.07	o 1003
1628.65/1576.49	o 1002
1648.68/1595.92	o 1001
1668.50/1615.21	o 1000
1688.39/1634.63	o 999
1708.13/1653.87	o 998
1727.82/1673.05	o 997
1747.41/1692.17	o 996
1766.96/1711.14	o 995
1786.45/1730.10	o 994
1806.32/1749.08	o 993
1825.79/1767.94	o 992
1845.16/1786.77	o 991
1864.49/1805.55	o 990
1883.61/1824.12	o 989
1902.81/1842.80	o 988
1921.84/1861.40	o 987
1941.02/1880.04	o 986
1960.11/1898.65	o 985
1979.35/1917.37	o 984
1998.44/1935.90	o 983
2017.42/1954.47	o 982
2036.32/1972.88	o 981
2055.33/1991.30	o 980
2074.94/2009.91	o 979
2093.81/2028.37	o 978
2112.60/2046.61	o 977
2131.29/2064.81	o 976
2150.21/2083.25	o 975
2168.90/2101.45	o 974
2187.68/2119.77	o 973
2206.26/2137.89	o 972
2224.83/2155.95	o 971
2243.41/2174.07	o 970
2262.00/2192.14	o 969
2280.29/2209.99	o 968
2298.69/2227.83	o 967
2316.98/2245.68	o 966
2335.92/2263.64	o 965
2354.19/2281.48	o 964
2372.48/2299.20	o 963
2390.56/2316.88	o 962
2400.02/2326.00	s SATISFIABLE
2400.02/2326.01	v <instantiation>
2400.02/2326.01	v 	<list>
2400.02/2326.01	v 		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[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] 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[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] 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[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] 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[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] 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[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] 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[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] 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[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] 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[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] 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[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] 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[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] 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[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] 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[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] 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[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] 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[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] 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[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] 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[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] 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[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] 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[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] 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[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] 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[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] 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[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] 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[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] 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[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] 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[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] 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[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] 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[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] 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[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] 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[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] 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[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] 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[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] 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[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] 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[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46]
2400.02/2326.01	v 	</list>
2400.02/2326.01	v 	<values>
2400.02/2326.01	v 		961 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 962 947 947 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 946 947 946 948 949 950 951 952 953 954 955 956 957 958 959 960 961 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 948 949 950 951 952 953 954 955 956 957 958 959 960 961 949 950 951 952 953 954 955 956 957 958 959 960 961 950 951 952 953 954 955 956 957 958 959 960 961 951 952 953 954 955 956 957 958 959 960 961 952 953 954 955 956 957 958 959 960 961 953 954 955 956 957 958 959 960 961 954 955 956 957 958 959 960 961 955 956 957 958 959 960 961 956 957 958 959 960 961 957 958 959 960 961 958 959 960 961 959 960 961 960 961 961 
2400.02/2326.01	v 	</values>
2400.02/2326.01	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248700-1502125835/watcher-4248700-1502125835 -o /tmp/evaluation-result-4248700-1502125835/solver-4248700-1502125835 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502110797-26745 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 634987075 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248700-1502125835.xml 

pid=29103
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.34 1.43 1.45 3/194 29106
/proc/meminfo: memFree=28506336/32770624 swapFree=0/452300
[pid=29106] ppid=29103 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29106/stat : 29106 (runsolver) D 29103 29106 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 14804436 24240128 106 18446744073709551615 4194304 4338465 140720987638480 140720987636120 140165134701271 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 22679552 140720987644007 140720987644490 140720987644490 140720987647946 0
/proc/29106/statm: 5918 106 53 36 0 2156 0

[startup+0.100475 s]
/proc/loadavg: 1.34 1.43 1.45 3/194 29106
/proc/meminfo: memFree=28506336/32770624 swapFree=0/452300
[pid=29106] ppid=29103 vsize=96624 CPUtime=0 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 1322 0 0 0 0 0 0 0 20 0 2 0 14804436 98942976 1135 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 0 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 24156 1135 843 1 0 16800 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96624

[startup+0.208265 s]
/proc/loadavg: 1.34 1.43 1.45 3/194 29106
/proc/meminfo: memFree=28506336/32770624 swapFree=0/452300
[pid=29106] ppid=29103 vsize=12911640 CPUtime=0.07 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 5584 0 0 0 6 1 0 0 20 0 15 0 14804436 13221519360 5293 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3227910 5293 2601 1 0 3217407 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12911640

[startup+0.300314 s]
/proc/loadavg: 1.34 1.43 1.45 3/194 29106
/proc/meminfo: memFree=28506336/32770624 swapFree=0/452300
[pid=29106] ppid=29103 vsize=12914512 CPUtime=0.21 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 9857 0 0 0 19 2 0 0 20 0 15 0 14804436 13224460288 8661 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3228628 8661 3515 1 0 3217407 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 12914512

[startup+0.704931 s]
/proc/loadavg: 1.34 1.43 1.45 3/194 29106
/proc/meminfo: memFree=28506336/32770624 swapFree=0/452300
[pid=29106] ppid=29103 vsize=12916580 CPUtime=1.14 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 15648 0 0 0 109 5 0 0 20 0 15 0 14804436 13226577920 21970 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3229145 21970 3731 1 0 3217919 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 12916580

[startup+1.50136 s]
/proc/loadavg: 1.39 1.44 1.45 6/209 29121
/proc/meminfo: memFree=28310944/32770624 swapFree=0/452336
[pid=29106] ppid=29103 vsize=12916580 CPUtime=3.76 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 18964 0 0 0 365 11 0 0 20 0 15 0 14804436 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3229145 54843 3785 1 0 3217919 0
[pid=29106/tid=29108] ppid=29103 vsize=12916580 CPUtime=1.31 cores=0,2,4,6
/proc/29106/task/29108/stat : 29108 (java) R 29103 29106 9955 0 -1 4202560 10791 0 0 0 125 6 0 0 20 0 15 0 14804446 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139760972429856 139760607268928 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29109] ppid=29103 vsize=12916580 CPUtime=0.02 cores=0,2,4,6
/proc/29106/task/29109/stat : 29109 (java) S 29103 29106 9955 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 15 0 14804446 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139760925162384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29110] ppid=29103 vsize=12916580 CPUtime=0.02 cores=0,2,4,6
/proc/29106/task/29110/stat : 29110 (java) S 29103 29106 9955 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 15 0 14804447 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139760924109584 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29111] ppid=29103 vsize=12916580 CPUtime=0.02 cores=0,2,4,6
/proc/29106/task/29111/stat : 29111 (java) S 29103 29106 9955 0 -1 1077944384 15 0 0 0 2 0 0 0 20 0 15 0 14804447 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139760923057296 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29112] ppid=29103 vsize=12916580 CPUtime=0.01 cores=0,2,4,6
/proc/29106/task/29112/stat : 29112 (java) S 29103 29106 9955 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 15 0 14804447 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139760922004496 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29113] ppid=29103 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29113/stat : 29113 (java) S 29103 29106 9955 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 14804448 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139760520173680 139760968206978 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29114] ppid=29103 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29114/stat : 29114 (java) S 29103 29106 9955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14804448 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139760519119648 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29115] ppid=29103 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29115/stat : 29115 (java) S 29103 29106 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14804448 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139759854281840 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29116] ppid=29103 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29116/stat : 29116 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139759853230160 139760968214427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29117] ppid=29103 vsize=12916580 CPUtime=0.88 cores=0,2,4,6
/proc/29106/task/29117/stat : 29117 (java) R 29103 29106 9955 0 -1 4202560 2220 0 0 0 88 0 0 0 20 0 15 0 14804451 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139759852159048 139760949385502 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29118] ppid=29103 vsize=12916580 CPUtime=0.91 cores=0,2,4,6
/proc/29106/task/29118/stat : 29118 (java) R 29103 29106 9955 0 -1 4202560 2193 0 0 0 91 0 0 0 20 0 15 0 14804451 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139759851113936 139760952098921 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29119] ppid=29103 vsize=12916580 CPUtime=0.51 cores=0,2,4,6
/proc/29106/task/29119/stat : 29119 (java) S 29103 29106 9955 0 -1 1077944384 2212 0 0 0 51 0 0 0 20 0 15 0 14804451 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139759850072944 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29120] ppid=29103 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29120/stat : 29120 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139759849020384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29121] ppid=29103 vsize=12916580 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29121/stat : 29121 (java) S 29103 29106 9955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14804456 13226577920 54843 18446744073709551615 4194304 4196468 140731227686736 139759847967152 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 12916580

[startup+3.10136 s]
/proc/loadavg: 1.39 1.44 1.45 5/209 29121
/proc/meminfo: memFree=28148256/32770624 swapFree=0/452336
[pid=29106] ppid=29103 vsize=12920676 CPUtime=8.22 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 28240 0 0 0 785 37 0 0 20 0 15 0 14804436 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3230169 181936 3801 1 0 3218943 0
[pid=29106/tid=29108] ppid=29103 vsize=12920676 CPUtime=2.72 cores=0,2,4,6
/proc/29106/task/29108/stat : 29108 (java) S 29103 29106 9955 0 -1 1077944384 13939 0 0 0 261 11 0 0 20 0 15 0 14804446 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139760972434080 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29109] ppid=29103 vsize=12920676 CPUtime=0.19 cores=0,2,4,6
/proc/29106/task/29109/stat : 29109 (java) R 29103 29106 9955 0 -1 4202560 139 0 0 0 14 5 0 0 20 0 15 0 14804446 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139760925162384 139760947390976 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29110] ppid=29103 vsize=12920676 CPUtime=0.17 cores=0,2,4,6
/proc/29106/task/29110/stat : 29110 (java) R 29103 29106 9955 0 -1 4202560 94 0 0 0 12 5 0 0 20 0 15 0 14804447 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139760924109584 139760949843405 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29111] ppid=29103 vsize=12920676 CPUtime=0.19 cores=0,2,4,6
/proc/29106/task/29111/stat : 29111 (java) R 29103 29106 9955 0 -1 4202560 126 0 0 0 14 5 0 0 20 0 15 0 14804447 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139760923057184 139760949821776 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29112] ppid=29103 vsize=12920676 CPUtime=0.15 cores=0,2,4,6
/proc/29106/task/29112/stat : 29112 (java) R 29103 29106 9955 0 -1 4202560 149 0 0 0 11 4 0 0 20 0 15 0 14804447 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139760922004496 139760949821741 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29113] ppid=29103 vsize=12920676 CPUtime=0.01 cores=0,2,4,6
/proc/29106/task/29113/stat : 29113 (java) S 29103 29106 9955 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 15 0 14804448 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139760520172192 139760968206037 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29114] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29114/stat : 29114 (java) S 29103 29106 9955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139760519119712 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29115] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29115/stat : 29115 (java) S 29103 29106 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139759854281856 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29116] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29116/stat : 29116 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139759853230160 139760968214427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29117] ppid=29103 vsize=12920676 CPUtime=1.97 cores=0,2,4,6
/proc/29106/task/29117/stat : 29117 (java) S 29103 29106 9955 0 -1 1077944384 4303 0 0 0 197 0 0 0 20 0 15 0 14804451 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139759852178032 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29118] ppid=29103 vsize=12920676 CPUtime=1.98 cores=0,2,4,6
/proc/29106/task/29118/stat : 29118 (java) S 29103 29106 9955 0 -1 1077944384 3151 0 0 0 196 2 0 0 20 0 15 0 14804451 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139759851125232 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29119] ppid=29103 vsize=12920676 CPUtime=0.78 cores=0,2,4,6
/proc/29106/task/29119/stat : 29119 (java) S 29103 29106 9955 0 -1 1077944384 4754 0 0 0 76 2 0 0 20 0 15 0 14804451 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139759850072944 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29120] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29120/stat : 29120 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139759849020384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29121] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29121/stat : 29121 (java) S 29103 29106 9955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14804456 13230772224 181936 18446744073709551615 4194304 4196468 140731227686736 139759847967152 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 12920676

[startup+6.30073 s]
/proc/loadavg: 1.44 1.45 1.45 3/209 29121
/proc/meminfo: memFree=27084828/32770624 swapFree=0/452348
[pid=29106] ppid=29103 vsize=12920676 CPUtime=11.89 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 30460 0 0 0 1122 67 0 0 20 0 15 0 14804436 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3230169 549107 3801 1 0 3218943 0
[pid=29106/tid=29108] ppid=29103 vsize=12920676 CPUtime=5.79 cores=0,2,4,6
/proc/29106/task/29108/stat : 29108 (java) R 29103 29106 9955 0 -1 4202560 14869 0 0 0 549 30 0 0 20 0 15 0 14804446 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139760972432280 139760610967215 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29109] ppid=29103 vsize=12920676 CPUtime=0.31 cores=0,2,4,6
/proc/29106/task/29109/stat : 29109 (java) S 29103 29106 9955 0 -1 1077944384 197 0 0 0 24 7 0 0 20 0 15 0 14804446 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139760925162384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29110] ppid=29103 vsize=12920676 CPUtime=0.29 cores=0,2,4,6
/proc/29106/task/29110/stat : 29110 (java) S 29103 29106 9955 0 -1 1077944384 428 0 0 0 22 7 0 0 20 0 15 0 14804447 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139760924109584 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29111] ppid=29103 vsize=12920676 CPUtime=0.31 cores=0,2,4,6
/proc/29106/task/29111/stat : 29111 (java) S 29103 29106 9955 0 -1 1077944384 167 0 0 0 23 8 0 0 20 0 15 0 14804447 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139760923057296 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29112] ppid=29103 vsize=12920676 CPUtime=0.28 cores=0,2,4,6
/proc/29106/task/29112/stat : 29112 (java) S 29103 29106 9955 0 -1 1077944384 178 0 0 0 22 6 0 0 20 0 15 0 14804447 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139760922004496 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29113] ppid=29103 vsize=12920676 CPUtime=0.01 cores=0,2,4,6
/proc/29106/task/29113/stat : 29113 (java) S 29103 29106 9955 0 -1 1077944384 1017 0 0 0 1 0 0 0 20 0 15 0 14804448 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139760520173680 139760968206978 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29114] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29114/stat : 29114 (java) S 29103 29106 9955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139760519119712 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29115] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29115/stat : 29115 (java) S 29103 29106 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139759854281856 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29116] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29116/stat : 29116 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139759853230160 139760968214427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29117] ppid=29103 vsize=12920676 CPUtime=2 cores=0,2,4,6
/proc/29106/task/29117/stat : 29117 (java) S 29103 29106 9955 0 -1 1077944384 4314 0 0 0 200 0 0 0 20 0 15 0 14804451 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139759852178032 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29118] ppid=29103 vsize=12920676 CPUtime=2 cores=0,2,4,6
/proc/29106/task/29118/stat : 29118 (java) S 29103 29106 9955 0 -1 1077944384 3154 0 0 0 198 2 0 0 20 0 15 0 14804451 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139759851125232 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29119] ppid=29103 vsize=12920676 CPUtime=0.79 cores=0,2,4,6
/proc/29106/task/29119/stat : 29119 (java) S 29103 29106 9955 0 -1 1077944384 4766 0 0 0 77 2 0 0 20 0 15 0 14804451 13230772224 549107 18446744073709551615 4194304 4196468 140731227686736 139759850072944 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29120] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29120/stat : 29120 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 549619 18446744073709551615 4194304 4196468 140731227686736 139759849020384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29121] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29121/stat : 29121 (java) S 29103 29106 9955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14804456 13230772224 549619 18446744073709551615 4194304 4196468 140731227686736 139759847967152 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 12920676

[startup+12.7008 s]
/proc/loadavg: 1.41 1.45 1.45 3/209 29121
/proc/meminfo: memFree=24856656/32770624 swapFree=0/452356
[pid=29106] ppid=29103 vsize=12920676 CPUtime=18.65 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 32835 0 0 0 1776 89 0 0 20 0 15 0 14804436 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3230169 879157 3801 1 0 3218943 0
[pid=29106/tid=29108] ppid=29103 vsize=12920676 CPUtime=12.1 cores=0,2,4,6
/proc/29106/task/29108/stat : 29108 (java) R 29103 29106 9955 0 -1 4202560 15936 0 0 0 1163 47 0 0 20 0 15 0 14804446 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 139760972434256 139760611013748 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29109] ppid=29103 vsize=12920676 CPUtime=0.38 cores=0,2,4,6
/proc/29106/task/29109/stat : 29109 (java) S 29103 29106 9955 0 -1 1077944384 394 0 0 0 30 8 0 0 20 0 15 0 14804446 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 139760925162384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29110] ppid=29103 vsize=12920676 CPUtime=0.37 cores=0,2,4,6
/proc/29106/task/29110/stat : 29110 (java) S 29103 29106 9955 0 -1 1077944384 620 0 0 0 29 8 0 0 20 0 15 0 14804447 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 139760924109584 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29111] ppid=29103 vsize=12920676 CPUtime=0.39 cores=0,2,4,6
/proc/29106/task/29111/stat : 29111 (java) S 29103 29106 9955 0 -1 1077944384 190 0 0 0 30 9 0 0 20 0 15 0 14804447 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 139760923057296 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29112] ppid=29103 vsize=12920676 CPUtime=0.36 cores=0,2,4,6
/proc/29106/task/29112/stat : 29112 (java) S 29103 29106 9955 0 -1 1077944384 458 0 0 0 28 8 0 0 20 0 15 0 14804447 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 139760922004496 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29113] ppid=29103 vsize=12920676 CPUtime=0.02 cores=0,2,4,6
/proc/29106/task/29113/stat : 29113 (java) S 29103 29106 9955 0 -1 1077944384 1611 0 0 0 2 0 0 0 20 0 15 0 14804448 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 139760520173680 139760968206978 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29114] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29114/stat : 29114 (java) S 29103 29106 9955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 139760519119712 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29115] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29115/stat : 29115 (java) S 29103 29106 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 139759854281856 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29116] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29116/stat : 29116 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 879157 18446744073709551615 4194304 4196468 140731227686736 139759853230160 139760968214427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0

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

/proc/29106/task/29120/stat : 29120 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 937619 18446744073709551615 4194304 4196468 140731227686736 139759849020384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29121] ppid=29103 vsize=12920676 CPUtime=1.31 cores=0,2,4,6
/proc/29106/task/29121/stat : 29121 (java) S 29103 29106 9955 0 -1 1077944384 955 0 0 0 62 69 0 0 20 0 15 0 14804456 13230772224 937619 18446744073709551615 4194304 4196468 140731227686736 139759847967152 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
Current children cumulated CPU time (s) 2210.89
Current children cumulated vsize (KiB) 12920676

[startup+2202.31 s]
/proc/loadavg: 1.67 1.57 1.55 3/210 29355
/proc/meminfo: memFree=23889948/32770624 swapFree=0/454768
[pid=29106] ppid=29103 vsize=12920676 CPUtime=2272.48 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 417239 0 0 0 226797 451 0 0 20 0 15 0 14804436 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3230169 954549 3819 1 0 3218943 0
[pid=29106/tid=29108] ppid=29103 vsize=12920676 CPUtime=2179.9 cores=0,2,4,6
/proc/29106/task/29108/stat : 29108 (java) R 29103 29106 9955 0 -1 4202560 195535 0 0 0 217904 86 0 0 20 0 15 0 14804446 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139760972434336 139760610834015 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29109] ppid=29103 vsize=12920676 CPUtime=20.98 cores=0,2,4,6
/proc/29106/task/29109/stat : 29109 (java) S 29103 29106 9955 0 -1 1077944384 30348 0 0 0 2027 71 0 0 20 0 15 0 14804446 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139760925162384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29110] ppid=29103 vsize=12920676 CPUtime=20.97 cores=0,2,4,6
/proc/29106/task/29110/stat : 29110 (java) S 29103 29106 9955 0 -1 1077944384 32845 0 0 0 2027 70 0 0 20 0 15 0 14804447 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139760924109584 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29111] ppid=29103 vsize=12920676 CPUtime=20.98 cores=0,2,4,6
/proc/29106/task/29111/stat : 29111 (java) S 29103 29106 9955 0 -1 1077944384 32691 0 0 0 2024 74 0 0 20 0 15 0 14804447 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139760923057296 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29112] ppid=29103 vsize=12920676 CPUtime=20.92 cores=0,2,4,6
/proc/29106/task/29112/stat : 29112 (java) S 29103 29106 9955 0 -1 1077944384 31038 0 0 0 2019 73 0 0 20 0 15 0 14804447 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139760922004496 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29113] ppid=29103 vsize=12920676 CPUtime=1.07 cores=0,2,4,6
/proc/29106/task/29113/stat : 29113 (java) S 29103 29106 9955 0 -1 1077944384 44714 0 0 0 89 18 0 0 20 0 15 0 14804448 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139760520173680 139760968206978 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29114] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29114/stat : 29114 (java) S 29103 29106 9955 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139760519119712 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29115] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29115/stat : 29115 (java) S 29103 29106 9955 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139759854281856 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29116] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29116/stat : 29116 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139759853230160 139760968214427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29117] ppid=29103 vsize=12920676 CPUtime=2.52 cores=0,2,4,6
/proc/29106/task/29117/stat : 29117 (java) S 29103 29106 9955 0 -1 1077944384 13960 0 0 0 251 1 0 0 20 0 15 0 14804451 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139759852178032 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29118] ppid=29103 vsize=12920676 CPUtime=2.8 cores=0,2,4,6
/proc/29106/task/29118/stat : 29118 (java) S 29103 29106 9955 0 -1 1077944384 15159 0 0 0 276 4 0 0 20 0 15 0 14804451 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139759851125232 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29119] ppid=29103 vsize=12920676 CPUtime=0.89 cores=0,2,4,6
/proc/29106/task/29119/stat : 29119 (java) S 29103 29106 9955 0 -1 1077944384 18564 0 0 0 86 3 0 0 20 0 15 0 14804451 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139759850072944 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29120] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29120/stat : 29120 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139759849020384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29121] ppid=29103 vsize=12920676 CPUtime=1.36 cores=0,2,4,6
/proc/29106/task/29121/stat : 29121 (java) S 29103 29106 9955 0 -1 1077944384 979 0 0 0 64 72 0 0 20 0 15 0 14804456 13230772224 954549 18446744073709551615 4194304 4196468 140731227686736 139759847967152 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
Current children cumulated CPU time (s) 2272.48
Current children cumulated vsize (KiB) 12920676

[startup+2262.3 s]
/proc/loadavg: 1.39 1.50 1.53 3/210 29357
/proc/meminfo: memFree=23926300/32770624 swapFree=0/454828
[pid=29106] ppid=29103 vsize=12920676 CPUtime=2334.57 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 433682 0 0 0 232998 459 0 0 20 0 15 0 14804436 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3230169 948159 3819 1 0 3218943 0
[pid=29106/tid=29108] ppid=29103 vsize=12920676 CPUtime=2239.18 cores=0,2,4,6
/proc/29106/task/29108/stat : 29108 (java) R 29103 29106 9955 0 -1 4202560 200566 0 0 0 223831 87 0 0 20 0 15 0 14804446 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139760972434336 139760606583368 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29109] ppid=29103 vsize=12920676 CPUtime=21.66 cores=0,2,4,6
/proc/29106/task/29109/stat : 29109 (java) S 29103 29106 9955 0 -1 1077944384 31972 0 0 0 2094 72 0 0 20 0 15 0 14804446 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139760925162384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29110] ppid=29103 vsize=12920676 CPUtime=21.65 cores=0,2,4,6
/proc/29106/task/29110/stat : 29110 (java) S 29103 29106 9955 0 -1 1077944384 34522 0 0 0 2094 71 0 0 20 0 15 0 14804447 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139760924109584 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29111] ppid=29103 vsize=12920676 CPUtime=21.66 cores=0,2,4,6
/proc/29106/task/29111/stat : 29111 (java) S 29103 29106 9955 0 -1 1077944384 33923 0 0 0 2091 75 0 0 20 0 15 0 14804447 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139760923057296 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29112] ppid=29103 vsize=12920676 CPUtime=21.6 cores=0,2,4,6
/proc/29106/task/29112/stat : 29112 (java) S 29103 29106 9955 0 -1 1077944384 32660 0 0 0 2086 74 0 0 20 0 15 0 14804447 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139760922004496 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29113] ppid=29103 vsize=12920676 CPUtime=1.1 cores=0,2,4,6
/proc/29106/task/29113/stat : 29113 (java) S 29103 29106 9955 0 -1 1077944384 49272 0 0 0 92 18 0 0 20 0 15 0 14804448 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139760520173680 139760968206978 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29114] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29114/stat : 29114 (java) S 29103 29106 9955 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139760519119712 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29115] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29115/stat : 29115 (java) S 29103 29106 9955 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139759854281856 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29116] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29116/stat : 29116 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139759853230160 139760968214427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29117] ppid=29103 vsize=12920676 CPUtime=2.52 cores=0,2,4,6
/proc/29106/task/29117/stat : 29117 (java) S 29103 29106 9955 0 -1 1077944384 13962 0 0 0 251 1 0 0 20 0 15 0 14804451 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139759852178032 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29118] ppid=29103 vsize=12920676 CPUtime=2.8 cores=0,2,4,6
/proc/29106/task/29118/stat : 29118 (java) S 29103 29106 9955 0 -1 1077944384 15163 0 0 0 276 4 0 0 20 0 15 0 14804451 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139759851125232 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29119] ppid=29103 vsize=12920676 CPUtime=0.9 cores=0,2,4,6
/proc/29106/task/29119/stat : 29119 (java) S 29103 29106 9955 0 -1 1077944384 19227 0 0 0 86 4 0 0 20 0 15 0 14804451 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139759850072944 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29120] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29120/stat : 29120 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139759849020384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29121] ppid=29103 vsize=12920676 CPUtime=1.4 cores=0,2,4,6
/proc/29106/task/29121/stat : 29121 (java) S 29103 29106 9955 0 -1 1077944384 1009 0 0 0 66 74 0 0 20 0 15 0 14804456 13230772224 948159 18446744073709551615 4194304 4196468 140731227686736 139759847967152 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
Current children cumulated CPU time (s) 2334.57
Current children cumulated vsize (KiB) 12920676

[startup+2322.3 s]
/proc/loadavg: 1.46 1.50 1.53 3/209 29359
/proc/meminfo: memFree=23919528/32770624 swapFree=0/454860
[pid=29106] ppid=29103 vsize=12920676 CPUtime=2396.27 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 441915 0 0 0 239158 469 0 0 20 0 15 0 14804436 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3230169 950132 3819 1 0 3218943 0
[pid=29106/tid=29108] ppid=29103 vsize=12920676 CPUtime=2298.59 cores=0,2,4,6
/proc/29106/task/29108/stat : 29108 (java) R 29103 29106 9955 0 -1 4202560 205060 0 0 0 229771 88 0 0 20 0 15 0 14804446 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139760972434448 139760611688296 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29109] ppid=29103 vsize=12920676 CPUtime=22.22 cores=0,2,4,6
/proc/29106/task/29109/stat : 29109 (java) S 29103 29106 9955 0 -1 1077944384 32382 0 0 0 2148 74 0 0 20 0 15 0 14804446 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139760925162384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29110] ppid=29103 vsize=12920676 CPUtime=22.21 cores=0,2,4,6
/proc/29106/task/29110/stat : 29110 (java) S 29103 29106 9955 0 -1 1077944384 35032 0 0 0 2148 73 0 0 20 0 15 0 14804447 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139760924109584 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29111] ppid=29103 vsize=12920676 CPUtime=22.22 cores=0,2,4,6
/proc/29106/task/29111/stat : 29111 (java) S 29103 29106 9955 0 -1 1077944384 34338 0 0 0 2145 77 0 0 20 0 15 0 14804447 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139760923057296 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29112] ppid=29103 vsize=12920676 CPUtime=22.16 cores=0,2,4,6
/proc/29106/task/29112/stat : 29112 (java) S 29103 29106 9955 0 -1 1077944384 33761 0 0 0 2140 76 0 0 20 0 15 0 14804447 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139760922004496 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29113] ppid=29103 vsize=12920676 CPUtime=1.12 cores=0,2,4,6
/proc/29106/task/29113/stat : 29113 (java) S 29103 29106 9955 0 -1 1077944384 49612 0 0 0 94 18 0 0 20 0 15 0 14804448 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139760520173680 139760968206978 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29114] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29114/stat : 29114 (java) S 29103 29106 9955 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139760519119712 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29115] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29115/stat : 29115 (java) S 29103 29106 9955 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139759854281856 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29116] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29116/stat : 29116 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139759853230160 139760968214427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29117] ppid=29103 vsize=12920676 CPUtime=2.52 cores=0,2,4,6
/proc/29106/task/29117/stat : 29117 (java) S 29103 29106 9955 0 -1 1077944384 13964 0 0 0 251 1 0 0 20 0 15 0 14804451 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139759852178032 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29118] ppid=29103 vsize=12920676 CPUtime=2.8 cores=0,2,4,6
/proc/29106/task/29118/stat : 29118 (java) S 29103 29106 9955 0 -1 1077944384 15165 0 0 0 276 4 0 0 20 0 15 0 14804451 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139759851125232 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29119] ppid=29103 vsize=12920676 CPUtime=0.91 cores=0,2,4,6
/proc/29106/task/29119/stat : 29119 (java) S 29103 29106 9955 0 -1 1077944384 20154 0 0 0 87 4 0 0 20 0 15 0 14804451 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139759850072944 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29120] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29120/stat : 29120 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139759849020384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29121] ppid=29103 vsize=12920676 CPUtime=1.42 cores=0,2,4,6
/proc/29106/task/29121/stat : 29121 (java) S 29103 29106 9955 0 -1 1077944384 1041 0 0 0 66 76 0 0 20 0 15 0 14804456 13230772224 950132 18446744073709551615 4194304 4196468 140731227686736 139759847967152 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
Current children cumulated CPU time (s) 2396.27
Current children cumulated vsize (KiB) 12920676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2326 s]
/proc/loadavg: 1.46 1.50 1.53 3/209 29361
/proc/meminfo: memFree=23917648/32770624 swapFree=0/454880
[pid=29106] ppid=29103 vsize=12920676 CPUtime=2400.02 cores=0,2,4,6
/proc/29106/stat : 29106 (java) S 29103 29106 9955 0 -1 1077944320 442049 0 0 0 239533 469 0 0 20 0 15 0 14804436 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 140731227669280 139760968195831 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
/proc/29106/statm: 3230169 948593 3819 1 0 3218943 0
[pid=29106/tid=29108] ppid=29103 vsize=12920676 CPUtime=2302.27 cores=0,2,4,6
/proc/29106/task/29108/stat : 29108 (java) R 29103 29106 9955 0 -1 4202560 205190 0 0 0 230139 88 0 0 20 0 15 0 14804446 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139760972434336 139760606583264 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29109] ppid=29103 vsize=12920676 CPUtime=22.23 cores=0,2,4,6
/proc/29106/task/29109/stat : 29109 (java) S 29103 29106 9955 0 -1 1077944384 32382 0 0 0 2149 74 0 0 20 0 15 0 14804446 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139760925162384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29110] ppid=29103 vsize=12920676 CPUtime=22.23 cores=0,2,4,6
/proc/29106/task/29110/stat : 29110 (java) S 29103 29106 9955 0 -1 1077944384 35032 0 0 0 2150 73 0 0 20 0 15 0 14804447 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139760924109584 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29111] ppid=29103 vsize=12920676 CPUtime=22.24 cores=0,2,4,6
/proc/29106/task/29111/stat : 29111 (java) S 29103 29106 9955 0 -1 1077944384 34338 0 0 0 2147 77 0 0 20 0 15 0 14804447 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139760923057296 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29112] ppid=29103 vsize=12920676 CPUtime=22.18 cores=0,2,4,6
/proc/29106/task/29112/stat : 29112 (java) S 29103 29106 9955 0 -1 1077944384 33761 0 0 0 2142 76 0 0 20 0 15 0 14804447 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139760922004496 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29113] ppid=29103 vsize=12920676 CPUtime=1.13 cores=0,2,4,6
/proc/29106/task/29113/stat : 29113 (java) S 29103 29106 9955 0 -1 1077944384 49614 0 0 0 94 19 0 0 20 0 15 0 14804448 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139760520173680 139760968206978 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29114] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29114/stat : 29114 (java) S 29103 29106 9955 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139760519119712 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29115] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29115/stat : 29115 (java) S 29103 29106 9955 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 14804448 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139759854281856 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29116] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29116/stat : 29116 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139759853230160 139760968214427 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29117] ppid=29103 vsize=12920676 CPUtime=2.52 cores=0,2,4,6
/proc/29106/task/29117/stat : 29117 (java) S 29103 29106 9955 0 -1 1077944384 13964 0 0 0 251 1 0 0 20 0 15 0 14804451 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139759852178032 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29118] ppid=29103 vsize=12920676 CPUtime=2.8 cores=0,2,4,6
/proc/29106/task/29118/stat : 29118 (java) S 29103 29106 9955 0 -1 1077944384 15165 0 0 0 276 4 0 0 20 0 15 0 14804451 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139759851125232 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29119] ppid=29103 vsize=12920676 CPUtime=0.91 cores=0,2,4,6
/proc/29106/task/29119/stat : 29119 (java) S 29103 29106 9955 0 -1 1077944384 20154 0 0 0 87 4 0 0 20 0 15 0 14804451 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139759850072944 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29120] ppid=29103 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/29106/task/29120/stat : 29120 (java) S 29103 29106 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14804451 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139759849020384 139760968206037 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
[pid=29106/tid=29121] ppid=29103 vsize=12920676 CPUtime=1.43 cores=0,2,4,6
/proc/29106/task/29121/stat : 29121 (java) S 29103 29106 9955 0 -1 1077944384 1043 0 0 0 67 76 0 0 20 0 15 0 14804456 13230772224 948593 18446744073709551615 4194304 4196468 140731227686736 139759847967152 139760968206978 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20348928 140731227693461 140731227693647 140731227693647 140731227697103 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 12920676

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29106 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2326.04
CPU time (s): 2400.09
CPU user time (s): 2395.37
CPU system time (s): 4.7156
CPU usage (%): 103.183
Max. virtual memory (cumulated for all children) (KiB): 12920676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.37
system time used= 4.71561
maximum resident set size= 3835004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69579
involuntary context switches= 3606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1701 second user time and 14.3068 second system time

The end

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml
MD5SUM	b40b46819fbd3a38fcaaee2fdd389509
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables	2209
Number of constraints	16215
Number of domains	1
Minimum domain size	1081
Maximum domain size	1081
Distribution of domain sizes	[{"size":1081,"count":1081}]
Minimum variable degree	0
Maximum variable degree	46
Distribution of variable degrees	[{"degree":0,"count":1128},{"degree":46,"count":1081}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":16215}]
Number of extensional constraints	0
Number of intensional constraints	16215
Distribution of constraint types	[{"type":"intension","count":16215}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4248700

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