2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	SAT (TO)	62835	2400.12	2344.36

0.68/0.54	c version: 2018-07-02
0.68/0.55	c seed: 2063118579
0.68/0.55	c timeout: 2400
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
42.18/19.53	c Parsing done, starting first complete search...
44.84/21.48	o 67934
44.84/21.49	o 67918
45.01/21.55	o 67796
45.31/21.61	o 67791
45.31/21.62	o 67756
45.31/21.63	o 67744
45.93/21.84	o 67740
46.55/22.25	o 67737
48.16/23.66	o 67731
52.31/27.73	o 67726
52.31/27.74	o 67713
52.72/28.19	o 67711
58.36/32.11	o 67709
59.19/33.01	o 67691
71.89/45.51	o 67687
71.89/45.56	o 67672
123.16/90.68	c First complete search done, starting ALNS search...
128.70/95.95	o 67618
128.70/95.95	o 67458
138.45/105.26	o 67424
138.45/105.28	o 67218
138.45/105.30	o 67070
138.77/105.55	o 67029
139.40/106.13	o 66836
139.40/106.13	o 66794
139.73/106.48	o 66785
139.83/106.51	o 66768
139.83/106.51	o 66740
140.03/106.71	o 66722
140.23/106.94	o 66690
140.23/106.94	o 66646
140.23/106.95	o 66642
140.83/107.54	o 66623
141.03/107.78	o 66576
148.57/115.14	o 66514
148.57/115.15	o 66473
152.66/119.16	o 66436
152.66/119.18	o 66406
165.81/131.99	o 66393
165.91/132.09	o 66376
166.01/132.11	o 66359
166.01/132.13	o 66353
166.21/132.30	o 66343
166.21/132.33	o 66337
166.21/132.38	o 66335
166.21/132.38	o 66331
166.31/132.42	o 66321
166.31/132.47	o 66273
166.31/132.49	o 66267
166.41/132.50	o 66259
166.41/132.56	o 66252
166.41/132.59	o 66204
166.80/132.96	o 66195
167.14/133.17	o 66191
167.43/133.41	o 66179
167.53/133.57	o 66169
167.53/133.59	o 66053
167.63/133.68	o 66036
167.73/133.76	o 66014
170.93/136.98	o 65997
171.04/137.08	o 65975
225.37/190.01	o 65959
225.37/190.08	o 65947
225.37/190.08	o 65918
225.37/190.08	o 65865
225.76/190.49	o 65831
226.86/191.50	o 65803
227.76/192.45	o 65751
248.52/212.79	o 65709
248.72/212.93	o 65698
249.02/213.27	o 65605
249.72/213.96	o 65514
249.72/213.97	o 65495
249.83/214.02	o 65456
249.83/214.03	o 65453
272.70/236.23	o 65399
272.70/236.26	o 65241
272.70/236.28	o 65217
272.80/236.31	o 65213
272.90/236.40	o 65203
321.44/283.53	o 65150
321.54/283.68	o 65080
321.54/283.69	o 65076
322.05/284.16	o 65046
322.14/284.20	o 64966
322.14/284.25	o 64962
330.26/292.18	o 64936
331.05/292.92	o 64932
331.55/293.40	o 64928
334.69/296.47	o 64913
334.89/296.64	o 64894
334.99/296.75	o 64890
339.80/301.52	o 64861
339.80/301.54	o 64831
339.80/301.55	o 64791
339.90/301.68	o 64661
339.90/301.69	o 64651
378.78/339.83	o 64377
378.78/339.84	o 64362
378.78/339.87	o 64311
378.88/339.98	o 64278
378.99/340.04	o 64270
379.18/340.22	o 64235
380.38/341.41	o 64232
380.58/341.65	o 64215
380.88/341.93	o 64210
381.38/342.48	o 64169
391.39/352.32	o 64079
391.39/352.37	o 64059
391.49/352.46	o 64057
391.59/352.55	o 64014
391.59/352.56	o 63990
393.99/354.95	o 63928
393.99/354.97	o 63912
393.99/354.99	o 63882
395.79/356.74	o 63880
396.69/357.68	o 63864
397.10/358.07	o 63834
420.88/381.52	o 63828
421.39/382.02	o 63806
426.10/386.69	o 63781
426.20/386.74	o 63758
434.30/394.71	o 63696
434.30/394.76	o 63652
443.72/404.12	o 63647
444.21/404.69	o 63592
446.31/406.68	o 63576
517.15/476.71	o 63549
529.02/488.43	o 63452
529.13/488.57	o 63434
592.15/550.95	o 63422
592.55/551.36	o 63406
592.55/551.38	o 63388
592.76/551.59	o 63378
603.85/562.40	o 63363
607.34/565.90	o 63339
607.34/565.90	o 63301
624.31/582.62	o 63292
624.31/582.65	o 63233
625.21/583.56	o 63221
625.61/583.99	o 63199
659.50/617.67	o 63177
660.10/618.29	o 63152
1171.56/1125.01	o 63135
1220.02/1173.02	o 63093
1223.72/1176.71	o 63053
1223.82/1176.81	o 62973
1224.13/1177.18	o 62945
1472.46/1423.45	o 62919
1472.56/1423.54	o 62885
2114.55/2060.66	o 62867
2114.55/2060.66	o 62835
2400.04/2344.30	s SATISFIABLE
2400.04/2344.31	v <instantiation>
2400.04/2344.31	v 	<list>
2400.04/2344.31	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] d[0][81] d[0][82] d[0][83] d[0][84] d[0][85] d[0][86] d[0][87] d[0][88] d[0][89] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] d[1][81] d[1][82] d[1][83] d[1][84] d[1][85] d[1][86] d[1][87] d[1][88] d[1][89] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[2][81] d[2][82] d[2][83] d[2][84] d[2][85] d[2][86] d[2][87] d[2][88] d[2][89] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[3][81] d[3][82] d[3][83] d[3][84] d[3][85] d[3][86] d[3][87] d[3][88] d[3][89] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] d[4][81] d[4][82] d[4][83] d[4][84] d[4][85] d[4][86] d[4][87] d[4][88] d[4][89] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[5][81] d[5][82] d[5][83] d[5][84] d[5][85] d[5][86] d[5][87] d[5][88] d[5][89] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] d[6][81] d[6][82] d[6][83] d[6][84] d[6][85] d[6][86] d[6][87] d[6][88] d[6][89] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] d[7][81] d[7][82] d[7][83] d[7][84] d[7][85] d[7][86] d[7][87] d[7][88] d[7][89] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] d[8][81] d[8][82] d[8][83] d[8][84] d[8][85] d[8][86] d[8][87] d[8][88] d[8][89] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] d[9][81] d[9][82] d[9][83] d[9][84] d[9][85] d[9][86] d[9][87] d[9][88] d[9][89] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[10][81] d[10][82] d[10][83] d[10][84] d[10][85] d[10][86] d[10][87] d[10][88] d[10][89] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[11][81] d[11][82] d[11][83] d[11][84] d[11][85] d[11][86] d[11][87] d[11][88] d[11][89] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[12][81] d[12][82] d[12][83] d[12][84] d[12][85] d[12][86] d[12][87] d[12][88] d[12][89] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[13][81] d[13][82] d[13][83] d[13][84] d[13][85] d[13][86] d[13][87] d[13][88] d[13][89] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[14][81] d[14][82] d[14][83] d[14][84] d[14][85] d[14][86] d[14][87] d[14][88] d[14][89] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] d[15][81] d[15][82] d[15][83] d[15][84] d[15][85] d[15][86] d[15][87] d[15][88] d[15][89] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[16][81] d[16][82] d[16][83] d[16][84] d[16][85] d[16][86] d[16][87] d[16][88] d[16][89] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] d[17][81] d[17][82] d[17][83] d[17][84] d[17][85] d[17][86] d[17][87] d[17][88] d[17][89] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[18][81] d[18][82] d[18][83] d[18][84] d[18][85] d[18][86] d[18][87] d[18][88] d[18][89] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[19][81] d[19][82] d[19][83] d[19][84] d[19][85] d[19][86] d[19][87] d[19][88] d[19][89] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] d[20][81] d[20][82] d[20][83] d[20][84] d[20][85] d[20][86] d[20][87] d[20][88] d[20][89] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[21][81] d[21][82] d[21][83] d[21][84] d[21][85] d[21][86] d[21][87] d[21][88] d[21][89] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[22][81] d[22][82] d[22][83] d[22][84] d[22][85] d[22][86] d[22][87] d[22][88] d[22][89] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[23][81] d[23][82] d[23][83] d[23][84] d[23][85] d[23][86] d[23][87] d[23][88] d[23][89] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[24][81] d[24][82] d[24][83] d[24][84] d[24][85] d[24][86] d[24][87] d[24][88] d[24][89] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[25][81] d[25][82] d[25][83] d[25][84] d[25][85] d[25][86] d[25][87] d[25][88] d[25][89] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] d[26][81] d[26][82] d[26][83] d[26][84] d[26][85] d[26][86] d[26][87] d[26][88] d[26][89] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[27][81] d[27][82] d[27][83] d[27][84] d[27][85] d[27][86] d[27][87] d[27][88] d[27][89] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] d[28][81] d[28][82] d[28][83] d[28][84] d[28][85] d[28][86] d[28][87] d[28][88] d[28][89] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] d[29][81] d[29][82] d[29][83] d[29][84] d[29][85] d[29][86] d[29][87] d[29][88] d[29][89] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] d[30][81] d[30][82] d[30][83] d[30][84] d[30][85] d[30][86] d[30][87] d[30][88] d[30][89] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] d[31][81] d[31][82] d[31][83] d[31][84] d[31][85] d[31][86] d[31][87] d[31][88] d[31][89] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] d[32][81] d[32][82] d[32][83] d[32][84] d[32][85] d[32][86] d[32][87] d[32][88] d[32][89] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[33][81] d[33][82] d[33][83] d[33][84] d[33][85] d[33][86] d[33][87] d[33][88] d[33][89] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[34][81] d[34][82] d[34][83] d[34][84] d[34][85] d[34][86] d[34][87] d[34][88] d[34][89] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] d[35][81] d[35][82] d[35][83] d[35][84] d[35][85] d[35][86] d[35][87] d[35][88] d[35][89] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[36][81] d[36][82] d[36][83] d[36][84] d[36][85] d[36][86] d[36][87] d[36][88] d[36][89] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] d[37][81] d[37][82] d[37][83] d[37][84] d[37][85] d[37][86] d[37][87] d[37][88] d[37][89] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] d[38][81] d[38][82] d[38][83] d[38][84] d[38][85] d[38][86] d[38][87] d[38][88] d[38][89] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[39][81] d[39][82] d[39][83] d[39][84] d[39][85] d[39][86] d[39][87] d[39][88] d[39][89] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[40][81] d[40][82] d[40][83] d[40][84] d[40][85] d[40][86] d[40][87] d[40][88] d[40][89] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[41][81] d[41][82] d[41][83] d[41][84] d[41][85] d[41][86] d[41][87] d[41][88] d[41][89] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[42][81] d[42][82] d[42][83] d[42][84] d[42][85] d[42][86] d[42][87] d[42][88] d[42][89] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[43][81] d[43][82] d[43][83] d[43][84] d[43][85] d[43][86] d[43][87] d[43][88] d[43][89] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[44][81] d[44][82] d[44][83] d[44][84] d[44][85] d[44][86] d[44][87] d[44][88] d[44][89] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[45][81] d[45][82] d[45][83] d[45][84] d[45][85] d[45][86] d[45][87] d[45][88] d[45][89] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[46][81] d[46][82] d[46][83] d[46][84] d[46][85] d[46][86] d[46][87] d[46][88] d[46][89] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[47][81] d[47][82] d[47][83] d[47][84] d[47][85] d[47][86] d[47][87] d[47][88] d[47][89] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[48][81] d[48][82] d[48][83] d[48][84] d[48][85] d[48][86] d[48][87] d[48][88] d[48][89] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[49][81] d[49][82] d[49][83] d[49][84] d[49][85] d[49][86] d[49][87] d[49][88] d[49][89] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[50][81] d[50][82] d[50][83] d[50][84] d[50][85] d[50][86] d[50][87] d[50][88] d[50][89] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[51][81] d[51][82] d[51][83] d[51][84] d[51][85] d[51][86] d[51][87] d[51][88] d[51][89] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] d[52][81] d[52][82] d[52][83] d[52][84] d[52][85] d[52][86] d[52][87] d[52][88] d[52][89] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[53][81] d[53][82] d[53][83] d[53][84] d[53][85] d[53][86] d[53][87] d[53][88] d[53][89] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[54][81] d[54][82] d[54][83] d[54][84] d[54][85] d[54][86] d[54][87] d[54][88] d[54][89] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] d[55][81] d[55][82] d[55][83] d[55][84] d[55][85] d[55][86] d[55][87] d[55][88] d[55][89] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[56][81] d[56][82] d[56][83] d[56][84] d[56][85] d[56][86] d[56][87] d[56][88] d[56][89] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[57][81] d[57][82] d[57][83] d[57][84] d[57][85] d[57][86] d[57][87] d[57][88] d[57][89] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[58][81] d[58][82] d[58][83] d[58][84] d[58][85] d[58][86] d[58][87] d[58][88] d[58][89] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[59][81] d[59][82] d[59][83] d[59][84] d[59][85] d[59][86] d[59][87] d[59][88] d[59][89] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[60][81] d[60][82] d[60][83] d[60][84] d[60][85] d[60][86] d[60][87] d[60][88] d[60][89] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[61][81] d[61][82] d[61][83] d[61][84] d[61][85] d[61][86] d[61][87] d[61][88] d[61][89] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[62][81] d[62][82] d[62][83] d[62][84] d[62][85] d[62][86] d[62][87] d[62][88] d[62][89] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[63][81] d[63][82] d[63][83] d[63][84] d[63][85] d[63][86] d[63][87] d[63][88] d[63][89] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[64][81] d[64][82] d[64][83] d[64][84] d[64][85] d[64][86] d[64][87] d[64][88] d[64][89] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[65][81] d[65][82] d[65][83] d[65][84] d[65][85] d[65][86] d[65][87] d[65][88] d[65][89] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[66][81] d[66][82] d[66][83] d[66][84] d[66][85] d[66][86] d[66][87] d[66][88] d[66][89] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[67][81] d[67][82] d[67][83] d[67][84] d[67][85] d[67][86] d[67][87] d[67][88] d[67][89] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[68][81] d[68][82] d[68][83] d[68][84] d[68][85] d[68][86] d[68][87] d[68][88] d[68][89] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[69][81] d[69][82] d[69][83] d[69][84] d[69][85] d[69][86] d[69][87] d[69][88] d[69][89] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[70][81] d[70][82] d[70][83] d[70][84] d[70][85] d[70][86] d[70][87] d[70][88] d[70][89] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[71][81] d[71][82] d[71][83] d[71][84] d[71][85] d[71][86] d[71][87] d[71][88] d[71][89] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[72][81] d[72][82] d[72][83] d[72][84] d[72][85] d[72][86] d[72][87] d[72][88] d[72][89] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[73][81] d[73][82] d[73][83] d[73][84] d[73][85] d[73][86] d[73][87] d[73][88] d[73][89] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[74][81] d[74][82] d[74][83] d[74][84] d[74][85] d[74][86] d[74][87] d[74][88] d[74][89] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[75][81] d[75][82] d[75][83] d[75][84] d[75][85] d[75][86] d[75][87] d[75][88] d[75][89] d[76][77] d[76][78] d[76][79] d[76][80] d[76][81] d[76][82] d[76][83] d[76][84] d[76][85] d[76][86] d[76][87] d[76][88] d[76][89] d[77][78] d[77][79] d[77][80] d[77][81] d[77][82] d[77][83] d[77][84] d[77][85] d[77][86] d[77][87] d[77][88] d[77][89] d[78][79] d[78][80] d[78][81] d[78][82] d[78][83] d[78][84] d[78][85] d[78][86] d[78][87] d[78][88] d[78][89] d[79][80] d[79][81] d[79][82] d[79][83] d[79][84] d[79][85] d[79][86] d[79][87] d[79][88] d[79][89] d[80][81] d[80][82] d[80][83] d[80][84] d[80][85] d[80][86] d[80][87] d[80][88] d[80][89] d[81][82] d[81][83] d[81][84] d[81][85] d[81][86] d[81][87] d[81][88] d[81][89] d[82][83] d[82][84] d[82][85] d[82][86] d[82][87] d[82][88] d[82][89] d[83][84] d[83][85] d[83][86] d[83][87] d[83][88] d[83][89] d[84][85] d[84][86] d[84][87] d[84][88] d[84][89] d[85][86] d[85][87] d[85][88] d[85][89] d[86][87] d[86][88] d[86][89] d[87][88] d[87][89] d[88][89]
2400.04/2344.31	v 	</list>
2400.04/2344.31	v 	<values>
2400.04/2344.31	v 		85 7 20 0 83 28 2 1 30 6 9 23 3 12 88 49 15 16 17 33 80 65 4 61 14 52 41 5 24 27 8 46 62 32 36 72 82 89 34 38 77 69 71 42 13 44 45 43 25 39 87 50 51 31 53 54 79 56 18 48 57 60 75 35 47 64 67 37 29 68 40 21 22 58 74 11 19 76 10 66 86 63 81 78 55 84 59 73 70 26 5 2 0 0 5 5 1 6 5 0 5 2 5 2 5 4 0 0 0 1 1 0 4 0 2 0 0 0 1 6 2 2 3 2 2 5 0 1 0 0 4 0 5 1 1 0 2 2 0 10 5 2 0 3 2 2 2 5 0 0 5 1 5 10 0 0 2 1 0 5 5 2 5 0 2 0 0 0 3 0 6 2 0 3 2 2 0 0 5 4 5 0 3 5 1 0 5 2 10 5 2 3 2 4 2 5 2 5 5 2 2 2 0 6 0 5 0 1 5 5 0 0 2 1 1 2 0 3 0 10 0 0 0 5 0 1 1 0 3 10 2 2 2 4 2 2 0 5 2 0 0 0 1 0 10 2 2 5 0 2 5 1 0 0 1 1 0 0 0 0 0 5 0 0 0 1 1 10 0 5 0 5 5 0 3 0 5 0 0 1 5 2 2 1 2 0 2 5 5 0 5 2 5 0 4 0 5 0 5 4 2 10 1 3 2 5 6 5 5 0 5 5 2 2 0 0 5 1 5 5 5 2 2 0 2 2 4 5 0 1 0 1 0 0 5 0 4 1 0 0 0 5 5 0 0 5 0 0 0 0 10 5 3 1 5 2 10 2 0 1 6 5 0 10 2 1 2 2 0 0 5 5 4 6 0 5 0 2 2 0 0 5 2 3 1 5 1 2 2 5 0 5 4 4 10 1 5 1 1 0 2 10 0 2 0 2 0 3 0 3 5 5 5 2 5 3 5 1 5 0 1 5 2 1 0 0 0 2 0 0 1 6 5 1 1 4 4 0 0 3 0 10 0 1 0 1 3 10 0 10 5 0 2 5 0 0 10 0 5 2 0 2 10 5 0 0 0 2 0 10 2 10 5 0 2 10 0 2 0 2 3 2 5 2 5 10 2 2 5 2 2 4 2 1 3 0 5 1 0 0 2 0 0 0 2 2 2 4 10 10 0 0 2 1 1 0 2 1 3 0 0 5 0 5 5 5 6 2 0 2 2 10 1 5 1 4 6 0 1 5 1 2 5 10 5 10 10 5 1 1 4 4 5 5 6 0 2 5 1 2 0 0 0 2 4 2 2 5 0 3 2 0 2 5 0 4 5 0 0 4 5 3 10 0 2 2 0 0 0 0 0 0 4 5 3 0 10 1 5 0 5 5 1 0 0 0 0 0 1 5 2 5 2 0 0 2 2 2 10 5 5 2 0 0 0 5 2 1 6 2 0 5 2 0 2 5 6 1 0 5 5 5 2 5 10 5 10 10 4 0 2 1 5 10 5 0 5 5 10 2 10 3 1 0 3 5 5 5 5 2 5 10 0 0 0 0 5 0 0 5 0 4 0 0 2 1 2 0 5 5 0 5 10 10 5 5 10 0 3 5 5 10 0 1 1 1 0 2 0 0 10 3 5 2 2 6 0 1 0 0 0 0 5 5 0 4 5 1 0 0 0 1 5 2 5 0 2 2 1 1 0 1 0 1 2 6 0 0 1 2 5 4 2 2 2 0 0 1 0 0 0 2 1 2 0 5 5 2 1 0 0 5 5 2 6 5 1 2 0 0 5 5 1 6 10 5 0 2 3 10 5 1 5 0 5 1 1 0 0 2 5 5 2 5 2 1 1 0 5 0 0 1 1 0 2 0 2 1 2 0 4 5 0 0 5 0 0 0 0 6 3 5 2 6 2 2 0 0 5 0 1 0 0 0 0 5 2 0 0 3 5 5 2 3 2 1 2 0 5 10 2 5 5 0 0 2 4 2 1 2 3 2 2 2 10 0 0 0 0 10 1 5 5 10 0 1 5 2 5 0 0 0 2 1 3 5 10 5 5 0 1 5 10 10 5 0 1 2 1 0 0 6 1 5 5 2 3 5 0 5 1 0 5 0 2 0 3 0 0 0 5 0 1 5 2 0 5 2 10 3 5 2 5 0 10 2 5 0 5 0 5 5 2 2 10 1 5 0 5 5 2 5 1 0 1 5 1 0 1 10 0 0 0 5 0 4 2 6 2 0 0 2 0 2 0 1 2 2 6 5 1 0 2 2 0 5 2 0 1 5 2 2 0 0 0 10 2 2 1 0 5 2 5 0 5 0 0 2 1 1 1 2 5 4 5 2 5 2 10 0 0 0 2 0 5 5 1 2 2 10 5 2 4 0 0 5 1 2 10 3 5 2 1 0 2 1 0 5 2 0 2 4 5 0 0 1 2 0 0 3 2 2 0 0 0 0 2 0 0 2 4 5 1 2 4 1 2 2 10 0 2 0 1 10 2 0 0 5 5 1 5 3 2 3 10 0 0 0 0 5 10 0 0 5 2 5 5 0 10 0 10 2 0 1 0 0 0 10 4 2 3 1 1 5 2 0 2 1 1 6 10 5 1 1 1 0 5 1 0 0 0 3 3 1 0 1 5 0 2 10 5 1 4 10 10 2 0 2 2 2 5 1 1 2 5 1 5 0 2 10 5 5 10 0 4 4 0 4 5 10 4 5 5 0 1 10 1 2 5 2 1 0 1 1 0 5 0 5 2 5 10 2 0 10 0 3 10 0 2 0 5 1 6 1 1 1 0 1 0 0 2 2 5 0 0 0 5 5 10 2 0 0 5 0 2 5 5 2 2 5 5 5 1 1 3 0 1 0 0 1 6 0 0 0 0 10 2 5 5 5 5 2 5 0 6 2 5 0 2 3 3 0 2 5 3 10 4 1 2 0 5 2 5 5 2 1 10 0 2 3 2 0 0 2 0 0 5 0 2 5 0 5 0 1 4 5 5 5 6 2 2 2 0 3 0 5 0 0 1 5 0 1 2 10 4 0 3 0 5 5 2 5 0 5 2 0 1 10 0 2 2 1 5 3 0 0 0 2 0 2 4 0 1 5 0 0 3 5 10 0 2 1 2 0 5 0 0 1 0 5 1 1 1 2 2 0 0 1 5 0 2 2 4 2 0 0 0 0 2 0 2 10 5 2 1 2 1 5 0 2 10 0 0 5 4 5 0 5 2 0 6 0 4 0 5 2 0 5 6 2 0 0 5 4 5 1 5 1 5 10 0 2 4 5 0 1 0 3 0 0 0 5 2 5 10 0 0 0 0 5 6 1 2 2 2 3 0 2 10 5 2 5 5 3 1 1 5 6 0 0 0 5 0 0 6 2 2 1 1 10 4 0 3 10 0 0 1 6 0 2 2 3 2 5 1 0 5 4 4 2 6 4 0 2 0 5 5 5 5 1 0 2 1 4 0 5 5 5 5 4 5 1 10 0 0 0 0 5 0 0 5 5 6 2 0 1 5 10 5 5 0 0 2 2 5 0 4 1 1 0 0 2 0 0 0 10 10 1 5 1 0 1 0 0 0 2 0 0 0 2 0 5 0 1 2 3 10 0 10 0 0 2 0 5 2 1 5 0 5 10 2 2 0 0 10 1 6 1 5 1 5 0 0 2 2 4 0 5 0 1 1 3 0 1 0 1 5 5 0 3 5 2 4 2 1 5 5 5 0 3 2 5 0 1 0 2 1 5 3 0 0 5 4 1 5 0 0 0 1 0 0 10 10 0 0 5 0 0 0 3 0 0 2 1 2 0 2 2 10 2 10 3 5 0 0 2 2 1 0 2 10 10 0 6 5 5 5 0 5 10 0 2 0 1 2 1 3 5 10 0 5 0 2 2 0 0 0 2 5 0 1 0 0 0 5 0 0 5 0 5 0 2 1 5 2 5 4 2 10 5 5 5 1 2 1 5 5 0 2 0 2 10 3 0 5 5 3 2 3 10 4 2 4 0 2 5 2 0 10 0 5 5 2 2 10 0 5 5 5 0 0 5 0 2 2 5 2 2 5 0 5 0 0 2 1 4 0 6 3 0 5 0 5 3 0 2 0 2 2 5 0 0 2 5 0 2 1 2 0 3 5 2 3 5 2 10 2 5 5 5 10 2 1 0 0 2 5 0 0 0 2 0 1 2 0 2 1 0 3 1 0 0 1 0 0 0 0 2 0 2 0 2 2 0 0 1 2 2 0 2 0 0 0 10 0 10 2 10 0 2 2 1 5 0 2 2 5 5 6 0 5 0 0 4 1 1 1 3 10 10 2 2 2 2 10 2 0 0 0 0 0 1 5 10 2 5 1 0 0 0 2 2 0 0 10 5 5 0 4 2 10 6 2 0 0 1 5 5 2 5 10 0 1 0 0 5 0 4 0 0 5 2 0 0 0 5 3 5 4 4 3 5 0 2 3 5 10 0 1 5 5 0 3 0 0 1 1 3 5 5 5 0 2 10 5 2 1 1 2 0 2 2 4 2 10 10 0 10 4 5 5 1 0 5 0 5 2 1 0 10 2 0 0 1 0 10 5 10 1 2 0 0 0 5 2 1 5 2 2 0 2 2 5 1 5 3 5 0 5 0 1 0 5 2 3 5 0 5 5 0 0 0 2 0 4 1 2 0 1 0 0 2 0 5 0 5 5 0 0 0 6 5 2 0 2 0 1 5 5 5 0 0 0 0 0 5 0 0 1 0 10 5 0 0 0 5 5 6 0 5 0 0 0 0 0 2 5 5 1 2 0 0 2 1 0 5 0 0 0 4 0 1 2 2 2 0 0 4 2 0 1 2 2 2 4 2 1 10 5 0 1 0 2 5 2 4 5 3 10 10 5 5 5 10 5 0 0 0 2 1 2 5 0 2 0 5 10 2 5 3 0 10 10 2 1 0 1 1 4 0 5 5 0 5 4 0 2 5 0 10 3 0 1 2 2 2 2 2 3 0 2 1 2 5 0 1 1 5 0 3 1 2 0 10 0 2 0 1 10 5 1 0 4 0 2 1 0 3 0 2 5 1 5 1 0 1 5 2 0 5 2 0 5 0 0 0 2 5 4 0 5 2 0 2 0 5 2 0 2 0 0 5 5 5 0 10 5 6 2 5 10 10 10 10 1 5 2 5 4 5 4 2 10 5 5 0 5 5 1 10 4 10 0 5 5 0 0 3 5 5 2 5 0 0 0 2 0 0 3 0 3 5 5 0 2 2 2 0 2 10 2 0 5 0 1 0 0 1 1 0 0 0 0 1 3 2 5 0 1 5 0 2 0 0 10 0 1 2 1 5 2 5 2 5 0 4 5 5 1 5 5 10 4 0 5 2 10 3 5 6 0 0 2 1 0 2 2 0 3 2 4 1 2 0 5 10 10 0 10 0 6 1 1 10 6 2 2 5 0 5 3 2 10 5 5 0 5 0 6 5 0 0 0 0 4 10 1 5 0 3 0 2 2 2 5 5 0 4 2 0 0 0 5 1 0 1 0 1 0 0 6 1 2 1 0 3 2 5 0 5 2 0 10 4 3 5 10 5 5 2 5 10 5 5 2 10 10 0 2 6 4 1 2 10 0 2 5 5 0 0 0 0 0 0 5 5 5 5 0 0 1 5 5 1 0 0 10 1 1 10 0 5 6 10 5 0 6 0 6 0 3 5 5 5 2 4 2 5 10 0 0 5 2 0 0 5 0 5 5 0 2 1 0 0 2 0 0 2 0 1 1 10 2 2 0 1 2 4 1 2 5 1 0 0 5 0 0 0 4 4 3 0 3 0 3 0 10 5 2 5 2 2 2 2 1 1 5 5 5 5 0 0 5 5 0 10 10 0 5 4 10 10 5 1 0 1 1 0 0 1 0 2 0 0 1 0 0 2 2 2 0 10 5 5 1 5 0 0 10 0 3 1 10 2 0 5 0 10 2 2 5 0 0 2 6 0 0 0 2 2 0 5 0 0 4 1 2 0 0 2 2 5 1 10 0 1 2 0 0 5 5 6 0 0 2 5 1 4 0 1 0 5 5 2 0 5 0 1 3 0 0 10 10 0 10 5 5 0 2 2 0 5 0 0 5 2 0 5 0 5 0 1 3 2 0 0 6 5 1 5 0 2 10 2 10 0 0 0 5 2 1 5 0 1 2 5 0 10 2 1 0 0 5 5 0 4 2 0 2 5 0 1 4 0 10 10 10 10 0 2 5 0 0 10 1 0 5 2 3 5 1 2 1 4 5 10 2 0 4 10 0 2 1 0 5 2 2 3 1 5 3 5 2 5 1 2 1 0 2 1 2 2 6 0 0 3 10 0 0 2 0 5 2 0 0 0 0 0 1 5 0 0 0 0 2 10 4 0 0 0 2 2 10 2 0 5 3 5 2 5 0 0 1 10 0 5 2 2 5 5 0 0 2 0 2 3 2 5 0 1 0 1 5 0 3 0 5 0 1 10 0 0 0 0 5 1 0 3 0 0 0 4 5 5 0 5 2 1 0 3 10 2 5 4 5 2 4 5 5 4 5 0 2 0 2 2 1 5 1 2 2 0 2 2 5 6 0 2 0 5 5 2 1 2 0 5 4 4 1 1 2 2 5 0 0 0 0 2 2 0 2 5 5 0 2 2 5 2 0 10 10 1 5 1 1 2 5 2 10 0 0 3 0 3 1 2 1 0 2 0 0 3 5 5 4 1 5 3 5 0 3 5 1 2 2 0 2 5 0 0 0 0 4 5 3 0 2 5 2 3 10 5 0 2 1 0 0 0 1 2 5 2 5 1 2 1 1 0 0 10 2 5 0 0 10 0 0 2 1 0 0 5 1 5 4 3 3 0 0 0 5 3 2 10 0 0 5 1 5 0 5 2 0 1 10 0 4 2 0 0 5 1 10 5 10 0 0 5 0 0 5 2 5 0 10 1 10 4 0 0 0 0 4 2 0 0 0 0 0 0 5 4 10 4 5 5 2 0 2 3 10 4 1 1 2 5 0 5 0 5 0 6 3 1 1 5 0 10 0 5 1 5 1 0 0 2 5 0 0 3 1 2 1 10 0 5 3 5 0 0 1 0 2 5 2 1 4 0 1 5 1 1 0 6 5 5 0 0 5 5 10 0 5 2 1 0 10 0 0 4 0 2 0 0 0 1 0 3 3 2 0 0 0 0 1 0 10 10 4 0 5 0 1 0 2 0 10 10 1 2 4 10 0 10 3 0 0 2 2 0 0 10 2 0 10 5 6 0 5 2 1 5 1 0 5 10 1 10 1 0 0 5 5 2 0 0 5 2 0 1 0 0 5 10 4 5 10 0 2 10 0 0 0 4 10 1 5 2 1 1 2 5 5 5 2 0 0 0 0 1 5 0 1 0 0 0 1 0 2 0 2 5 6 0 0 0 0 10 0 0 0 5 10 0 2 0 10 0 0 10 0 5 0 0 1 2 0 2 2 4 3 1 5 5 0 1 10 5 1 5 3 3 2 5 10 10 10 10 1 4 10 2 2 5 5 5 5 0 5 1 0 2 5 0 2 0 5 0 10 2 0 0 2 1 2 1 2 5 5 2 2 4 0 10 5 0 1 5 0 0 2 0 10 3 0 10 5 1 0 0 1 0 1 10 5 1 0 5 6 6 2 0 1 1 2 2 5 5 0 3 5 4 10 0 5 0 0 0 4 0 5 10 0 5 5 2 5 0 1 3 2 2 2 0 2 1 2 3 2 2 0 1 5 2 5 2 0 2 2 10 5 0 2 6 0 3 0 0 2 1 2 5 2 0 4 1 2 2 1 1 0 5 0 0 0 0 1 10 2 2 5 5 0 5 10 0 5 2 3 3 5 10 0 5 2 3 2 1 0 2 0 3 0 4 5 2 0 0 0 0 0 1 1 5 0 10 2 5 0 1 5 1 2 2 1 0 0 0 2 0 0 5 10 1 1 4 0 2 10 4 5 0 2 10 0 10 0 0 4 5 0 0 1 0 10 2 2 5 0 2 0 0 5 2 5 2 5 5 2 2 0 2 2 10 5 4 1 5 0 1 5 10 2 5 0 3 0 10 5 3 2 2 2 0 5 0 5 1 5 2 5 0 5 0 5 2 0 5 5 3 1 2 10 1 3 5 1 3 0 2 10 0 4 5 0 10 1 5 1 10 2 1 0 5 2 5 1 5 2 1 2 0 0 6 0 2 1 0 1 1 2 0 2 10 1 5 5 4 2 5 4 0 5 1 10 1 2 10 5 1 0 0 5 0 1 2 5 1 2 6 10 5 5 5 0 5 5 5 3 0 0 3 0 1 3 0 0 0 1 5 5 3 1 0 0 0 5 1 0 2 2 2 2 10 0 0 1 1 0 5 10 5 1 1 0 5 5 1 0 2 3 0 2 0 10 5 2 3 1 5 0 2 2 2 10 0 2 0 2 4 0 1 1 4 0 2 2 2 0 5 0 5 1 5 6 10 10 0 5 5 5 0 10 10 0 5 2 10 3 1 2 5 0 0 10 2 10 0 5 1 5 0 3 3 2 4 0 1 10 10 0 1 0 1 0 1 0 0 0 10 5 0 1 1 2 4 0 5 1 0 2 2 3 1 5 5 0 2 0 10 0 10 5 2 10 0 2 0 0 2 0 2 5 10 10 2 2 0 4 2 10 0 5 0 5 3 0 5 2 3 2 1 5 2 10 4 5 10 0 1 0 5 1 2 1 0 2 2 0 2 5 5 1 2 5 0 2 10 5 5 5 2 0 0 2 0 0 0 4 1 5 0 1 10 10 4 0 0 5 0 10 0 5 0 4 2 2 2 2 5 0 10 0 10 3 0 2 2 4 0 2 2 1 0 0 0 5 10 4 5 0 5 2 0 5 5 0 5 1 5 2 2 2 5 0 4 5 1 0 0 5 0 2 2 5 0 1 5 1 5 2 0 0 0 2 2 0 10 2 10 2 0 0 0 1 5 5 1 2 4 5 10 3 5 2 3 1 0 5 0 3 0 5 2 5 0 1 2 1 3 5 10 0 5 5 6 2 3 4 2 5 5 1 1 4 5 1 5 0 1 0 3 5 2 0 5 1 10 10 3 4 3 10 2 0 2 3 0 1 0 0 10 0 4 5 2 10 0 5 5 0 5 2 0 2 2 0 2 1 0 5 1 10 0 10 0 1 0 2 10 4 2 1 2 5 0 2 2 2 1 1 0 3 2 0 0 2 10 5 10 1 3 2 2 4 5 5 5 2 3 10 0 10 0 1 
2400.04/2344.31	v 	</values>
2400.04/2344.31	v </instantiation>

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291590-1532240885/watcher-4291590-1532240885 -o /tmp/evaluation-result-4291590-1532240885/solver-4291590-1532240885 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29117 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 2063118579 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291590-1532240885.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30849, runsolver pid=30846
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 1.53 1.45 1.45 5/215 30864
/proc/meminfo: memFree=16785436/32770624 swapFree=67108860/67108860
[pid=30849] ppid=30846 vsize=14082740 memory=34104 CPUtime=0.11 cores=1,3,5,7
/proc/30849/stat : 30849 (java) S 30846 30849 29085 0 -1 1077944320 6967 0 0 0 10 1 0 0 20 0 15 0 41651699 14420725760 8526 33554432000 4194304 4196468 140721048368896 140721048351440 140222317448951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
/proc/30849/statm: 3520685 8526 3137 1 0 3482761 0
[pid=30849/tid=30851] ppid=30846 vsize=14082740 memory=-8485517772678403458 CPUtime=0.08 cores=1,3,5,7
/proc/30849/task/30851/stat : 30851 (java) R 30846 30849 29085 0 -1 4202560 5023 0 0 0 8 0 0 0 20 0 15 0 41651700 14420725760 8526 33554432000 4194304 4196468 140721048368896 140222321674640 140222317470877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30852] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30852/stat : 30852 (java) S 30846 30849 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 8526 33554432000 4194304 4196468 140721048368896 140222232517648 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30853] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30853/stat : 30853 (java) S 30846 30849 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 8526 33554432000 4194304 4196468 140721048368896 140222231465104 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30854] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30854/stat : 30854 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 8526 33554432000 4194304 4196468 140721048368896 140222230412048 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30855] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30855/stat : 30855 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 8526 33554432000 4194304 4196468 140721048368896 140222229359504 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30856] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30856/stat : 30856 (java) S 30846 30849 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41651702 14420725760 8526 33554432000 4194304 4196468 140721048368896 140221791836400 140222317460098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30857] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30857/stat : 30857 (java) S 30846 30849 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41651702 14420725760 8526 33554432000 4194304 4196468 140721048368896 140221790782624 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30858] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30858/stat : 30858 (java) S 30846 30849 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41651703 14420725760 8526 33554432000 4194304 4196468 140721048368896 140221789729520 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30859] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30859/stat : 30859 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 8526 33554432000 4194304 4196468 140721048368896 140221788678096 140222317467547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30860] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30860/stat : 30860 (java) S 30846 30849 29085 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 8526 33554432000 4194304 4196468 140721048368896 140221787626224 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30861] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30861/stat : 30861 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 8526 33554432000 4194304 4196468 140721048368896 140221786573680 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30862] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0.01 cores=1,3,5,7
/proc/30849/task/30862/stat : 30862 (java) R 30846 30849 29085 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 41651705 14420725760 8526 33554432000 4194304 4196468 140721048368896 140221785520624 140222295814664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30863] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30863/stat : 30863 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 8526 33554432000 4194304 4196468 140721048368896 140221784468320 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30864] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30864/stat : 30864 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 8526 33554432000 4194304 4196468 140721048368896 140221783415344 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34104 KiB

[startup+0.216528 s]*
/proc/loadavg: 1.53 1.45 1.45 4/215 30864
/proc/meminfo: memFree=16770180/32770624 swapFree=67108860/67108860
[pid=30849] ppid=30846 vsize=14082740 memory=48036 CPUtime=0.32 cores=1,3,5,7
/proc/30849/stat : 30849 (java) S 30846 30849 29085 0 -1 1077944320 10060 0 0 0 30 2 0 0 20 0 15 0 41651699 14420725760 12009 33554432000 4194304 4196468 140721048368896 140721048351440 140222317448951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
/proc/30849/statm: 3520685 12009 3409 1 0 3482761 0
[pid=30849/tid=30851] ppid=30846 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30849/task/30851/stat : 30851 (java) R 30846 30849 29085 0 -1 4202560 7769 0 0 0 19 1 0 0 20 0 15 0 41651700 14420725760 12009 33554432000 4194304 4196468 140721048368896 140222321676880 140222301529438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30852] ppid=30846 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30852/stat : 30852 (java) S 30846 30849 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 12009 33554432000 4194304 4196468 140721048368896 140222232517648 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30853] ppid=30846 vsize=14082740 memory=288370069297096320 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30853/stat : 30853 (java) S 30846 30849 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 12009 33554432000 4194304 4196468 140721048368896 140222231465104 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30854] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30854/stat : 30854 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 12009 33554432000 4194304 4196468 140721048368896 140222230412048 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30855] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30855/stat : 30855 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 12009 33554432000 4194304 4196468 140721048368896 140222229359504 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30856] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30856/stat : 30856 (java) S 30846 30849 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41651702 14420725760 12009 33554432000 4194304 4196468 140721048368896 140221791836400 140222317460098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30857] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30857/stat : 30857 (java) S 30846 30849 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41651702 14420725760 12009 33554432000 4194304 4196468 140721048368896 140221790782624 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30858] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30858/stat : 30858 (java) S 30846 30849 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41651703 14420725760 12009 33554432000 4194304 4196468 140721048368896 140221789729520 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30859] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30859/stat : 30859 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 12009 33554432000 4194304 4196468 140721048368896 140221788678096 140222317467547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30860] ppid=30846 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30849/task/30860/stat : 30860 (java) S 30846 30849 29085 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 41651705 14420725760 12009 33554432000 4194304 4196468 140721048368896 140221787626224 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30861] ppid=30846 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30849/task/30861/stat : 30861 (java) S 30846 30849 29085 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 41651705 14420725760 12009 33554432000 4194304 4196468 140721048368896 140221786573680 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30862] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0.07 cores=1,3,5,7
/proc/30849/task/30862/stat : 30862 (java) S 30846 30849 29085 0 -1 1077944384 287 0 0 0 7 0 0 0 20 0 15 0 41651705 14420725760 12009 33554432000 4194304 4196468 140721048368896 140221785520624 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30863] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30863/stat : 30863 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 12009 33554432000 4194304 4196468 140721048368896 140221784468320 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30864] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30864/stat : 30864 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 12009 33554432000 4194304 4196468 140721048368896 140221783415344 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 48036 KiB

[startup+0.310509 s]*
/proc/loadavg: 1.53 1.45 1.45 3/215 30864
/proc/meminfo: memFree=16766768/32770624 swapFree=67108860/67108860
[pid=30849] ppid=30846 vsize=14082740 memory=51244 CPUtime=0.43 cores=1,3,5,7
/proc/30849/stat : 30849 (java) S 30846 30849 29085 0 -1 1077944320 10372 0 0 0 41 2 0 0 20 0 15 0 41651699 14420725760 12811 33554432000 4194304 4196468 140721048368896 140721048351440 140222317448951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
/proc/30849/statm: 3520685 12811 3411 1 0 3482761 0
[pid=30849/tid=30851] ppid=30846 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/30849/task/30851/stat : 30851 (java) R 30846 30849 29085 0 -1 4202560 8076 0 0 0 28 1 0 0 20 0 15 0 41651700 14420725760 12811 33554432000 4194304 4196468 140721048368896 140222321649312 140222301529438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30852] ppid=30846 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30852/stat : 30852 (java) S 30846 30849 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 12811 33554432000 4194304 4196468 140721048368896 140222232517648 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30853] ppid=30846 vsize=14082740 memory=288370069297096320 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30853/stat : 30853 (java) S 30846 30849 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 12811 33554432000 4194304 4196468 140721048368896 140222231465104 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30854] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30854/stat : 30854 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 12811 33554432000 4194304 4196468 140721048368896 140222230412048 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30855] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30855/stat : 30855 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651701 14420725760 12811 33554432000 4194304 4196468 140721048368896 140222229359504 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30856] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30856/stat : 30856 (java) S 30846 30849 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41651702 14420725760 12811 33554432000 4194304 4196468 140721048368896 140221791836400 140222317460098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30857] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30857/stat : 30857 (java) S 30846 30849 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41651702 14420725760 12811 33554432000 4194304 4196468 140721048368896 140221790782624 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30858] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30858/stat : 30858 (java) S 30846 30849 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41651703 14420725760 12811 33554432000 4194304 4196468 140721048368896 140221789729520 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30859] ppid=30846 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30859/stat : 30859 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 12811 33554432000 4194304 4196468 140721048368896 140221788678096 140222317467547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30860] ppid=30846 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30849/task/30860/stat : 30860 (java) S 30846 30849 29085 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 41651705 14420725760 12811 33554432000 4194304 4196468 140721048368896 140221787626224 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30861] ppid=30846 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30849/task/30861/stat : 30861 (java) S 30846 30849 29085 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 41651705 14420725760 12811 33554432000 4194304 4196468 140721048368896 140221786573680 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30862] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0.08 cores=1,3,5,7
/proc/30849/task/30862/stat : 30862 (java) R 30846 30849 29085 0 -1 4202560 292 0 0 0 8 0 0 0 20 0 15 0 41651705 14420725760 12811 33554432000 4194304 4196468 140721048368896 140221785520624 140222299012511 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30863] ppid=30846 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30863/stat : 30863 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 12811 33554432000 4194304 4196468 140721048368896 140221784468320 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30864] ppid=30846 vsize=14082740 memory=139693145384576 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30864/stat : 30864 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651705 14420725760 12811 33554432000 4194304 4196468 140721048368896 140221783415344 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 51244 KiB

[startup+0.700658 s]
/proc/loadavg: 1.53 1.45 1.45 3/215 30864
/proc/meminfo: memFree=16743080/32770624 swapFree=67108860/67108860
[pid=30849] ppid=30846 vsize=14084808 memory=88788 CPUtime=0.99 cores=1,3,5,7
/proc/30849/stat : 30849 (java) S 30846 30849 29085 0 -1 1077944320 17110 0 0 0 95 4 0 0 20 0 15 0 41651699 14422843392 22197 33554432000 4194304 4196468 140721048368896 140721048351440 140222317448951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
/proc/30849/statm: 3521202 22197 3497 1 0 3483273 0
[pid=30849/tid=30851] ppid=30846 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/30849/task/30851/stat : 30851 (java) R 30846 30849 29085 0 -1 4202560 14407 0 0 0 64 3 0 0 20 0 15 0 41651700 14422843392 22197 33554432000 4194304 4196468 140721048368896 140222321666640 140222317470877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30852] ppid=30846 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30852/stat : 30852 (java) S 30846 30849 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41651701 14422843392 22197 33554432000 4194304 4196468 140721048368896 140222232517648 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30853] ppid=30846 vsize=14084808 memory=11956 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30853/stat : 30853 (java) S 30846 30849 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41651701 14422843392 22197 33554432000 4194304 4196468 140721048368896 140222231465104 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30854] ppid=30846 vsize=14084808 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30854/stat : 30854 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651701 14422843392 22197 33554432000 4194304 4196468 140721048368896 140222230412048 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30855] ppid=30846 vsize=14084808 memory=792 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30855/stat : 30855 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651701 14422843392 22197 33554432000 4194304 4196468 140721048368896 140222229359504 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30856] ppid=30846 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30856/stat : 30856 (java) S 30846 30849 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41651702 14422843392 22197 33554432000 4194304 4196468 140721048368896 140221791836400 140222317460098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30857] ppid=30846 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30857/stat : 30857 (java) S 30846 30849 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41651702 14422843392 22197 33554432000 4194304 4196468 140721048368896 140221790782624 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30858] ppid=30846 vsize=14084808 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30858/stat : 30858 (java) S 30846 30849 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41651703 14422843392 22197 33554432000 4194304 4196468 140721048368896 140221789729520 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30859] ppid=30846 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30859/stat : 30859 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14422843392 22197 33554432000 4194304 4196468 140721048368896 140221788678096 140222317467547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30860] ppid=30846 vsize=14084808 memory=7163631965283378496 CPUtime=0.07 cores=1,3,5,7
/proc/30849/task/30860/stat : 30860 (java) S 30846 30849 29085 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 15 0 41651705 14422843392 22197 33554432000 4194304 4196468 140721048368896 140221787626224 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30861] ppid=30846 vsize=14084808 memory=6083353102074538087 CPUtime=0.07 cores=1,3,5,7
/proc/30849/task/30861/stat : 30861 (java) S 30846 30849 29085 0 -1 1077944384 419 0 0 0 7 0 0 0 20 0 15 0 41651705 14422843392 22197 33554432000 4194304 4196468 140721048368896 140221786573680 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30862] ppid=30846 vsize=14084808 memory=7079773312675500112 CPUtime=0.15 cores=1,3,5,7
/proc/30849/task/30862/stat : 30862 (java) S 30846 30849 29085 0 -1 1077944384 375 0 0 0 15 0 0 0 20 0 15 0 41651705 14422843392 22197 33554432000 4194304 4196468 140721048368896 140221785520624 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30863] ppid=30846 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30863/stat : 30863 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14422843392 22197 33554432000 4194304 4196468 140721048368896 140221784468320 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30864] ppid=30846 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30864/stat : 30864 (java) S 30846 30849 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41651705 14422843392 22197 33554432000 4194304 4196468 140721048368896 140221783415344 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88788 KiB

[startup+1.50209 s]
/proc/loadavg: 1.53 1.45 1.45 6/215 30864
/proc/meminfo: memFree=16688396/32770624 swapFree=67108860/67108860
[pid=30849] ppid=30846 vsize=14086856 memory=214388 CPUtime=3.39 cores=1,3,5,7
/proc/30849/stat : 30849 (java) S 30846 30849 29085 0 -1 1077944320 23521 0 0 0 332 7 0 0 20 0 15 0 41651699 14424940544 53597 33554432000 4194304 4196468 140721048368896 140721048351440 140222317448951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
/proc/30849/statm: 3521714 53597 3555 1 0 3483785 0
[pid=30849/tid=30851] ppid=30846 vsize=14086856 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/30849/task/30851/stat : 30851 (java) S 30846 30849 29085 0 -1 1077944384 16839 0 0 0 141 5 0 0 20 0 15 0 41651700 14424940544 53597 33554432000 4194304 4196468 140721048368896 140222321685888 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30852] ppid=30846 vsize=14086856 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30852/stat : 30852 (java) S 30846 30849 29085 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 41651701 14424940544 53597 33554432000 4194304 4196468 140721048368896 140222232517648 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30853] ppid=30846 vsize=14086856 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30853/stat : 30853 (java) S 30846 30849 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41651701 14424940544 53597 33554432000 4194304 4196468 140721048368896 140222231465104 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30854] ppid=30846 vsize=14086856 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30854/stat : 30854 (java) S 30846 30849 29085 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 41651701 14424940544 53597 33554432000 4194304 4196468 140721048368896 140222230412048 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30855] ppid=30846 vsize=14086856 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30855/stat : 30855 (java) S 30846 30849 29085 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 41651701 14424940544 53597 33554432000 4194304 4196468 140721048368896 140222229359504 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30856] ppid=30846 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30856/stat : 30856 (java) R 30846 30849 29085 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 15 0 41651702 14424940544 53597 33554432000 4194304 4196468 140721048368896 140221791834912 140222317470298 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0

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

/proc/30849/task/30851/stat : 30851 (java) R 30846 30849 29085 0 -1 4202560 579557 0 0 0 224498 70 0 0 20 0 15 0 41651700 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140222321686592 140221919632742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30852] ppid=30846 vsize=14093000 memory=6585704 CPUtime=15.44 cores=1,3,5,7
/proc/30849/task/30852/stat : 30852 (java) S 30846 30849 29085 0 -1 1077944384 93381 0 0 0 1384 160 0 0 20 0 15 0 41651701 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140222232517648 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30853] ppid=30846 vsize=14093000 memory=6791534058613427641 CPUtime=15.51 cores=1,3,5,7
/proc/30849/task/30853/stat : 30853 (java) S 30846 30849 29085 0 -1 1077944384 88267 0 0 0 1393 158 0 0 20 0 15 0 41651701 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140222231465104 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30854] ppid=30846 vsize=14093000 memory=6585700 CPUtime=15.47 cores=1,3,5,7
/proc/30849/task/30854/stat : 30854 (java) S 30846 30849 29085 0 -1 1077944384 88679 0 0 0 1389 158 0 0 20 0 15 0 41651701 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140222230412048 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30855] ppid=30846 vsize=14093000 memory=127 CPUtime=15.51 cores=1,3,5,7
/proc/30849/task/30855/stat : 30855 (java) S 30846 30849 29085 0 -1 1077944384 89838 0 0 0 1392 159 0 0 20 0 15 0 41651701 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140222229359504 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30856] ppid=30846 vsize=14093000 memory=6585704 CPUtime=0.85 cores=1,3,5,7
/proc/30849/task/30856/stat : 30856 (java) S 30846 30849 29085 0 -1 1077944384 19939 0 0 0 78 7 0 0 20 0 15 0 41651702 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140221791836400 140222317460098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30857] ppid=30846 vsize=14093000 memory=6585704 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30857/stat : 30857 (java) S 30846 30849 29085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 41651702 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140221790782688 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30858] ppid=30846 vsize=14093000 memory=6585704 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30858/stat : 30858 (java) S 30846 30849 29085 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41651703 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140221789729536 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30859] ppid=30846 vsize=14093000 memory=6585704 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30859/stat : 30859 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140221788678096 140222317467547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30860] ppid=30846 vsize=14093000 memory=4028 CPUtime=3.04 cores=1,3,5,7
/proc/30849/task/30860/stat : 30860 (java) S 30846 30849 29085 0 -1 1077944384 23341 0 0 0 302 2 0 0 20 0 15 0 41651705 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140221787626224 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30861] ppid=30846 vsize=14093000 memory=6585704 CPUtime=2.96 cores=1,3,5,7
/proc/30849/task/30861/stat : 30861 (java) S 30846 30849 29085 0 -1 1077944384 22710 0 0 0 293 3 0 0 20 0 15 0 41651705 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140221786573680 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30862] ppid=30846 vsize=14093000 memory=6585704 CPUtime=1.37 cores=1,3,5,7
/proc/30849/task/30862/stat : 30862 (java) S 30846 30849 29085 0 -1 1077944384 38910 0 0 0 133 4 0 0 20 0 15 0 41651705 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140221785520624 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30863] ppid=30846 vsize=14093000 memory=6585704 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30863/stat : 30863 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140221784468320 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30864] ppid=30846 vsize=14093000 memory=916 CPUtime=1.28 cores=1,3,5,7
/proc/30849/task/30864/stat : 30864 (java) S 30846 30849 29085 0 -1 1077944384 1647 0 0 0 52 76 0 0 20 0 15 0 41651705 14431232000 1646426 33554432000 4194304 4196468 140721048368896 140221783415344 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
Current children cumulated CPU time: 2317.22 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6585704 KiB

[startup+2322.3 s]
/proc/loadavg: 1.60 1.67 1.68 3/215 31040
/proc/meminfo: memFree=13805780/32770624 swapFree=67108860/67108860
[pid=30849] ppid=30846 vsize=14093000 memory=6593896 CPUtime=2377.82 cores=1,3,5,7
/proc/30849/stat : 30849 (java) S 30846 30849 29085 0 -1 1077944320 1081686 0 0 0 236991 791 0 0 20 0 15 0 41651699 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140721048351440 140222317448951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
/proc/30849/statm: 3523250 1648474 3622 1 0 3485321 0
[pid=30849/tid=30851] ppid=30846 vsize=14093000 memory=6593896 CPUtime=2305.47 cores=1,3,5,7
/proc/30849/task/30851/stat : 30851 (java) R 30846 30849 29085 0 -1 4202560 597901 0 0 0 230476 71 0 0 20 0 15 0 41651700 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222321686592 140221913803980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30852] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.64 cores=1,3,5,7
/proc/30849/task/30852/stat : 30852 (java) S 30846 30849 29085 0 -1 1077944384 97118 0 0 0 1403 161 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222232517648 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30853] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.7 cores=1,3,5,7
/proc/30849/task/30853/stat : 30853 (java) S 30846 30849 29085 0 -1 1077944384 90827 0 0 0 1411 159 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222231465104 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30854] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.67 cores=1,3,5,7
/proc/30849/task/30854/stat : 30854 (java) S 30846 30849 29085 0 -1 1077944384 92403 0 0 0 1408 159 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222230412048 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30855] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.69 cores=1,3,5,7
/proc/30849/task/30855/stat : 30855 (java) S 30846 30849 29085 0 -1 1077944384 93948 0 0 0 1410 159 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222229359504 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30856] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0.85 cores=1,3,5,7
/proc/30849/task/30856/stat : 30856 (java) S 30846 30849 29085 0 -1 1077944384 20381 0 0 0 78 7 0 0 20 0 15 0 41651702 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221791836400 140222317460098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30857] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30857/stat : 30857 (java) S 30846 30849 29085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 41651702 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221790782688 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30858] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30858/stat : 30858 (java) S 30846 30849 29085 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41651703 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221789729536 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30859] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30859/stat : 30859 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221788678096 140222317467547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30860] ppid=30846 vsize=14093000 memory=6593896 CPUtime=3.04 cores=1,3,5,7
/proc/30849/task/30860/stat : 30860 (java) S 30846 30849 29085 0 -1 1077944384 23344 0 0 0 302 2 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221787626224 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30861] ppid=30846 vsize=14093000 memory=6593896 CPUtime=2.96 cores=1,3,5,7
/proc/30849/task/30861/stat : 30861 (java) S 30846 30849 29085 0 -1 1077944384 22718 0 0 0 293 3 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221786573680 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30862] ppid=30846 vsize=14093000 memory=6593896 CPUtime=1.38 cores=1,3,5,7
/proc/30849/task/30862/stat : 30862 (java) S 30846 30849 29085 0 -1 1077944384 39923 0 0 0 134 4 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221785520624 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30863] ppid=30846 vsize=14093000 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30863/stat : 30863 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221784468320 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30864] ppid=30846 vsize=14093000 memory=8384 CPUtime=1.31 cores=1,3,5,7
/proc/30849/task/30864/stat : 30864 (java) S 30846 30849 29085 0 -1 1077944384 1670 0 0 0 54 77 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221783415344 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
Current children cumulated CPU time: 2377.82 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6593896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2344.3 s]
/proc/loadavg: 1.65 1.68 1.68 3/215 31041
/proc/meminfo: memFree=13802756/32770624 swapFree=67108860/67108860
[pid=30849] ppid=30846 vsize=14093000 memory=6593896 CPUtime=2400.04 cores=1,3,5,7
/proc/30849/stat : 30849 (java) S 30846 30849 29085 0 -1 1077944320 1091703 0 0 0 239212 792 0 0 20 0 15 0 41651699 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140721048351440 140222317448951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
/proc/30849/statm: 3523250 1648474 3622 1 0 3485321 0
[pid=30849/tid=30851] ppid=30846 vsize=14093000 memory=6593896 CPUtime=2327.4 cores=1,3,5,7
/proc/30849/task/30851/stat : 30851 (java) R 30846 30849 29085 0 -1 4202560 605727 0 0 0 232668 72 0 0 20 0 15 0 41651700 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222321686592 140221918643938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30852] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.71 cores=1,3,5,7
/proc/30849/task/30852/stat : 30852 (java) S 30846 30849 29085 0 -1 1077944384 97664 0 0 0 1410 161 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222232517648 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30853] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.78 cores=1,3,5,7
/proc/30849/task/30853/stat : 30853 (java) S 30846 30849 29085 0 -1 1077944384 91372 0 0 0 1419 159 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222231465104 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30854] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.74 cores=1,3,5,7
/proc/30849/task/30854/stat : 30854 (java) S 30846 30849 29085 0 -1 1077944384 92958 0 0 0 1415 159 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222230412048 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30855] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.77 cores=1,3,5,7
/proc/30849/task/30855/stat : 30855 (java) S 30846 30849 29085 0 -1 1077944384 94486 0 0 0 1417 160 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222229359504 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30856] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0.86 cores=1,3,5,7
/proc/30849/task/30856/stat : 30856 (java) S 30846 30849 29085 0 -1 1077944384 20385 0 0 0 78 8 0 0 20 0 15 0 41651702 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221791836400 140222317460098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30857] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30857/stat : 30857 (java) S 30846 30849 29085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 41651702 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221790782688 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30858] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30858/stat : 30858 (java) S 30846 30849 29085 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41651703 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221789729536 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30859] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30859/stat : 30859 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221788678096 140222317467547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30860] ppid=30846 vsize=14093000 memory=6593896 CPUtime=3.04 cores=1,3,5,7
/proc/30849/task/30860/stat : 30860 (java) S 30846 30849 29085 0 -1 1077944384 23344 0 0 0 302 2 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221787626224 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30861] ppid=30846 vsize=14093000 memory=6593896 CPUtime=2.96 cores=1,3,5,7
/proc/30849/task/30861/stat : 30861 (java) S 30846 30849 29085 0 -1 1077944384 22718 0 0 0 293 3 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221786573680 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30862] ppid=30846 vsize=14093000 memory=6593896 CPUtime=1.38 cores=1,3,5,7
/proc/30849/task/30862/stat : 30862 (java) S 30846 30849 29085 0 -1 1077944384 39923 0 0 0 134 4 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221785520624 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30863] ppid=30846 vsize=14093000 memory=7440053569103876176 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30863/stat : 30863 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221784468320 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30864] ppid=30846 vsize=14093000 memory=6593896 CPUtime=1.32 cores=1,3,5,7
/proc/30849/task/30864/stat : 30864 (java) S 30846 30849 29085 0 -1 1077944384 1672 0 0 0 54 78 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221783415344 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6593896 KiB

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

[startup+2344.36 s]
# the end of solver process 30849 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2392.15 s, system=7.96653 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2344.3 s]
/proc/loadavg: 1.65 1.68 1.68 3/215 31041
/proc/meminfo: memFree=13802756/32770624 swapFree=67108860/67108860
[pid=30849] ppid=30846 vsize=14093000 memory=6593896 CPUtime=2400.04 cores=1,3,5,7
/proc/30849/stat : 30849 (java) S 30846 30849 29085 0 -1 1077944320 1091703 0 0 0 239212 792 0 0 20 0 15 0 41651699 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140721048351440 140222317448951 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
/proc/30849/statm: 3523250 1648474 3622 1 0 3485321 0
[pid=30849/tid=30851] ppid=30846 vsize=14093000 memory=6593896 CPUtime=2327.4 cores=1,3,5,7
/proc/30849/task/30851/stat : 30851 (java) R 30846 30849 29085 0 -1 4202560 605727 0 0 0 232668 72 0 0 20 0 15 0 41651700 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222321686592 140221918643938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30852] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.71 cores=1,3,5,7
/proc/30849/task/30852/stat : 30852 (java) S 30846 30849 29085 0 -1 1077944384 97664 0 0 0 1410 161 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222232517648 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30853] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.78 cores=1,3,5,7
/proc/30849/task/30853/stat : 30853 (java) S 30846 30849 29085 0 -1 1077944384 91372 0 0 0 1419 159 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222231465104 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30854] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.74 cores=1,3,5,7
/proc/30849/task/30854/stat : 30854 (java) S 30846 30849 29085 0 -1 1077944384 92958 0 0 0 1415 159 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222230412048 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30855] ppid=30846 vsize=14093000 memory=6593896 CPUtime=15.77 cores=1,3,5,7
/proc/30849/task/30855/stat : 30855 (java) S 30846 30849 29085 0 -1 1077944384 94486 0 0 0 1417 160 0 0 20 0 15 0 41651701 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140222229359504 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30856] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0.86 cores=1,3,5,7
/proc/30849/task/30856/stat : 30856 (java) S 30846 30849 29085 0 -1 1077944384 20385 0 0 0 78 8 0 0 20 0 15 0 41651702 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221791836400 140222317460098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30857] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30857/stat : 30857 (java) S 30846 30849 29085 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 41651702 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221790782688 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30858] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30858/stat : 30858 (java) S 30846 30849 29085 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41651703 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221789729536 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30859] ppid=30846 vsize=14093000 memory=6593896 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30859/stat : 30859 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221788678096 140222317467547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30860] ppid=30846 vsize=14093000 memory=6593896 CPUtime=3.04 cores=1,3,5,7
/proc/30849/task/30860/stat : 30860 (java) S 30846 30849 29085 0 -1 1077944384 23344 0 0 0 302 2 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221787626224 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30861] ppid=30846 vsize=14093000 memory=6593896 CPUtime=2.96 cores=1,3,5,7
/proc/30849/task/30861/stat : 30861 (java) S 30846 30849 29085 0 -1 1077944384 22718 0 0 0 293 3 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221786573680 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30862] ppid=30846 vsize=14093000 memory=6593896 CPUtime=1.38 cores=1,3,5,7
/proc/30849/task/30862/stat : 30862 (java) S 30846 30849 29085 0 -1 1077944384 39923 0 0 0 134 4 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221785520624 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30863] ppid=30846 vsize=14093000 memory=7440053569103876176 CPUtime=0 cores=1,3,5,7
/proc/30849/task/30863/stat : 30863 (java) S 30846 30849 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221784468320 140222317459157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
[pid=30849/tid=30864] ppid=30846 vsize=14093000 memory=6593896 CPUtime=1.32 cores=1,3,5,7
/proc/30849/task/30864/stat : 30864 (java) S 30846 30849 29085 0 -1 1077944384 1672 0 0 0 54 78 0 0 20 0 15 0 41651705 14431232000 1648474 33554432000 4194304 4196468 140721048368896 140221783415344 140222317460098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 23511040 140721048372308 140721048372489 140721048372489 140721048375247 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 6593896 KiB

Child status: 143
Real time (s): 2344.36
CPU time (s): 2400.12
CPU user time (s): 2392.15
CPU system time (s): 7.96653
CPU usage (%): 102.379
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 6593896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.15
system time used= 7.96653
maximum resident set size= 6594344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1093646
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61062
involuntary context switches= 1569


# summary of solver processes directly reported to runsolver:
#   pid: 30849
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2392.15
#   total CPU system time (s): 7.96653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4973 second user time and 22.361 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-sko90_c18.xml
MD5SUM	e1bd5b7e730358cb8a15a6f1e37f47a5
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	62971
Best CPU time to get the best result obtained on this benchmark	2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables	8190
Number of constraints	4006
Number of domains	2
Minimum domain size	8
Maximum domain size	90
Distribution of domain sizes	[{"size":8,"count":4005},{"size":90,"count":90}]
Minimum variable degree	0
Maximum variable degree	90
Distribution of variable degrees	[{"degree":0,"count":4095},{"degree":2,"count":4005},{"degree":90,"count":90}]
Minimum constraint arity	3
Maximum constraint arity	90
Distribution of constraint arities	[{"arity":3,"count":4005},{"arity":90,"count":1}]
Number of extensional constraints	4005
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":4005},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4291590

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