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)	1086	2400.0901	2326.24

0.33/0.32	c version: 2017-06-30
0.33/0.32	c seed: 1148649905
0.33/0.32	c timeout: 2400
0.33/0.32	c memlimit: 15500
0.33/0.33	c nbcore: 4
0.33/0.35	c Parsing instance...
6.62/2.33	c Parsing done, starting search...
33.40/27.02	o 1175
60.43/52.63	o 1174
86.95/78.38	o 1173
113.62/104.29	o 1172
140.15/129.93	o 1171
166.51/155.58	o 1170
192.98/181.29	o 1169
219.33/206.89	o 1168
245.83/232.51	o 1167
272.11/258.11	o 1166
298.51/283.73	o 1165
324.79/309.36	o 1164
352.12/335.21	o 1163
378.31/360.77	o 1162
404.60/386.32	o 1161
430.75/411.86	o 1160
457.04/437.42	o 1159
483.10/462.89	o 1158
509.30/488.34	o 1157
535.52/513.85	o 1156
562.36/539.50	o 1155
588.54/565.06	o 1154
614.84/590.60	o 1153
640.79/615.92	o 1152
666.70/641.16	o 1151
692.65/666.48	o 1150
718.66/691.75	o 1149
744.52/716.99	o 1148
770.53/742.28	o 1147
796.40/767.45	o 1146
823.45/793.16	o 1145
849.63/818.68	o 1144
875.77/844.15	o 1143
902.07/869.70	o 1142
928.02/895.00	o 1141
954.12/920.41	o 1140
980.16/945.81	o 1139
1006.36/971.35	o 1138
1032.21/996.60	o 1137
1058.61/1022.20	o 1136
1085.17/1047.73	o 1135
1111.06/1072.96	o 1134
1137.25/1098.42	o 1133
1163.19/1123.74	o 1132
1189.22/1149.03	o 1131
1215.07/1174.22	o 1130
1241.02/1199.55	o 1129
1268.69/1226.49	o 1128
1296.34/1253.37	o 1127
1324.29/1280.50	o 1126
1352.57/1307.65	o 1125
1380.54/1334.87	o 1124
1408.14/1361.75	o 1123
1435.90/1388.79	o 1122
1463.49/1415.64	o 1121
1491.35/1442.76	o 1120
1518.75/1469.43	o 1119
1546.26/1496.29	o 1118
1573.76/1523.06	o 1117
1601.38/1549.94	o 1116
1629.50/1576.88	o 1115
1656.94/1603.54	o 1114
1684.18/1630.09	o 1113
1711.39/1656.56	o 1112
1738.57/1683.06	o 1111
1765.96/1709.76	o 1110
1793.06/1736.13	o 1109
1820.06/1762.45	o 1108
1846.98/1788.60	o 1107
1873.88/1814.87	o 1106
1900.89/1841.11	o 1105
1928.53/1867.53	o 1104
1955.31/1893.64	o 1103
1982.00/1919.64	o 1102
2008.68/1945.65	o 1101
2035.18/1971.48	o 1100
2061.57/1997.17	o 1099
2088.18/2023.06	o 1098
2114.43/2048.69	o 1097
2140.72/2074.29	o 1096
2166.92/2099.77	o 1095
2193.63/2125.29	o 1094
2219.82/2150.77	o 1093
2245.81/2176.07	o 1092
2271.65/2201.28	o 1091
2297.34/2226.24	o 1090
2322.98/2251.25	o 1089
2348.79/2276.34	o 1088
2374.24/2301.17	o 1087
2399.68/2325.95	o 1086
2400.03/2326.20	s SATISFIABLE
2400.03/2326.21	v <instantiation>
2400.03/2326.21	v 	<list>
2400.03/2326.21	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[0][47] x[0][48] 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[1][47] x[1][48] 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[2][47] x[2][48] 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[3][47] x[3][48] 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[4][47] x[4][48] 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[5][47] x[5][48] 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[6][47] x[6][48] 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[7][47] x[7][48] 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[8][47] x[8][48] 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[9][47] x[9][48] 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[10][47] x[10][48] 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[11][47] x[11][48] 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[12][47] x[12][48] 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[13][47] x[13][48] 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[14][47] x[14][48] 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[15][47] x[15][48] 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[16][47] x[16][48] 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[17][47] x[17][48] 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[18][47] x[18][48] 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[19][47] x[19][48] 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[20][47] x[20][48] 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[21][47] x[21][48] 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[22][47] x[22][48] 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[23][47] x[23][48] 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[24][47] x[24][48] 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[25][47] x[25][48] 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[26][47] x[26][48] 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[27][47] x[27][48] 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[28][47] x[28][48] 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[29][47] x[29][48] 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[30][47] x[30][48] 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[31][47] x[31][48] 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[32][47] x[32][48] 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[33][47] x[33][48] 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[34][47] x[34][48] 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[35][47] x[35][48] 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[36][47] x[36][48] 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[37][47] x[37][48] 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[38][47] x[38][48] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[44][45] x[44][46] x[44][47] x[44][48] x[45][46] x[45][47] x[45][48] x[46][47] x[46][48] x[47][48]
2400.03/2326.21	v 	</list>
2400.03/2326.21	v 	<values>
2400.03/2326.21	v 		1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1086 1083 1082 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1083 1082 1084 1085 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1077 1078 1079 1080 1081 1082 1083 1084 1085 1078 1079 1080 1081 1082 1083 1084 1085 1079 1080 1081 1082 1083 1084 1085 1080 1081 1082 1083 1084 1085 1081 1082 1083 1084 1085 1082 1083 1084 1085 1083 1084 1085 1084 1085 1085 
2400.03/2326.21	v 	</values>
2400.03/2326.21	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-4248595-1502126232/watcher-4248595-1502126232 -o /tmp/evaluation-result-4248595-1502126232/solver-4248595-1502126232 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502110797-26746 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1148649905 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248595-1502126232.xml 

pid=29232
running on 4 cores: 1,3,5,7

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: 2.09 1.60 1.49 4/195 29235
/proc/meminfo: memFree=27738212/32770624 swapFree=0/453200
[pid=29235] ppid=29232 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29235/stat : 29235 (runsolver) D 29232 29235 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 14844108 24240128 108 18446744073709551615 4194304 4338465 140731185139312 140731185136952 140185444975319 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 30867456 140731185143910 140731185144394 140731185144394 140731185147850 0
/proc/29235/statm: 5918 108 54 36 0 2156 0

[startup+0.100059 s]
/proc/loadavg: 2.09 1.60 1.49 4/195 29235
/proc/meminfo: memFree=27738212/32770624 swapFree=0/453200
[pid=29235] ppid=29232 vsize=12778512 CPUtime=0.04 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 4651 0 0 0 4 0 0 0 20 0 13 0 14844108 13085196288 5188 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3194628 5188 2387 1 0 3184125 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12778512

[startup+0.200233 s]
/proc/loadavg: 2.09 1.60 1.49 4/195 29235
/proc/meminfo: memFree=27738212/32770624 swapFree=0/453200
[pid=29235] ppid=29232 vsize=12914512 CPUtime=0.16 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 9868 0 0 0 14 2 0 0 20 0 15 0 14844108 13224460288 8738 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3228628 8738 3482 1 0 3217407 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 12914512

[startup+0.300228 s]
/proc/loadavg: 2.09 1.60 1.49 4/195 29235
/proc/meminfo: memFree=27738212/32770624 swapFree=0/453200
[pid=29235] ppid=29232 vsize=12914512 CPUtime=0.33 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 11601 0 0 0 30 3 0 0 20 0 15 0 14844108 13224460288 10420 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3228628 10420 3635 1 0 3217407 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 12914512

[startup+0.701527 s]
/proc/loadavg: 2.09 1.60 1.49 4/195 29235
/proc/meminfo: memFree=27738212/32770624 swapFree=0/453200
[pid=29235] ppid=29232 vsize=12916580 CPUtime=1.38 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 16773 0 0 0 133 5 0 0 20 0 15 0 14844108 13226577920 24702 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3229145 24702 3726 1 0 3217919 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 12916580

[startup+1.50069 s]
/proc/loadavg: 2.09 1.60 1.49 6/210 29250
/proc/meminfo: memFree=27537480/32770624 swapFree=0/453200
[pid=29235] ppid=29232 vsize=12916580 CPUtime=4.05 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 20004 0 0 0 393 12 0 0 20 0 15 0 14844108 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3229145 62970 3778 1 0 3217919 0
[pid=29235/tid=29237] ppid=29232 vsize=12916580 CPUtime=1.36 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29232 29235 9955 0 -1 4202560 10872 0 0 0 131 5 0 0 20 0 15 0 14844113 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140499503690784 140499138474196 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29238] ppid=29232 vsize=12916580 CPUtime=0.03 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29232 29235 9955 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 15 0 14844113 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140499456420624 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29239] ppid=29232 vsize=12916580 CPUtime=0.03 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29232 29235 9955 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 15 0 14844113 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140499455368080 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29240] ppid=29232 vsize=12916580 CPUtime=0.02 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29232 29235 9955 0 -1 1077944384 31 0 0 0 2 0 0 0 20 0 15 0 14844113 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140499454315536 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29241] ppid=29232 vsize=12916580 CPUtime=0.04 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29232 29235 9955 0 -1 1077944384 48 0 0 0 3 1 0 0 20 0 15 0 14844113 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140499100302480 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29242] ppid=29232 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29232 29235 9955 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 14844115 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140498983446512 140499499465346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29243] ppid=29232 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29232 29235 9955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14844115 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140498982392800 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29244] ppid=29232 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29232 29235 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14844115 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140498981340160 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29245] ppid=29232 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140498980288720 140499499472795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29246] ppid=29232 vsize=12916580 CPUtime=0.98 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) R 29232 29235 9955 0 -1 4202560 2926 0 0 0 98 0 0 0 20 0 15 0 14844118 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140498979227616 140499479147262 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29247] ppid=29232 vsize=12916580 CPUtime=0.99 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) R 29232 29235 9955 0 -1 4202560 1792 0 0 0 99 0 0 0 20 0 15 0 14844118 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140498978175072 140499480089610 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29248] ppid=29232 vsize=12916580 CPUtime=0.53 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29232 29235 9955 0 -1 1077944384 2761 0 0 0 53 0 0 0 20 0 15 0 14844118 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140498977131248 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29249] ppid=29232 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140498976078944 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29250] ppid=29232 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29232 29235 9955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14844121 13226577920 62970 18446744073709551615 4194304 4196468 140734976453008 140498975025456 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 12916580

[startup+3.10075 s]
/proc/loadavg: 2.09 1.60 1.49 6/210 29250
/proc/meminfo: memFree=27351032/32770624 swapFree=0/453016
[pid=29235] ppid=29232 vsize=12920676 CPUtime=8.39 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 27397 0 0 0 804 35 0 0 20 0 15 0 14844108 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3230169 185087 3802 1 0 3218943 0
[pid=29235/tid=29237] ppid=29232 vsize=12920676 CPUtime=2.78 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29232 29235 9955 0 -1 4202560 13955 0 0 0 267 11 0 0 20 0 15 0 14844113 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140499503692320 140499143861808 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29238] ppid=29232 vsize=12920676 CPUtime=0.15 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29232 29235 9955 0 -1 1077944384 196 0 0 0 11 4 0 0 20 0 15 0 14844113 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140499456420624 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29239] ppid=29232 vsize=12920676 CPUtime=0.17 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29232 29235 9955 0 -1 1077944384 157 0 0 0 12 5 0 0 20 0 15 0 14844113 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140499455368080 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29240] ppid=29232 vsize=12920676 CPUtime=0.17 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29232 29235 9955 0 -1 1077944384 160 0 0 0 13 4 0 0 20 0 15 0 14844113 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140499454315536 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29241] ppid=29232 vsize=12920676 CPUtime=0.19 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29232 29235 9955 0 -1 1077944384 180 0 0 0 14 5 0 0 20 0 15 0 14844113 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140499100302480 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29242] ppid=29232 vsize=12920676 CPUtime=0.01 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29232 29235 9955 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 15 0 14844115 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140498983446512 140499499465346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29243] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29232 29235 9955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140498982392800 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29244] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29232 29235 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140498981340160 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29245] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140498980288720 140499499472795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29246] ppid=29232 vsize=12920676 CPUtime=1.98 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29232 29235 9955 0 -1 1077944384 3439 0 0 0 198 0 0 0 20 0 15 0 14844118 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140498979236336 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29247] ppid=29232 vsize=12920676 CPUtime=2.06 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29232 29235 9955 0 -1 1077944384 2968 0 0 0 205 1 0 0 20 0 15 0 14844118 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140498978183792 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29248] ppid=29232 vsize=12920676 CPUtime=0.79 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29232 29235 9955 0 -1 1077944384 4451 0 0 0 78 1 0 0 20 0 15 0 14844118 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140498977131248 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29249] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140498976078944 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29250] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29232 29235 9955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14844121 13230772224 185087 18446744073709551615 4194304 4196468 140734976453008 140498975025456 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
Current children cumulated CPU time (s) 8.39
Current children cumulated vsize (KiB) 12920676

[startup+6.30071 s]
/proc/loadavg: 2.08 1.61 1.49 3/210 29251
/proc/meminfo: memFree=26467732/32770624 swapFree=0/453024
[pid=29235] ppid=29232 vsize=12920676 CPUtime=11.98 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 29247 0 0 0 1136 62 0 0 20 0 15 0 14844108 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3230169 534999 3802 1 0 3218943 0
[pid=29235/tid=29237] ppid=29232 vsize=12920676 CPUtime=5.87 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29232 29235 9955 0 -1 4202560 14903 0 0 0 555 32 0 0 20 0 15 0 14844113 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140499503690168 140499144249323 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29238] ppid=29232 vsize=12920676 CPUtime=0.26 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29232 29235 9955 0 -1 1077944384 220 0 0 0 20 6 0 0 20 0 15 0 14844113 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140499456420624 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29239] ppid=29232 vsize=12920676 CPUtime=0.28 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29232 29235 9955 0 -1 1077944384 213 0 0 0 22 6 0 0 20 0 15 0 14844113 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140499455368080 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29240] ppid=29232 vsize=12920676 CPUtime=0.28 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29232 29235 9955 0 -1 1077944384 270 0 0 0 22 6 0 0 20 0 15 0 14844113 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140499454315536 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29241] ppid=29232 vsize=12920676 CPUtime=0.29 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29232 29235 9955 0 -1 1077944384 380 0 0 0 22 7 0 0 20 0 15 0 14844113 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140499100302480 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29242] ppid=29232 vsize=12920676 CPUtime=0.02 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29232 29235 9955 0 -1 1077944384 1026 0 0 0 2 0 0 0 20 0 15 0 14844115 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140498983446512 140499499465346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29243] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29232 29235 9955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140498982392800 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29244] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29232 29235 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140498981340160 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29245] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140498980288720 140499499472795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29246] ppid=29232 vsize=12920676 CPUtime=2.04 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29232 29235 9955 0 -1 1077944384 3447 0 0 0 204 0 0 0 20 0 15 0 14844118 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140498979236336 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29247] ppid=29232 vsize=12920676 CPUtime=2.07 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29232 29235 9955 0 -1 1077944384 2968 0 0 0 206 1 0 0 20 0 15 0 14844118 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140498978183792 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29248] ppid=29232 vsize=12920676 CPUtime=0.79 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29232 29235 9955 0 -1 1077944384 4451 0 0 0 78 1 0 0 20 0 15 0 14844118 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140498977131248 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29249] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140498976078944 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29250] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29232 29235 9955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14844121 13230772224 534999 18446744073709551615 4194304 4196468 140734976453008 140498975025456 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 12920676

[startup+12.7007 s]
/proc/loadavg: 2.07 1.62 1.50 3/210 29251
/proc/meminfo: memFree=24254964/32770624 swapFree=0/453036
[pid=29235] ppid=29232 vsize=12920676 CPUtime=18.73 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 31669 0 0 0 1785 88 0 0 20 0 15 0 14844108 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3230169 877441 3802 1 0 3218943 0
[pid=29235/tid=29237] ppid=29232 vsize=12920676 CPUtime=12.19 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29232 29235 9955 0 -1 4202560 16144 0 0 0 1166 53 0 0 20 0 15 0 14844113 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140499503692784 140499144047148 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29238] ppid=29232 vsize=12920676 CPUtime=0.33 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29232 29235 9955 0 -1 1077944384 434 0 0 0 26 7 0 0 20 0 15 0 14844113 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140499456420624 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29239] ppid=29232 vsize=12920676 CPUtime=0.35 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29232 29235 9955 0 -1 1077944384 412 0 0 0 28 7 0 0 20 0 15 0 14844113 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140499455368080 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29240] ppid=29232 vsize=12920676 CPUtime=0.35 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29232 29235 9955 0 -1 1077944384 339 0 0 0 28 7 0 0 20 0 15 0 14844113 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140499454315536 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29241] ppid=29232 vsize=12920676 CPUtime=0.37 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29232 29235 9955 0 -1 1077944384 475 0 0 0 29 8 0 0 20 0 15 0 14844113 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140499100302480 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29242] ppid=29232 vsize=12920676 CPUtime=0.02 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29232 29235 9955 0 -1 1077944384 1612 0 0 0 2 0 0 0 20 0 15 0 14844115 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140498983446512 140499499465346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29243] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29232 29235 9955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140498982392800 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29244] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29232 29235 9955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140498981340160 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29245] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 877441 18446744073709551615 4194304 4196468 140734976453008 140498980288720 140499499472795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0

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

/proc/29235/task/29249/stat : 29249 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 954182 18446744073709551615 4194304 4196468 140734976453008 140498976078944 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29250] ppid=29232 vsize=12920676 CPUtime=1.36 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29232 29235 9955 0 -1 1077944384 1032 0 0 0 61 75 0 0 20 0 15 0 14844121 13230772224 954182 18446744073709551615 4194304 4196468 140734976453008 140498975025456 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
Current children cumulated CPU time (s) 2211.16
Current children cumulated vsize (KiB) 12920676

[startup+2202.31 s]
/proc/loadavg: 1.88 1.73 1.62 3/209 29599
/proc/meminfo: memFree=23959584/32770624 swapFree=0/455188
[pid=29235] ppid=29232 vsize=12920676 CPUtime=2272.81 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 455496 0 0 0 226831 450 0 0 20 0 15 0 14844108 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3230169 948539 3820 1 0 3218943 0
[pid=29235/tid=29237] ppid=29232 vsize=12920676 CPUtime=2179.62 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29232 29235 9955 0 -1 4202560 223868 0 0 0 217865 97 0 0 20 0 15 0 14844113 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140499503692752 140499137848823 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29238] ppid=29232 vsize=12920676 CPUtime=21.1 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29232 29235 9955 0 -1 1077944384 35126 0 0 0 2043 67 0 0 20 0 15 0 14844113 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140499456420624 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29239] ppid=29232 vsize=12920676 CPUtime=21.07 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29232 29235 9955 0 -1 1077944384 37109 0 0 0 2041 66 0 0 20 0 15 0 14844113 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140499455368080 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29240] ppid=29232 vsize=12920676 CPUtime=21.11 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29232 29235 9955 0 -1 1077944384 34597 0 0 0 2044 67 0 0 20 0 15 0 14844113 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140499454315536 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29241] ppid=29232 vsize=12920676 CPUtime=21.11 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29232 29235 9955 0 -1 1077944384 30484 0 0 0 2044 67 0 0 20 0 15 0 14844113 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140499100302480 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29242] ppid=29232 vsize=12920676 CPUtime=1.06 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29232 29235 9955 0 -1 1077944384 45537 0 0 0 86 20 0 0 20 0 15 0 14844115 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140498983446512 140499499465346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29243] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29232 29235 9955 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140498982392800 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29244] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29232 29235 9955 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140498981340160 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29245] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140498980288720 140499499472795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29246] ppid=29232 vsize=12920676 CPUtime=2.75 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29232 29235 9955 0 -1 1077944384 16639 0 0 0 274 1 0 0 20 0 15 0 14844118 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140498979236336 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29247] ppid=29232 vsize=12920676 CPUtime=2.59 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29232 29235 9955 0 -1 1077944384 12400 0 0 0 257 2 0 0 20 0 15 0 14844118 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140498978183792 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29248] ppid=29232 vsize=12920676 CPUtime=0.89 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29232 29235 9955 0 -1 1077944384 17268 0 0 0 87 2 0 0 20 0 15 0 14844118 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140498977131248 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29249] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140498976078944 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29250] ppid=29232 vsize=12920676 CPUtime=1.4 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29232 29235 9955 0 -1 1077944384 1054 0 0 0 63 77 0 0 20 0 15 0 14844121 13230772224 948539 18446744073709551615 4194304 4196468 140734976453008 140498975025456 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
Current children cumulated CPU time (s) 2272.81
Current children cumulated vsize (KiB) 12920676

[startup+2262.3 s]
/proc/loadavg: 1.72 1.72 1.62 3/212 29615
/proc/meminfo: memFree=23929280/32770624 swapFree=0/455284
[pid=29235] ppid=29232 vsize=12920676 CPUtime=2334.42 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 465759 0 0 0 232980 462 0 0 20 0 15 0 14844108 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3230169 954787 3820 1 0 3218943 0
[pid=29235/tid=29237] ppid=29232 vsize=12920676 CPUtime=2239.07 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29232 29235 9955 0 -1 4202560 229208 0 0 0 223809 98 0 0 20 0 15 0 14844113 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140499503692752 140499144578787 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29238] ppid=29232 vsize=12920676 CPUtime=21.62 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29232 29235 9955 0 -1 1077944384 36367 0 0 0 2093 69 0 0 20 0 15 0 14844113 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140499456420624 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29239] ppid=29232 vsize=12920676 CPUtime=21.59 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29232 29235 9955 0 -1 1077944384 37806 0 0 0 2091 68 0 0 20 0 15 0 14844113 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140499455368080 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29240] ppid=29232 vsize=12920676 CPUtime=21.64 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29232 29235 9955 0 -1 1077944384 35359 0 0 0 2095 69 0 0 20 0 15 0 14844113 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140499454315536 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29241] ppid=29232 vsize=12920676 CPUtime=21.63 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29232 29235 9955 0 -1 1077944384 31604 0 0 0 2095 68 0 0 20 0 15 0 14844113 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140499100302480 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29242] ppid=29232 vsize=12920676 CPUtime=1.09 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29232 29235 9955 0 -1 1077944384 45827 0 0 0 88 21 0 0 20 0 15 0 14844115 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140498983446512 140499499465346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29243] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29232 29235 9955 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140498982392800 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29244] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29232 29235 9955 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140498981340160 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29245] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140498980288720 140499499472795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29246] ppid=29232 vsize=12920676 CPUtime=2.75 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29232 29235 9955 0 -1 1077944384 17423 0 0 0 274 1 0 0 20 0 15 0 14844118 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140498979236336 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29247] ppid=29232 vsize=12920676 CPUtime=2.59 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29232 29235 9955 0 -1 1077944384 12402 0 0 0 257 2 0 0 20 0 15 0 14844118 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140498978183792 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29248] ppid=29232 vsize=12920676 CPUtime=0.9 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29232 29235 9955 0 -1 1077944384 17270 0 0 0 88 2 0 0 20 0 15 0 14844118 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140498977131248 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29249] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140498976078944 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29250] ppid=29232 vsize=12920676 CPUtime=1.45 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29232 29235 9955 0 -1 1077944384 1079 0 0 0 65 80 0 0 20 0 15 0 14844121 13230772224 954787 18446744073709551615 4194304 4196468 140734976453008 140498975025456 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
Current children cumulated CPU time (s) 2334.42
Current children cumulated vsize (KiB) 12920676

[startup+2322.3 s]
/proc/loadavg: 1.66 1.68 1.62 3/209 29617
/proc/meminfo: memFree=23938792/32770624 swapFree=0/455340
[pid=29235] ppid=29232 vsize=12920676 CPUtime=2395.98 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 474946 0 0 0 239127 471 0 0 20 0 15 0 14844108 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3230169 953284 3820 1 0 3218943 0
[pid=29235/tid=29237] ppid=29232 vsize=12920676 CPUtime=2298.53 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29232 29235 9955 0 -1 4202560 233999 0 0 0 229754 99 0 0 20 0 15 0 14844113 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140499503692864 140499137848590 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29238] ppid=29232 vsize=12920676 CPUtime=22.14 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29232 29235 9955 0 -1 1077944384 37538 0 0 0 2143 71 0 0 20 0 15 0 14844113 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140499456420624 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29239] ppid=29232 vsize=12920676 CPUtime=22.11 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29232 29235 9955 0 -1 1077944384 38687 0 0 0 2141 70 0 0 20 0 15 0 14844113 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140499455368080 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29240] ppid=29232 vsize=12920676 CPUtime=22.14 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29232 29235 9955 0 -1 1077944384 36324 0 0 0 2144 70 0 0 20 0 15 0 14844113 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140499454315536 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29241] ppid=29232 vsize=12920676 CPUtime=22.15 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29232 29235 9955 0 -1 1077944384 32676 0 0 0 2145 70 0 0 20 0 15 0 14844113 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140499100302480 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29242] ppid=29232 vsize=12920676 CPUtime=1.11 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29232 29235 9955 0 -1 1077944384 46094 0 0 0 89 22 0 0 20 0 15 0 14844115 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140498983446512 140499499465346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29243] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29232 29235 9955 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140498982392800 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29244] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29232 29235 9955 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140498981340160 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29245] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140498980288720 140499499472795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29246] ppid=29232 vsize=12920676 CPUtime=2.75 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29232 29235 9955 0 -1 1077944384 17426 0 0 0 274 1 0 0 20 0 15 0 14844118 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140498979236336 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29247] ppid=29232 vsize=12920676 CPUtime=2.59 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29232 29235 9955 0 -1 1077944384 12406 0 0 0 257 2 0 0 20 0 15 0 14844118 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140498978183792 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29248] ppid=29232 vsize=12920676 CPUtime=0.9 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29232 29235 9955 0 -1 1077944384 17277 0 0 0 88 2 0 0 20 0 15 0 14844118 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140498977131248 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29249] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140498976078944 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29250] ppid=29232 vsize=12920676 CPUtime=1.48 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29232 29235 9955 0 -1 1077944384 1105 0 0 0 66 82 0 0 20 0 15 0 14844121 13230772224 953284 18446744073709551615 4194304 4196468 140734976453008 140498975025456 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
Current children cumulated CPU time (s) 2395.98
Current children cumulated vsize (KiB) 12920676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2326.2 s]
/proc/loadavg: 1.69 1.69 1.62 3/209 29617
/proc/meminfo: memFree=23946112/32770624 swapFree=0/455344
[pid=29235] ppid=29232 vsize=12920676 CPUtime=2400.03 cores=1,3,5,7
/proc/29235/stat : 29235 (java) S 29232 29235 9955 0 -1 1077944320 476041 0 0 0 239532 471 0 0 20 0 15 0 14844108 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140734976435552 140499499454199 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 4 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
/proc/29235/statm: 3230169 949950 3820 1 0 3218943 0
[pid=29235/tid=29237] ppid=29232 vsize=12920676 CPUtime=2302.37 cores=1,3,5,7
/proc/29235/task/29237/stat : 29237 (java) R 29232 29235 9955 0 -1 4202560 234312 0 0 0 230138 99 0 0 20 0 15 0 14844113 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140499503692864 140499137848254 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29238] ppid=29232 vsize=12920676 CPUtime=22.19 cores=1,3,5,7
/proc/29235/task/29238/stat : 29238 (java) S 29232 29235 9955 0 -1 1077944384 37542 0 0 0 2148 71 0 0 20 0 15 0 14844113 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140499456420624 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29239] ppid=29232 vsize=12920676 CPUtime=22.16 cores=1,3,5,7
/proc/29235/task/29239/stat : 29239 (java) S 29232 29235 9955 0 -1 1077944384 38690 0 0 0 2146 70 0 0 20 0 15 0 14844113 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140499455368080 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29240] ppid=29232 vsize=12920676 CPUtime=22.19 cores=1,3,5,7
/proc/29235/task/29240/stat : 29240 (java) S 29232 29235 9955 0 -1 1077944384 36511 0 0 0 2149 70 0 0 20 0 15 0 14844113 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140499454315536 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29241] ppid=29232 vsize=12920676 CPUtime=22.2 cores=1,3,5,7
/proc/29235/task/29241/stat : 29241 (java) S 29232 29235 9955 0 -1 1077944384 32677 0 0 0 2150 70 0 0 20 0 15 0 14844113 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140499100302480 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29242] ppid=29232 vsize=12920676 CPUtime=1.11 cores=1,3,5,7
/proc/29235/task/29242/stat : 29242 (java) S 29232 29235 9955 0 -1 1077944384 46096 0 0 0 89 22 0 0 20 0 15 0 14844115 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140498983446512 140499499465346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29243] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29243/stat : 29243 (java) S 29232 29235 9955 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140498982392800 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29244] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29244/stat : 29244 (java) S 29232 29235 9955 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 14844115 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140498981340160 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29245] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29245/stat : 29245 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140498980288720 140499499472795 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29246] ppid=29232 vsize=12920676 CPUtime=2.75 cores=1,3,5,7
/proc/29235/task/29246/stat : 29246 (java) S 29232 29235 9955 0 -1 1077944384 17426 0 0 0 274 1 0 0 20 0 15 0 14844118 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140498979236336 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29247] ppid=29232 vsize=12920676 CPUtime=2.59 cores=1,3,5,7
/proc/29235/task/29247/stat : 29247 (java) S 29232 29235 9955 0 -1 1077944384 12406 0 0 0 257 2 0 0 20 0 15 0 14844118 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140498978183792 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29248] ppid=29232 vsize=12920676 CPUtime=0.9 cores=1,3,5,7
/proc/29235/task/29248/stat : 29248 (java) S 29232 29235 9955 0 -1 1077944384 17862 0 0 0 88 2 0 0 20 0 15 0 14844118 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140498977131248 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29249] ppid=29232 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/29235/task/29249/stat : 29249 (java) S 29232 29235 9955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14844118 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140498976078944 140499499464405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
[pid=29235/tid=29250] ppid=29232 vsize=12920676 CPUtime=1.48 cores=1,3,5,7
/proc/29235/task/29250/stat : 29250 (java) S 29232 29235 9955 0 -1 1077944384 1105 0 0 0 66 82 0 0 20 0 15 0 14844121 13230772224 949950 18446744073709551615 4194304 4196468 140734976453008 140498975025456 140499499465346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10432512 140734976455060 140734976455247 140734976455247 140734976458703 0
Current children cumulated CPU time (s) 2400.03
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 29235 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2326.24
CPU time (s): 2400.09
CPU user time (s): 2395.36
CPU system time (s): 4.73693
CPU usage (%): 103.175
Max. virtual memory (cumulated for all children) (KiB): 12920676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.36
system time used= 4.73693
maximum resident set size= 3834120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69341
involuntary context switches= 3241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4366 second user time and 14.7489 second system time

The end

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml
MD5SUM	f189c1eeae9c695eff92bc09b1867153
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.1299
Satisfiable
(Un)Satisfiability was proved
Number of variables	2401
Number of constraints	18424
Number of domains	1
Minimum domain size	1176
Maximum domain size	1176
Distribution of domain sizes	[{"size":1176,"count":1176}]
Minimum variable degree	0
Maximum variable degree	48
Distribution of variable degrees	[{"degree":0,"count":1225},{"degree":48,"count":1176}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":18424}]
Number of extensional constraints	0
Number of intensional constraints	18424
Distribution of constraint types	[{"type":"intension","count":18424}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4248595

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