Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-08-14 | SAT (TO) | 395710634 | 252.147 | 207.952 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml |
| MD5SUM | 3d35ef38e8714b8368aba06bbd25b59a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 372140116 |
| Best CPU time to get the best result obtained on this benchmark | 252.068 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6038 |
| Number of constraints | 3927 |
| Number of domains | 31 |
| Minimum domain size | 1 |
| Maximum domain size | 151 |
| Distribution of domain sizes | [{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1840 |
| Distribution of variable degrees | [{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}] |
| Number of extensional constraints | 1839 |
| Number of intensional constraints | 2088 |
| Distribution of constraint types | [{"type":"extension","count":1839},{"type":"intension","count":2088}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.68/0.55 c version: 2018-08-14 0.68/0.55 c seed: 145824249 0.68/0.55 c timeout: 252 0.68/0.55 c memlimit: 11000 0.68/0.55 c nbcore: 4 0.68/0.58 c Parsing instance... 33.81/20.88 c Parsing done, starting first complete search... 46.01/29.19 o 401617057 46.12/29.21 o 401598662 46.12/29.22 o 401598657 46.12/29.23 o 401580266 46.12/29.24 o 401580257 46.12/29.25 o 401561857 46.12/29.26 o 401543457 46.12/29.27 o 401525067 46.12/29.28 o 401506676 46.38/29.30 o 401506675 46.38/29.31 o 401506666 46.38/29.32 o 401488274 46.38/29.34 o 401488266 46.38/29.35 o 401469876 46.38/29.36 o 401469866 46.38/29.37 o 401451476 46.38/29.38 o 401433083 46.62/29.40 o 401414674 46.62/29.41 o 401414665 46.62/29.44 o 401396265 46.85/29.61 o 401377865 50.90/33.68 o 401359505 50.90/33.68 o 401359500 50.90/33.69 o 401359491 51.00/33.70 o 401359482 51.00/33.78 o 401359474 60.93/43.58 c First complete search done, starting ALNS search... 61.85/44.22 o 401359464 61.85/44.24 o 401341074 62.50/44.71 o 401322684 62.50/44.74 o 401304294 63.13/45.27 o 401304291 63.13/45.27 o 401285891 63.13/45.30 o 401285884 63.27/45.31 o 401285874 63.27/45.32 o 401267483 63.27/45.32 o 401267474 63.27/45.34 o 401267473 63.27/45.34 o 401267464 63.27/45.36 o 401249083 63.27/45.36 o 401249074 63.27/45.37 o 401249073 63.27/45.38 o 401249064 63.37/45.41 o 401249055 63.37/45.42 o 401249054 63.37/45.42 o 401230674 63.37/45.43 o 401230665 63.37/45.44 o 401230664 63.37/45.44 o 401230655 63.37/45.46 o 401230654 63.37/45.46 o 401230645 63.37/45.48 o 401212283 63.37/45.48 o 401212274 63.37/45.49 o 401212273 63.48/45.50 o 401212264 63.48/45.51 o 401212263 63.48/45.51 o 401212254 63.48/45.52 o 401212253 63.48/45.53 o 401212244 63.48/45.54 o 401193874 63.48/45.55 o 401193864 63.48/45.56 o 401193855 63.48/45.56 o 401193854 63.48/45.57 o 401193845 63.59/45.61 o 401175493 63.59/45.62 o 401175483 63.59/45.63 o 401175473 63.59/45.63 o 401175464 63.59/45.64 o 401157084 63.59/45.65 o 401157075 63.59/45.66 o 401157074 63.59/45.66 o 401157065 63.59/45.67 o 401157064 63.59/45.68 o 401157055 63.59/45.69 o 401157053 63.59/45.70 o 401157045 63.71/45.71 o 401138673 63.71/45.72 o 401138663 63.71/45.72 o 401138653 63.71/45.73 o 401138645 63.71/45.77 o 401120265 63.71/45.77 o 401120255 63.71/45.79 o 401120253 63.71/45.79 o 401120245 63.81/45.82 o 401101865 63.81/45.83 o 401101855 63.81/45.84 o 401083465 63.81/45.84 o 401083455 63.81/45.85 o 401083445 63.81/45.89 o 401065064 63.81/45.89 o 401065054 63.92/45.91 o 401046672 63.92/45.91 o 401046662 63.92/45.92 o 401046654 63.92/45.97 o 401046653 63.92/45.98 o 401028264 63.92/45.99 o 401028254 64.03/46.02 o 401009864 64.03/46.03 o 401009854 64.03/46.06 o 401009853 64.03/46.07 o 400991464 64.03/46.08 o 400991454 64.13/46.11 o 400973064 64.13/46.12 o 400973054 64.13/46.15 o 400973044 64.13/46.18 o 400973043 64.22/46.20 o 400954654 64.22/46.21 o 400954644 64.22/46.24 o 400954643 64.22/46.26 o 400936254 64.22/46.27 o 400936244 69.08/48.58 o 400936235 69.40/48.87 o 400936225 69.61/49.03 o 400917835 69.71/49.16 o 400917825 69.91/49.31 o 400899435 72.68/51.68 o 400881077 76.20/54.16 o 400862677 76.65/54.51 o 400844286 77.61/55.44 o 400844282 77.91/55.78 o 400825886 78.23/56.10 o 400825876 79.30/57.01 o 400807511 79.30/57.06 o 400807501 79.41/57.13 o 400807498 79.41/57.20 o 400807491 79.51/57.25 o 400807488 79.61/57.32 o 400789111 79.61/57.36 o 400789108 79.71/57.42 o 400789101 79.71/57.48 o 400789098 79.81/57.54 o 400789091 79.91/57.60 o 400789088 79.91/57.67 o 400770711 80.01/57.72 o 400770708 80.01/57.76 o 400770701 80.11/57.81 o 400770698 80.11/57.86 o 400770691 80.21/57.91 o 400770688 80.21/57.99 o 400752311 80.32/58.03 o 400752301 80.32/58.07 o 400752291 80.42/58.12 o 400752288 80.51/58.20 o 400733911 80.51/58.24 o 400733901 80.51/58.28 o 400733898 80.61/58.37 o 400733891 80.71/58.43 o 400733888 80.81/58.51 o 400715520 81.41/59.01 o 400715487 82.10/59.28 o 400697097 82.50/59.61 o 400697087 82.70/59.88 o 400697077 82.91/60.08 o 400678687 85.57/62.65 o 400678677 85.67/62.72 o 400678667 85.67/62.78 o 400678657 85.77/62.86 o 400678649 86.08/63.20 o 400641849 86.17/63.27 o 400641839 86.27/63.39 o 400586649 86.37/63.46 o 400586639 86.58/63.61 o 400568249 86.58/63.64 o 400568239 86.78/63.88 o 400549839 87.08/64.11 o 400531449 87.08/64.13 o 400531439 87.48/64.55 o 400513049 87.58/64.62 o 400513039 93.13/66.70 o 400494649 97.12/70.41 o 400476249 98.65/71.40 o 400457886 98.65/71.44 o 400457876 98.85/71.69 o 400457874 98.85/71.69 o 400457867 99.05/71.90 o 400457864 99.26/72.10 o 400457857 99.55/72.32 o 400439484 99.55/72.33 o 400439474 99.55/72.35 o 400439467 100.96/73.79 o 400439466 101.06/73.86 o 400439457 101.16/73.95 o 400439448 101.46/74.29 o 400402645 101.66/74.46 o 400384245 101.87/74.69 o 400365845 102.17/74.98 o 400347445 102.57/75.31 o 400329045 104.66/77.14 o 400329035 104.75/77.23 o 400329025 105.25/77.71 o 400292254 105.66/78.17 o 400255454 106.32/78.77 o 400255443 107.45/79.85 o 400237053 108.16/80.59 o 400108263 108.46/80.80 o 400089867 108.56/80.98 o 400089863 108.87/81.27 o 400071467 109.17/81.51 o 400071463 109.37/81.78 o 400053067 109.87/82.29 o 399721878 109.97/82.39 o 399703481 110.72/82.65 o 399703478 110.92/82.81 o 399703471 111.02/82.96 o 399703468 111.23/83.14 o 399685081 111.32/83.28 o 399685078 111.52/83.44 o 399685071 111.62/83.56 o 399685068 111.82/83.77 o 399666688 112.13/84.09 o 399648292 112.52/84.42 o 399629892 112.52/84.45 o 399611492 113.43/85.35 o 399593092 116.05/87.94 o 399574711 116.67/88.24 o 399574701 117.37/88.81 o 399556301 117.47/88.92 o 399537911 117.58/89.08 o 399537901 118.05/89.41 o 399537892 118.67/90.03 o 399519492 119.36/90.71 o 399501092 120.96/92.39 o 399501088 121.56/92.90 o 399501081 123.09/93.81 o 399501080 123.49/94.26 o 399409080 123.89/94.65 o 399390688 124.30/95.04 o 399390680 124.70/95.42 o 399372288 125.10/95.81 o 399372280 126.01/96.75 o 399372278 127.62/98.32 o 399188281 127.92/98.61 o 399169881 129.00/99.19 o 399151481 129.49/99.65 o 399133081 129.59/99.71 o 399114691 130.11/100.28 o 399096291 131.40/101.48 o 399096283 132.40/102.40 o 399096273 135.12/105.14 o 399077873 135.42/105.42 o 399077863 135.72/105.73 o 399041073 136.72/106.15 o 399041063 137.01/106.44 o 399022683 137.81/107.21 o 399004293 138.01/107.47 o 398985893 138.22/107.69 o 398967493 138.62/108.03 o 398949093 138.82/108.24 o 398930693 141.90/110.70 o 398912293 142.32/111.16 o 398893893 142.51/111.31 o 398875493 143.13/112.00 o 398875490 144.24/113.03 o 398857100 145.75/113.92 o 398838700 146.46/114.66 o 398838680 146.76/114.98 o 398820290 147.87/116.05 o 398801880 148.70/116.89 o 398783480 149.99/117.54 o 398765080 153.50/121.08 o 398709860 153.79/121.38 o 398691460 154.29/121.85 o 398673060 154.69/122.22 o 398654700 156.10/123.05 o 398654691 156.59/123.55 o 398654690 164.09/130.37 o 398636295 164.29/130.58 o 398617895 164.80/131.06 o 398599495 165.49/131.72 o 398581095 165.69/131.92 o 398562695 165.99/132.28 o 398544295 167.70/133.36 o 398525904 168.10/133.79 o 398507495 168.30/133.95 o 398489104 168.80/134.45 o 398489095 168.90/134.59 o 398470704 169.48/135.05 o 398286733 169.77/135.35 o 398268333 170.07/135.64 o 398249943 170.27/135.88 o 398249933 171.37/136.37 o 398231543 171.97/136.91 o 398213114 172.18/137.16 o 398213104 174.57/139.51 o 398065908 174.87/139.82 o 398047508 175.27/140.29 o 398029108 175.78/140.73 o 398029098 177.79/142.19 o 397366689 178.08/142.48 o 397348289 178.48/142.82 o 397329889 178.98/143.30 o 397311489 179.28/143.62 o 397293089 179.58/143.93 o 397274689 179.98/144.32 o 397256289 180.28/144.62 o 397237889 183.25/146.85 o 397237880 183.75/147.32 o 397237870 184.25/147.85 o 397219480 184.46/148.09 o 397219470 186.26/149.36 o 397182670 188.67/151.72 o 396796260 188.87/151.94 o 396777867 191.37/154.42 o 396060258 203.52/165.57 o 396041887 204.27/165.88 o 396041880 204.58/166.10 o 396041878 204.77/166.23 o 396023480 204.97/166.45 o 396023479 205.07/166.60 o 396023477 205.27/166.72 o 396023470 212.07/173.18 o 396023468 212.26/173.34 o 396023458 212.47/173.53 o 396023450 212.67/173.77 o 396023449 215.37/176.49 o 396005047 216.17/177.28 o 395986657 217.86/178.44 o 395968257 218.86/179.49 o 395968247 219.86/180.42 o 395949847 221.60/181.78 o 395949843 221.80/181.93 o 395949842 222.20/182.34 o 395949840 222.40/182.56 o 395949839 223.21/183.35 o 395949837 224.02/184.18 o 395931439 225.11/185.22 o 395913039 228.25/187.86 o 395894659 229.46/189.03 o 395894650 229.65/189.28 o 395894649 229.95/189.57 o 395876277 230.65/190.28 o 395857877 233.18/192.28 o 395839477 234.18/193.22 o 395821077 238.70/196.96 o 395802677 239.00/197.23 o 395802667 239.60/197.86 o 395784283 239.91/198.12 o 395784273 240.21/198.45 o 395784254 242.47/199.94 o 395765854 243.28/200.77 o 395765848 247.23/203.92 o 395747448 248.76/205.44 o 395747438 250.07/205.94 o 395747428 250.57/206.42 o 395747421 250.97/206.86 o 395729021 251.28/207.14 o 395710634 252.07/207.90 s SATISFIABLE 252.07/207.91 v <instantiation> 252.07/207.91 v <list> 252.07/207.91 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] 252.07/207.91 v </list> 252.07/207.91 v <values> 252.07/207.91 v 2508 2504 2292 2796 2732 2644 2660 2512 2452 2628 2800 2748 2416 2576 2532 2532 2604 2564 2624 2520 2464 2800 2552 2552 2760 2732 2664 2788 2672 2744 2776 2772 2760 2464 2496 2756 2680 2528 2624 2596 2732 2504 2576 2468 2584 2468 2532 2604 2488 2632 2644 2608 2472 2452 2524 2516 2468 2664 2592 2544 2488 2608 2532 2544 2468 2744 2624 2516 2476 2784 2664 2796 2444 2492 2728 2584 2664 2624 2464 2692 2508 2220 2544 2500 2504 2640 2520 2768 2776 2468 2736 2600 2664 2544 2552 2504 2712 2480 2436 2672 2564 2476 2680 2544 2584 2428 2584 2588 2772 2620 2472 2596 2524 2524 2504 2480 2384 2744 2784 2476 2504 2608 2556 2484 2584 2624 2544 2624 2780 2424 2492 2464 2396 2624 2468 2492 2536 2744 2424 2820 2720 2492 2596 2532 2732 2512 2556 2520 2572 2252 2784 2492 2492 2800 2448 2636 2752 2772 2704 2568 2480 2536 2468 2660 2720 2568 2524 2428 2436 2308 2744 2492 2744 2680 2676 2584 2484 2604 2428 2784 2492 2468 2616 2664 2660 2496 2776 2508 2504 2576 2544 2508 2636 2744 2784 2492 2624 2720 2544 2620 2620 2428 2516 2468 2692 2720 2504 2704 2704 2348 2468 2636 2484 2700 2736 2468 2568 2736 2664 2680 2616 2460 2632 2744 2544 2544 2596 2636 2580 2504 2452 2532 2592 2756 2624 2260 2456 2496 2404 2508 2452 2732 2504 2456 2508 2516 2512 2416 2772 2760 2464 2456 2732 2376 2444 2476 2644 2492 2508 2532 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 11 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 0 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 10 10 10 10 0 10 10 10 0 10 10 10 10 0 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 0 10 0 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 0 10 0 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 0 0 0 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 10 10 0 0 0 10 0 10 0 0 10 0 10 10 10 0 0 10 10 0 0 10 0 0 10 10 10 10 0 10 0 10 0 0 10 10 10 10 10 0 10 10 10 10 10 0 10 10 0 10 10 0 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 10 10 10 10 10 10 0 10 0 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 0 0 10 0 10 10 0 0 10 10 0 10 10 10 10 10 0 0 10 10 10 0 0 10 10 0 10 0 10 10 0 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 0 10 0 10 10 10 10 10 0 10 10 0 10 10 10 0 10 9 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 0 10 10 0 10 0 10 10 10 10 10 10 10 10 0 0 0 10 0 10 0 10 10 10 10 0 10 10 10 10 10 0 10 10 0 10 10 0 0 10 10 10 0 10 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 0 10 0 10 10 10 0 10 0 10 0 10 0 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 10 0 0 10 10 10 0 10 0 10 10 0 10 10 0 0 10 0 0 0 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 0 0 0 0 10 0 10 0 10 10 10 10 10 0 0 10 10 10 10 10 0 10 0 10 0 10 10 0 0 10 10 10 0 10 0 0 0 10 0 10 10 10 0 10 10 10 10 10 0 10 0 10 10 0 0 10 0 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 0 0 10 0 10 0 0 10 10 0 0 10 10 10 10 9 10 0 10 10 10 10 0 10 10 10 0 10 0 10 10 0 0 10 10 0 10 10 10 0 10 0 0 0 0 0 10 10 10 10 0 10 10 10 10 10 0 10 10 0 0 10 10 0 0 10 10 0 10 10 10 10 0 10 0 0 10 10 0 0 10 10 10 0 0 10 10 0 10 0 10 10 0 10 10 10 0 10 10 10 10 0 0 0 0 10 10 10 10 0 10 10 0 10 0 10 10 10 0 10 10 0 0 0 10 10 10 0 0 10 10 10 10 10 10 0 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 10 10 10 0 0 10 10 10 10 0 0 0 10 10 10 0 10 0 0 10 10 0 10 10 10 0 0 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 0 10 0 10 0 0 10 10 10 10 10 10 10 0 0 0 10 0 10 0 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 10 10 0 10 0 10 10 0 10 0 10 10 10 0 0 10 10 10 10 0 10 10 0 0 10 0 10 10 10 0 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 0 10 10 10 10 10 0 10 0 0 10 0 10 0 10 0 10 10 10 10 10 0 10 10 0 10 0 10 0 0 0 0 10 0 10 10 0 10 0 10 10 10 10 10 10 10 10 0 0 0 10 10 10 0 10 0 10 0 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 0 0 10 10 10 0 10 0 0 0 10 10 10 10 10 0 0 10 10 0 10 10 0 0 10 0 10 0 0 10 0 0 10 10 10 10 0 10 10 10 0 10 10 0 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 0 0 0 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 10 0 10 10 10 0 10 10 10 10 10 0 10 10 0 10 10 0 0 10 10 10 10 10 10 0 10 10 0 0 0 10 0 10 10 10 0 0 10 10 10 10 10 10 0 10 10 0 0 10 10 0 10 10 10 10 10 10 9 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 0 10 0 10 0 9 0 10 0 10 0 10 10 10 0 10 0 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 0 10 0 10 0 10 10 10 0 10 10 10 10 0 10 0 10 0 10 0 10 0 10 0 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 0 10 0 10 10 0 10 10 10 10 10 10 10 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 0 0 10 0 10 10 10 0 10 10 0 10 0 0 0 0 0 0 10 10 10 10 0 0 10 0 0 0 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 9 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 0 10 0 10 0 10 10 10 0 10 10 0 10 10 10 0 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 0 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 0 10 0 0 10 10 10 10 0 10 10 0 10 0 10 10 10 10 0 0 10 0 10 10 0 10 0 10 10 0 10 10 0 10 10 0 10 0 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 0 10 10 10 10 0 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 0 3 10 10 10 0 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 0 10 0 10 10 0 10 10 0 10 0 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 0 0 10 0 0 10 0 0 10 0 10 0 10 10 10 10 10 0 10 0 10 0 10 10 10 10 0 10 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 0 10 0 10 0 0 10 10 0 10 10 10 10 10 0 0 10 10 10 0 0 10 10 10 10 0 10 10 10 0 10 0 10 0 10 10 0 7 0 10 10 9 0 0 0 10 10 0 0 10 10 10 0 10 0 10 10 10 0 10 0 0 10 10 10 10 10 0 10 0 0 10 0 10 10 10 0 0 0 10 10 0 10 224 44 20 156 260 40 228 44 112 16 32 16 80 196 252 240 24 40 0 0 12 200 24 156 0 280 36 132 4 12 268 220 160 228 372 252 372 208 304 332 136 32 240 304 288 292 200 88 208 232 36 188 220 480 68 40 52 12 136 96 116 20 140 100 68 36 120 100 152 76 36 24 100 52 192 136 228 168 136 208 128 36 192 84 76 184 192 208 244 92 44 20 112 112 44 112 60 100 144 192 0 324 92 92 284 140 304 120 32 4 84 44 44 8 20 144 136 232 92 172 180 52 200 224 12 332 56 16 300 264 16 308 136 332 452 68 28 40 308 292 164 84 304 164 256 24 56 252 292 160 344 208 352 320 356 180 52 368 288 12 208 284 0 196 156 124 72 136 32 112 56 140 40 72 32 108 60 196 4 44 168 212 0 88 0 12 12 76 212 12 12 4 20 12 40 188 44 64 84 48 68 88 180 60 176 112 112 32 256 140 96 128 20 204 20 20 100 44 112 100 12 140 140 52 32 156 8 40 28 92 68 52 36 4 8 80 108 212 256 68 12 120 44 100 88 24 36 264 28 144 24 96 16 68 88 64 4 100 40 256 336 200 256 4 256 32 20 12 268 336 32 276 364 44 356 80 80 84 32 140 184 88 60 20 300 220 28 192 220 84 20 76 72 8 32 8 68 28 224 8 44 84 20 44 164 292 24 36 268 256 268 364 60 164 176 144 192 216 4 264 24 200 216 256 268 60 52 208 124 48 160 240 276 276 88 148 40 160 0 240 196 80 120 404 44 16 284 320 60 52 284 308 232 164 68 296 360 108 196 28 332 76 156 8 140 56 140 56 40 280 64 200 0 8 268 160 188 252 40 176 0 252 16 132 168 348 296 392 192 272 232 272 244 324 264 164 60 304 252 136 308 292 272 136 292 164 228 324 68 292 180 136 252 292 40 20 280 12 144 4 228 172 8 268 12 100 8 32 4 104 112 248 140 168 44 180 268 92 192 168 288 44 12 72 16 296 160 20 60 48 188 60 216 36 4 96 16 40 152 60 132 248 100 44 24 20 112 4 136 120 152 156 80 8 152 160 112 28 32 0 248 12 68 104 120 0 24 104 88 40 0 160 176 48 240 4 180 40 240 208 12 248 68 248 4 0 288 36 36 12 188 264 76 188 244 8 140 56 108 44 152 128 104 8 200 44 128 32 48 172 124 48 224 0 276 308 168 276 236 264 116 160 108 64 152 60 196 136 188 76 116 152 108 136 48 156 328 260 4 224 76 276 104 232 76 44 304 100 12 0 132 92 108 84 48 24 132 100 48 76 16 152 60 60 136 48 84 112 72 20 112 136 96 60 12 256 268 288 296 96 188 4 20 248 164 32 8 204 140 112 144 60 72 124 128 140 44 164 120 140 100 152 76 164 108 176 40 148 140 24 116 180 64 108 32 64 136 12 88 164 32 64 8 24 28 16 152 232 164 192 32 132 72 220 92 36 212 188 228 104 68 348 224 56 124 92 164 220 32 60 156 16 92 148 24 16 80 120 188 52 120 268 108 12 228 16 24 156 40 156 0 192 160 208 108 224 64 44 132 156 80 56 68 356 80 316 28 132 172 204 176 120 8 100 32 128 100 44 128 112 244 108 72 0 80 216 84 184 0 20 8 12 24 132 36 32 196 72 36 20 308 4 236 264 4 96 216 84 272 20 76 128 180 24 116 72 100 100 112 12 72 36 92 52 56 108 252 40 84 104 160 172 168 24 240 40 52 12 0 80 80 52 24 236 52 72 0 156 88 32 128 52 116 300 244 16 44 24 52 104 216 40 76 48 212 208 264 264 0 188 12 232 28 396 160 24 48 4 160 156 200 116 0 80 12 160 80 72 268 108 80 256 48 144 108 12 64 16 8 68 260 204 56 96 28 48 48 16 188 8 16 72 256 16 92 72 348 280 188 476 0 84 140 220 156 16 196 144 140 4 120 0 212 20 68 124 16 272 304 288 116 252 288 340 48 152 180 68 48 64 288 72 328 92 28 12 96 252 328 8 52 188 140 240 240 184 164 16 24 104 212 36 112 196 136 272 232 44 160 40 120 76 60 116 72 128 148 80 236 40 92 16 28 44 236 72 132 248 80 100 160 40 160 120 160 0 164 12 172 32 312 124 280 92 160 132 108 80 156 272 4 12 140 20 84 224 120 200 156 256 56 148 316 44 72 24 4 28 172 228 0 400 388 232 96 0 80 0 52 8 24 292 36 32 0 72 20 268 180 8 36 32 160 32 132 48 24 0 80 240 216 160 40 88 120 96 96 80 84 120 132 64 144 80 96 24 176 24 28 36 0 12 24 12 100 96 60 56 168 104 132 92 144 32 180 312 180 296 208 348 32 348 284 272 428 40 268 360 400 276 4 156 332 32 0 12 12 116 48 76 112 96 172 76 96 132 108 28 172 104 36 196 224 76 80 56 412 56 208 8 24 116 52 136 132 32 0 72 36 160 28 192 56 32 68 140 152 68 48 20 24 0 12 280 240 8 0 36 8 32 232 328 220 180 52 404 32 8 76 268 44 0 24 88 0 56 4 16 140 24 156 12 36 152 120 188 188 96 136 128 184 268 244 108 72 76 128 364 4 12 244 156 20 60 72 96 72 80 136 212 168 108 208 32 48 132 16 8 8 144 228 120 20 72 216 252 104 20 88 184 176 168 172 176 12 240 0 176 84 12 136 116 192 176 44 56 316 56 208 252 28 80 36 100 120 52 116 88 196 120 196 36 160 76 280 0 148 304 512 368 0 328 156 152 52 124 192 60 168 112 84 164 52 72 16 24 16 260 120 12 40 108 104 84 92 100 136 20 44 44 28 96 20 56 120 32 32 32 72 8 56 220 68 24 0 12 64 24 32 8 0 116 132 36 256 12 304 88 16 24 140 12 36 104 224 200 84 368 220 360 100 160 120 72 136 120 252 40 112 120 100 248 0 160 104 328 408 16 48 216 20 60 108 28 24 0 116 188 156 160 228 128 64 212 92 68 164 108 32 128 68 164 64 180 60 112 36 220 84 0 208 0 16 272 224 24 8 148 160 20 116 32 156 48 40 128 92 156 316 120 132 116 108 92 12 116 116 52 36 0 76 200 0 316 152 160 156 12 116 248 116 320 320 320 120 28 200 0 0 52 12 256 4 12 128 44 140 188 380 148 28 92 80 144 96 76 32 120 252 192 16 304 56 132 128 12 212 52 104 100 152 184 84 68 80 8 236 196 176 436 252 40 292 68 360 120 276 208 168 220 100 116 184 224 288 236 216 124 216 12 76 32 12 144 128 12 144 24 24 0 204 60 288 144 4 176 136 252 92 64 172 12 0 76 0 196 0 316 20 152 272 4 88 12 164 12 24 48 280 156 56 96 132 212 88 92 24 168 116 272 232 176 252 292 152 476 0 80 300 324 332 288 228 56 12 40 36 16 0 188 292 228 24 144 208 36 240 24 296 232 384 48 176 116 68 52 148 208 124 172 72 168 268 244 244 236 136 36 28 148 268 264 40 120 84 0 40 88 64 52 64 68 100 72 52 76 56 184 180 16 264 24 156 292 12 12 100 68 40 32 100 68 20 288 4 92 352 84 56 116 144 192 32 76 208 152 128 292 56 56 216 264 140 176 48 176 100 168 56 120 252 236 0 272 32 168 88 8 160 84 40 200 144 252 260 212 484 288 44 220 184 80 132 44 248 60 60 68 96 200 40 260 300 220 148 108 288 60 72 228 84 48 240 124 144 76 40 252 236 8 4 8 20 20 108 108 28 0 120 28 220 176 156 112 8 124 140 28 40 20 16 40 4 284 96 236 212 108 48 72 280 116 32 160 40 168 4 156 72 0 40 36 156 36 4 56 248 208 0 100 100 40 128 24 200 200 292 288 248 524 212 244 264 112 40 168 84 264 212 212 40 12 76 72 116 152 24 128 136 24 144 76 24 80 344 236 224 112 212 256 36 12 256 12 136 200 80 56 288 212 64 52 168 40 120 124 224 32 156 196 56 244 72 0 4 76 48 56 112 76 224 404 152 224 36 136 176 296 36 56 300 52 124 256 236 212 52 228 40 160 140 48 184 140 116 12 256 48 192 224 200 20 40 0 128 248 8 148 56 24 48 80 36 136 244 96 4 384 116 252.07/207.91 v </values> 252.07/207.91 v </instantiation>
OK 395710634
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 (14361 MiB free)
memory of node 1: 16384 MiB (13709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310568-1534330573/watcher-4310568-1534330573 -o /tmp/evaluation-result-4310568-1534330573/solver-4310568-1534330573 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25581 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 145824249 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310568-1534330573.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27159, runsolver pid=27156
[startup+0.100067 s]*
/proc/loadavg: 1.41 1.64 1.74 4/215 27174
/proc/meminfo: memFree=28727392/32770624 swapFree=67030680/67108860
[pid=27159] ppid=27156 vsize=14082736 memory=32560 CPUtime=0.11 cores=1,3,5,7
/proc/27159/stat : 27159 (java) S 27156 27159 25549 0 -1 1077944320 7056 0 0 0 10 1 0 0 20 0 15 0 250620566 14420721664 8140 33554432000 4194304 4196468 140736683494000 140736683476544 140347886227191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
/proc/27159/statm: 3520684 8140 3155 1 0 3482761 0
[pid=27159/tid=27161] ppid=27156 vsize=14082736 memory=-8629632960754519934 CPUtime=0.09 cores=1,3,5,7
/proc/27159/task/27161/stat : 27161 (java) R 27156 27159 25549 0 -1 4202560 5085 0 0 0 8 1 0 0 20 0 15 0 250620566 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347890421280 140347886249117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27162] ppid=27156 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27162/stat : 27162 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347855939856 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27163] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27163/stat : 27163 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347480873360 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27164] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27164/stat : 27164 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347479820816 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27165] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27165/stat : 27165 (java) S 27156 27159 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347478768272 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27166] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27166/stat : 27166 (java) S 27156 27159 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620568 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347360344560 140347886238338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27167] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27167/stat : 27167 (java) S 27156 27159 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250620569 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347359290784 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27168] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27168/stat : 27168 (java) S 27156 27159 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250620569 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347358238192 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27169] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27169/stat : 27169 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347357186768 140347886245787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27170] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27170/stat : 27170 (java) S 27156 27159 25549 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347356133360 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27171] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27171/stat : 27171 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347355080816 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27172] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0.01 cores=1,3,5,7
/proc/27159/task/27172/stat : 27172 (java) R 27156 27159 25549 0 -1 4202560 279 0 0 0 1 0 0 0 20 0 15 0 250620572 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347354028272 140347864927392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27173] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27173/stat : 27173 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347352975968 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27174] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27174/stat : 27174 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 8140 33554432000 4194304 4196468 140736683494000 140347351923504 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32560 KiB
[startup+0.210507 s]*
/proc/loadavg: 1.41 1.64 1.74 4/215 27174
/proc/meminfo: memFree=28712136/32770624 swapFree=67030680/67108860
[pid=27159] ppid=27156 vsize=14082736 memory=46500 CPUtime=0.31 cores=1,3,5,7
/proc/27159/stat : 27159 (java) S 27156 27159 25549 0 -1 1077944320 10212 0 0 0 29 2 0 0 20 0 15 0 250620566 14420721664 11625 33554432000 4194304 4196468 140736683494000 140736683476544 140347886227191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
/proc/27159/statm: 3520684 11625 3406 1 0 3482761 0
[pid=27159/tid=27161] ppid=27156 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27159/task/27161/stat : 27161 (java) R 27156 27159 25549 0 -1 4202560 7792 0 0 0 19 1 0 0 20 0 15 0 250620566 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347890454848 140347886248538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27162] ppid=27156 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27162/stat : 27162 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347855939856 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27163] ppid=27156 vsize=14082736 memory=288370554206774912 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27163/stat : 27163 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347480873360 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27164] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27164/stat : 27164 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347479820816 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27165] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27165/stat : 27165 (java) S 27156 27159 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347478768272 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27166] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27166/stat : 27166 (java) S 27156 27159 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250620568 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347360344560 140347886238338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27167] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27167/stat : 27167 (java) S 27156 27159 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250620569 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347359290784 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27168] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27168/stat : 27168 (java) S 27156 27159 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250620569 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347358238192 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27169] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27169/stat : 27169 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347357186768 140347886245787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27170] ppid=27156 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27159/task/27170/stat : 27170 (java) R 27156 27159 25549 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 250620572 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347356133360 140347886238338 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27171] ppid=27156 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27159/task/27171/stat : 27171 (java) R 27156 27159 25549 0 -1 4202560 281 0 0 0 2 0 0 0 20 0 15 0 250620572 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347355080816 140347866863234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27172] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0.06 cores=1,3,5,7
/proc/27159/task/27172/stat : 27172 (java) R 27156 27159 25549 0 -1 4202560 398 0 0 0 6 0 0 0 20 0 15 0 250620572 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347354024000 140347886239126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27173] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27173/stat : 27173 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347352975968 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27174] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27174/stat : 27174 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 11625 33554432000 4194304 4196468 140736683494000 140347351923504 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46500 KiB
[startup+0.310668 s]*
/proc/loadavg: 1.41 1.64 1.74 3/215 27174
/proc/meminfo: memFree=28708352/32770624 swapFree=67030680/67108860
[pid=27159] ppid=27156 vsize=14082736 memory=50000 CPUtime=0.44 cores=1,3,5,7
/proc/27159/stat : 27159 (java) S 27156 27159 25549 0 -1 1077944320 10606 0 0 0 42 2 0 0 20 0 15 0 250620566 14420721664 12500 33554432000 4194304 4196468 140736683494000 140736683476544 140347886227191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
/proc/27159/statm: 3520684 12500 3409 1 0 3482761 0
[pid=27159/tid=27161] ppid=27156 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/27159/task/27161/stat : 27161 (java) R 27156 27159 25549 0 -1 4202560 8140 0 0 0 29 1 0 0 20 0 15 0 250620566 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347890448288 140347871392748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27162] ppid=27156 vsize=14082736 memory=4294976238 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27162/stat : 27162 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347855939856 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27163] ppid=27156 vsize=14082736 memory=288370554206774912 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27163/stat : 27163 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347480873360 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27164] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27164/stat : 27164 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347479820816 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27165] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27165/stat : 27165 (java) S 27156 27159 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620567 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347478768272 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27166] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27166/stat : 27166 (java) S 27156 27159 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250620568 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347360344560 140347886238338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27167] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27167/stat : 27167 (java) S 27156 27159 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250620569 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347359290784 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27168] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27168/stat : 27168 (java) S 27156 27159 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250620569 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347358238192 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27169] ppid=27156 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27169/stat : 27169 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347357186768 140347886245787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27170] ppid=27156 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27159/task/27170/stat : 27170 (java) S 27156 27159 25549 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 250620572 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347356133360 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27171] ppid=27156 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27159/task/27171/stat : 27171 (java) S 27156 27159 25549 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 15 0 250620572 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347355080816 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27172] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0.08 cores=1,3,5,7
/proc/27159/task/27172/stat : 27172 (java) S 27156 27159 25549 0 -1 1077944384 431 0 0 0 8 0 0 0 20 0 15 0 250620572 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347354028272 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27173] ppid=27156 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27173/stat : 27173 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347352975968 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27174] ppid=27156 vsize=14082736 memory=140178055063168 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27174/stat : 27174 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620572 14420721664 12500 33554432000 4194304 4196468 140736683494000 140347351923504 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50000 KiB
[startup+0.700723 s]
/proc/loadavg: 1.46 1.65 1.74 3/215 27174
/proc/meminfo: memFree=28686216/32770624 swapFree=67030680/67108860
[pid=27159] ppid=27156 vsize=14084804 memory=88116 CPUtime=1 cores=1,3,5,7
/proc/27159/stat : 27159 (java) S 27156 27159 25549 0 -1 1077944320 17396 0 0 0 96 4 0 0 20 0 15 0 250620566 14422839296 22029 33554432000 4194304 4196468 140736683494000 140736683476544 140347886227191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
/proc/27159/statm: 3521201 22029 3498 1 0 3483273 0
[pid=27159/tid=27161] ppid=27156 vsize=14084804 memory=34124 CPUtime=0.68 cores=1,3,5,7
/proc/27159/task/27161/stat : 27161 (java) R 27156 27159 25549 0 -1 4202560 14457 0 0 0 65 3 0 0 20 0 15 0 250620566 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347890430352 140347870307678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27162] ppid=27156 vsize=14084804 memory=11908 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27162/stat : 27162 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347855939856 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27163] ppid=27156 vsize=14084804 memory=492 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27163/stat : 27163 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347480873360 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27164] ppid=27156 vsize=14084804 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27164/stat : 27164 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620567 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347479820816 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27165] ppid=27156 vsize=14084804 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27165/stat : 27165 (java) S 27156 27159 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620567 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347478768272 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27166] ppid=27156 vsize=14084804 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27166/stat : 27166 (java) S 27156 27159 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250620568 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347360344560 140347886238338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27167] ppid=27156 vsize=14084804 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27167/stat : 27167 (java) S 27156 27159 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250620569 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347359290784 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27168] ppid=27156 vsize=14084804 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27168/stat : 27168 (java) S 27156 27159 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250620569 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347358238192 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27169] ppid=27156 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27169/stat : 27169 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347357186768 140347886245787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27170] ppid=27156 vsize=14084804 memory=7881696724453321575 CPUtime=0.07 cores=1,3,5,7
/proc/27159/task/27170/stat : 27170 (java) S 27156 27159 25549 0 -1 1077944384 553 0 0 0 7 0 0 0 20 0 15 0 250620572 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347356133360 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27171] ppid=27156 vsize=14084804 memory=7453282923461570405 CPUtime=0.07 cores=1,3,5,7
/proc/27159/task/27171/stat : 27171 (java) S 27156 27159 25549 0 -1 1077944384 436 0 0 0 7 0 0 0 20 0 15 0 250620572 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347355080816 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27172] ppid=27156 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/27159/task/27172/stat : 27172 (java) S 27156 27159 25549 0 -1 1077944384 569 0 0 0 15 0 0 0 20 0 15 0 250620572 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347354028272 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27173] ppid=27156 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27173/stat : 27173 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347352975968 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27174] ppid=27156 vsize=14084804 memory=972 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27174/stat : 27174 (java) S 27156 27159 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620572 14422839296 22029 33554432000 4194304 4196468 140736683494000 140347351923504 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88116 KiB
[startup+1.50078 s]
/proc/loadavg: 1.46 1.65 1.74 5/215 27174
/proc/meminfo: memFree=28444932/32770624 swapFree=67030680/67108860
[pid=27159] ppid=27156 vsize=14086852 memory=427300 CPUtime=3.19 cores=1,3,5,7
/proc/27159/stat : 27159 (java) S 27156 27159 25549 0 -1 1077944320 20269 0 0 0 288 31 0 0 20 0 15 0 250620566 14424936448 106825 33554432000 4194304 4196468 140736683494000 140736683476544 140347886227191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
/proc/27159/statm: 3521713 106825 3563 1 0 3483785 0
[pid=27159/tid=27161] ppid=27156 vsize=14086852 memory=317028 CPUtime=1.35 cores=1,3,5,7
/proc/27159/task/27161/stat : 27161 (java) R 27156 27159 25549 0 -1 4202560 14932 0 0 0 128 7 0 0 20 0 15 0 250620566 14424936448 106825 33554432000 4194304 4196468 140736683494000 140347890463360 140347526660879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27162] ppid=27156 vsize=14086852 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/27159/task/27162/stat : 27162 (java) S 27156 27159 25549 0 -1 1077944384 133 0 0 0 4 5 0 0 20 0 15 0 250620567 14424936448 106825 33554432000 4194304 4196468 140736683494000 140347855939856 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27163] ppid=27156 vsize=14086852 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27159/task/27163/stat : 27163 (java) S 27156 27159 25549 0 -1 1077944384 176 0 0 0 4 5 0 0 20 0 15 0 250620567 14424936448 106825 33554432000 4194304 4196468 140736683494000 140347480873360 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27164] ppid=27156 vsize=14086852 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27159/task/27164/stat : 27164 (java) S 27156 27159 25549 0 -1 1077944384 137 0 0 0 5 5 0 0 20 0 15 0 250620567 14424936448 106825 33554432000 4194304 4196468 140736683494000 140347479820816 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27165] ppid=27156 vsize=14086852 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27159/task/27165/stat : 27165 (java) S 27156 27159 25549 0 -1 1077944384 138 0 0 0 4 4 0 0 20 0 15 0 250620567 14424936448 106825 33554432000 4194304 4196468 140736683494000 140347478768272 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27166] ppid=27156 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27166/stat : 27166 (java) S 27156 27159 25549 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 250620568 14424936448 106825 33554432000 4194304 4196468 140736683494000 140347360344560 140347886238338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
################
# More data... #
################
/proc/27159/task/27161/stat : 27161 (java) R 27156 27159 25549 0 -1 4202560 42611 0 0 0 9542 40 0 0 20 0 15 0 250620566 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347890461856 140347524906263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27162] ppid=27156 vsize=14092996 memory=5448820 CPUtime=6.1 cores=1,3,5,7
/proc/27159/task/27162/stat : 27162 (java) S 27156 27159 25549 0 -1 1077944384 8934 0 0 0 525 85 0 0 20 0 15 0 250620567 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347855939856 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27163] ppid=27156 vsize=14092996 memory=5438668 CPUtime=6.07 cores=1,3,5,7
/proc/27159/task/27163/stat : 27163 (java) S 27156 27159 25549 0 -1 1077944384 6289 0 0 0 521 86 0 0 20 0 15 0 250620567 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347480873360 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27164] ppid=27156 vsize=14092996 memory=66496 CPUtime=6.09 cores=1,3,5,7
/proc/27159/task/27164/stat : 27164 (java) S 27156 27159 25549 0 -1 1077944384 8426 0 0 0 524 85 0 0 20 0 15 0 250620567 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347479820816 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27165] ppid=27156 vsize=14092996 memory=0 CPUtime=6.08 cores=1,3,5,7
/proc/27159/task/27165/stat : 27165 (java) S 27156 27159 25549 0 -1 1077944384 8181 0 0 0 523 85 0 0 20 0 15 0 250620567 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347478768272 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27166] ppid=27156 vsize=14092996 memory=4 CPUtime=0.31 cores=1,3,5,7
/proc/27159/task/27166/stat : 27166 (java) S 27156 27159 25549 0 -1 1077944384 15601 0 0 0 30 1 0 0 20 0 15 0 250620568 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347360344560 140347886238338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27167] ppid=27156 vsize=14092996 memory=66496 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27167/stat : 27167 (java) S 27156 27159 25549 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250620569 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347359290848 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27168] ppid=27156 vsize=14092996 memory=776 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27168/stat : 27168 (java) S 27156 27159 25549 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 250620569 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347358238208 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27169] ppid=27156 vsize=14092996 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27169/stat : 27169 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347357186768 140347886245787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27170] ppid=27156 vsize=14092996 memory=5445712 CPUtime=5.08 cores=1,3,5,7
/proc/27159/task/27170/stat : 27170 (java) S 27156 27159 25549 0 -1 1077944384 11971 0 0 0 505 3 0 0 20 0 15 0 250620572 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347356133360 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27171] ppid=27156 vsize=14092996 memory=2228 CPUtime=4.97 cores=1,3,5,7
/proc/27159/task/27171/stat : 27171 (java) S 27156 27159 25549 0 -1 1077944384 12916 0 0 0 495 2 0 0 20 0 15 0 250620572 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347355080816 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27172] ppid=27156 vsize=14092996 memory=5445712 CPUtime=1.65 cores=1,3,5,7
/proc/27159/task/27172/stat : 27172 (java) S 27156 27159 25549 0 -1 1077944384 10815 0 0 0 161 4 0 0 20 0 15 0 250620572 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347354028272 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27173] ppid=27156 vsize=14092996 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27173/stat : 27173 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347352975968 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27174] ppid=27156 vsize=14092996 memory=752 CPUtime=0.05 cores=1,3,5,7
/proc/27159/task/27174/stat : 27174 (java) S 27156 27159 25549 0 -1 1077944384 1317 0 0 0 1 4 0 0 20 0 15 0 250620572 14431227904 1362205 33554432000 4194304 4196468 140736683494000 140347351923504 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
Current children cumulated CPU time: 132.3 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5448820 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 1.78 1.78 3/215 27257
/proc/meminfo: memFree=16720720/32770624 swapFree=67030680/67108860
[pid=27159] ppid=27156 vsize=14092996 memory=5625012 CPUtime=200.3 cores=1,3,5,7
/proc/27159/stat : 27159 (java) S 27156 27159 25549 0 -1 1077944320 150425 0 0 0 19613 417 0 0 20 0 15 0 250620566 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140736683476544 140347886227191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
/proc/27159/statm: 3523249 1406253 3623 1 0 3485321 0
[pid=27159/tid=27161] ppid=27156 vsize=14092996 memory=5625012 CPUtime=153.24 cores=1,3,5,7
/proc/27159/task/27161/stat : 27161 (java) R 27156 27159 25549 0 -1 4202560 48720 0 0 0 15283 41 0 0 20 0 15 0 250620566 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347890463648 140347524906416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27162] ppid=27156 vsize=14092996 memory=5625012 CPUtime=8.65 cores=1,3,5,7
/proc/27159/task/27162/stat : 27162 (java) S 27156 27159 25549 0 -1 1077944384 10985 0 0 0 776 89 0 0 20 0 15 0 250620567 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347855939856 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27163] ppid=27156 vsize=14092996 memory=5610700 CPUtime=8.62 cores=1,3,5,7
/proc/27159/task/27163/stat : 27163 (java) S 27156 27159 25549 0 -1 1077944384 8750 0 0 0 772 90 0 0 20 0 15 0 250620567 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347480873360 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27164] ppid=27156 vsize=14092996 memory=5622968 CPUtime=8.65 cores=1,3,5,7
/proc/27159/task/27164/stat : 27164 (java) S 27156 27159 25549 0 -1 1077944384 11211 0 0 0 776 89 0 0 20 0 15 0 250620567 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347479820816 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27165] ppid=27156 vsize=14092996 memory=5622968 CPUtime=8.64 cores=1,3,5,7
/proc/27159/task/27165/stat : 27165 (java) S 27156 27159 25549 0 -1 1077944384 10367 0 0 0 775 89 0 0 20 0 15 0 250620567 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347478768272 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27166] ppid=27156 vsize=14092996 memory=5622968 CPUtime=0.32 cores=1,3,5,7
/proc/27159/task/27166/stat : 27166 (java) S 27156 27159 25549 0 -1 1077944384 15825 0 0 0 31 1 0 0 20 0 15 0 250620568 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347360344560 140347886238338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27167] ppid=27156 vsize=14092996 memory=5625012 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27167/stat : 27167 (java) S 27156 27159 25549 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250620569 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347359290848 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27168] ppid=27156 vsize=14092996 memory=5606604 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27168/stat : 27168 (java) S 27156 27159 25549 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 250620569 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347358238208 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27169] ppid=27156 vsize=14092996 memory=5451200 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27169/stat : 27169 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347357186768 140347886245787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27170] ppid=27156 vsize=14092996 memory=5622968 CPUtime=5.28 cores=1,3,5,7
/proc/27159/task/27170/stat : 27170 (java) S 27156 27159 25549 0 -1 1077944384 13320 0 0 0 525 3 0 0 20 0 15 0 250620572 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347356133360 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27171] ppid=27156 vsize=14092996 memory=5622968 CPUtime=5.02 cores=1,3,5,7
/proc/27159/task/27171/stat : 27171 (java) S 27156 27159 25549 0 -1 1077944384 14709 0 0 0 500 2 0 0 20 0 15 0 250620572 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347355080816 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27172] ppid=27156 vsize=14092996 memory=1192 CPUtime=1.7 cores=1,3,5,7
/proc/27159/task/27172/stat : 27172 (java) S 27156 27159 25549 0 -1 1077944384 13773 0 0 0 166 4 0 0 20 0 15 0 250620572 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347354028272 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27173] ppid=27156 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27173/stat : 27173 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347352975968 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27174] ppid=27156 vsize=14092996 memory=5610700 CPUtime=0.09 cores=1,3,5,7
/proc/27159/task/27174/stat : 27174 (java) S 27156 27159 25549 0 -1 1077944384 1359 0 0 0 3 6 0 0 20 0 15 0 250620572 14431227904 1406253 33554432000 4194304 4196468 140736683494000 140347351923504 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
Current children cumulated CPU time: 200.3 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5625012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+207.901 s]
/proc/loadavg: 2.08 1.83 1.79 3/215 27258
/proc/meminfo: memFree=16628460/32770624 swapFree=67030680/67108860
[pid=27159] ppid=27156 vsize=14092996 memory=5715560 CPUtime=252.07 cores=1,3,5,7
/proc/27159/stat : 27159 (java) S 27156 27159 25549 0 -1 1077944320 162895 0 0 0 24781 426 0 0 20 0 15 0 250620566 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140736683476544 140347886227191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
/proc/27159/statm: 3523249 1428890 3623 1 0 3485321 0
[pid=27159/tid=27161] ppid=27156 vsize=14092996 memory=972 CPUtime=196.8 cores=1,3,5,7
/proc/27159/task/27161/stat : 27161 (java) R 27156 27159 25549 0 -1 4202560 52310 0 0 0 19639 41 0 0 20 0 15 0 250620566 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347890456576 140347524905989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27162] ppid=27156 vsize=14092996 memory=5686456 CPUtime=10.66 cores=1,3,5,7
/proc/27159/task/27162/stat : 27162 (java) S 27156 27159 25549 0 -1 1077944384 12786 0 0 0 975 91 0 0 20 0 15 0 250620567 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347855939856 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27163] ppid=27156 vsize=14092996 memory=1560 CPUtime=10.64 cores=1,3,5,7
/proc/27159/task/27163/stat : 27163 (java) S 27156 27159 25549 0 -1 1077944384 11256 0 0 0 972 92 0 0 20 0 15 0 250620567 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347480873360 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27164] ppid=27156 vsize=14092996 memory=5715560 CPUtime=10.66 cores=1,3,5,7
/proc/27159/task/27164/stat : 27164 (java) S 27156 27159 25549 0 -1 1077944384 12152 0 0 0 975 91 0 0 20 0 15 0 250620567 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347479820816 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27165] ppid=27156 vsize=14092996 memory=5709120 CPUtime=10.65 cores=1,3,5,7
/proc/27159/task/27165/stat : 27165 (java) S 27156 27159 25549 0 -1 1077944384 11434 0 0 0 974 91 0 0 20 0 15 0 250620567 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347478768272 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27166] ppid=27156 vsize=14092996 memory=5715560 CPUtime=0.33 cores=1,3,5,7
/proc/27159/task/27166/stat : 27166 (java) S 27156 27159 25549 0 -1 1077944384 15897 0 0 0 32 1 0 0 20 0 15 0 250620568 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347360344560 140347886238338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27167] ppid=27156 vsize=14092996 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27167/stat : 27167 (java) S 27156 27159 25549 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250620569 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347359290848 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27168] ppid=27156 vsize=14092996 memory=5715560 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27168/stat : 27168 (java) S 27156 27159 25549 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 250620569 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347358238208 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27169] ppid=27156 vsize=14092996 memory=5715560 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27169/stat : 27169 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347357186768 140347886245787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27170] ppid=27156 vsize=14092996 memory=3544 CPUtime=5.3 cores=1,3,5,7
/proc/27159/task/27170/stat : 27170 (java) S 27156 27159 25549 0 -1 1077944384 13807 0 0 0 527 3 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347356133360 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27171] ppid=27156 vsize=14092996 memory=5706896 CPUtime=5.09 cores=1,3,5,7
/proc/27159/task/27171/stat : 27171 (java) S 27156 27159 25549 0 -1 1077944384 16011 0 0 0 507 2 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347355080816 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27172] ppid=27156 vsize=14092996 memory=776 CPUtime=1.72 cores=1,3,5,7
/proc/27159/task/27172/stat : 27172 (java) S 27156 27159 25549 0 -1 1077944384 14456 0 0 0 168 4 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347354028272 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27173] ppid=27156 vsize=14092996 memory=5715560 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27173/stat : 27173 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347352975968 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27174] ppid=27156 vsize=14092996 memory=3544 CPUtime=0.12 cores=1,3,5,7
/proc/27159/task/27174/stat : 27174 (java) S 27156 27159 25549 0 -1 1077944384 1368 0 0 0 5 7 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347351923504 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5715560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+207.952 s]
# the end of solver process 27159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=247.848 s, system=4.29962 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+207.901 s]
/proc/loadavg: 2.08 1.83 1.79 3/215 27258
/proc/meminfo: memFree=16628460/32770624 swapFree=67030680/67108860
[pid=27159] ppid=27156 vsize=14092996 memory=5715560 CPUtime=252.07 cores=1,3,5,7
/proc/27159/stat : 27159 (java) S 27156 27159 25549 0 -1 1077944320 162895 0 0 0 24781 426 0 0 20 0 15 0 250620566 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140736683476544 140347886227191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
/proc/27159/statm: 3523249 1428890 3623 1 0 3485321 0
[pid=27159/tid=27161] ppid=27156 vsize=14092996 memory=972 CPUtime=196.8 cores=1,3,5,7
/proc/27159/task/27161/stat : 27161 (java) R 27156 27159 25549 0 -1 4202560 52310 0 0 0 19639 41 0 0 20 0 15 0 250620566 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347890456576 140347524905989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27162] ppid=27156 vsize=14092996 memory=5686456 CPUtime=10.66 cores=1,3,5,7
/proc/27159/task/27162/stat : 27162 (java) S 27156 27159 25549 0 -1 1077944384 12786 0 0 0 975 91 0 0 20 0 15 0 250620567 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347855939856 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27163] ppid=27156 vsize=14092996 memory=1560 CPUtime=10.64 cores=1,3,5,7
/proc/27159/task/27163/stat : 27163 (java) S 27156 27159 25549 0 -1 1077944384 11256 0 0 0 972 92 0 0 20 0 15 0 250620567 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347480873360 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27164] ppid=27156 vsize=14092996 memory=5715560 CPUtime=10.66 cores=1,3,5,7
/proc/27159/task/27164/stat : 27164 (java) S 27156 27159 25549 0 -1 1077944384 12152 0 0 0 975 91 0 0 20 0 15 0 250620567 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347479820816 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27165] ppid=27156 vsize=14092996 memory=5709120 CPUtime=10.65 cores=1,3,5,7
/proc/27159/task/27165/stat : 27165 (java) S 27156 27159 25549 0 -1 1077944384 11434 0 0 0 974 91 0 0 20 0 15 0 250620567 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347478768272 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27166] ppid=27156 vsize=14092996 memory=5715560 CPUtime=0.33 cores=1,3,5,7
/proc/27159/task/27166/stat : 27166 (java) S 27156 27159 25549 0 -1 1077944384 15897 0 0 0 32 1 0 0 20 0 15 0 250620568 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347360344560 140347886238338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27167] ppid=27156 vsize=14092996 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27167/stat : 27167 (java) S 27156 27159 25549 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 250620569 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347359290848 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27168] ppid=27156 vsize=14092996 memory=5715560 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27168/stat : 27168 (java) S 27156 27159 25549 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 250620569 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347358238208 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27169] ppid=27156 vsize=14092996 memory=5715560 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27169/stat : 27169 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347357186768 140347886245787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27170] ppid=27156 vsize=14092996 memory=3544 CPUtime=5.3 cores=1,3,5,7
/proc/27159/task/27170/stat : 27170 (java) S 27156 27159 25549 0 -1 1077944384 13807 0 0 0 527 3 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347356133360 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27171] ppid=27156 vsize=14092996 memory=5706896 CPUtime=5.09 cores=1,3,5,7
/proc/27159/task/27171/stat : 27171 (java) S 27156 27159 25549 0 -1 1077944384 16011 0 0 0 507 2 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347355080816 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27172] ppid=27156 vsize=14092996 memory=776 CPUtime=1.72 cores=1,3,5,7
/proc/27159/task/27172/stat : 27172 (java) S 27156 27159 25549 0 -1 1077944384 14456 0 0 0 168 4 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347354028272 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27173] ppid=27156 vsize=14092996 memory=5715560 CPUtime=0 cores=1,3,5,7
/proc/27159/task/27173/stat : 27173 (java) S 27156 27159 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347352975968 140347886237397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
[pid=27159/tid=27174] ppid=27156 vsize=14092996 memory=3544 CPUtime=0.12 cores=1,3,5,7
/proc/27159/task/27174/stat : 27174 (java) S 27156 27159 25549 0 -1 1077944384 1368 0 0 0 5 7 0 0 20 0 15 0 250620572 14431227904 1428890 33554432000 4194304 4196468 140736683494000 140347351923504 140347886238338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140736683496539 140736683496718 140736683496718 140736683499471 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 5715560 KiB
Child status: 143
Real time (s): 207.952
CPU time (s): 252.147
CPU user time (s): 247.848
CPU system time (s): 4.29962
CPU usage (%): 121.252
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 5715560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.848
system time used= 4.29962
maximum resident set size= 5716320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11976
involuntary context switches= 617
# summary of solver processes directly reported to runsolver:
# pid: 27159
# total CPU time (s): 252.147
# total CPU user time (s): 247.848
# total CPU system time (s): 4.29962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39951 second user time and 1.87097 second system time
The end
Begin job on node102 at 2018-08-15 12:56:14 IDJOB=4310568 IDBENCH=141262 IDSOLVER=2796 FILE ID=node102/4310568-1534330573 RUNJOBID= node102-1534328374-25581 PBS_JOBID= 21038150 Free space on /tmp= 39328 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310568-1534330573/watcher-4310568-1534330573 -o /tmp/evaluation-result-4310568-1534330573/solver-4310568-1534330573 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25581 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 145824249 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310568-1534330573.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a RANDOM SEED=145824249 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28744828 kB MemAvailable: 31683156 kB Buffers: 161636 kB Cached: 3041968 kB SwapCached: 51224 kB Active: 1898236 kB Inactive: 1576464 kB Active(anon): 195664 kB Inactive(anon): 135252 kB Active(file): 1702572 kB Inactive(file): 1441212 kB Unevictable: 7348 kB Mlocked: 7348 kB SwapTotal: 67108860 kB SwapFree: 67030680 kB Dirty: 126616 kB Writeback: 0 kB AnonPages: 264356 kB Mapped: 67116 kB Shmem: 57196 kB Slab: 250316 kB SReclaimable: 220756 kB SUnreclaim: 29560 kB KernelStack: 3792 kB PageTables: 5760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1237888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 135168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 39168 MiB End job on node102 at 2018-08-15 12:59:42