Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | SAT (TO) | 189044033 | 392.473 | 252.087 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml |
MD5SUM | 3fdf89d4941046bada2032faa76e855a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63832030 |
Best CPU time to get the best result obtained on this benchmark | 57.3117 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4790 |
Number of constraints | 2852 |
Number of domains | 18 |
Minimum domain size | 1 |
Maximum domain size | 121 |
Distribution of domain sizes | [{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}] |
Minimum variable degree | 1 |
Maximum variable degree | 1264 |
Distribution of variable degrees | [{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}] |
Number of extensional constraints | 1263 |
Number of intensional constraints | 1589 |
Distribution of constraint types | [{"type":"extension","count":1263},{"type":"intension","count":1589}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400053-1568720452.xml" -tl '2016s' -p 8 0.10/0.20 c Choco e747e1e 0.10/0.20 c [HOME/instance-4400053-1568720452.xml, -tl, 2016s, -p, 8] 0.31/0.24 c 8 solvers in parallel 0.31/0.31 c parse instance... 200.39/86.19 c solve instance... 218.98/88.68 o 189094589 219.41/88.71 o 189081953 219.41/88.72 o 189081952 220.25/88.97 o 189081951 221.23/89.21 o 189081950 224.23/89.73 o 189081949 224.82/89.99 o 189069313 225.27/90.24 o 189069312 225.52/90.48 o 189069311 228.62/92.14 o 189069310 229.25/92.70 o 189056683 229.86/93.24 o 189056673 230.31/93.50 o 189056672 232.48/95.42 o 189056671 233.43/96.00 o 189044043 236.16/97.64 o 189044033 392.40/252.02 s SATISFIABLE 392.40/252.02 v <instantiation> 392.40/252.02 v <list>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] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] 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] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] 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] 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] 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] </list> 392.40/252.02 v <values>2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2296 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2260 2220 2220 2260 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2260 2220 2260 2220 2220 2220 2220 2220 2220 2220 2220 2296 2220 2220 2220 2336 2260 2260 2260 2220 2220 2220 2220 2220 2260 2220 2220 2220 2220 2220 2220 2220 2220 2220 2260 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2260 2220 2220 2260 2220 2220 2220 2224 2220 2296 2220 2220 2296 2220 2220 2220 2220 2588 2220 2220 2220 2220 2260 2220 2260 2220 2220 2260 2220 2260 2296 2260 2220 2220 2260 2260 2260 2220 2220 2220 2224 2260 2260 2220 2220 2220 2220 2260 2220 2260 2220 2220 2220 2260 2260 2220 2296 2220 2260 2260 2220 2220 2260 2220 2260 2220 2260 2260 2220 2260 2260 2220 2588 2220 2220 2220 2260 2260 2220 2260 2220 2220 2220 2220 2220 2220 2260 2220 2260 2260 2220 2260 2500 2220 2260 2336 2260 2260 2220 2260 2260 2220 2220 2220 2220 2220 2260 2260 2260 2260 2260 2220 2220 2220 2260 2336 2220 2220 2220 2220 2260 2220 2220 2260 2220 2260 2260 2220 2336 2260 2260 2220 2220 2260 2260 2220 2220 2260 2220 2220 2220 2220 2220 2260 2260 2260 2296 2260 2260 2500 2260 2260 2260 2260 2260 2260 2260 2220 2220 2220 2260 2260 2260 2540 2260 2260 2540 2220 2588 2220 2220 2220 2220 2220 2260 2260 2220 2220 2220 2260 2220 2260 2220 2260 2260 2220 2260 2260 2220 2260 2220 2260 2220 2220 2260 2260 2220 2260 2220 2260 2220 2260 2220 2260 2220 2260 2220 2260 2220 2220 2220 2500 2260 2260 2260 2260 2260 2260 2336 2220 2260 2220 2220 2260 2336 2260 2260 2220 2260 2260 2260 2260 2260 2260 2220 2220 2260 2220 2260 2220 2260 2260 2220 2220 2260 2260 2220 2260 2260 2260 2260 2260 2220 2260 2220 2220 2220 2260 2260 2260 2260 2220 2260 2220 2260 2260 2260 2260 2220 2260 2260 2220 2260 2220 2220 2220 2260 2260 2220 2220 2260 2260 2220 2220 2260 2220 2220 2296 2260 2260 2260 2260 2220 2260 2220 2260 2260 2260 2628 2296 2260 2260 2220 2260 2260 2628 2336 2220 2220 2260 2260 2260 2220 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2220 2220 2260 2540 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2220 2260 2260 2260 2260 2220 2260 2220 2260 2260 2260 2260 2260 2260 2260 2260 2260 2252 2300 2260 2336 2260 2260 2260 2628 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2264 2260 2260 2260 2260 2260 2260 2336 2260 2260 2260 2260 2260 2260 2260 2260 2292 2260 2264 2260 2260 2260 2260 2260 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 0 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 5 0 10 10 0 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 8 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 0 10 10 10 10 10 0 0 10 0 10 10 0 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 8 10 9 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 8 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 0 10 9 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 10 10 10 8 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 9 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 0 10 10 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 9 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 10 0 0 40 40 40 40 40 0 0 40 0 76 0 0 40 40 0 40 0 40 40 40 40 40 0 40 0 40 40 40 40 0 368 40 40 0 0 40 40 40 40 40 40 368 0 116 0 40 0 0 40 40 0 0 40 40 40 0 0 320 40 0 36 40 116 40 40 40 0 0 40 40 40 40 40 40 40 40 40 0 0 0 40 40 40 0 0 40 40 0 40 0 0 40 0 40 0 0 0 40 40 40 0 0 0 40 40 40 0 0 0 0 40 0 40 0 40 40 40 0 0 0 40 0 0 0 0 40 40 40 0 0 40 40 0 0 0 40 0 40 40 116 0 0 40 0 0 40 0 36 0 0 0 40 40 0 0 40 0 40 40 0 40 40 0 0 0 40 40 40 0 40 40 0 40 40 0 40 40 40 0 0 40 0 0 0 40 0 40 0 0 0 0 40 40 0 40 0 40 40 40 0 0 40 40 0 40 0 0 0 32 0 40 0 0 40 0 40 40 40 0 40 116 0 40 40 0 368 0 4 0 40 0 0 0 76 0 40 40 40 40 0 40 72 0 40 0 40 40 40 0 0 40 0 0 40 0 0 40 0 40 0 40 0 0 0 40 0 40 0 0 0 0 0 40 40 76 76 40 0 40 0 40 40 0 0 0 0 0 40 76 116 76 76 76 76 40 40 40 0 40 0 0 0 40 40 0 0 40 0 40 0 40 40 40 0 40 40 280 0 0 0 40 40 40 40 0 40 40 0 40 40 40 36 40 40 0 40 40 0 40 0 0 40 40 40 0 0 40 116 0 40 40 40 0 0 0 0 40 40 40 40 40 0 40 116 72 0 40 0 0 0 40 40 0 0 0 40 40 40 40 0 40 40 0 0 0 40 0 0 0 0 40 40 0 0 40 40 40 40 0 40 0 0 0 40 40 0 40 40 0 0 40 40 40 40 40 40 0 40 40 76 40 0 40 116 40 0 0 0 40 40 40 280 0 0 0 0 40 0 40 40 40 40 40 40 40 40 40 0 40 0 40 0 0 0 0 40 40 0 76 40 40 40 0 40 40 36 36 36 36 0 0 76 40 72 204 332 0 0 40 0 0 0 40 40 76 40 36 204 40 76 36 40 40 0 40 320 40 40 0 44 40 40 40 0 40 40 40 0 88 252 0 328 40 40 40 0 0 40 40 40 320 40 0 0 0 40 40 408 0 0 40 0 0 0 40 40 40 0 76 0 40 40 0 40 40 0 40 40 0 40 0 40 0 40 0 40 0 40 40 0 40 0 0 76 40 40 204 332 36 32 40 40 40 0 0 40 0 0 0 0 40 40 40 40 0 40 40 0 40 0 0 0 0 0 0 40 40 0 0 0 40 40 40 0 0 0 40 40 40 364 4 4 40 0 0 0 0 40 0 0 0 40 0 40 40 0 0 40 40 40 40 40 0 44 40 0 0 40 0 0 0 0 40 40 0 40 0 40 408 40 40 40 40 40 40 280 0 0 368 0 0 40 36 36 36 36 36 0 40 0 40 0 4 0 76 0 40 40 40 40 40 40 0 0 0 0 76 40 280 0 0 0 0 40 40 40 40 40 0 0 40 0 40 0 0 40 0 76 0 0 0 40 0 40 0 328 40 40 408 40 40 0 40 40 40 0 0 0 40 40 40 0 0 40 40 40 40 40 0 0 0 40 40 40 0 0 0 40 40 40 40 76 0 40 40 40 40 40 0 0 0 40 40 40 40 0 0 0 40 0 40 40 40 0 40 40 0 0 0 40 40 40 80 40 40 0 0 40 0 240 240 280 280 0 320 0 40 0 76 0 76 116 76 76 76 76 0 0 0 0 0 40 40 40 40 0 0 0 0 0 40 0 0 40 40 280 40 40 40 40 40 0 40 40 40 40 0 40 0 40 36 40 0 240 0 40 0 40 32 40 0 368 0 116 76 76 40 0 40 40 40 40 0 0 40 0 0 0 0 0 40 0 40 40 40 40 0 40 40 0 0 0 40 40 0 0 0 0 0 0 40 40 116 0 116 0 0 36 0 0 40 40 40 0 0 4 0 36 0 40 320 0 40 40 0 40 40 40 40 40 40 40 40 40 40 0 40 76 368 0 8 40 280 0 0 40 76 36 36 36 0 0 40 0 0 0 0 32 40 280 40 40 40 0 0 0 40 76 0 0 0 40 0 0 0 0 40 0 36 0 0 40 40 40 40 0 40 40 40 40 0 0 0 40 0 0 40 0 280 240 280 0 40 240 0 0 320 0 40 328 328 368 0 40 40 0 40 40 40 40 40 80 40 0 40 0 40 0 0 40 40 40 40 40 40 0 40 0 40 40 40 0 0 40 40 36 40 40 40 40 40 0 40 40 40 0 0 0 40 40 40 40 0 40 0 0 40 40 40 0 0 40 0 0 0 0 72 0 0 40 0 0 0 40 0 40 36 0 0 40 40 0 0 0 0 40 0 0 40 40 40 40 40 0 40 240 40 0 0 0 0 0 40 0 40 0 116 76 40 40 0 40 0 0 76 116 0 0 40 0 40 0 40 40 76 0 40 40 0 368 0 40 40 40 40 40 40 0 0 0 40 40 0 0 0 40 40 40 0 0 116 0 0 40 40 40 40 0 0 0 0 0 0 0 0 0 32 0 40 0 40 40 0 40 40 0 0 0 0 0 408 40 0 0 40 0 0 0 0 0 0 0 0 40 40 0 40 0 0 0 4 0 40 40 40 0 0 368 36 40 0 0 0 0 0 0 368 40 0 40 40 44 0 0 0 0 0 40 0 0 40 40 80 40 0 280 280 0 0 0 0 0 368 0 0 0 0 4 0 0 0 32 40 40 8 8 32 4 368 76 0 0 </values> 392.40/252.02 v </instantiation> 392.40/252.02 c Unexpected resolution interruption!
OK 189044033
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 (14785 MiB free) memory of node 1: 16384 MiB (15125 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400053-1568720452/watcher-4400053-1568720452 -o /tmp/evaluation-result-4400053-1568720452/solver-4400053-1568720452 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568711571-15048 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1376777751 HOME/instance-4400053-1568720452.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16475, runsolver pid=16472 Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 6.31 6.52 6.29 4/212 16496 /proc/meminfo: memFree=30612924/32770624 swapFree=67002076/67108860 [pid=16475] ppid=16472 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15021 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447959236 115843072 363 33554432000 4194304 5098028 140728245855808 140728245853912 139928284041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18108416 140728245859195 140728245859438 140728245859438 140728245862346 0 /proc/16475/statm: 28282 363 304 221 0 87 0 [pid=16477] ppid=16475 vsize=28227396 memory=28092 CPUtime=0.1 cores=0-7 /proc/16477/stat : 16477 (java) S 16475 16475 15021 0 -1 1077944320 5428 0 0 0 8 2 0 0 20 0 20 0 447959236 28904853504 7023 33554432000 4194304 4196468 140727076577600 140727076560144 139899420094199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 /proc/16477/statm: 7056849 7023 3054 1 0 7019032 0 [pid=16477/tid=16478] ppid=16475 vsize=28227396 memory=1398722017469774279 CPUtime=0.07 cores=0-7 /proc/16477/task/16478/stat : 16478 (java) R 16475 16475 15021 0 -1 4202560 3462 0 0 0 6 1 0 0 20 0 20 0 447959237 28904853504 7023 33554432000 4194304 4196468 140727076577600 139899424327680 139899420116125 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16479] ppid=16475 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 7023 33554432000 4194304 4196468 140727076577600 139899372714512 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16480] ppid=16475 vsize=28227396 memory=140222394951296 CPUtime=0 cores=0-7 /proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 7023 33554432000 4194304 4196468 140727076577600 139899371661968 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16481] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 7023 33554432000 4194304 4196468 140727076577600 139899370608912 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16482] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 7023 33554432000 4194304 4196468 140727076577600 139899369556368 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16483] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 7023 33554432000 4194304 4196468 140727076577600 139899368504336 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16484] ppid=16475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959238 28904853504 7023 33554432000 4194304 4196468 140727076577600 139899367451792 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16485] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959238 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898965056272 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16486] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959238 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898964003728 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16487] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959239 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898069489904 139899420105346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16488] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447959239 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898068436128 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16489] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447959240 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898067383024 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16490] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959242 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898066331600 139899420112795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16491] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16491/stat : 16491 (java) S 16475 16475 15021 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 447959244 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898065279728 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16492] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447959244 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898064227184 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16493] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447959244 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898063174128 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16494] ppid=16475 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16477/task/16494/stat : 16494 (java) R 16475 16475 15021 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 20 0 447959244 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898062121584 139899420115546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16495] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447959244 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898061068768 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16496] ppid=16475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959244 28904853504 7023 33554432000 4194304 4196468 140727076577600 139898060016304 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29544 KiB [startup+0.210288 s]* /proc/loadavg: 6.31 6.52 6.29 3/212 16496 /proc/meminfo: memFree=30598432/32770624 swapFree=67002076/67108860 [pid=16475] ppid=16472 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15021 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447959236 115843072 363 33554432000 4194304 5098028 140728245855808 140728245853912 139928284041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18108416 140728245859195 140728245859438 140728245859438 140728245862346 0 /proc/16475/statm: 28282 363 304 221 0 87 0 [pid=16477] ppid=16475 vsize=28227396 memory=40192 CPUtime=0.31 cores=0-7 /proc/16477/stat : 16477 (java) S 16475 16475 15021 0 -1 1077944320 9393 0 0 0 27 4 0 0 20 0 20 0 447959236 28904853504 10048 33554432000 4194304 4196468 140727076577600 140727076560144 139899420094199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 /proc/16477/statm: 7056849 10048 3218 1 0 7019032 0 [pid=16477/tid=16478] ppid=16475 vsize=28227396 memory=8318255677412212789 CPUtime=0.17 cores=0-7 /proc/16477/task/16478/stat : 16478 (java) R 16475 16475 15021 0 -1 4202560 6547 0 0 0 15 2 0 0 20 0 20 0 447959237 28904853504 10048 33554432000 4194304 4196468 140727076577600 139899424313536 139899420106134 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16479] ppid=16475 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 10048 33554432000 4194304 4196468 140727076577600 139899372714512 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16480] ppid=16475 vsize=28227396 memory=140222398278292 CPUtime=0 cores=0-7 /proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 10048 33554432000 4194304 4196468 140727076577600 139899371661968 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16481] ppid=16475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 10048 33554432000 4194304 4196468 140727076577600 139899370608912 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16482] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 10048 33554432000 4194304 4196468 140727076577600 139899369556368 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16483] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959237 28904853504 10048 33554432000 4194304 4196468 140727076577600 139899368504336 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16484] ppid=16475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959238 28904853504 10048 33554432000 4194304 4196468 140727076577600 139899367451792 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16485] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959238 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898965056272 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16486] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959238 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898964003728 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16487] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959239 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898069489904 139899420105346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16488] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447959239 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898068436128 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16489] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447959240 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898067383024 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16490] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959242 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898066331600 139899420112795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16491] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16491/stat : 16491 (java) S 16475 16475 15021 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 447959244 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898065279728 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16492] ppid=16475 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15021 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 20 0 447959244 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898064227184 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16493] ppid=16475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15021 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 447959244 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898063174128 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16494] ppid=16475 vsize=28227396 memory=-1 CPUtime=0.06 cores=0-7 /proc/16477/task/16494/stat : 16494 (java) S 16475 16475 15021 0 -1 1077944384 760 0 0 0 6 0 0 0 20 0 20 0 447959244 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898062121584 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16495] ppid=16475 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447959244 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898061068768 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16496] ppid=16475 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959244 28904853504 10048 33554432000 4194304 4196468 140727076577600 139898060016304 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41644 KiB [startup+0.310306 s]* /proc/loadavg: 6.31 6.52 6.29 2/212 16496 /proc/meminfo: memFree=30591964/32770624 swapFree=67002076/67108860 [pid=16475] ppid=16472 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15021 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447959236 115843072 363 33554432000 4194304 5098028 140728245855808 140728245853912 139928284041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18108416 140728245859195 140728245859438 140728245859438 140728245862346 0 /proc/16475/statm: 28282 363 304 221 0 87 0 [pid=16477] ppid=16475 vsize=28231652 memory=46956 CPUtime=0.48 cores=0-7 /proc/16477/stat : 16477 (java) S 16475 16475 15021 0 -1 1077944320 10570 0 0 0 43 5 0 0 20 0 20 0 447959236 28909211648 11739 33554432000 4194304 4196468 140727076577600 140727076560144 139899420094199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 /proc/16477/statm: 7057913 11739 3340 1 0 7019032 0 [pid=16477/tid=16478] ppid=16475 vsize=28231652 memory=1398722017469774279 CPUtime=0.28 cores=0-7 /proc/16477/task/16478/stat : 16478 (java) R 16475 16475 15021 0 -1 4202560 7593 0 0 0 25 3 0 0 20 0 20 0 447959237 28909211648 11739 33554432000 4194304 4196468 140727076577600 139899424315712 139899404174686 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16479] ppid=16475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959237 28909211648 11739 33554432000 4194304 4196468 140727076577600 139899372714512 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16480] ppid=16475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959237 28909211648 11739 33554432000 4194304 4196468 140727076577600 139899371661968 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16481] ppid=16475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959237 28909211648 11739 33554432000 4194304 4196468 140727076577600 139899370608912 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16482] ppid=16475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447959237 28909211648 11739 33554432000 4194304 4196468 140727076577600 139899369556368 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16483] ppid=16475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959237 28909211648 11739 33554432000 4194304 4196468 140727076577600 139899368504336 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16484] ppid=16475 vsize=28231652 memory=140222293699247 CPUtime=0 cores=0-7 /proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959238 28909211648 11739 33554432000 4194304 4196468 140727076577600 139899367451792 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16485] ppid=16475 vsize=28231652 memory=140222293701552 CPUtime=0 cores=0-7 /proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959238 28909211648 11739 33554432000 4194304 4196468 140727076577600 139898965056272 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16486] ppid=16475 vsize=28231652 memory=140222293703856 CPUtime=0 cores=0-7 /proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447959238 28909211648 11739 33554432000 4194304 4196468 140727076577600 139898964003728 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16487] ppid=16475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447959239 28909211648 11739 33554432000 4194304 4196468 140727076577600 139898069489904 139899420105346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16488] ppid=16475 vsize=28231652 memory=280444587421584 CPUtime=0 cores=0-7 /proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447959239 28909211648 11761 33554432000 4194304 4196468 140727076577600 139898068436128 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16489] ppid=16475 vsize=28231652 memory=280444587419280 CPUtime=0 cores=0-7 /proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447959240 28909211648 11761 33554432000 4194304 4196468 140727076577600 139898067383024 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16490] ppid=16475 vsize=28231652 memory=280444587426192 CPUtime=0 cores=0-7 /proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959242 28909211648 11761 33554432000 4194304 4196468 140727076577600 139898066331600 139899420112795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16491] ppid=16475 vsize=28231652 memory=280444587367472 CPUtime=0.01 cores=0-7 /proc/16477/task/16491/stat : 16491 (java) S 16475 16475 15021 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 447959244 28909211648 11761 33554432000 4194304 4196468 140727076577600 139898065279728 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16492] ppid=16475 vsize=28231652 memory=280444587440016 CPUtime=0.03 cores=0-7 /proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15021 0 -1 1077944384 404 0 0 0 3 0 0 0 20 0 20 0 447959244 28909211648 11761 33554432000 4194304 4196468 140727076577600 139898064227184 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16493] ppid=16475 vsize=28231652 memory=280444587446928 CPUtime=0.01 cores=0-7 /proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15021 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 447959244 28909211648 11761 33554432000 4194304 4196468 140727076577600 139898063174128 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16494] ppid=16475 vsize=28231652 memory=280444587444624 CPUtime=0.11 cores=0-7 /proc/16477/task/16494/stat : 16494 (java) S 16475 16475 15021 0 -1 1077944384 858 0 0 0 11 0 0 0 20 0 20 0 447959244 28909211648 11761 33554432000 4194304 4196468 140727076577600 139898062121584 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16495] ppid=16475 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447959244 28909211648 11761 33554432000 4194304 4196468 140727076577600 139898061068768 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16496] ppid=16475 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447959244 28909211648 11761 33554432000 4194304 4196468 140727076577600 139898060016304 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48408 KiB [startup+0.708691 s] /proc/loadavg: 6.31 6.52 6.29 4/212 16496 /proc/meminfo: memFree=30512560/32770624 swapFree=67002076/67108860 [pid=16475] ppid=16472 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15021 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447959236 115843072 363 33554432000 4194304 5098028 140728245855808 140728245853912 139928284041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18108416 140728245859195 140728245859438 140728245859438 140728245862346 0 /proc/16475/statm: 28282 363 304 221 0 87 0 [pid=16477] ppid=16475 vsize=28231728 memory=301576 CPUtime=1.75 cores=0-7 /proc/16477/stat : 16477 (java) S 16475 16475 15021 0 -1 1077944320 15866 0 0 0 143 32 0 0 20 0 20 0 447959236 28909289472 75394 33554432000 4194304 4196468 140727076577600 140727076560144 139899420094199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 /proc/16477/statm: 7057932 75394 3437 1 0 7019032 0 [pid=16477/tid=16478] ppid=16475 vsize=28231728 memory=0 CPUtime=0.61 cores=0-7 /proc/16477/task/16478/stat : 16478 (java) R 16475 16475 15021 0 -1 4202560 8322 0 0 0 54 7 0 0 20 0 20 0 447959237 28909289472 75394 33554432000 4194304 4196468 140727076577600 139899424332512 139899047118287 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16479] ppid=16475 vsize=28231728 memory=140222293910384 CPUtime=0.04 cores=0-7 /proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15021 0 -1 1077944384 57 0 0 0 1 3 0 0 20 0 20 0 447959237 28909289472 75394 33554432000 4194304 4196468 140727076577600 139899372714512 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16480] ppid=16475 vsize=28231728 memory=0 CPUtime=0.03 cores=0-7 /proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15021 0 -1 1077944384 50 0 0 0 1 2 0 0 20 0 20 0 447959237 28909289472 75394 33554432000 4194304 4196468 140727076577600 139899371661968 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16481] ppid=16475 vsize=28231728 memory=1056 CPUtime=0.03 cores=0-7 /proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15021 0 -1 1077944384 34 0 0 0 1 2 0 0 20 0 20 0 447959237 28909289472 75394 33554432000 4194304 4196468 140727076577600 139899370608912 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 ################ # More data... # ################ [pid=16477/tid=16639] ppid=16475 vsize=28768336 memory=13084392 CPUtime=0 cores=0-7 /proc/16477/task/16639/stat : 16639 (java) S 16475 16475 15021 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271098 33554432000 4194304 4196468 140727076577600 139898045547536 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 Current children cumulated CPU time: 302.62 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 13085844 KiB [startup+222.301 s] /proc/loadavg: 1.33 3.90 5.29 2/221 16647 /proc/meminfo: memFree=17529104/32770624 swapFree=67002076/67108860 [pid=16475] ppid=16472 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15021 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447959236 115843072 363 33554432000 4194304 5098028 140728245855808 140728245853912 139928284041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18108416 140728245859195 140728245859438 140728245859438 140728245862346 0 /proc/16475/statm: 28282 363 304 221 0 87 0 [pid=16477] ppid=16475 vsize=28768336 memory=13084404 CPUtime=362.67 cores=0-7 /proc/16477/stat : 16477 (java) S 16475 16475 15021 0 -1 1077944320 303220 0 0 0 34090 2177 0 0 20 0 28 0 447959236 29458776064 3271101 33554432000 4194304 4196468 140727076577600 140727076560144 139899420094199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 /proc/16477/statm: 7192084 3271101 3554 1 0 7153184 0 [pid=16477/tid=16478] ppid=16475 vsize=28768336 memory=13084404 CPUtime=70.13 cores=0-7 /proc/16477/task/16478/stat : 16478 (java) S 16475 16475 15021 0 -1 1077944384 38122 0 0 0 6888 125 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899424334976 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16479] ppid=16475 vsize=28768336 memory=13084404 CPUtime=15.67 cores=0-7 /proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15021 0 -1 1077944384 18827 0 0 0 1303 264 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899372714512 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16480] ppid=16475 vsize=28768336 memory=13084404 CPUtime=15.53 cores=0-7 /proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15021 0 -1 1077944384 16338 0 0 0 1302 251 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899371661968 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16481] ppid=16475 vsize=28768336 memory=13084404 CPUtime=15.41 cores=0-7 /proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15021 0 -1 1077944384 13495 0 0 0 1290 251 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899370608912 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16482] ppid=16475 vsize=28768336 memory=13084404 CPUtime=15.54 cores=0-7 /proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15021 0 -1 1077944384 17265 0 0 0 1311 243 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899369556368 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16483] ppid=16475 vsize=28768336 memory=13084404 CPUtime=15.65 cores=0-7 /proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15021 0 -1 1077944384 24821 0 0 0 1321 244 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899368504336 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16484] ppid=16475 vsize=28768336 memory=1452 CPUtime=15.52 cores=0-7 /proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15021 0 -1 1077944384 11007 0 0 0 1306 246 0 0 20 0 28 0 447959238 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899367451792 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16485] ppid=16475 vsize=28768336 memory=2257 CPUtime=15.57 cores=0-7 /proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15021 0 -1 1077944384 22720 0 0 0 1300 257 0 0 20 0 28 0 447959238 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898965056272 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16486] ppid=16475 vsize=28768336 memory=8243114992657236051 CPUtime=15.36 cores=0-7 /proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15021 0 -1 1077944384 14175 0 0 0 1291 245 0 0 20 0 28 0 447959238 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898964003728 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16487] ppid=16475 vsize=28768336 memory=288283394117469022 CPUtime=0.65 cores=0-7 /proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15021 0 -1 1077944384 26761 0 0 0 61 4 0 0 20 0 28 0 447959239 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898069489904 139899420105346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16488] ppid=16475 vsize=28768336 memory=3616 CPUtime=0 cores=0-7 /proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15021 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447959239 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898068436192 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16489] ppid=16475 vsize=28768336 memory=46104 CPUtime=0 cores=0-7 /proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15021 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 447959240 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898067383040 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16490] ppid=16475 vsize=28768336 memory=13084404 CPUtime=0 cores=0-7 /proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447959242 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898066331600 139899420112795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16491] ppid=16475 vsize=28768336 memory=6791534058613427641 CPUtime=5.21 cores=0-7 /proc/16477/task/16491/stat : 16491 (java) S 16475 16475 15021 0 -1 1077944384 22970 0 0 0 518 3 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898065279728 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16492] ppid=16475 vsize=28768336 memory=13084404 CPUtime=4.38 cores=0-7 /proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15021 0 -1 1077944384 16352 0 0 0 436 2 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898064227184 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16493] ppid=16475 vsize=28768336 memory=928 CPUtime=4.11 cores=0-7 /proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15021 0 -1 1077944384 14242 0 0 0 408 3 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898063174128 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16494] ppid=16475 vsize=28768336 memory=-7880843606118635149 CPUtime=1.13 cores=0-7 /proc/16477/task/16494/stat : 16494 (java) S 16475 16475 15021 0 -1 1077944384 8611 0 0 0 110 3 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898062121584 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16495] ppid=16475 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898061068768 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16496] ppid=16475 vsize=28768336 memory=7598824234097836114 CPUtime=0.13 cores=0-7 /proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15021 0 -1 1077944384 1216 0 0 0 6 7 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898060016304 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16632] ppid=16475 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/16477/task/16632/stat : 16632 (java) S 16475 16475 15021 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898046598400 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16633] ppid=16475 vsize=28768336 memory=6944656592387989552 CPUtime=0 cores=0-7 /proc/16477/task/16633/stat : 16633 (java) S 16475 16475 15021 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898039325456 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16634] ppid=16475 vsize=28768336 memory=6656373276535710050 CPUtime=0 cores=0-7 /proc/16477/task/16634/stat : 16634 (java) S 16475 16475 15021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898048705936 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16635] ppid=16475 vsize=28768336 memory=0 CPUtime=0.24 cores=0-7 /proc/16477/task/16635/stat : 16635 (java) S 16475 16475 15021 0 -1 1077944384 32 0 0 0 24 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898047653392 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16636] ppid=16475 vsize=28768336 memory=13084404 CPUtime=0 cores=0-7 /proc/16477/task/16636/stat : 16636 (java) S 16475 16475 15021 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898040378512 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16637] ppid=16475 vsize=28768336 memory=1720 CPUtime=0 cores=0-7 /proc/16477/task/16637/stat : 16637 (java) S 16475 16475 15021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898044495120 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16638] ppid=16475 vsize=28768336 memory=4126316290023845779 CPUtime=124.42 cores=0-7 /proc/16477/task/16638/stat : 16638 (java) R 16475 16475 15021 0 -1 4202560 6757 0 0 0 12439 3 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898043436016 139899055591837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16639] ppid=16475 vsize=28768336 memory=13084404 CPUtime=0 cores=0-7 /proc/16477/task/16639/stat : 16639 (java) S 16475 16475 15021 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898045547536 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 Current children cumulated CPU time: 362.67 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 13085856 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 1.20 3.63 5.16 2/221 16649 /proc/meminfo: memFree=17528500/32770624 swapFree=67002076/67108860 [pid=16475] ppid=16472 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16475/stat : 16475 (xcsp3-exec) S 16472 16475 15021 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447959236 115843072 363 33554432000 4194304 5098028 140728245855808 140728245853912 139928284041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18108416 140728245859195 140728245859438 140728245859438 140728245862346 0 /proc/16475/statm: 28282 363 304 221 0 87 0 [pid=16477] ppid=16475 vsize=28768336 memory=13084404 CPUtime=392.4 cores=0-7 /proc/16477/stat : 16477 (java) S 16475 16475 15021 0 -1 1077944320 304057 0 0 0 37062 2178 0 0 20 0 28 0 447959236 29458776064 3271101 33554432000 4194304 4196468 140727076577600 140727076560144 139899420094199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 /proc/16477/statm: 7192084 3271101 3554 1 0 7153184 0 [pid=16477/tid=16478] ppid=16475 vsize=28768336 memory=1398722017469774279 CPUtime=70.13 cores=0-7 /proc/16477/task/16478/stat : 16478 (java) S 16475 16475 15021 0 -1 1077944384 38122 0 0 0 6888 125 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899424334976 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16479] ppid=16475 vsize=28768336 memory=4126316290023845779 CPUtime=15.67 cores=0-7 /proc/16477/task/16479/stat : 16479 (java) S 16475 16475 15021 0 -1 1077944384 18827 0 0 0 1303 264 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899372714512 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16480] ppid=16475 vsize=28768336 memory=1412 CPUtime=15.53 cores=0-7 /proc/16477/task/16480/stat : 16480 (java) S 16475 16475 15021 0 -1 1077944384 16338 0 0 0 1302 251 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899371661968 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16481] ppid=16475 vsize=28768336 memory=3472328296227679313 CPUtime=15.41 cores=0-7 /proc/16477/task/16481/stat : 16481 (java) S 16475 16475 15021 0 -1 1077944384 13495 0 0 0 1290 251 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899370608912 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16482] ppid=16475 vsize=28768336 memory=-7025452035940392864 CPUtime=15.54 cores=0-7 /proc/16477/task/16482/stat : 16482 (java) S 16475 16475 15021 0 -1 1077944384 17265 0 0 0 1311 243 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899369556368 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16483] ppid=16475 vsize=28768336 memory=5787217160294390116 CPUtime=15.65 cores=0-7 /proc/16477/task/16483/stat : 16483 (java) S 16475 16475 15021 0 -1 1077944384 24821 0 0 0 1321 244 0 0 20 0 28 0 447959237 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899368504336 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16484] ppid=16475 vsize=28768336 memory=5787213848656569433 CPUtime=15.52 cores=0-7 /proc/16477/task/16484/stat : 16484 (java) S 16475 16475 15021 0 -1 1077944384 11007 0 0 0 1306 246 0 0 20 0 28 0 447959238 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139899367451792 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16485] ppid=16475 vsize=28768336 memory=4639074098508484690 CPUtime=15.57 cores=0-7 /proc/16477/task/16485/stat : 16485 (java) S 16475 16475 15021 0 -1 1077944384 22720 0 0 0 1300 257 0 0 20 0 28 0 447959238 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898965056272 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16486] ppid=16475 vsize=28768336 memory=288230574492221466 CPUtime=15.36 cores=0-7 /proc/16477/task/16486/stat : 16486 (java) S 16475 16475 15021 0 -1 1077944384 14175 0 0 0 1291 245 0 0 20 0 28 0 447959238 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898964003728 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16487] ppid=16475 vsize=28768336 memory=288230596050944315 CPUtime=0.65 cores=0-7 /proc/16477/task/16487/stat : 16487 (java) S 16475 16475 15021 0 -1 1077944384 26770 0 0 0 61 4 0 0 20 0 28 0 447959239 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898069489904 139899420105346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16488] ppid=16475 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/16477/task/16488/stat : 16488 (java) S 16475 16475 15021 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 447959239 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898068436192 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16489] ppid=16475 vsize=28768336 memory=13084404 CPUtime=0 cores=0-7 /proc/16477/task/16489/stat : 16489 (java) S 16475 16475 15021 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 447959240 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898067383040 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16490] ppid=16475 vsize=28768336 memory=1556 CPUtime=0 cores=0-7 /proc/16477/task/16490/stat : 16490 (java) S 16475 16475 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447959242 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898066331600 139899420112795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16491] ppid=16475 vsize=28768336 memory=1056 CPUtime=5.21 cores=0-7 /proc/16477/task/16491/stat : 16491 (java) S 16475 16475 15021 0 -1 1077944384 22976 0 0 0 518 3 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898065279728 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16492] ppid=16475 vsize=28768336 memory=1096 CPUtime=4.38 cores=0-7 /proc/16477/task/16492/stat : 16492 (java) S 16475 16475 15021 0 -1 1077944384 16358 0 0 0 436 2 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898064227184 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16493] ppid=16475 vsize=28768336 memory=14008 CPUtime=4.11 cores=0-7 /proc/16477/task/16493/stat : 16493 (java) S 16475 16475 15021 0 -1 1077944384 14248 0 0 0 408 3 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898063174128 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16494] ppid=16475 vsize=28768336 memory=2116 CPUtime=1.13 cores=0-7 /proc/16477/task/16494/stat : 16494 (java) S 16475 16475 15021 0 -1 1077944384 8639 0 0 0 110 3 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898062121584 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16495] ppid=16475 vsize=28768336 memory=25008 CPUtime=0 cores=0-7 /proc/16477/task/16495/stat : 16495 (java) S 16475 16475 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898061068768 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16496] ppid=16475 vsize=28768336 memory=11852 CPUtime=0.15 cores=0-7 /proc/16477/task/16496/stat : 16496 (java) S 16475 16475 15021 0 -1 1077944384 1259 0 0 0 7 8 0 0 20 0 28 0 447959244 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898060016304 139899420105346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16632] ppid=16475 vsize=28768336 memory=532 CPUtime=0 cores=0-7 /proc/16477/task/16632/stat : 16632 (java) S 16475 16475 15021 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898046598400 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16633] ppid=16475 vsize=28768336 memory=1564 CPUtime=0 cores=0-7 /proc/16477/task/16633/stat : 16633 (java) S 16475 16475 15021 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898039325456 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16634] ppid=16475 vsize=28768336 memory=928 CPUtime=0 cores=0-7 /proc/16477/task/16634/stat : 16634 (java) S 16475 16475 15021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898048705936 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16635] ppid=16475 vsize=28768336 memory=1564 CPUtime=0.24 cores=0-7 /proc/16477/task/16635/stat : 16635 (java) S 16475 16475 15021 0 -1 1077944384 32 0 0 0 24 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898047653392 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16636] ppid=16475 vsize=28768336 memory=928 CPUtime=0 cores=0-7 /proc/16477/task/16636/stat : 16636 (java) S 16475 16475 15021 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898040378512 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16637] ppid=16475 vsize=28768336 memory=1980 CPUtime=0 cores=0-7 /proc/16477/task/16637/stat : 16637 (java) S 16475 16475 15021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898044495120 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16638] ppid=16475 vsize=28768336 memory=1332 CPUtime=154.12 cores=0-7 /proc/16477/task/16638/stat : 16638 (java) R 16475 16475 15021 0 -1 4202560 7496 0 0 0 15409 3 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898043436016 139899055591605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 [pid=16477/tid=16639] ppid=16475 vsize=28768336 memory=2648 CPUtime=0 cores=0-7 /proc/16477/task/16639/stat : 16639 (java) S 16475 16475 15021 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 447969002 29458776064 3271101 33554432000 4194304 4196468 140727076577600 139898045547536 139899420104405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140727076582384 140727076582555 140727076582555 140727076585423 0 Current children cumulated CPU time: 392.4 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 13085856 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.021 s] # the end of solver process 16475 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001199 s, system=0.001199 s [startup+252.087 s] # the end of solver process 16477 was just reported to runsolver # cumulated CPU time of all completed processes: user=370.623 s, system=21.8502 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.087 CPU time (s): 392.473 CPU user time (s): 370.623 CPU system time (s): 21.8502 CPU usage (%): 155.69 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 13085856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 370.623 system time used= 21.8502 maximum resident set size= 13085256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 305399 page faults= 0 swaps= 0 block input operations= 8 block output operations= 376 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17712 involuntary context switches= 3580 # summary of solver processes directly reported to runsolver: # pid: 16475,16477 # total CPU time (s): 392.473 # total CPU user time (s): 370.623 # total CPU system time (s): 21.8502 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.96088 second user time and 2.83141 second system time The end
Begin job on node146 at 2019-09-17 13:40:12 IDJOB=4400053 IDBENCH=141276 IDSOLVER=2855 FILE ID=node146/4400053-1568720452 RUNJOBID= node146-1568711571-15048 PBS_JOBID= 21703934 Free space on /tmp= 58936 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400053-1568720452/watcher-4400053-1568720452 -o /tmp/evaluation-result-4400053-1568720452/solver-4400053-1568720452 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568711571-15048 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1376777751 HOME/instance-4400053-1568720452.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a RANDOM SEED=1376777751 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 30628920 kB MemAvailable: 31870008 kB Buffers: 238976 kB Cached: 1272860 kB SwapCached: 4332 kB Active: 798492 kB Inactive: 718500 kB Active(anon): 22316 kB Inactive(anon): 30432 kB Active(file): 776176 kB Inactive(file): 688068 kB Unevictable: 110876 kB Mlocked: 110876 kB SwapTotal: 67108860 kB SwapFree: 67002076 kB Dirty: 97444 kB Writeback: 0 kB AnonPages: 113344 kB Mapped: 47668 kB Shmem: 39116 kB Slab: 215780 kB SReclaimable: 185356 kB SUnreclaim: 30424 kB KernelStack: 3440 kB PageTables: 5708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 508088 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 58908 MiB End job on node146 at 2019-09-17 13:44:24