Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-08-17 | SAT (TO) | 386694797 | 2520.14 | 2492.74 |
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 | 372103316 |
Best CPU time to get the best result obtained on this benchmark | 2520.09 |
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.56 c version: 2018-08-17 0.68/0.56 c seed: 1961337936 0.68/0.56 c timeout: 2520 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 1 0.68/0.58 c Parsing instance... 36.36/23.46 c Parsing done, starting search... 295.63/276.55 o 388313988 295.63/276.55 o 388295596 295.63/276.56 o 388295588 295.63/276.57 o 388277198 295.63/276.58 o 388258798 295.63/276.59 o 388240398 295.63/276.60 o 388221998 295.86/276.64 o 388203602 295.86/276.65 o 388203598 295.86/276.69 o 388185198 296.05/276.71 o 388185189 296.05/276.73 o 388166789 296.05/276.76 o 388148408 296.05/276.77 o 388148398 296.05/276.78 o 388129998 296.26/276.82 o 388129989 296.26/276.83 o 388111589 296.48/277.03 o 388093197 296.48/277.06 o 388093189 296.48/277.07 o 388074789 296.77/277.35 o 388056398 296.77/277.36 o 388056389 296.77/277.37 o 388037989 296.97/277.58 o 388019589 297.07/277.61 o 388001189 297.17/277.77 o 387982797 297.17/277.77 o 387982789 297.48/278.08 o 387964402 297.48/278.08 o 387964398 297.97/278.53 o 387945998 297.97/278.54 o 387927606 297.97/278.54 o 387927598 297.97/278.55 o 387909198 297.97/278.57 o 387890798 299.27/279.82 o 387890791 299.27/279.88 o 387872408 300.23/280.79 o 387872407 300.33/280.80 o 387854007 338.79/319.25 o 387835655 338.79/319.26 o 387835645 338.79/319.27 o 387835636 338.79/319.27 o 387835631 338.79/319.29 o 387835622 338.89/319.32 o 387835616 338.89/319.33 o 387835611 338.89/319.34 o 387835602 338.89/319.36 o 387817222 338.89/319.39 o 387817202 338.99/319.40 o 387798822 338.99/319.45 o 387798812 339.09/319.55 o 387798808 339.09/319.57 o 387780409 339.20/319.60 o 387762036 339.20/319.61 o 387762029 339.20/319.64 o 387743649 339.30/319.71 o 387743628 339.30/319.72 o 387725228 339.30/319.73 o 387725211 339.30/319.74 o 387725201 339.30/319.77 o 387706828 339.30/319.78 o 387706818 339.30/319.79 o 387688438 339.40/319.81 o 387688425 339.40/319.82 o 387688418 339.40/319.83 o 387670019 339.40/319.86 o 387651639 340.21/320.63 o 387614816 340.21/320.63 o 387596425 340.21/320.64 o 387596416 340.21/320.65 o 387578017 340.21/320.65 o 387559617 340.21/320.67 o 387541233 340.21/320.67 o 387541224 340.21/320.68 o 387541217 340.31/320.72 o 387522817 340.31/320.76 o 387522815 340.31/320.77 o 387522814 340.31/320.77 o 387522807 340.41/320.82 o 387504436 340.41/320.83 o 387504427 340.41/320.85 o 387504408 340.41/320.86 o 387504407 340.41/320.89 o 387486026 340.51/320.93 o 387486022 340.51/320.94 o 387486014 340.51/320.95 o 387486007 340.62/321.04 o 387485997 340.62/321.05 o 387467607 340.62/321.08 o 387449207 341.52/321.96 o 387430835 341.52/321.96 o 387430825 341.52/321.97 o 387430818 341.52/321.99 o 387430815 341.52/322.00 o 387412415 341.63/322.01 o 387412408 341.63/322.05 o 387412405 341.63/322.06 o 387394022 341.63/322.07 o 387394015 341.63/322.08 o 387394008 341.73/322.19 o 387394007 341.82/322.20 o 387394000 341.92/322.35 o 387393998 341.92/322.37 o 387375634 341.92/322.38 o 387375627 341.92/322.39 o 387375608 342.02/322.48 o 387375607 342.02/322.49 o 387375598 342.12/322.50 o 387357198 342.83/323.26 o 387357195 342.83/323.27 o 387357187 342.83/323.28 o 387357178 342.93/323.36 o 387357177 343.03/323.49 o 387357175 343.03/323.50 o 387357174 343.13/323.51 o 387357167 343.13/323.52 o 387338784 343.13/323.53 o 387338777 343.23/323.65 o 387320407 343.23/323.66 o 387320398 343.23/323.68 o 387320388 343.33/323.70 o 387320387 346.13/326.54 o 387320386 346.13/326.55 o 387320378 346.13/326.56 o 387320368 347.29/327.63 o 387301988 347.29/327.64 o 387301978 347.29/327.65 o 387301968 347.50/327.87 o 387283593 347.50/327.88 o 387283583 347.50/327.89 o 387283576 347.50/327.90 o 387283568 347.81/328.11 o 387265178 348.60/328.96 o 387265168 348.81/329.17 o 387246802 348.81/329.17 o 387246792 348.81/329.18 o 387246782 348.81/329.19 o 387246772 350.16/330.45 o 387228400 350.16/330.46 o 387228391 350.26/330.50 o 387210006 350.26/330.51 o 387209999 350.26/330.53 o 387209991 350.26/330.58 o 387209989 350.26/330.59 o 387191598 350.36/330.60 o 387191591 351.27/331.59 o 387173235 351.37/331.60 o 387173226 351.37/331.61 o 387173217 351.37/331.61 o 387173210 351.47/331.74 o 387173208 351.47/331.77 o 387173207 351.47/331.77 o 387173200 351.57/331.82 o 387154807 351.57/331.83 o 387154800 351.57/331.88 o 387154797 351.57/331.89 o 387154790 352.57/332.89 o 387136426 352.57/332.89 o 387136417 352.67/332.90 o 387136408 352.67/332.93 o 387136400 352.97/333.21 o 387118024 352.97/333.22 o 387118015 352.97/333.23 o 387118014 352.97/333.24 o 387118007 352.97/333.25 o 387118000 354.07/334.39 o 387099623 354.17/334.40 o 387099614 1131.12/1110.08 o 387099565 1131.12/1110.09 o 387099556 1131.22/1110.12 o 387099552 1131.22/1110.15 o 387099542 1131.31/1110.20 o 387081161 1131.31/1110.20 o 387081152 1131.31/1110.22 o 387081151 1131.31/1110.25 o 387081134 1131.31/1110.29 o 387062752 1131.31/1110.30 o 387062743 1131.41/1110.30 o 387062734 1131.41/1110.33 o 387062730 1131.41/1110.34 o 387062720 1131.41/1110.39 o 387044340 1131.41/1110.39 o 387044331 1131.51/1110.43 o 387025931 1131.51/1110.45 o 387025921 1131.51/1110.46 o 387007520 1131.61/1110.56 o 387007516 1131.61/1110.57 o 387007515 1131.61/1110.58 o 387007511 1131.81/1110.75 o 386989130 1131.81/1110.77 o 386952330 1131.81/1110.79 o 386952320 1131.92/1110.80 o 386952311 1132.72/1111.61 o 386933941 1132.72/1111.64 o 386933920 1132.82/1111.80 o 386933916 1132.92/1111.81 o 386933912 1133.12/1112.09 o 386933907 1133.22/1112.14 o 386933903 1133.82/1112.73 o 386933899 1133.82/1112.74 o 386915511 1164.59/1143.41 o 386915510 1166.59/1145.42 o 386915501 1170.30/1149.11 o 386915500 1170.30/1149.13 o 386915491 1180.10/1158.90 o 386915490 1197.96/1176.74 o 386897154 1197.96/1176.74 o 386897144 1197.96/1176.75 o 386897138 1197.96/1176.76 o 386878739 1197.96/1176.77 o 386860349 1197.96/1176.78 o 386860348 1198.16/1176.97 o 386860339 1198.16/1176.98 o 386841949 1198.16/1176.98 o 386841948 1202.67/1181.44 o 386823549 1202.67/1181.45 o 386823548 1204.28/1183.02 o 386823546 1207.28/1186.10 o 386823544 1207.38/1186.11 o 386823542 1210.01/1188.71 o 386805154 1210.11/1188.83 o 386786764 1210.11/1188.83 o 386786754 1695.81/1673.53 o 386768380 1695.81/1673.54 o 386768373 1695.81/1673.55 o 386768372 1756.10/1733.62 o 386750016 1756.10/1733.63 o 386750009 1756.10/1733.63 o 386750002 1791.67/1769.12 o 386750000 1791.67/1769.13 o 386749993 1791.67/1769.13 o 386749992 1795.80/1773.25 o 386749983 1795.80/1773.26 o 386749982 1796.00/1773.41 o 386731602 1796.00/1773.42 o 386731592 1848.85/1826.14 o 386731587 1852.49/1829.72 o 386713198 1852.49/1829.73 o 386694807 1852.49/1829.74 o 386694797 2520.08/2492.70 s SATISFIABLE 2520.08/2492.71 v <instantiation> 2520.08/2492.71 v <list> 2520.08/2492.71 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] 2520.08/2492.71 v </list> 2520.08/2492.71 v <values> 2520.08/2492.71 v 2436 2220 2320 2760 2508 2720 2572 2228 2492 2296 2724 2796 2368 2372 2512 2364 2624 2420 2632 2444 2464 2800 2412 2588 2800 2740 2340 2756 2592 2760 2784 2748 2764 2596 2512 2772 2640 2264 2300 2616 2788 2504 2448 2428 2596 2428 2452 2220 2344 2632 2260 2504 2268 2220 2228 2512 2456 2680 2548 2656 2304 2548 2408 2760 2388 2780 2720 2456 2456 2800 2600 2732 2396 2492 2732 2308 2612 2220 2428 2468 2500 2652 2320 2428 2436 2724 2400 2772 2784 2644 2744 2684 2736 2260 2300 2268 2764 2484 2496 2672 2704 2416 2684 2556 2532 2468 2688 2256 2792 2532 2384 2592 2460 2264 2508 2284 2340 2760 2800 2820 2696 2748 2548 2224 2676 2348 2268 2776 2336 2300 2492 2476 2496 2640 2476 2780 2224 2760 2636 2376 2680 2404 2588 2532 2764 2452 2780 2324 2508 2280 2800 2448 2472 2760 2384 2616 2724 2780 2816 2544 2440 2484 2468 2632 2640 2588 2744 2468 2456 2244 2500 2532 2776 2600 2556 2800 2424 2680 2428 2776 2408 2476 2408 2672 2572 2264 2456 2420 2228 2444 2308 2428 2656 2760 2800 2448 2652 2644 2468 2776 2672 2404 2780 2460 2804 2640 2280 2820 2460 2284 2364 2596 2268 2612 2744 2460 2708 2416 2260 2680 2412 2468 2632 2736 2728 2572 2656 2552 2816 2468 2820 2408 2340 2800 2636 2692 2500 2460 2436 2436 2448 2740 2532 2472 2604 2820 2424 2516 2780 2760 2492 2476 2752 2328 2384 2472 2664 2260 2496 2468 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 11 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 10 0 4 0 10 10 0 0 0 0 10 10 10 10 0 10 0 0 10 0 10 0 10 10 10 0 10 10 10 0 0 0 10 0 10 10 10 10 0 10 0 10 10 10 0 0 0 10 0 10 10 10 0 10 10 0 0 0 10 10 0 0 0 0 10 10 10 0 10 0 0 10 10 0 10 10 0 10 10 10 10 0 0 0 0 10 0 0 0 10 0 0 0 10 10 10 10 10 10 0 10 10 0 0 0 0 10 0 7 10 10 10 10 10 10 10 10 10 0 10 0 10 0 0 0 10 10 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 10 10 10 10 10 9 10 0 0 10 0 0 10 0 0 0 10 0 0 9 0 0 0 0 0 0 0 10 10 10 10 10 0 10 0 10 10 10 10 0 0 0 0 10 10 0 10 10 0 0 0 10 0 0 0 10 10 0 10 0 0 10 10 10 0 10 10 10 0 0 0 10 10 10 10 10 0 10 10 10 10 0 0 10 10 0 10 0 10 0 10 0 0 0 0 10 0 10 0 0 10 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 10 10 10 0 0 10 10 0 0 10 10 10 10 10 0 0 0 0 0 10 0 10 0 0 10 10 10 0 0 0 10 0 0 0 10 0 10 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 10 0 10 10 10 0 10 10 0 0 10 0 10 0 0 10 0 10 0 10 10 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 0 0 10 10 9 10 0 0 10 10 10 0 0 0 10 0 10 0 10 10 0 10 0 0 10 0 0 10 10 10 10 10 0 0 10 10 0 10 10 10 0 10 0 10 0 10 10 10 0 0 0 10 10 10 0 0 10 0 0 10 0 10 0 10 0 10 0 10 0 0 0 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 10 0 0 10 10 10 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 0 0 10 0 0 10 0 10 10 10 10 10 0 10 0 0 10 10 0 0 10 0 0 0 10 10 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 4 10 0 0 10 0 10 10 0 0 0 0 0 10 10 10 10 10 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 10 0 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 10 10 10 10 0 0 10 0 10 0 10 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 10 10 0 0 0 10 10 0 0 10 10 0 0 0 10 10 0 10 0 10 0 0 0 10 0 10 10 10 0 10 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 10 0 0 10 0 10 0 0 0 10 0 10 0 0 10 10 10 10 10 0 0 0 10 0 10 10 0 0 0 10 10 10 0 0 10 0 9 0 10 10 10 10 0 10 10 0 10 10 10 0 0 0 10 0 0 10 0 10 0 0 0 10 10 0 10 0 0 0 10 0 10 10 0 0 10 0 0 10 10 10 0 0 0 0 10 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 10 10 0 0 10 0 0 0 0 10 10 10 0 10 10 0 0 0 0 10 0 0 10 0 0 10 10 0 0 10 10 10 10 0 0 0 0 10 10 0 0 10 0 0 0 10 10 0 10 10 10 0 10 0 10 0 10 0 10 0 10 10 0 10 0 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 8 0 10 0 0 0 0 10 10 0 0 10 10 10 0 10 10 10 0 10 0 10 10 10 10 10 0 0 0 0 10 10 0 10 0 0 0 0 10 10 8 10 0 10 0 0 0 10 10 10 0 10 0 10 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 10 0 10 10 10 10 10 0 0 10 0 10 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 10 10 0 10 0 10 10 0 0 0 10 10 0 10 0 10 0 0 0 10 10 10 10 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 10 0 10 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 10 10 0 10 10 10 0 10 0 10 10 10 10 0 10 10 10 10 10 0 0 10 0 0 10 0 0 10 10 0 10 10 10 0 0 10 10 10 0 0 10 0 0 0 10 10 0 0 10 0 10 0 10 0 10 0 10 0 0 10 10 10 0 10 0 0 10 10 0 10 10 0 0 0 10 10 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 10 10 0 0 0 10 0 10 10 0 0 10 10 0 10 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 10 10 0 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 0 10 0 10 0 10 10 0 10 10 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 0 0 0 10 10 10 10 0 0 9 0 0 10 0 10 10 10 10 0 0 0 0 10 0 0 10 10 0 10 0 10 0 10 0 0 10 0 0 10 0 10 10 0 0 0 10 0 0 0 10 10 0 10 0 10 10 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 10 10 0 10 0 10 0 10 10 0 0 10 10 10 0 0 0 10 0 0 10 10 10 0 10 0 10 10 10 10 10 0 0 0 10 10 10 0 0 10 0 10 0 0 0 0 0 0 0 10 10 0 10 10 10 10 10 0 10 10 0 0 10 10 10 0 10 0 10 0 0 10 10 0 10 10 10 10 0 0 0 0 0 0 10 10 0 10 10 0 0 10 0 0 0 10 0 0 10 0 0 10 0 10 10 10 0 10 0 10 0 0 10 10 0 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 0 10 0 10 0 0 0 10 0 10 10 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 0 10 10 10 10 0 10 0 0 10 0 10 0 0 0 10 0 0 0 10 10 10 10 0 10 10 0 10 0 0 10 0 0 0 0 10 0 10 10 10 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 0 10 10 10 10 0 10 10 10 0 0 0 10 0 10 0 10 0 10 10 0 0 10 10 0 0 10 0 0 10 10 0 0 10 0 10 10 10 10 0 0 0 10 0 10 10 10 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 10 10 0 10 10 0 0 10 0 10 10 10 10 10 10 0 0 10 10 0 0 0 0 10 0 0 0 10 0 10 0 0 0 10 10 0 0 10 10 10 0 0 0 10 10 10 10 0 10 0 0 0 10 0 0 0 0 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 0 0 10 10 3 0 10 10 0 10 10 10 10 10 0 10 0 0 10 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 10 10 10 10 0 0 0 0 10 10 0 10 0 0 10 0 0 0 0 10 0 10 0 0 0 0 10 10 10 0 0 10 10 0 10 0 10 10 0 10 0 10 0 0 0 0 0 0 10 0 0 10 10 10 0 0 10 10 0 10 0 10 10 0 10 0 0 10 10 0 0 7 0 0 10 10 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 0 10 10 10 0 10 10 0 0 10 0 10 0 10 10 10 0 10 0 1 0 304 160 92 164 336 208 308 136 96 24 384 12 32 384 324 560 264 336 288 476 184 596 220 352 8 580 240 332 384 600 560 92 172 124 360 440 292 108 272 28 108 372 148 20 340 228 56 248 280 80 264 240 56 228 252 296 172 228 148 44 456 0 284 460 44 36 456 40 228 80 120 56 16 380 272 116 204 248 224 80 208 272 144 208 172 156 96 248 56 396 200 180 492 548 248 424 220 96 124 232 272 292 224 184 252 152 308 500 320 76 24 236 392 236 452 72 196 200 384 464 88 304 108 140 32 296 56 76 296 500 76 316 52 264 440 16 56 36 464 228 200 196 400 488 348 16 8 336 320 4 396 148 404 376 424 224 108 432 448 100 284 244 148 376 416 152 104 392 104 104 48 84 36 144 96 88 448 408 28 68 100 224 104 128 44 80 292 184 416 36 104 140 88 40 84 276 80 96 48 452 128 112 176 12 156 152 216 32 340 112 20 128 236 352 160 152 56 96 136 252 24 400 40 8 12 204 0 32 40 100 148 124 0 40 0 60 120 296 340 224 56 280 28 88 304 176 336 356 88 228 136 32 24 4 124 200 36 240 172 216 296 208 180 4 176 4 80 44 348 372 28 536 344 0 416 220 144 24 104 56 332 64 368 96 132 368 332 348 160 160 136 132 368 268 188 328 56 156 132 280 160 128 180 92 184 372 0 68 308 292 308 304 424 212 0 392 92 228 0 340 32 332 284 284 312 68 56 476 8 404 232 268 268 264 108 172 120 96 396 40 136 160 388 352 4 8 252 300 24 12 488 472 208 116 76 308 288 156 416 4 280 24 80 88 184 140 60 184 40 164 120 104 20 16 344 228 212 356 56 172 260 312 20 524 236 316 500 444 16 556 56 316 376 336 360 200 16 272 424 92 256 336 460 124 288 176 232 308 40 400 52 128 328 176 92 200 164 224 152 128 208 44 124 156 124 104 168 84 84 172 172 248 144 252 64 324 428 36 68 516 296 12 12 92 96 300 316 68 136 8 380 192 516 440 196 84 188 324 336 212 308 192 140 4 268 340 252 204 4 480 84 176 516 108 156 500 116 356 40 336 28 20 16 124 200 24 108 168 196 20 40 184 164 48 296 44 488 4 296 44 288 364 116 520 44 36 404 76 76 12 36 268 100 300 188 44 160 184 196 84 188 368 152 352 8 328 372 124 188 12 120 28 40 40 72 28 228 332 392 324 168 184 140 196 148 136 260 84 184 168 16 148 124 208 84 292 304 304 0 40 128 332 80 184 144 4 352 180 204 44 160 232 272 68 28 24 192 180 364 20 368 0 436 40 256 560 104 252 336 580 188 256 200 88 192 436 308 440 456 332 212 80 116 400 176 48 8 164 100 144 176 172 188 168 128 372 424 224 200 248 500 144 284 180 224 208 420 4 32 516 500 232 152 76 220 244 120 88 180 276 60 196 92 128 312 164 28 176 120 412 0 412 200 536 436 84 392 504 464 560 104 540 336 200 224 88 192 532 264 248 372 268 36 88 20 84 16 104 304 32 144 288 140 232 224 44 36 236 44 320 12 176 212 100 12 348 48 32 272 180 4 0 84 436 120 396 128 272 420 184 224 164 128 56 92 132 76 108 92 272 264 280 288 208 124 220 52 76 336 48 432 124 332 100 236 212 372 244 160 84 428 476 24 420 228 496 156 132 456 192 140 64 80 128 144 64 128 120 96 124 132 116 188 124 152 228 392 64 0 4 396 52 204 28 372 228 168 212 492 16 120 20 216 516 228 352 292 148 260 336 244 500 80 384 376 164 88 104 64 120 108 32 80 392 292 304 364 496 20 232 16 328 0 496 80 36 48 188 80 244 84 292 68 252 168 228 40 200 344 108 132 324 12 116 196 176 364 48 148 136 288 228 76 52 72 288 12 76 216 188 12 20 296 196 332 36 304 104 212 556 24 188 136 204 100 84 124 276 144 28 292 340 220 64 0 60 396 12 200 312 52 160 296 260 96 196 48 56 12 32 344 424 384 184 64 8 236 268 116 68 24 188 140 248 260 412 28 28 84 80 48 72 320 324 392 232 272 48 452 468 508 324 436 152 116 168 444 80 144 264 104 12 44 164 208 196 204 96 336 44 580 456 256 280 580 432 248 332 600 120 356 172 332 120 212 160 80 120 244 12 40 44 168 296 280 8 40 4 16 12 188 104 140 200 4 32 48 60 100 244 64 120 96 204 404 60 28 52 460 96 4 40 100 124 148 92 28 344 256 64 48 40 204 64 204 20 44 168 240 324 208 176 136 80 324 464 456 44 56 400 304 280 76 80 256 312 232 132 380 380 76 20 92 28 272 12 416 92 88 36 156 216 120 28 192 308 196 344 196 316 284 356 376 556 500 40 348 268 456 116 168 4 116 188 280 144 168 212 56 112 108 416 108 224 12 208 280 176 96 420 88 248 356 480 24 56 456 92 264 36 64 208 272 340 296 184 48 152 556 464 36 460 448 376 372 504 160 32 232 192 16 428 136 532 508 4 12 192 192 80 480 424 16 232 132 520 264 124 212 380 24 200 212 60 44 0 60 220 292 204 112 24 100 240 52 280 144 36 12 252 176 324 184 232 0 84 88 428 116 100 268 108 16 64 256 236 172 280 276 248 36 232 76 236 44 332 32 8 60 256 44 240 60 64 208 216 240 72 344 224 152 260 188 124 224 244 88 84 88 88 148 56 76 228 84 244 32 44 188 212 8 28 156 464 212 156 228 228 544 212 520 396 148 4 12 12 140 332 100 356 12 408 56 56 12 228 128 148 288 208 396 232 360 188 116 76 92 368 228 156 44 224 20 88 124 132 160 48 84 20 196 316 180 0 24 200 228 140 324 516 196 472 212 224 188 104 36 68 24 244 280 268 88 48 252 248 516 260 20 56 492 176 536 44 408 336 136 384 340 420 72 232 192 132 12 412 288 40 128 124 96 316 0 148 120 324 472 348 352 128 320 304 200 164 256 468 24 108 412 436 56 368 480 372 72 92 132 164 196 80 104 96 228 132 76 364 160 592 320 200 580 44 236 576 468 212 36 220 100 4 200 268 272 44 52 176 184 120 104 152 184 72 404 120 512 364 160 140 152 40 404 468 460 532 320 24 412 224 340 448 336 200 476 460 272 520 336 288 40 24 40 164 0 344 136 40 12 304 40 76 52 108 176 200 0 28 300 108 164 96 208 304 324 128 4 500 40 208 124 440 116 456 448 236 188 348 556 528 172 516 228 60 312 232 140 168 24 4 296 28 304 440 220 280 92 256 452 24 148 72 140 340 176 252 372 124 192 56 416 144 172 104 344 232 248 192 164 268 120 72 72 196 124 60 64 280 24 248 44 220 348 368 304 472 136 312 372 284 436 232 120 88 308 292 240 248 148 72 32 464 144 148 0 292 156 556 0 340 532 332 20 340 192 8 20 372 52 48 60 128 304 172 12 124 140 4 280 304 532 52 244 120 268 108 28 184 160 212 144 124 124 76 300 304 288 96 124 36 44 144 248 284 316 16 144 356 556 104 316 232 264 52 84 84 276 284 44 232 132 176 320 160 156 340 180 260 28 196 220 256 112 24 336 332 24 140 388 144 48 176 148 172 172 216 184 136 164 172 184 380 172 164 120 188 180 172 224 156 268 308 132 204 64 144 0 188 352 72 232 72 300 32 64 204 352 368 84 300 56 132 140 160 248 88 152 140 144 180 260 0 332 336 376 396 208 84 356 48 272 352 4 32 204 0 144 168 48 168 344 8 16 4 248 144 28 88 132 412 56 120 288 304 40 208 36 512 332 196 236 556 160 212 4 8 224 340 220 8 48 396 572 548 136 300 32 292 372 296 88 160 28 508 168 300 40 392 264 252 60 88 240 0 52 116 292 32 60 260 300 108 372 296 352 236 392 176 92 144 208 40 116 108 8 56 496 316 120 516 404 16 200 64 416 32 376 360 440 12 36 148 180 540 480 20 112 352 184 300 268 316 44 152 136 60 224 172 424 180 116 144 188 112 168 328 8 112 360 72 208 448 8 432 164 180 404 188 84 332 8 32 292 184 168 304 300 268 72 52 40 144 156 8 268 92 324 352 292 8 128 392 332 16 148 60 176 196 72 204 156 24 56 144 212 60 60 92 72 432 96 2520.08/2492.71 v </values> 2520.08/2492.71 v </instantiation>
OK 386694797
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 (10779 MiB free) memory of node 1: 16384 MiB (11231 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312078-1534551053/watcher-4312078-1534551053 -o /tmp/evaluation-result-4312078-1534551053/solver-4312078-1534551053 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534541041-5719 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1961337936 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312078-1534551053.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=6939, runsolver pid=6936 Current StackSize limit: 8192 KiB [startup+0.100139 s]* /proc/loadavg: 1.77 1.45 1.42 3/215 6954 /proc/meminfo: memFree=22506080/32770624 swapFree=67108524/67108860 [pid=6939] ppid=6936 vsize=14082736 memory=30676 CPUtime=0.12 cores=1,3,5,7 /proc/6939/stat : 6939 (java) S 6936 6939 5687 0 -1 1077944320 6567 0 0 0 11 1 0 0 20 0 15 0 272668517 14420721664 7669 33554432000 4194304 4196468 140736247000192 140736246982736 139678548872951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 /proc/6939/statm: 3520684 7669 3152 1 0 3482761 0 [pid=6939/tid=6941] ppid=6936 vsize=14082736 memory=-8536111821753251008 CPUtime=0.09 cores=1,3,5,7 /proc/6939/task/6941/stat : 6941 (java) R 6936 6939 5687 0 -1 4202560 4615 0 0 0 8 1 0 0 20 0 15 0 272668517 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678553111840 139678532953438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6942] ppid=6936 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6942/stat : 6942 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678511979280 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6943] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6943/stat : 6943 (java) S 6936 6939 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678143671184 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6944] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6944/stat : 6944 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678142618640 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6945] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6945/stat : 6945 (java) S 6936 6939 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678141566096 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6946] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6946/stat : 6946 (java) S 6936 6939 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668519 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678022985712 139678548884098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6947] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6947/stat : 6947 (java) S 6936 6939 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668520 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678021931936 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6948] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6948/stat : 6948 (java) S 6936 6939 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668520 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678020879344 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6949] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6949/stat : 6949 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668522 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678019827920 139678548891547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6950] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6950/stat : 6950 (java) S 6936 6939 5687 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 272668522 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678018775536 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6951] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6951/stat : 6951 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668522 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678017722992 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6952] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0.01 cores=1,3,5,7 /proc/6939/task/6952/stat : 6952 (java) S 6936 6939 5687 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 272668522 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678016670448 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6953] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6953/stat : 6953 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668523 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678015618144 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6954] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6954/stat : 6954 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668523 14420721664 7669 33554432000 4194304 4196468 140736247000192 139678014564656 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 30676 KiB [startup+0.211345 s]* /proc/loadavg: 1.77 1.45 1.42 5/215 6954 /proc/meminfo: memFree=22473820/32770624 swapFree=67108524/67108860 [pid=6939] ppid=6936 vsize=14082736 memory=47056 CPUtime=0.3 cores=1,3,5,7 /proc/6939/stat : 6939 (java) S 6936 6939 5687 0 -1 1077944320 10410 0 0 0 28 2 0 0 20 0 15 0 272668517 14420721664 11764 33554432000 4194304 4196468 140736247000192 140736246982736 139678548872951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 /proc/6939/statm: 3520684 11764 3372 1 0 3482761 0 [pid=6939/tid=6941] ppid=6936 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7 /proc/6939/task/6941/stat : 6941 (java) R 6936 6939 5687 0 -1 4202560 8107 0 0 0 18 1 0 0 20 0 15 0 272668517 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678553095760 139678532953438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6942] ppid=6936 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6942/stat : 6942 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678511979280 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6943] ppid=6936 vsize=14082736 memory=140528973021849 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6943/stat : 6943 (java) S 6936 6939 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678143671184 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6944] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6944/stat : 6944 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678142618640 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6945] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6945/stat : 6945 (java) S 6936 6939 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678141566096 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6946] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6946/stat : 6946 (java) S 6936 6939 5687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 272668519 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678022985712 139678548884098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6947] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6947/stat : 6947 (java) S 6936 6939 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668520 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678021931936 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6948] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6948/stat : 6948 (java) S 6936 6939 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668520 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678020879344 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6949] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6949/stat : 6949 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668522 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678019827920 139678548891547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6950] ppid=6936 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/6939/task/6950/stat : 6950 (java) R 6936 6939 5687 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 15 0 272668522 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678018775536 139678548884098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6951] ppid=6936 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7 /proc/6939/task/6951/stat : 6951 (java) R 6936 6939 5687 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 272668522 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678017722992 139678528090688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6952] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0.05 cores=1,3,5,7 /proc/6939/task/6952/stat : 6952 (java) R 6936 6939 5687 0 -1 4202560 324 0 0 0 5 0 0 0 20 0 15 0 272668522 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678016669552 139678527857787 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6953] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6953/stat : 6953 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668523 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678015618144 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6954] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6954/stat : 6954 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668523 14420721664 11764 33554432000 4194304 4196468 140736247000192 139678014564656 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 47056 KiB [startup+0.310392 s]* /proc/loadavg: 1.77 1.45 1.42 4/215 6954 /proc/meminfo: memFree=22453388/32770624 swapFree=67108524/67108860 [pid=6939] ppid=6936 vsize=14082736 memory=50820 CPUtime=0.44 cores=1,3,5,7 /proc/6939/stat : 6939 (java) S 6936 6939 5687 0 -1 1077944320 10825 0 0 0 41 3 0 0 20 0 15 0 272668517 14420721664 12654 33554432000 4194304 4196468 140736247000192 140736246982736 139678548872951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 /proc/6939/statm: 3520684 12705 3384 1 0 3482761 0 [pid=6939/tid=6941] ppid=6936 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7 /proc/6939/task/6941/stat : 6941 (java) R 6936 6939 5687 0 -1 4202560 8472 0 0 0 28 2 0 0 20 0 15 0 272668517 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678553062224 139678532059742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6942] ppid=6936 vsize=14082736 memory=290763883793350679 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6942/stat : 6942 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678511979280 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6943] ppid=6936 vsize=14082736 memory=15961643209483928 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6943/stat : 6943 (java) S 6936 6939 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678143671184 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6944] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6944/stat : 6944 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678142618640 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6945] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6945/stat : 6945 (java) S 6936 6939 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668518 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678141566096 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6946] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6946/stat : 6946 (java) S 6936 6939 5687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 272668519 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678022985712 139678548884098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6947] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6947/stat : 6947 (java) S 6936 6939 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668520 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678021931936 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6948] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6948/stat : 6948 (java) S 6936 6939 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668520 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678020879344 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6949] ppid=6936 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6949/stat : 6949 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668522 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678019827920 139678548891547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6950] ppid=6936 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/6939/task/6950/stat : 6950 (java) S 6936 6939 5687 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 272668522 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678018775536 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6951] ppid=6936 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/6939/task/6951/stat : 6951 (java) S 6936 6939 5687 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 272668522 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678017722992 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6952] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0.08 cores=1,3,5,7 /proc/6939/task/6952/stat : 6952 (java) S 6936 6939 5687 0 -1 1077944384 345 0 0 0 8 0 0 0 20 0 15 0 272668522 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678016670448 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6953] ppid=6936 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6953/stat : 6953 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668523 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678015618144 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6954] ppid=6936 vsize=14082736 memory=140528973014656 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6954/stat : 6954 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668523 14420721664 12705 33554432000 4194304 4196468 140736247000192 139678014564656 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 50820 KiB [startup+0.700783 s] /proc/loadavg: 1.77 1.45 1.42 3/215 6954 /proc/meminfo: memFree=22408848/32770624 swapFree=67108524/67108860 [pid=6939] ppid=6936 vsize=14084804 memory=88676 CPUtime=0.98 cores=1,3,5,7 /proc/6939/stat : 6939 (java) S 6936 6939 5687 0 -1 1077944320 17596 0 0 0 94 4 0 0 20 0 15 0 272668517 14422839296 22169 33554432000 4194304 4196468 140736247000192 140736246982736 139678548872951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 /proc/6939/statm: 3521201 22169 3490 1 0 3483273 0 [pid=6939/tid=6941] ppid=6936 vsize=14084804 memory=1740 CPUtime=0.67 cores=1,3,5,7 /proc/6939/task/6941/stat : 6941 (java) R 6936 6939 5687 0 -1 4202560 14916 0 0 0 64 3 0 0 20 0 15 0 272668517 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678553095552 139678532953438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6942] ppid=6936 vsize=14084804 memory=11192 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6942/stat : 6942 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668518 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678511979280 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6943] ppid=6936 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6943/stat : 6943 (java) S 6936 6939 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668518 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678143671184 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6944] ppid=6936 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6944/stat : 6944 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668518 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678142618640 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6945] ppid=6936 vsize=14084804 memory=1120 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6945/stat : 6945 (java) S 6936 6939 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668518 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678141566096 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6946] ppid=6936 vsize=14084804 memory=6132 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6946/stat : 6946 (java) S 6936 6939 5687 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 272668519 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678022985712 139678548884098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6947] ppid=6936 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6947/stat : 6947 (java) S 6936 6939 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668520 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678021931936 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6948] ppid=6936 vsize=14084804 memory=4004 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6948/stat : 6948 (java) S 6936 6939 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668520 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678020879344 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6949] ppid=6936 vsize=14084804 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6949/stat : 6949 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668522 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678019827920 139678548891547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6950] ppid=6936 vsize=14084804 memory=7881696724453321575 CPUtime=0.08 cores=1,3,5,7 /proc/6939/task/6950/stat : 6950 (java) S 6936 6939 5687 0 -1 1077944384 507 0 0 0 8 0 0 0 20 0 15 0 272668522 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678018775536 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6951] ppid=6936 vsize=14084804 memory=5787213831426565969 CPUtime=0.06 cores=1,3,5,7 /proc/6939/task/6951/stat : 6951 (java) S 6936 6939 5687 0 -1 1077944384 383 0 0 0 6 0 0 0 20 0 15 0 272668522 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678017722992 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6952] ppid=6936 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7 /proc/6939/task/6952/stat : 6952 (java) S 6936 6939 5687 0 -1 1077944384 406 0 0 0 14 0 0 0 20 0 15 0 272668522 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678016670448 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6953] ppid=6936 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6953/stat : 6953 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668523 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678015618144 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6954] ppid=6936 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6954/stat : 6954 (java) S 6936 6939 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668523 14422839296 22169 33554432000 4194304 4196468 140736247000192 139678014564656 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 Current children cumulated CPU time: 0.98 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 88676 KiB [startup+1.50535 s] /proc/loadavg: 1.77 1.45 1.42 5/215 6954 /proc/meminfo: memFree=22095636/32770624 swapFree=67108524/67108860 [pid=6939] ppid=6936 vsize=14086852 memory=426764 CPUtime=3.21 cores=1,3,5,7 /proc/6939/stat : 6939 (java) S 6936 6939 5687 0 -1 1077944320 20224 0 0 0 284 37 0 0 20 0 15 0 272668517 14424936448 106691 33554432000 4194304 4196468 140736247000192 140736246982736 139678548872951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 /proc/6939/statm: 3521713 106691 3564 1 0 3483785 0 [pid=6939/tid=6941] ppid=6936 vsize=14086852 memory=8112282956445269571 CPUtime=1.35 cores=1,3,5,7 /proc/6939/task/6941/stat : 6941 (java) R 6936 6939 5687 0 -1 4202560 15392 0 0 0 127 8 0 0 20 0 15 0 272668517 14424936448 106691 33554432000 4194304 4196468 140736247000192 139678553108800 139678188777544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6942] ppid=6936 vsize=14086852 memory=-8754540793456063680 CPUtime=0.11 cores=1,3,5,7 /proc/6939/task/6942/stat : 6942 (java) S 6936 6939 5687 0 -1 1077944384 152 0 0 0 5 6 0 0 20 0 15 0 272668518 14424936448 106691 33554432000 4194304 4196468 140736247000192 139678511979280 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6943] ppid=6936 vsize=14086852 memory=-2843869621055772062 CPUtime=0.11 cores=1,3,5,7 /proc/6939/task/6943/stat : 6943 (java) S 6936 6939 5687 0 -1 1077944384 145 0 0 0 5 6 0 0 20 0 15 0 272668518 14424936448 106691 33554432000 4194304 4196468 140736247000192 139678143671184 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6944] ppid=6936 vsize=14086852 memory=5450919713671312938 CPUtime=0.11 cores=1,3,5,7 /proc/6939/task/6944/stat : 6944 (java) S 6936 6939 5687 0 -1 1077944384 175 0 0 0 5 6 0 0 20 0 15 0 272668518 14424936448 106691 33554432000 4194304 4196468 140736247000192 139678142618640 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6945] ppid=6936 vsize=14086852 memory=7005738693937936738 CPUtime=0.11 cores=1,3,5,7 /proc/6939/task/6945/stat : 6945 (java) S 6936 6939 5687 0 -1 1077944384 181 0 0 0 5 6 0 0 20 0 15 0 272668518 14424936448 106691 33554432000 4194304 4196468 140736247000192 139678141566096 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6946] ppid=6936 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6946/stat : 6946 (java) S 6936 6939 5687 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 272668519 14424936448 106691 33554432000 4194304 4196468 140736247000192 139678022985712 139678548884098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 ################ # More data... # ################ /proc/6939/task/6941/stat : 6941 (java) R 6936 6939 5687 0 -1 4202560 191012 0 0 0 237551 70 0 0 20 0 15 0 272668517 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678553110976 139678199343275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6942] ppid=6936 vsize=14090948 memory=2796080 CPUtime=5.65 cores=1,3,5,7 /proc/6939/task/6942/stat : 6942 (java) S 6936 6939 5687 0 -1 1077944384 47517 0 0 0 484 81 0 0 20 0 15 0 272668518 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678511979280 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6943] ppid=6936 vsize=14090948 memory=2934184 CPUtime=5.6 cores=1,3,5,7 /proc/6939/task/6943/stat : 6943 (java) S 6936 6939 5687 0 -1 1077944384 43989 0 0 0 483 77 0 0 20 0 15 0 272668518 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678143671184 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6944] ppid=6936 vsize=14090948 memory=2796080 CPUtime=5.63 cores=1,3,5,7 /proc/6939/task/6944/stat : 6944 (java) S 6936 6939 5687 0 -1 1077944384 47070 0 0 0 485 78 0 0 20 0 15 0 272668518 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678142618640 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6945] ppid=6936 vsize=14090948 memory=2776584 CPUtime=5.64 cores=1,3,5,7 /proc/6939/task/6945/stat : 6945 (java) S 6936 6939 5687 0 -1 1077944384 43026 0 0 0 484 80 0 0 20 0 15 0 272668518 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678141566096 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6946] ppid=6936 vsize=14090948 memory=2782740 CPUtime=0.38 cores=1,3,5,7 /proc/6939/task/6946/stat : 6946 (java) S 6936 6939 5687 0 -1 1077944384 29216 0 0 0 29 9 0 0 20 0 15 0 272668519 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678022985712 139678548884098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6947] ppid=6936 vsize=14090948 memory=2770944 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6947/stat : 6947 (java) S 6936 6939 5687 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 272668520 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678021932000 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6948] ppid=6936 vsize=14090948 memory=2765812 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6948/stat : 6948 (java) S 6936 6939 5687 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 272668520 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678020879360 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6949] ppid=6936 vsize=14090948 memory=2761196 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6949/stat : 6949 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668522 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678019827920 139678548891547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6950] ppid=6936 vsize=14090948 memory=2761196 CPUtime=3.55 cores=1,3,5,7 /proc/6939/task/6950/stat : 6950 (java) S 6936 6939 5687 0 -1 1077944384 12563 0 0 0 353 2 0 0 20 0 15 0 272668522 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678018775536 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6951] ppid=6936 vsize=14090948 memory=164 CPUtime=3.51 cores=1,3,5,7 /proc/6939/task/6951/stat : 6951 (java) S 6936 6939 5687 0 -1 1077944384 11917 0 0 0 349 2 0 0 20 0 15 0 272668522 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678017722992 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6952] ppid=6936 vsize=14090948 memory=7288 CPUtime=1.36 cores=1,3,5,7 /proc/6939/task/6952/stat : 6952 (java) S 6936 6939 5687 0 -1 1077944384 19758 0 0 0 132 4 0 0 20 0 15 0 272668522 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678016670448 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6953] ppid=6936 vsize=14090948 memory=804 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6953/stat : 6953 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668523 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678015618144 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6954] ppid=6936 vsize=14090948 memory=2761196 CPUtime=1.14 cores=1,3,5,7 /proc/6939/task/6954/stat : 6954 (java) S 6936 6939 5687 0 -1 1077944384 2217 0 0 0 54 60 0 0 20 0 15 0 272668523 14429130752 690299 33554432000 4194304 4196468 140736247000192 139678014564656 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 Current children cumulated CPU time: 2408.77 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 2761196 KiB [startup+2442.3 s] /proc/loadavg: 1.49 1.64 1.67 3/216 7027 /proc/meminfo: memFree=18108508/32770624 swapFree=67108524/67108860 [pid=6939] ppid=6936 vsize=14090948 memory=2731956 CPUtime=2469.14 cores=1,3,5,7 /proc/6939/stat : 6939 (java) S 6936 6939 5687 0 -1 1077944320 458896 0 0 0 246456 458 0 0 20 0 15 0 272668517 14429130752 682989 33554432000 4194304 4196468 140736247000192 140736246982736 139678548872951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 /proc/6939/statm: 3522737 682989 3618 1 0 3484809 0 [pid=6939/tid=6941] ppid=6936 vsize=14090948 memory=2732980 CPUtime=2436.05 cores=1,3,5,7 /proc/6939/task/6941/stat : 6941 (java) R 6936 6939 5687 0 -1 4202560 192014 0 0 0 243535 70 0 0 20 0 15 0 272668517 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678553111088 139678199342851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6942] ppid=6936 vsize=14090948 memory=2731956 CPUtime=5.77 cores=1,3,5,7 /proc/6939/task/6942/stat : 6942 (java) S 6936 6939 5687 0 -1 1077944384 49289 0 0 0 496 81 0 0 20 0 15 0 272668518 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678511979280 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6943] ppid=6936 vsize=14090948 memory=2733492 CPUtime=5.72 cores=1,3,5,7 /proc/6939/task/6943/stat : 6943 (java) S 6936 6939 5687 0 -1 1077944384 45721 0 0 0 495 77 0 0 20 0 15 0 272668518 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678143671184 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6944] ppid=6936 vsize=14090948 memory=2934184 CPUtime=5.75 cores=1,3,5,7 /proc/6939/task/6944/stat : 6944 (java) S 6936 6939 5687 0 -1 1077944384 49021 0 0 0 497 78 0 0 20 0 15 0 272668518 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678142618640 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6945] ppid=6936 vsize=14090948 memory=2761196 CPUtime=5.76 cores=1,3,5,7 /proc/6939/task/6945/stat : 6945 (java) S 6936 6939 5687 0 -1 1077944384 45152 0 0 0 496 80 0 0 20 0 15 0 272668518 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678141566096 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6946] ppid=6936 vsize=14090948 memory=2765812 CPUtime=0.41 cores=1,3,5,7 /proc/6939/task/6946/stat : 6946 (java) S 6936 6939 5687 0 -1 1077944384 29768 0 0 0 31 10 0 0 20 0 15 0 272668519 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678022985712 139678548884098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6947] ppid=6936 vsize=14090948 memory=2739648 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6947/stat : 6947 (java) S 6936 6939 5687 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 272668520 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678021932000 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6948] ppid=6936 vsize=14090948 memory=1724 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6948/stat : 6948 (java) S 6936 6939 5687 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 272668520 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678020879360 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6949] ppid=6936 vsize=14090948 memory=2735032 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6949/stat : 6949 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668522 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678019827920 139678548891547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6950] ppid=6936 vsize=14090948 memory=2731956 CPUtime=3.55 cores=1,3,5,7 /proc/6939/task/6950/stat : 6950 (java) S 6936 6939 5687 0 -1 1077944384 12568 0 0 0 353 2 0 0 20 0 15 0 272668522 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678018775536 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6951] ppid=6936 vsize=14090948 memory=2731956 CPUtime=3.51 cores=1,3,5,7 /proc/6939/task/6951/stat : 6951 (java) S 6936 6939 5687 0 -1 1077944384 11922 0 0 0 349 2 0 0 20 0 15 0 272668522 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678017722992 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6952] ppid=6936 vsize=14090948 memory=2732980 CPUtime=1.36 cores=1,3,5,7 /proc/6939/task/6952/stat : 6952 (java) S 6936 6939 5687 0 -1 1077944384 19764 0 0 0 132 4 0 0 20 0 15 0 272668522 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678016670448 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6953] ppid=6936 vsize=14090948 memory=2732468 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6953/stat : 6953 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668523 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678015618144 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6954] ppid=6936 vsize=14090948 memory=1724 CPUtime=1.18 cores=1,3,5,7 /proc/6939/task/6954/stat : 6954 (java) S 6936 6939 5687 0 -1 1077944384 2262 0 0 0 56 62 0 0 20 0 15 0 272668523 14429130752 682989 33554432000 4194304 4196468 140736247000192 139678014564656 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 Current children cumulated CPU time: 2469.14 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 2731956 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2492.7 s] /proc/loadavg: 1.47 1.62 1.66 3/216 7107 /proc/meminfo: memFree=18058724/32770624 swapFree=67108524/67108860 [pid=6939] ppid=6936 vsize=14090948 memory=2715016 CPUtime=2520.08 cores=1,3,5,7 /proc/6939/stat : 6939 (java) S 6936 6939 5687 0 -1 1077944320 465581 0 0 0 251546 462 0 0 20 0 15 0 272668517 14429130752 678754 33554432000 4194304 4196468 140736247000192 140736246982736 139678548872951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 /proc/6939/statm: 3522737 678754 3618 1 0 3484809 0 [pid=6939/tid=6941] ppid=6936 vsize=14090948 memory=2716556 CPUtime=2486.25 cores=1,3,5,7 /proc/6939/task/6941/stat : 6941 (java) R 6936 6939 5687 0 -1 4202560 193095 0 0 0 248554 71 0 0 20 0 15 0 272668517 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678553110864 139678198965016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6942] ppid=6936 vsize=14090948 memory=2720148 CPUtime=5.94 cores=1,3,5,7 /proc/6939/task/6942/stat : 6942 (java) S 6936 6939 5687 0 -1 1077944384 49886 0 0 0 512 82 0 0 20 0 15 0 272668518 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678511979280 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6943] ppid=6936 vsize=14090948 memory=2796080 CPUtime=5.9 cores=1,3,5,7 /proc/6939/task/6943/stat : 6943 (java) S 6936 6939 5687 0 -1 1077944384 47382 0 0 0 512 78 0 0 20 0 15 0 272668518 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678143671184 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6944] ppid=6936 vsize=14090948 memory=0 CPUtime=5.92 cores=1,3,5,7 /proc/6939/task/6944/stat : 6944 (java) S 6936 6939 5687 0 -1 1077944384 50466 0 0 0 514 78 0 0 20 0 15 0 272668518 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678142618640 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6945] ppid=6936 vsize=14090948 memory=2722200 CPUtime=5.93 cores=1,3,5,7 /proc/6939/task/6945/stat : 6945 (java) S 6936 6939 5687 0 -1 1077944384 46740 0 0 0 512 81 0 0 20 0 15 0 272668518 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678141566096 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6946] ppid=6936 vsize=14090948 memory=2718096 CPUtime=0.43 cores=1,3,5,7 /proc/6939/task/6946/stat : 6946 (java) S 6936 6939 5687 0 -1 1077944384 30046 0 0 0 33 10 0 0 20 0 15 0 272668519 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678022985712 139678548884098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6947] ppid=6936 vsize=14090948 memory=2717068 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6947/stat : 6947 (java) S 6936 6939 5687 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 272668520 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678021932000 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6948] ppid=6936 vsize=14090948 memory=2715532 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6948/stat : 6948 (java) S 6936 6939 5687 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 272668520 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678020879360 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6949] ppid=6936 vsize=14090948 memory=2715016 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6949/stat : 6949 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668522 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678019827920 139678548891547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6950] ppid=6936 vsize=14090948 memory=2716556 CPUtime=3.55 cores=1,3,5,7 /proc/6939/task/6950/stat : 6950 (java) S 6936 6939 5687 0 -1 1077944384 12571 0 0 0 353 2 0 0 20 0 15 0 272668522 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678018775536 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6951] ppid=6936 vsize=14090948 memory=2715532 CPUtime=3.51 cores=1,3,5,7 /proc/6939/task/6951/stat : 6951 (java) S 6936 6939 5687 0 -1 1077944384 11924 0 0 0 349 2 0 0 20 0 15 0 272668522 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678017722992 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6952] ppid=6936 vsize=14090948 memory=2715532 CPUtime=1.36 cores=1,3,5,7 /proc/6939/task/6952/stat : 6952 (java) S 6936 6939 5687 0 -1 1077944384 19767 0 0 0 132 4 0 0 20 0 15 0 272668522 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678016670448 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6953] ppid=6936 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6953/stat : 6953 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668523 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678015618144 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6954] ppid=6936 vsize=14090948 memory=2716556 CPUtime=1.2 cores=1,3,5,7 /proc/6939/task/6954/stat : 6954 (java) S 6936 6939 5687 0 -1 1077944384 2289 0 0 0 57 63 0 0 20 0 15 0 272668523 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678014564656 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 Current children cumulated CPU time: 2520.08 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 2715016 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2492.74 s] # the end of solver process 6939 was just reported to runsolver # cumulated CPU time of all completed processes: user=2515.49 s, system=4.64299 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2492.7 s] /proc/loadavg: 1.47 1.62 1.66 3/216 7107 /proc/meminfo: memFree=18058724/32770624 swapFree=67108524/67108860 [pid=6939] ppid=6936 vsize=14090948 memory=2715016 CPUtime=2520.08 cores=1,3,5,7 /proc/6939/stat : 6939 (java) S 6936 6939 5687 0 -1 1077944320 465581 0 0 0 251546 462 0 0 20 0 15 0 272668517 14429130752 678754 33554432000 4194304 4196468 140736247000192 140736246982736 139678548872951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 /proc/6939/statm: 3522737 678754 3618 1 0 3484809 0 [pid=6939/tid=6941] ppid=6936 vsize=14090948 memory=2716556 CPUtime=2486.25 cores=1,3,5,7 /proc/6939/task/6941/stat : 6941 (java) R 6936 6939 5687 0 -1 4202560 193095 0 0 0 248554 71 0 0 20 0 15 0 272668517 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678553110864 139678198965016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6942] ppid=6936 vsize=14090948 memory=2720148 CPUtime=5.94 cores=1,3,5,7 /proc/6939/task/6942/stat : 6942 (java) S 6936 6939 5687 0 -1 1077944384 49886 0 0 0 512 82 0 0 20 0 15 0 272668518 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678511979280 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6943] ppid=6936 vsize=14090948 memory=2796080 CPUtime=5.9 cores=1,3,5,7 /proc/6939/task/6943/stat : 6943 (java) S 6936 6939 5687 0 -1 1077944384 47382 0 0 0 512 78 0 0 20 0 15 0 272668518 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678143671184 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6944] ppid=6936 vsize=14090948 memory=0 CPUtime=5.92 cores=1,3,5,7 /proc/6939/task/6944/stat : 6944 (java) S 6936 6939 5687 0 -1 1077944384 50466 0 0 0 514 78 0 0 20 0 15 0 272668518 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678142618640 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6945] ppid=6936 vsize=14090948 memory=2722200 CPUtime=5.93 cores=1,3,5,7 /proc/6939/task/6945/stat : 6945 (java) S 6936 6939 5687 0 -1 1077944384 46740 0 0 0 512 81 0 0 20 0 15 0 272668518 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678141566096 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6946] ppid=6936 vsize=14090948 memory=2718096 CPUtime=0.43 cores=1,3,5,7 /proc/6939/task/6946/stat : 6946 (java) S 6936 6939 5687 0 -1 1077944384 30046 0 0 0 33 10 0 0 20 0 15 0 272668519 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678022985712 139678548884098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6947] ppid=6936 vsize=14090948 memory=2717068 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6947/stat : 6947 (java) S 6936 6939 5687 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 272668520 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678021932000 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6948] ppid=6936 vsize=14090948 memory=2715532 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6948/stat : 6948 (java) S 6936 6939 5687 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 272668520 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678020879360 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6949] ppid=6936 vsize=14090948 memory=2715016 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6949/stat : 6949 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668522 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678019827920 139678548891547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6950] ppid=6936 vsize=14090948 memory=2716556 CPUtime=3.55 cores=1,3,5,7 /proc/6939/task/6950/stat : 6950 (java) S 6936 6939 5687 0 -1 1077944384 12571 0 0 0 353 2 0 0 20 0 15 0 272668522 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678018775536 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6951] ppid=6936 vsize=14090948 memory=2715532 CPUtime=3.51 cores=1,3,5,7 /proc/6939/task/6951/stat : 6951 (java) S 6936 6939 5687 0 -1 1077944384 11924 0 0 0 349 2 0 0 20 0 15 0 272668522 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678017722992 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6952] ppid=6936 vsize=14090948 memory=2715532 CPUtime=1.36 cores=1,3,5,7 /proc/6939/task/6952/stat : 6952 (java) S 6936 6939 5687 0 -1 1077944384 19767 0 0 0 132 4 0 0 20 0 15 0 272668522 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678016670448 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6953] ppid=6936 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6939/task/6953/stat : 6953 (java) S 6936 6939 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668523 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678015618144 139678548883157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 [pid=6939/tid=6954] ppid=6936 vsize=14090948 memory=2716556 CPUtime=1.2 cores=1,3,5,7 /proc/6939/task/6954/stat : 6954 (java) S 6936 6939 5687 0 -1 1077944384 2289 0 0 0 57 63 0 0 20 0 15 0 272668523 14429130752 678754 33554432000 4194304 4196468 140736247000192 139678014564656 139678548884098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10358784 140736247006280 140736247006473 140736247006473 140736247009231 0 Current children cumulated CPU time: 2520.08 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 2715016 KiB Child status: 143 Real time (s): 2492.74 CPU time (s): 2520.14 CPU user time (s): 2515.49 CPU system time (s): 4.64299 CPU usage (%): 101.099 Max. virtual memory (cumulated for all children) (KiB): 14090948 Max. memory (cumulated for all children) (KiB): 4766708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.49 system time used= 4.64299 maximum resident set size= 4766736 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 468556 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 62836 involuntary context switches= 1552 # summary of solver processes directly reported to runsolver: # pid: 6939 # total CPU time (s): 2520.14 # total CPU user time (s): 2515.49 # total CPU system time (s): 4.64299 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.1417 second user time and 21.136 second system time The end
Begin job on node107 at 2018-08-18 02:10:53 IDJOB=4312078 IDBENCH=141262 IDSOLVER=2799 FILE ID=node107/4312078-1534551053 RUNJOBID= node107-1534541041-5719 PBS_JOBID= 21038640 Free space on /tmp= 54540 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312078-1534551053/watcher-4312078-1534551053 -o /tmp/evaluation-result-4312078-1534551053/solver-4312078-1534551053 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534541041-5719 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1961337936 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312078-1534551053.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a RANDOM SEED=1961337936 node107.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.40 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.40 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.40 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.40 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: 22542580 kB MemAvailable: 30135548 kB Buffers: 242808 kB Cached: 7626116 kB SwapCached: 20 kB Active: 6470388 kB Inactive: 3208564 kB Active(anon): 1783616 kB Inactive(anon): 95204 kB Active(file): 4686772 kB Inactive(file): 3113360 kB Unevictable: 6972 kB Mlocked: 6972 kB SwapTotal: 67108860 kB SwapFree: 67108524 kB Dirty: 126404 kB Writeback: 0 kB AnonPages: 1767944 kB Mapped: 32012 kB Shmem: 66016 kB Slab: 246032 kB SReclaimable: 217344 kB SUnreclaim: 28688 kB KernelStack: 3520 kB PageTables: 8508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3375816 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1624064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 54504 MiB End job on node107 at 2018-08-18 02:52:26