Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-07-02 | SAT (TO) | 387430773 | 2400.1 | 2372.53 |
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.67/0.56 c version: 2018-07-02 0.67/0.56 c seed: 1406388872 0.67/0.56 c timeout: 2400 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 36.86/22.58 c Parsing done, starting search... 104.08/84.20 o 389068385 104.08/84.21 o 389049985 104.08/84.25 o 389049976 104.08/84.27 o 389049971 104.34/84.33 o 389031571 104.34/84.39 o 389013171 104.47/84.44 o 388994771 104.57/84.54 o 388976380 104.57/84.54 o 388976371 104.80/84.76 o 388957980 104.80/84.76 o 388957971 105.04/84.94 o 388921165 105.04/84.95 o 388902765 105.68/85.55 o 388884385 106.19/86.03 o 388865999 106.19/86.04 o 388865990 106.19/86.05 o 388865970 106.19/86.05 o 388865965 107.97/87.73 o 388847575 107.97/87.74 o 388847565 110.17/89.97 o 388829205 110.17/89.98 o 388829199 110.17/90.00 o 388829198 110.28/90.02 o 388810799 110.28/90.03 o 388792399 110.28/90.05 o 388792398 110.28/90.06 o 388773998 110.28/90.08 o 388755599 110.28/90.10 o 388737208 110.38/90.11 o 388737199 110.38/90.13 o 388737194 110.38/90.15 o 388737193 110.38/90.16 o 388718794 110.38/90.18 o 388700394 110.38/90.19 o 388681994 110.47/90.23 o 388681993 110.57/90.31 o 388681989 110.57/90.32 o 388681984 110.57/90.33 o 388663594 110.57/90.38 o 388645207 110.67/90.40 o 388645201 110.67/90.42 o 388645194 111.57/91.32 o 388645184 111.57/91.34 o 388626784 111.57/91.36 o 388608392 111.57/91.37 o 388608384 111.68/91.41 o 388608374 111.68/91.42 o 388589982 111.68/91.43 o 388589974 111.68/91.47 o 388589964 111.78/91.54 o 388589954 111.78/91.58 o 388571562 111.88/91.60 o 388571554 112.99/92.77 o 388553216 113.19/92.95 o 388553214 113.19/92.96 o 388553211 114.19/93.91 o 388553207 114.19/93.92 o 388534807 114.19/93.93 o 388516407 114.19/93.94 o 388516397 114.19/93.96 o 388497997 114.19/93.97 o 388479597 114.19/93.98 o 388461197 114.19/94.00 o 388442797 114.30/94.01 o 388442792 114.30/94.03 o 388424392 114.30/94.04 o 388405992 114.40/94.11 o 388405984 114.40/94.14 o 388387589 114.40/94.15 o 388387584 114.50/94.20 o 388387580 114.50/94.21 o 388369180 114.50/94.23 o 388369175 114.50/94.27 o 388369174 114.50/94.29 o 388369165 116.90/96.60 o 388369164 116.90/96.61 o 388350764 116.90/96.63 o 388332364 116.90/96.69 o 388332356 117.01/96.80 o 388313964 117.11/96.81 o 388313956 117.35/97.04 o 388295575 117.35/97.05 o 388295565 117.35/97.06 o 388295556 120.09/99.70 o 388277210 120.09/99.71 o 388277192 120.09/99.74 o 388277184 120.19/99.85 o 388258792 120.19/99.86 o 388240400 120.29/99.93 o 388240392 120.69/100.37 o 388221992 121.89/101.52 o 388203610 121.89/101.54 o 388203602 123.09/102.75 o 388185218 123.09/102.76 o 388185209 124.37/103.96 o 388166818 124.37/103.98 o 388148422 124.37/103.98 o 388148418 124.37/103.99 o 388148408 124.37/104.01 o 388130018 124.47/104.02 o 388130004 124.47/104.03 o 388130000 124.47/104.04 o 388129990 124.47/104.05 o 388111590 124.47/104.06 o 388093200 124.47/104.08 o 388093192 124.77/104.31 o 388074839 124.77/104.32 o 388074829 124.77/104.32 o 388074811 125.68/105.24 o 388056419 125.68/105.25 o 388056411 125.68/105.26 o 388038011 125.68/105.27 o 388019619 125.68/105.28 o 388019611 130.18/109.75 o 388019610 130.18/109.76 o 388019600 130.18/109.78 o 388019592 130.18/109.79 o 388019582 130.28/109.83 o 388019573 130.28/109.84 o 388001182 130.28/109.85 o 388001174 130.28/109.86 o 387982783 130.38/109.91 o 387964393 130.38/109.92 o 387964392 130.38/109.97 o 387964384 130.38/109.98 o 387945992 130.49/110.03 o 387945984 130.49/110.04 o 387945983 130.79/110.36 o 387945975 164.35/143.78 o 387945974 164.66/144.03 o 387945967 164.66/144.04 o 387945966 164.76/144.12 o 387945964 164.76/144.15 o 387945956 164.76/144.18 o 387927572 164.76/144.19 o 387909182 166.35/145.74 o 387909174 166.35/145.75 o 387909166 166.45/145.81 o 387890782 175.86/155.27 o 387890776 178.46/157.81 o 387872376 178.46/157.83 o 387853976 178.46/157.86 o 387835586 180.46/159.83 o 387835585 180.46/159.84 o 387835576 181.67/161.04 o 387817215 181.67/161.05 o 387817206 181.67/161.06 o 387817196 181.67/161.09 o 387798796 182.86/162.28 o 387798786 182.96/162.33 o 387780394 182.96/162.34 o 387780386 182.96/162.37 o 387761996 183.06/162.41 o 387761986 183.06/162.48 o 387743596 183.06/162.49 o 387743586 184.17/163.52 o 387725239 184.17/163.53 o 387725231 184.17/163.54 o 387725222 184.17/163.55 o 387725212 184.17/163.57 o 387725205 184.17/163.59 o 387706805 184.27/163.63 o 387688413 184.27/163.64 o 387688404 184.27/163.69 o 387670022 184.37/163.70 o 387670014 184.37/163.71 o 387670004 185.57/164.95 o 387651634 185.57/164.96 o 387651633 185.57/164.99 o 387651624 186.78/166.15 o 387651612 186.78/166.16 o 387651604 186.87/166.28 o 387633242 186.87/166.29 o 387633234 186.97/166.30 o 387633224 188.17/167.58 o 387633213 188.17/167.59 o 387633204 188.27/167.63 o 387614814 188.37/167.73 o 387614804 189.37/168.72 o 387596423 189.37/168.73 o 387596422 189.37/168.74 o 387596412 189.37/168.75 o 387578022 189.37/168.77 o 387578012 189.57/168.92 o 387559631 189.57/168.93 o 387559621 189.57/168.94 o 387559612 190.76/170.03 o 387559604 190.76/170.09 o 387559596 193.36/172.69 o 387559575 193.46/172.71 o 387541175 193.56/172.84 o 387541166 193.56/172.86 o 387522775 193.56/172.87 o 387522766 194.06/173.35 o 387522764 194.06/173.36 o 387504373 194.06/173.37 o 387485982 195.16/174.43 o 387485973 195.16/174.44 o 387467573 195.16/174.46 o 387449173 195.26/174.52 o 387449163 195.26/174.53 o 387430773 2400.02/2372.50 s SATISFIABLE 2400.02/2372.51 v <instantiation> 2400.02/2372.51 v <list> 2400.02/2372.51 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] 2400.02/2372.51 v </list> 2400.02/2372.51 v <values> 2400.02/2372.51 v 2436 2776 2780 2760 2564 2640 2648 2760 2428 2624 2724 2760 2280 2360 2424 2220 2664 2508 2632 2248 2468 2724 2448 2548 2720 2744 2592 2800 2672 2756 2800 2748 2764 2692 2508 2768 2632 2332 2552 2616 2788 2428 2672 2496 2612 2488 2492 2620 2352 2632 2660 2496 2800 2760 2228 2512 2476 2544 2588 2776 2292 2576 2420 2524 2600 2440 2584 2452 2524 2796 2624 2728 2704 2484 2720 2240 2384 2220 2468 2524 2508 2220 2320 2428 2456 2640 2224 2760 2800 2356 2760 2600 2648 2816 2596 2368 2772 2288 2484 2616 2308 2412 2680 2572 2536 2456 2280 2664 2776 2688 2444 2588 2468 2264 2440 2348 2340 2756 2796 2544 2816 2656 2544 2224 2632 2280 2284 2608 2340 2300 2532 2496 2476 2664 2508 2244 2256 2756 2652 2380 2672 2260 2584 2524 2780 2408 2680 2308 2512 2820 2796 2380 2384 2760 2392 2632 2732 2780 2696 2536 2264 2488 2508 2632 2628 2616 2348 2448 2516 2220 2716 2388 2736 2588 2616 2564 2420 2680 2560 2780 2780 2476 2712 2672 2648 2296 2712 2696 2244 2448 2328 2468 2656 2756 2796 2420 2424 2720 2480 2492 2592 2436 2504 2468 2820 2628 2360 2400 2676 2260 2476 2656 2268 2608 2760 2656 2616 2752 2260 2668 2400 2468 2656 2740 2240 2576 2672 2548 2452 2428 2284 2380 2556 2800 2592 2260 2464 2424 2664 2468 2820 2740 2388 2468 2396 2640 2484 2472 2784 2764 2428 2432 2736 2320 2460 2472 2624 2800 2516 2472 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 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 1 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 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 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 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 0 10 0 10 0 10 10 0 10 0 0 10 10 10 10 0 10 0 0 10 0 10 0 10 10 10 0 10 10 10 0 0 8 10 0 10 10 10 10 0 10 10 10 10 0 0 0 10 10 0 10 10 0 0 10 10 0 10 0 10 10 0 0 0 0 10 10 10 0 10 0 0 10 10 0 0 10 0 10 10 10 10 0 0 10 0 10 0 0 5 10 0 0 0 10 10 10 10 10 10 0 10 10 0 10 10 0 10 0 0 10 10 10 10 10 0 10 10 10 0 10 0 0 0 10 0 10 0 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 0 10 9 10 0 0 10 0 0 10 0 0 0 10 10 0 0 0 10 0 0 0 10 10 0 10 10 0 0 0 0 0 10 10 10 0 0 10 10 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 10 0 0 0 0 10 0 0 10 0 10 0 10 0 10 10 0 0 10 0 10 0 10 0 10 0 0 10 10 10 0 0 0 0 10 0 0 10 10 10 0 10 10 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 10 10 0 0 10 10 10 10 10 0 10 0 0 10 0 10 10 0 10 10 10 10 10 0 0 10 10 10 0 10 0 10 0 10 10 0 10 10 10 0 10 10 10 10 0 10 0 10 10 0 10 10 10 0 10 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 10 0 0 10 0 10 0 0 10 0 0 10 10 10 10 10 0 0 10 0 0 0 10 10 0 10 0 0 0 10 0 0 10 10 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 10 0 0 0 10 0 10 0 0 10 0 10 0 0 9 10 0 10 0 0 0 10 10 0 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 10 10 0 10 10 0 10 10 10 0 10 10 0 0 0 0 10 0 10 10 0 0 0 10 10 0 0 10 0 10 10 10 10 10 0 0 0 0 10 0 0 10 10 0 0 10 10 10 0 0 0 0 10 10 10 10 10 0 0 0 10 10 10 0 10 0 0 10 0 0 10 0 10 10 10 0 10 10 0 0 0 0 10 10 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 6 10 0 0 0 10 0 0 0 10 10 10 10 0 10 10 10 10 0 0 0 0 10 0 0 10 10 0 10 10 10 10 10 0 0 0 10 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 10 10 0 10 0 10 10 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 0 0 10 0 0 0 10 10 10 10 0 0 0 0 0 0 10 10 0 10 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 10 10 0 0 0 10 0 10 0 0 10 10 10 0 0 0 0 0 0 9 0 10 10 10 0 10 10 0 10 10 0 10 10 10 0 10 10 0 10 0 10 0 0 0 10 10 0 10 10 0 0 0 0 0 10 10 0 10 0 0 10 10 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 10 10 0 10 10 10 0 0 0 10 10 10 10 10 0 0 10 0 10 0 0 0 10 10 0 10 10 0 0 0 10 10 0 0 0 10 0 0 0 10 10 10 10 10 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 10 10 10 10 0 10 0 10 0 0 10 9 10 0 0 0 0 10 10 0 10 0 10 10 0 10 10 0 0 0 10 10 0 0 10 0 10 10 0 10 10 10 10 10 0 10 0 10 10 0 0 10 0 10 0 0 10 0 10 0 0 10 0 0 0 10 10 10 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 10 0 0 10 10 10 0 10 10 10 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 0 0 0 0 10 10 0 10 0 10 10 10 0 0 0 0 0 10 0 10 0 0 0 10 0 10 10 0 10 0 0 10 0 10 0 0 10 0 10 0 0 0 10 0 0 10 0 10 10 10 0 10 10 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 0 10 0 10 0 10 0 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 10 10 10 10 10 0 10 0 10 0 10 10 10 10 0 0 10 0 0 0 10 0 10 0 0 0 10 10 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 0 10 10 10 10 0 10 0 10 10 10 0 9 0 10 10 0 10 0 10 0 10 0 0 0 8 0 10 0 10 0 10 10 0 0 10 10 0 10 0 0 10 0 10 10 0 0 0 0 0 10 10 10 0 0 10 0 10 10 0 0 0 0 10 10 0 0 10 10 0 10 0 10 10 10 10 0 0 0 10 10 0 10 0 0 10 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 10 10 10 10 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 10 10 10 10 10 10 10 10 0 0 0 0 10 0 10 0 0 0 10 0 10 10 0 0 0 10 0 10 0 0 10 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 10 10 10 0 0 10 10 0 0 0 10 0 0 10 10 10 0 0 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 0 0 0 0 0 10 10 10 10 10 0 10 10 0 10 10 10 0 0 0 0 0 10 0 10 0 10 0 0 10 0 10 10 0 0 10 9 10 0 0 10 10 0 10 10 10 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 10 9 10 10 10 10 0 10 0 9 0 0 10 0 0 10 10 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 10 10 10 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 10 0 0 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 7 0 10 10 10 0 0 10 10 10 10 0 10 0 0 0 10 0 10 10 10 10 10 10 10 0 0 10 0 0 10 10 10 10 0 10 0 10 10 0 0 10 10 10 0 10 10 10 10 0 0 0 0 0 10 10 10 0 10 10 0 0 8 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 0 0 10 0 0 0 10 0 0 0 0 0 10 10 10 0 10 0 0 10 0 0 10 0 10 0 0 10 0 0 0 10 10 0 10 10 0 10 10 0 0 10 0 0 0 10 10 0 10 10 0 0 10 0 10 10 10 10 0 10 0 10 10 10 10 10 0 0 10 0 0 0 10 0 10 10 0 10 10 10 10 10 0 10 0 10 0 0 0 10 10 10 10 10 0 10 0 10 0 0 0 0 10 0 0 10 10 0 10 10 0 0 0 0 10 0 0 0 10 10 0 9 0 0 0 0 10 0 0 10 0 10 10 10 10 0 10 10 10 10 10 0 0 0 0 0 10 0 10 0 0 10 10 0 0 10 10 10 10 10 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 0 10 0 10 0 10 10 10 0 10 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 0 10 10 0 10 0 10 10 10 0 10 0 0 10 10 10 0 10 10 0 10 10 10 10 0 10 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 10 10 0 10 0 10 10 0 10 0 10 10 10 10 10 0 10 0 10 0 308 256 84 188 324 80 324 160 252 32 108 56 0 36 328 336 488 204 336 40 516 80 512 128 532 20 120 228 380 136 8 20 352 532 236 256 396 352 192 500 220 520 308 516 64 372 72 96 336 136 196 280 156 256 196 256 104 176 108 16 308 56 184 176 132 40 376 116 108 12 52 148 100 84 180 244 168 168 124 220 428 96 160 208 112 236 172 364 176 96 272 340 176 152 284 336 60 120 188 232 332 372 144 100 332 128 372 136 8 404 304 88 344 64 32 400 92 148 48 136 232 36 188 40 76 228 284 72 296 468 72 56 52 256 464 16 60 40 76 208 148 136 56 520 380 20 60 336 328 80 484 60 480 480 496 308 228 516 416 168 144 328 192 388 428 400 8 412 76 136 52 156 352 116 120 108 280 424 64 24 184 316 44 36 48 28 556 356 220 4 596 36 188 88 160 408 228 248 180 232 208 152 132 280 208 280 116 8 404 76 268 72 268 252 308 224 12 200 108 164 60 108 168 108 128 136 0 8 44 108 48 120 0 40 24 56 104 496 552 512 260 392 164 440 408 36 432 548 140 424 80 152 180 572 80 136 28 160 184 204 292 204 252 0 160 44 8 76 232 256 36 460 208 76 264 184 352 152 208 76 312 48 204 64 372 332 100 308 200 52 56 24 328 228 324 268 140 200 164 220 80 108 168 32 104 224 76 8 236 280 188 244 340 136 156 8 104 144 80 296 24 324 292 220 276 128 64 480 88 404 232 360 276 312 80 80 372 136 56 292 84 124 352 332 44 52 372 324 80 40 432 452 256 136 128 420 352 212 244 36 368 56 160 128 252 48 148 40 16 64 124 20 316 4 344 220 212 496 60 140 40 336 36 140 224 344 452 460 236 556 560 372 420 20 316 172 24 240 440 92 320 268 472 100 256 180 240 248 56 288 312 172 296 76 264 12 64 148 36 184 128 144 224 44 220 108 156 40 80 92 168 248 148 248 312 96 416 120 460 104 260 8 12 56 16 292 324 16 140 24 168 144 108 24 136 52 76 284 256 144 316 380 104 64 56 64 140 140 260 112 108 44 144 160 160 244 200 120 4 40 232 4 8 132 204 28 104 236 80 40 56 184 168 8 304 28 192 12 256 440 72 368 116 520 28 52 328 68 60 56 96 332 8 392 168 4 196 40 316 16 20 24 84 108 40 180 272 96 80 8 92 44 28 12 220 216 160 260 96 240 124 172 88 388 148 144 272 60 168 144 4 148 140 132 24 96 240 232 20 36 84 268 24 120 88 4 296 140 284 72 108 272 148 100 72 24 232 164 40 24 148 140 156 196 112 60 312 236 4 56 160 144 76 292 220 88 132 448 444 280 264 68 116 408 156 88 32 184 244 104 80 188 232 168 132 168 60 372 192 220 96 400 124 396 172 152 20 364 416 168 104 232 280 68 144 320 52 92 188 284 48 168 96 160 44 60 64 176 36 256 432 120 320 20 16 468 376 120 80 80 452 0 144 64 312 432 360 528 304 268 360 288 64 112 28 84 28 120 184 24 144 284 88 152 228 40 8 256 32 132 32 156 256 140 28 344 96 8 124 36 88 128 236 324 20 284 4 164 256 140 172 144 44 56 76 84 204 68 40 188 328 320 328 32 104 268 72 56 456 468 520 96 468 160 80 328 516 376 324 308 436 48 528 440 96 272 384 372 472 224 156 288 120 56 316 88 120 108 144 16 92 48 200 116 244 232 376 36 292 16 400 256 188 48 364 12 64 20 240 84 140 280 12 304 136 188 44 84 60 40 52 276 360 160 172 376 300 68 292 88 220 96 272 96 68 340 136 92 316 104 340 32 340 180 212 16 32 104 212 76 68 116 160 104 36 156 32 212 344 172 132 328 56 196 28 92 168 72 56 204 236 156 0 12 132 176 76 136 148 256 56 140 212 276 272 24 312 20 212 576 16 188 172 80 116 56 116 316 276 24 296 364 340 0 8 112 388 380 340 32 60 152 260 260 220 116 424 296 76 236 36 64 80 244 16 196 180 272 104 64 4 184 172 256 252 400 412 36 24 296 216 100 320 340 164 256 296 64 516 368 456 392 108 416 244 192 496 152 72 104 128 204 272 108 52 368 4 88 352 44 576 412 276 496 576 204 248 328 64 336 332 196 288 76 196 116 44 140 124 284 0 4 72 248 132 16 12 140 36 8 132 52 204 88 24 16 100 244 80 252 40 468 436 600 320 496 40 36 76 64 12 500 376 128 160 80 204 332 252 104 68 80 204 48 228 392 44 88 176 300 264 196 120 16 416 176 356 32 40 332 56 192 156 80 160 240 212 60 20 456 84 472 104 244 368 176 228 204 160 112 128 144 336 0 212 304 216 536 184 352 84 240 20 556 540 40 332 328 480 400 140 308 404 160 120 108 76 72 36 128 168 232 176 132 216 92 340 88 180 304 56 64 280 16 108 24 172 72 180 560 508 368 428 228 200 368 488 416 364 176 332 160 60 36 4 224 80 328 208 100 20 448 108 428 368 72 8 288 56 92 424 432 528 248 140 552 56 144 224 312 180 60 528 248 24 200 132 8 204 72 368 368 172 180 60 124 180 40 28 264 108 84 184 244 32 32 144 396 0 32 180 112 28 356 72 200 80 112 252 404 432 160 476 164 56 244 32 8 64 180 264 260 20 24 184 232 232 72 124 256 292 196 164 100 108 224 92 56 104 100 136 60 176 228 12 232 260 36 200 212 24 60 408 56 216 244 188 144 132 156 116 240 228 404 532 4 352 308 516 112 8 316 192 180 152 68 252 20 404 52 236 188 96 132 20 20 12 292 44 68 44 108 20 80 160 164 148 28 68 204 172 24 108 188 196 332 268 4 320 240 204 476 168 92 376 180 96 176 48 144 196 52 216 216 324 360 448 188 52 104 144 308 292 28 316 292 168 392 340 416 72 236 48 128 100 476 372 40 100 164 132 308 0 372 128 364 476 160 96 284 80 72 340 292 552 572 224 4 556 556 80 496 372 276 48 120 128 152 196 96 120 176 52 208 76 360 168 472 312 196 596 44 432 576 36 244 576 116 104 48 156 80 196 24 392 168 244 228 60 436 108 416 456 192 396 348 276 496 412 44 308 456 44 388 104 188 132 60 140 288 332 416 436 456 276 16 292 288 144 52 144 132 20 212 60 28 12 88 236 100 80 140 32 400 36 56 108 276 120 140 240 276 272 180 248 116 156 332 428 312 380 416 336 212 144 320 528 480 140 536 368 356 64 392 128 172 44 4 96 28 292 316 276 292 92 252 428 0 284 64 276 88 16 396 232 100 396 396 380 540 176 96 364 300 28 200 152 272 100 56 152 284 144 56 52 292 40 308 372 264 388 232 204 352 40 200 300 164 452 308 140 92 184 284 244 252 160 152 80 472 400 260 460 244 156 576 0 120 528 328 512 372 248 136 48 96 84 136 4 204 396 336 84 272 224 48 352 48 516 144 288 96 32 100 16 68 148 196 132 204 144 168 312 36 264 92 124 20 40 188 392 264 20 132 104 20 436 272 292 44 176 120 120 112 104 264 224 408 384 32 492 96 392 520 536 140 28 192 192 244 168 168 152 292 80 188 412 104 48 80 128 164 188 120 188 116 160 180 84 368 200 196 168 120 96 140 140 144 128 316 140 224 12 160 20 224 192 56 256 68 80 236 268 352 316 356 476 304 68 120 164 176 288 104 180 136 216 124 164 232 84 336 376 20 236 136 364 440 300 360 76 20 204 68 232 148 8 244 76 8 48 4 56 164 244 196 148 412 432 124 212 380 260 136 52 196 360 360 168 344 188 136 504 292 44 60 68 296 228 244 552 248 120 312 48 292 4 292 60 152 32 124 208 228 40 184 208 220 0 104 96 16 260 36 276 516 472 292 332 536 20 340 380 328 164 8 172 256 252 324 44 16 176 80 132 164 180 308 324 80 120 8 152 32 348 68 344 368 232 200 296 280 404 440 216 28 192 88 288 192 96 4 0 16 16 172 8 552 368 180 192 144 176 8 24 80 16 24 152 184 268 0 224 204 52 204 80 332 44 196 296 204 144 336 272 268 432 544 188 128 208 48 264 124 24 212 336 4 24 420 360 104 420 92 168 256 36 200 424 348 44 148 332 228 124 12 32 444 140 2400.02/2372.51 v </values> 2400.02/2372.51 v </instantiation>
OK 387430773
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 (3884 MiB free) memory of node 1: 16384 MiB (11404 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291994-1532280200/watcher-4291994-1532280200 -o /tmp/evaluation-result-4291994-1532280200/solver-4291994-1532280200 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532270698-27816 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1406388872 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291994-1532280200.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=28833, runsolver pid=28830 [startup+0.10962 s]* /proc/loadavg: 1.41 1.36 1.34 3/215 28848 /proc/meminfo: memFree=15638428/32770624 swapFree=67108860/67108860 [pid=28833] ppid=28830 vsize=14082740 memory=33888 CPUtime=0.12 cores=0,2,4,6 /proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 7384 0 0 0 11 1 0 0 20 0 15 0 45583221 14420725760 8472 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 /proc/28833/statm: 3520685 8472 3170 1 0 3482761 0 [pid=28833/tid=28835] ppid=28830 vsize=14082740 memory=8326441112148417179 CPUtime=0.1 cores=0,2,4,6 /proc/28833/task/28835/stat : 28835 (java) D 28830 28833 31076 0 -1 1077944384 5414 0 0 0 9 1 0 0 20 0 15 0 45583221 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950765980352 139950754445869 0 4 0 16800975 18446744072101666340 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28836] ppid=28830 vsize=14082740 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28837] ppid=28830 vsize=14082740 memory=140700731430528 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28838] ppid=28830 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28839] ppid=28830 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 8472 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28840] ppid=28830 vsize=14082772 memory=140700731430528 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583223 14420758528 8472 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28841] ppid=28830 vsize=14083732 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45583224 14421741568 8472 33554432000 4194304 4196468 140731228761872 139950234264736 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28842] ppid=28830 vsize=14083732 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45583224 14421741568 8472 33554432000 4194304 4196468 140731228761872 139950233211632 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28843] ppid=28830 vsize=14083732 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14421741568 8538 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28844] ppid=28830 vsize=14083732 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 45583226 14421741568 8538 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28845] ppid=28830 vsize=14083732 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14421741568 8538 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28846] ppid=28830 vsize=14083732 memory=140700731430528 CPUtime=0.01 cores=0,2,4,6 /proc/28833/task/28846/stat : 28846 (java) R 28830 28833 31076 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 15 0 45583226 14421741568 8538 33554432000 4194304 4196468 140731228761872 139950229002736 139950748091031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28847] ppid=28830 vsize=14083732 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14421741568 8604 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28848] ppid=28830 vsize=14083732 memory=140700731430528 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583227 14421741568 8604 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 33888 KiB [startup+0.210404 s]* /proc/loadavg: 1.41 1.36 1.34 5/215 28848 /proc/meminfo: memFree=15623780/32770624 swapFree=67108860/67108860 [pid=28833] ppid=28830 vsize=14082740 memory=47048 CPUtime=0.3 cores=0,2,4,6 /proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 10352 0 0 0 27 3 0 0 20 0 15 0 45583221 14420725760 11762 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 /proc/28833/statm: 3520685 11762 3365 1 0 3482761 0 [pid=28833/tid=28835] ppid=28830 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/28833/task/28835/stat : 28835 (java) S 28830 28833 31076 0 -1 1077944384 8087 0 0 0 18 2 0 0 20 0 15 0 45583221 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950765993824 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28836] ppid=28830 vsize=14082740 memory=342 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28837] ppid=28830 vsize=14082740 memory=140700731731476 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28838] ppid=28830 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28839] ppid=28830 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28840] ppid=28830 vsize=14082740 memory=140700731430528 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45583223 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28841] ppid=28830 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45583224 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950234264736 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28842] ppid=28830 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45583224 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950233211632 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28843] ppid=28830 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28844] ppid=28830 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/28833/task/28844/stat : 28844 (java) R 28830 28833 31076 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 45583226 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28845] ppid=28830 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/28833/task/28845/stat : 28845 (java) R 28830 28833 31076 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 15 0 45583226 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950230055792 139950754056096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28846] ppid=28830 vsize=14082740 memory=140700731430528 CPUtime=0.05 cores=0,2,4,6 /proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 292 0 0 0 5 0 0 0 20 0 15 0 45583226 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28847] ppid=28830 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28848] ppid=28830 vsize=14082740 memory=140700731430528 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583227 14420725760 11762 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 47048 KiB [startup+0.310624 s]* /proc/loadavg: 1.41 1.36 1.34 3/215 28848 /proc/meminfo: memFree=15620368/32770624 swapFree=67108860/67108860 [pid=28833] ppid=28830 vsize=14082740 memory=50272 CPUtime=0.44 cores=0,2,4,6 /proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 10788 0 0 0 41 3 0 0 20 0 15 0 45583221 14420725760 12568 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 /proc/28833/statm: 3520685 12568 3368 1 0 3482761 0 [pid=28833/tid=28835] ppid=28830 vsize=14082740 memory=53476 CPUtime=0.29 cores=0,2,4,6 /proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 8445 0 0 0 27 2 0 0 20 0 15 0 45583221 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950765974480 139950744969563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28836] ppid=28830 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28837] ppid=28830 vsize=14082740 memory=140700731488544 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28838] ppid=28830 vsize=14082740 memory=60388 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28839] ppid=28830 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28840] ppid=28830 vsize=14082740 memory=140700731495456 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45583223 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28841] ppid=28830 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45583224 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950234264736 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28842] ppid=28830 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45583224 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950233211632 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28843] ppid=28830 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28844] ppid=28830 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 45583226 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28845] ppid=28830 vsize=14082740 memory=140700578598415 CPUtime=0.02 cores=0,2,4,6 /proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 15 0 45583226 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28846] ppid=28830 vsize=14082740 memory=140700731459284 CPUtime=0.08 cores=0,2,4,6 /proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 15 0 45583226 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28847] ppid=28830 vsize=14082740 memory=140700578602959 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28848] ppid=28830 vsize=14082740 memory=281401310050240 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583227 14420725760 12568 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 50272 KiB [startup+0.700832 s] /proc/loadavg: 1.41 1.36 1.34 3/215 28848 /proc/meminfo: memFree=15596060/32770624 swapFree=67108860/67108860 [pid=28833] ppid=28830 vsize=14084808 memory=88612 CPUtime=0.98 cores=0,2,4,6 /proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 17613 0 0 0 94 4 0 0 20 0 15 0 45583221 14422843392 22153 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 /proc/28833/statm: 3521202 22153 3500 1 0 3483273 0 [pid=28833/tid=28835] ppid=28830 vsize=14084808 memory=2372 CPUtime=0.66 cores=0,2,4,6 /proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 14895 0 0 0 63 3 0 0 20 0 15 0 45583221 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950765977520 139950761788573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28836] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28837] ppid=28830 vsize=14084808 memory=1424 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28838] ppid=28830 vsize=14084808 memory=15868 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583222 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28839] ppid=28830 vsize=14084808 memory=4052 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45583222 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28840] ppid=28830 vsize=14084808 memory=2241 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45583223 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28841] ppid=28830 vsize=14084808 memory=2244 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45583224 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950234264736 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28842] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45583224 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950233211632 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28843] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28844] ppid=28830 vsize=14084808 memory=0 CPUtime=0.09 cores=0,2,4,6 /proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 689 0 0 0 9 0 0 0 20 0 15 0 45583226 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28845] ppid=28830 vsize=14084808 memory=0 CPUtime=0.06 cores=0,2,4,6 /proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 252 0 0 0 6 0 0 0 20 0 15 0 45583226 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28846] ppid=28830 vsize=14084808 memory=-1807685287725067907 CPUtime=0.14 cores=0,2,4,6 /proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 395 0 0 0 14 0 0 0 20 0 15 0 45583226 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28847] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28848] ppid=28830 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45583227 14422843392 22153 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 Current children cumulated CPU time: 0.98 s Current children cumulated vsize: 14084808 KiB Current children cumulated memory: 88612 KiB [startup+1.50158 s] /proc/loadavg: 1.41 1.36 1.34 5/215 28848 /proc/meminfo: memFree=15357196/32770624 swapFree=67108860/67108860 [pid=28833] ppid=28830 vsize=14086856 memory=428468 CPUtime=3.17 cores=0,2,4,6 /proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 20589 0 0 0 285 32 0 0 20 0 15 0 45583221 14424940544 107117 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 /proc/28833/statm: 3521714 107117 3567 1 0 3483785 0 [pid=28833/tid=28835] ppid=28830 vsize=14086856 memory=3833179246724403815 CPUtime=1.34 cores=0,2,4,6 /proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 15376 0 0 0 126 8 0 0 20 0 15 0 45583221 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950766002936 139950389606871 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28836] ppid=28830 vsize=14086856 memory=190884 CPUtime=0.08 cores=0,2,4,6 /proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 88 0 0 0 3 5 0 0 20 0 15 0 45583222 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28837] ppid=28830 vsize=14086856 memory=2241 CPUtime=0.11 cores=0,2,4,6 /proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 236 0 0 0 5 6 0 0 20 0 15 0 45583222 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28838] ppid=28830 vsize=14086856 memory=1424 CPUtime=0.11 cores=0,2,4,6 /proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 132 0 0 0 5 6 0 0 20 0 15 0 45583222 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28839] ppid=28830 vsize=14086856 memory=15868 CPUtime=0.08 cores=0,2,4,6 /proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 127 0 0 0 4 4 0 0 20 0 15 0 45583222 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28840] ppid=28830 vsize=14086856 memory=4052 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 45583223 14424940544 107117 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 ################ # More data... # ################ /proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 184154 0 0 0 225583 77 0 0 20 0 15 0 45583221 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950766004656 139950387764751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28836] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.2 cores=0,2,4,6 /proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 42209 0 0 0 435 85 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28837] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.21 cores=0,2,4,6 /proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 39530 0 0 0 435 86 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28838] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.25 cores=0,2,4,6 /proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 44259 0 0 0 443 82 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28839] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.18 cores=0,2,4,6 /proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 38700 0 0 0 433 85 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28840] ppid=28830 vsize=14093000 memory=6791534058613427641 CPUtime=0.42 cores=0,2,4,6 /proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 28336 0 0 0 34 8 0 0 20 0 15 0 45583223 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28841] ppid=28830 vsize=14093000 memory=2344 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950234264800 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28842] ppid=28830 vsize=14093000 memory=1012 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950233211648 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28843] ppid=28830 vsize=14093000 memory=1228 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28844] ppid=28830 vsize=14093000 memory=2968084 CPUtime=4.12 cores=0,2,4,6 /proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 11511 0 0 0 410 2 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28845] ppid=28830 vsize=14093000 memory=4136 CPUtime=3.86 cores=0,2,4,6 /proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 9481 0 0 0 383 3 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28846] ppid=28830 vsize=14093000 memory=4136 CPUtime=1.46 cores=0,2,4,6 /proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 14595 0 0 0 144 2 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28847] ppid=28830 vsize=14093000 memory=15280 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28848] ppid=28830 vsize=14093000 memory=2420 CPUtime=1.27 cores=0,2,4,6 /proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 2514 0 0 0 68 59 0 0 20 0 15 0 45583227 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 Current children cumulated CPU time: 2288.67 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2968084 KiB [startup+2322.3 s] /proc/loadavg: 1.51 1.58 1.59 3/217 28946 /proc/meminfo: memFree=12548076/32770624 swapFree=67108860/67108860 [pid=28833] ppid=28830 vsize=14093000 memory=2968084 CPUtime=2349.23 cores=0,2,4,6 /proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 422777 0 0 0 234443 480 0 0 20 0 15 0 45583221 14431232000 742021 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 /proc/28833/statm: 3523250 742021 3621 1 0 3485321 0 [pid=28833/tid=28835] ppid=28830 vsize=14093000 memory=2968084 CPUtime=2316.35 cores=0,2,4,6 /proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 185218 0 0 0 231558 77 0 0 20 0 15 0 45583221 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950766004848 139950387835644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28836] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.38 cores=0,2,4,6 /proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 43457 0 0 0 453 85 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28837] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.41 cores=0,2,4,6 /proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 41027 0 0 0 454 87 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28838] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.43 cores=0,2,4,6 /proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 45310 0 0 0 461 82 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28839] ppid=28830 vsize=14093000 memory=2968084 CPUtime=5.37 cores=0,2,4,6 /proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 39582 0 0 0 451 86 0 0 20 0 15 0 45583222 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28840] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0.46 cores=0,2,4,6 /proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 28629 0 0 0 38 8 0 0 20 0 15 0 45583223 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28841] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950234264800 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28842] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950233211648 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28843] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28844] ppid=28830 vsize=14093000 memory=2968084 CPUtime=4.12 cores=0,2,4,6 /proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 11513 0 0 0 410 2 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28845] ppid=28830 vsize=14093000 memory=2968084 CPUtime=3.86 cores=0,2,4,6 /proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 9484 0 0 0 383 3 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28846] ppid=28830 vsize=14093000 memory=2968084 CPUtime=1.46 cores=0,2,4,6 /proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 14598 0 0 0 144 2 0 0 20 0 15 0 45583226 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28847] ppid=28830 vsize=14093000 memory=2968084 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28848] ppid=28830 vsize=14093000 memory=15304 CPUtime=1.3 cores=0,2,4,6 /proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 2535 0 0 0 70 60 0 0 20 0 15 0 45583227 14431232000 742021 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 Current children cumulated CPU time: 2349.23 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2968084 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2372.5 s] /proc/loadavg: 1.47 1.56 1.58 3/217 29027 /proc/meminfo: memFree=10152628/32770624 swapFree=67108860/67108860 [pid=28833] ppid=28830 vsize=14093000 memory=2960904 CPUtime=2400.02 cores=0,2,4,6 /proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 432685 0 0 0 239519 483 0 0 20 0 15 0 45583221 14431232000 740226 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 /proc/28833/statm: 3523250 740226 3621 1 0 3485321 0 [pid=28833/tid=28835] ppid=28830 vsize=14093000 memory=281401156960496 CPUtime=2366.31 cores=0,2,4,6 /proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 186257 0 0 0 236553 78 0 0 20 0 15 0 45583221 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950766004528 139950388133760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28836] ppid=28830 vsize=14093000 memory=2960904 CPUtime=5.58 cores=0,2,4,6 /proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 45995 0 0 0 472 86 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28837] ppid=28830 vsize=14093000 memory=2961928 CPUtime=5.61 cores=0,2,4,6 /proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 43331 0 0 0 473 88 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28838] ppid=28830 vsize=14093000 memory=2963468 CPUtime=5.63 cores=0,2,4,6 /proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 47217 0 0 0 480 83 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28839] ppid=28830 vsize=14093000 memory=2962444 CPUtime=5.56 cores=0,2,4,6 /proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 41112 0 0 0 470 86 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28840] ppid=28830 vsize=14093000 memory=2964496 CPUtime=0.5 cores=0,2,4,6 /proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 29163 0 0 0 41 9 0 0 20 0 15 0 45583223 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28841] ppid=28830 vsize=14093000 memory=2961416 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950234264800 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28842] ppid=28830 vsize=14093000 memory=2960904 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950233211648 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28843] ppid=28830 vsize=14093000 memory=2960904 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28844] ppid=28830 vsize=14093000 memory=1232 CPUtime=4.12 cores=0,2,4,6 /proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 11519 0 0 0 410 2 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28845] ppid=28830 vsize=14093000 memory=2960904 CPUtime=3.86 cores=0,2,4,6 /proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 9488 0 0 0 383 3 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28846] ppid=28830 vsize=14093000 memory=2960904 CPUtime=1.46 cores=0,2,4,6 /proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 14604 0 0 0 144 2 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28847] ppid=28830 vsize=14093000 memory=2963468 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28848] ppid=28830 vsize=14093000 memory=2963980 CPUtime=1.33 cores=0,2,4,6 /proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 2575 0 0 0 72 61 0 0 20 0 15 0 45583227 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 Current children cumulated CPU time: 2400.02 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2960904 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2372.53 s] # the end of solver process 28833 was just reported to runsolver # cumulated CPU time of all completed processes: user=2395.24 s, system=4.85858 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2372.5 s] /proc/loadavg: 1.47 1.56 1.58 3/217 29027 /proc/meminfo: memFree=10152628/32770624 swapFree=67108860/67108860 [pid=28833] ppid=28830 vsize=14093000 memory=2960904 CPUtime=2400.02 cores=0,2,4,6 /proc/28833/stat : 28833 (java) S 28830 28833 31076 0 -1 1077944320 432685 0 0 0 239519 483 0 0 20 0 15 0 45583221 14431232000 740226 33554432000 4194304 4196468 140731228761872 140731228744416 139950761766647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 /proc/28833/statm: 3523250 740226 3621 1 0 3485321 0 [pid=28833/tid=28835] ppid=28830 vsize=14093000 memory=281401156960496 CPUtime=2366.31 cores=0,2,4,6 /proc/28833/task/28835/stat : 28835 (java) R 28830 28833 31076 0 -1 4202560 186257 0 0 0 236553 78 0 0 20 0 15 0 45583221 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950766004528 139950388133760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28836] ppid=28830 vsize=14093000 memory=2960904 CPUtime=5.58 cores=0,2,4,6 /proc/28833/task/28836/stat : 28836 (java) S 28830 28833 31076 0 -1 1077944384 45995 0 0 0 472 86 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950714387472 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28837] ppid=28830 vsize=14093000 memory=2961928 CPUtime=5.61 cores=0,2,4,6 /proc/28833/task/28837/stat : 28837 (java) S 28830 28833 31076 0 -1 1077944384 43331 0 0 0 473 88 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950713334928 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28838] ppid=28830 vsize=14093000 memory=2963468 CPUtime=5.63 cores=0,2,4,6 /proc/28833/task/28838/stat : 28838 (java) S 28830 28833 31076 0 -1 1077944384 47217 0 0 0 480 83 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950712281872 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28839] ppid=28830 vsize=14093000 memory=2962444 CPUtime=5.56 cores=0,2,4,6 /proc/28833/task/28839/stat : 28839 (java) S 28830 28833 31076 0 -1 1077944384 41112 0 0 0 470 86 0 0 20 0 15 0 45583222 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950711229328 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28840] ppid=28830 vsize=14093000 memory=2964496 CPUtime=0.5 cores=0,2,4,6 /proc/28833/task/28840/stat : 28840 (java) S 28830 28833 31076 0 -1 1077944384 29163 0 0 0 41 9 0 0 20 0 15 0 45583223 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950303107312 139950761777794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28841] ppid=28830 vsize=14093000 memory=2961416 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28841/stat : 28841 (java) S 28830 28833 31076 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950234264800 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28842] ppid=28830 vsize=14093000 memory=2960904 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28842/stat : 28842 (java) S 28830 28833 31076 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45583224 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950233211648 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28843] ppid=28830 vsize=14093000 memory=2960904 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28843/stat : 28843 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950232160208 139950761785243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28844] ppid=28830 vsize=14093000 memory=1232 CPUtime=4.12 cores=0,2,4,6 /proc/28833/task/28844/stat : 28844 (java) S 28830 28833 31076 0 -1 1077944384 11519 0 0 0 410 2 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950231108336 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28845] ppid=28830 vsize=14093000 memory=2960904 CPUtime=3.86 cores=0,2,4,6 /proc/28833/task/28845/stat : 28845 (java) S 28830 28833 31076 0 -1 1077944384 9488 0 0 0 383 3 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950230055792 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28846] ppid=28830 vsize=14093000 memory=2960904 CPUtime=1.46 cores=0,2,4,6 /proc/28833/task/28846/stat : 28846 (java) S 28830 28833 31076 0 -1 1077944384 14604 0 0 0 144 2 0 0 20 0 15 0 45583226 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950229002736 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28847] ppid=28830 vsize=14093000 memory=2963468 CPUtime=0 cores=0,2,4,6 /proc/28833/task/28847/stat : 28847 (java) S 28830 28833 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45583227 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950227950432 139950761776853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 [pid=28833/tid=28848] ppid=28830 vsize=14093000 memory=2963980 CPUtime=1.33 cores=0,2,4,6 /proc/28833/task/28848/stat : 28848 (java) S 28830 28833 31076 0 -1 1077944384 2575 0 0 0 72 61 0 0 20 0 15 0 45583227 14431232000 740226 33554432000 4194304 4196468 140731228761872 139950226897456 139950761777794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140731228767304 140731228767497 140731228767497 140731228770255 0 Current children cumulated CPU time: 2400.02 s Current children cumulated vsize: 14093000 KiB Current children cumulated memory: 2960904 KiB Child status: 143 Real time (s): 2372.53 CPU time (s): 2400.1 CPU user time (s): 2395.24 CPU system time (s): 4.85858 CPU usage (%): 101.162 Max. virtual memory (cumulated for all children) (KiB): 14093000 Max. memory (cumulated for all children) (KiB): 4793080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.24 system time used= 4.85858 maximum resident set size= 4795092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 435543 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2352 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 62732 involuntary context switches= 2721 # summary of solver processes directly reported to runsolver: # pid: 28833 # total CPU time (s): 2400.1 # total CPU user time (s): 2395.24 # total CPU system time (s): 4.85858 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.6398 second user time and 22.8607 second system time The end
Begin job on node105 at 2018-07-22 19:23:20 IDJOB=4291994 IDBENCH=141262 IDSOLVER=2743 FILE ID=node105/4291994-1532280200 RUNJOBID= node105-1532270698-27816 PBS_JOBID= 21018967 Free space on /tmp= 44800 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02 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 NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291994-1532280200/watcher-4291994-1532280200 -o /tmp/evaluation-result-4291994-1532280200/solver-4291994-1532280200 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532270698-27816 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1406388872 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291994-1532280200.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a RANDOM SEED=1406388872 node105.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.32 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.32 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.32 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.32 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: 15656388 kB MemAvailable: 31719408 kB Buffers: 172052 kB Cached: 15856356 kB SwapCached: 0 kB Active: 1669296 kB Inactive: 14632232 kB Active(anon): 227592 kB Inactive(anon): 65084 kB Active(file): 1441704 kB Inactive(file): 14567148 kB Unevictable: 7308 kB Mlocked: 7308 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 126612 kB Writeback: 0 kB AnonPages: 277892 kB Mapped: 49468 kB Shmem: 17036 kB Slab: 509936 kB SReclaimable: 482628 kB SUnreclaim: 27308 kB KernelStack: 3488 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1265932 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44556 MiB End job on node105 at 2018-07-22 20:02:53