Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 162507055 | 2436.88 | 1947.63 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml |
MD5SUM | 970c879d9e656f0525c6818b69538b39 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 162507055 |
Best CPU time to get the best result obtained on this benchmark | 2436.88 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4976 |
Number of constraints | 3812 |
Number of domains | 49 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}] |
Minimum variable degree | 2 |
Maximum variable degree | 1426 |
Distribution of variable degrees | [{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}] |
Number of extensional constraints | 1425 |
Number of intensional constraints | 2387 |
Distribution of constraint types | [{"type":"extension","count":1425},{"type":"intension","count":2387}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297931-1532714128.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297931-1532714128.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.34/0.28 c parse instance... 311.24/109.43 c solve instance... 336.05/112.68 o 234919466 337.10/112.88 o 234919458 337.10/112.90 o 234905207 337.60/112.92 o 234905206 337.60/112.94 o 234890946 342.31/114.66 o 234876686 518.76/290.54 o 234862426 519.67/290.78 o 234848176 519.96/290.80 o 234848175 519.96/290.82 o 234833915 520.15/291.01 o 234833906 520.26/291.04 o 234805386 520.70/291.25 o 234791126 520.70/291.27 o 234776866 520.70/291.29 o 234762606 521.20/291.47 o 234748346 523.04/291.87 o 234734093 523.04/291.89 o 234734086 523.50/292.08 o 234719835 523.50/292.10 o 234719826 523.77/292.27 o 234705566 524.06/292.46 o 234691306 524.06/292.48 o 234677046 524.87/292.70 o 234662787 528.52/294.81 o 234662786 706.37/472.12 o 234648526 706.99/472.37 o 234634277 710.52/474.54 o 234634275 891.56/655.14 o 234634266 891.94/655.36 o 234620006 893.92/655.75 o 234619998 894.17/655.92 o 234605747 896.33/657.77 o 234605746 896.79/657.96 o 234591486 1083.33/840.39 o 234577235 1083.85/840.71 o 234577226 1084.61/840.91 o 234562976 1086.78/842.73 o 234562966 1087.80/842.93 o 234548706 1267.47/1021.70 o 234534446 1268.00/1021.90 o 234520196 1270.24/1023.78 o 234520186 1270.69/1023.97 o 234505936 1453.42/1205.53 o 234505926 1453.83/1205.75 o 234491666 1455.12/1206.64 o 234477416 1457.10/1208.54 o 234477406 1458.30/1208.77 o 234463146 1640.93/1390.11 o 234448886 1641.69/1390.35 o 234434648 1641.93/1390.58 o 234434626 1646.99/1392.93 o 234434618 1647.30/1393.15 o 234420388 1649.28/1394.95 o 234420366 1650.56/1395.20 o 234406106 1832.93/1577.23 o 226491914 1833.66/1577.45 o 226477677 1835.64/1579.02 o 226463417 2095.69/1761.11 o 225365266 2104.87/1762.93 o 225365255 2432.35/1946.72 o 162507055 2436.74/1947.57 s OPTIMUM FOUND 2436.74/1947.57 v <instantiation> 2436.74/1947.57 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] 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] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] </list> 2436.74/1947.57 v <values>2480 2264 2756 2604 2460 2560 2684 2788 2436 2508 2704 2420 2668 2420 2464 2436 2744 2356 2756 2604 2620 2780 2276 2220 2464 2600 2724 2584 2748 2788 2260 2684 2304 2272 2576 2320 2396 2684 2736 2260 2276 2756 2564 2532 2816 2440 2816 2712 2520 2236 2508 2384 2368 2788 2788 2764 2468 2592 2560 2596 2716 2612 2804 2748 2428 2788 2436 2684 2660 2724 2628 2420 2556 2660 2788 2480 2788 2748 2424 2560 2748 2804 2596 2520 2588 2424 2748 2660 2588 2684 2520 2500 2268 2420 2520 2288 2748 2588 2472 2820 2572 2468 2620 2620 2752 2700 2312 2748 2744 2500 2788 2644 2480 2660 2220 2816 2788 2380 2652 2572 2684 2628 2224 2560 2460 2756 2424 2684 2520 2444 2788 2456 2684 2716 2776 2516 2564 2700 2724 2572 2620 2756 2696 2480 2556 2572 2780 2748 2604 2592 2748 2428 2776 2596 2512 2408 2276 2380 2816 2788 2716 2560 2748 2372 2544 2320 2432 2532 2264 2328 2264 2520 2632 2564 2376 2620 2748 2660 2748 2740 2268 2276 2500 2460 2276 2620 2540 2756 2244 2628 2460 2468 2244 2632 2544 2744 2260 2520 2776 2372 2724 2500 2660 2620 2788 2620 2496 2620 2740 2716 2592 2660 2520 2440 2236 2788 2404 2472 2724 2412 2584 2736 2708 2724 2264 2660 2780 2748 2464 2480 2380 2788 2732 2232 2820 2748 2632 2672 2520 2572 2696 2712 2660 2372 2284 2524 2628 2604 2704 2660 2444 2660 2756 2700 2620 2228 2284 2276 2520 2660 2476 2280 2556 2692 2636 2724 2560 2532 2716 2776 2352 2480 2776 2788 2564 2468 2748 2476 2788 2228 2764 2260 2512 2716 2724 2636 2424 2724 2468 2628 2724 2284 2496 2676 2244 2660 2380 2684 2264 2620 2472 2416 2476 2736 2684 2780 2404 2712 2508 2572 2684 2748 2716 2224 2616 2632 2660 2224 2284 2224 2592 2672 2532 2576 2456 2316 2620 2236 2724 2520 2220 2588 2772 2220 2820 2280 2316 2616 2244 2456 2500 2236 2784 2412 2412 2480 2416 2560 2748 2532 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 8 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 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 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 7 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 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 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 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 3 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 7 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 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 6 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 7 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 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 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 3 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 0 0 6 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 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 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 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 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 40 256 36 276 180 52 196 80 380 236 396 436 296 336 452 520 160 24 136 496 136 40 64 528 236 332 84 120 184 136 152 104 84 344 120 176 104 96 328 196 316 328 160 200 176 328 324 80 124 80 164 188 280 104 104 184 24 332 204 208 440 64 64 96 84 368 52 268 16 168 168 512 64 32 524 564 128 328 280 168 64 108 40 192 48 52 52 188 104 64 112 52 428 20 132 112 36 132 192 80 248 160 100 100 88 368 240 296 156 320 208 76 328 112 364 68 80 48 148 256 68 424 44 180 324 152 336 136 24 100 216 4 328 292 136 340 36 156 244 232 196 196 228 176 352 84 184 152 468 60 28 124 152 48 84 180 4 240 136 328 112 360 304 320 300 32 136 344 280 136 8 20 184 24 24 144 124 344 64 168 104 136 28 240 248 48 40 168 208 260 280 308 56 352 448 384 344 280 296 496 24 324 152 408 8 196 68 252 284 196 40 124 52 232 24 180 56 44 140 76 16 152 204 208 160 204 24 164 160 44 232 20 12 128 4 268 64 524 216 528 176 40 104 288 460 288 208 464 72 104 104 16 124 104 80 88 440 92 412 240 328 268 476 52 544 468 188 356 236 248 344 68 308 104 132 204 200 256 80 108 44 120 56 296 468 456 84 124 300 92 136 164 16 28 296 40 204 260 72 464 180 276 216 40 76 76 324 400 312 456 112 204 24 424 540 408 356 440 244 440 256 276 376 136 260 136 24 64 480 140 180 240 40 96 8 152 280 320 80 128 32 248 168 308 32 376 392 68 388 76 572 40 28 156 200 284 12 308 132 172 304 236 196 556 276 292 104 76 104 36 80 92 144 260 256 116 96 424 176 512 488 284 584 380 180 240 88 268 12 280 32 124 228 404 136 372 68 140 112 292 192 124 356 136 124 104 196 344 232 228 104 196 364 200 268 44 528 40 176 144 52 104 40 480 40 28 236 92 192 4 148 20 4 164 76 184 124 176 40 12 80 28 328 220 276 64 36 120 152 36 4 140 64 240 492 184 48 140 56 240 432 200 144 188 520 392 152 324 32 516 72 40 464 128 388 268 152 320 144 184 288 392 16 88 32 32 156 264 268 104 472 192 84 152 24 104 112 408 64 92 104 104 268 116 24 104 24 244 28 204 128 448 492 152 40 408 152 120 272 176 88 40 288 152 44 20 140 128 116 188 376 140 124 328 44 168 224 236 80 8 216 180 204 316 104 228 248 8 340 228 512 216 324 24 196 324 140 200 92 12 68 128 72 188 80 148 80 4 32 24 160 324 200 328 16 56 80 560 308 192 76 88 360 228 76 180 204 44 196 204 104 68 88 72 40 364 236 44 180 52 48 320 308 464 468 28 40 88 512 180 160 280 116 416 436 436 160 160 132 68 32 128 148 200 184 224 104 16 104 184 56 68 164 272 20 100 292 256 196 204 240 248 104 92 104 32 12 120 120 204 508 228 392 392 348 188 100 100 240 328 152 252 36 236 204 140 192 344 316 276 288 208 252 176 120 304 128 40 152 188 60 148 144 16 192 300 32 160 468 96 600 192 176 100 144 308 128 64 152 312 108 136 120 136 136 100 56 160 32 164 208 88 208 232 212 508 28 36 20 36 492 220 116 48 424 424 236 232 120 340 248 188 160 200 220 176 128 88 248 100 20 288 16 216 224 40 24 328 328 320 64 132 80 292 80 380 52 336 296 268 196 340 436 216 52 24 212 56 568 220 196 68 120 348 304 168 104 52 104 192 164 280 140 280 192 32 220 24 132 176 368 176 112 192 308 52 92 192 52 24 272 40 64 384 256 24 84 88 344 348 392 524 408 408 476 552 452 20 524 156 188 60 24 44 124 100 288 232 328 176 236 224 128 48 136 124 292 280 184 64 16 324 160 204 76 104 52 104 24 64 228 228 292 100 12 296 152 104 112 68 304 124 16 12 128 208 128 320 384 564 472 172 172 40 12 120 308 40 112 52 448 368 60 184 244 88 472 496 156 372 204 20 496 548 200 76 16 4 208 136 144 44 160 112 120 280 272 76 40 108 480 464 24 64 164 328 152 192 128 112 248 48 136 124 472 300 320 280 220 40 88 140 276 244 80 36 104 24 80 64 276 60 296 308 56 104 88 168 408 260 516 32 224 24 56 24 180 156 360 44 84 356 312 216 116 128 268 320 184 276 144 132 264 456 280 156 92 320 328 152 316 368 84 100 20 140 44 108 104 292 100 132 144 184 356 224 376 92 152 156 196 320 156 588 348 196 328 312 372 156 88 248 56 216 228 32 164 56 80 316 484 40 128 32 40 228 24 512 92 256 40 176 340 92 148 300 96 196 196 192 12 216 396 292 212 168 116 104 204 420 300 192 48 408 408 316 388 184 184 4 400 144 412 372 248 200 16 140 4 152 484 156 256 64 100 56 164 84 16 220 8 44 272 136 204 40 496 244 228 4 48 424 276 128 288 224 172 280 256 264 4 168 256 328 4 352 448 136 396 140 168 56 192 176 124 136 120 32 576 276 232 168 152 8 88 244 108 224 236 376 328 460 544 416 20 8 148 112 408 408 352 20 500 76 128 464 152 464 400 156 56 24 268 44 204 68 300 12 88 416 64 168 56 48 216 288 268 92 128 52 336 344 152 16 208 80 308 224 64 56 144 84 32 212 144 96 64 276 8 324 4 184 124 424 64 228 140 156 336 92 228 296 116 104 60 108 92 172 220 164 60 16 156 60 308 304 76 100 484 420 44 256 68 204 260 464 88 28 524 72 12 312 196 48 276 204 284 52 164 244 192 56 128 228 560 64 76 4 500 488 48 144 120 516 192 356 72 8 272 36 408 132 72 240 164 300 192 116 80 28 164 4 52 24 232 332 392 104 88 60 536 300 72 96 96 16 192 144 72 84 44 196 468 80 116 236 56 44 164 52 132 172 12 56 128 96 56 24 152 136 476 256 88 128 12 88 44 4 164 240 176 8 492 280 48 384 232 56 40 204 48 260 40 16 40 128 64 436 216 16 192 296 468 100 320 160 104 16 52 40 252 48 80 316 144 100 148 396 540 436 28 128 44 248 244 352 244 48 40 176 56 304 104 76 356 208 200 64 344 216 248 48 40 24 40 264 172 528 380 128 304 336 240 440 356 40 236 104 228 16 368 192 420 460 228 4 124 24 448 248 408 92 160 304 128 128 372 276 288 176 96 216 384 244 564 </values> 2436.74/1947.57 v </instantiation>
OK 162507055
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 (8460 MiB free) memory of node 1: 16384 MiB (11471 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297931-1532714128/watcher-4297931-1532714128 -o /tmp/evaluation-result-4297931-1532714128/solver-4297931-1532714128 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532708384-2485 --watchdog 2580 HOME/xcsp3-exec -seed 1133727516 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297931-1532714128.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=3708, runsolver pid=3705 Current StackSize limit: 8192 KiB [startup+0.100152 s]* /proc/loadavg: 9.02 8.49 8.27 2/199 3729 /proc/meminfo: memFree=20394168/32770624 swapFree=67108860/67108860 [pid=3708] ppid=3705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3708/stat : 3708 (xcsp3-exec) S 3705 3708 2458 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88976004 115843072 364 33554432000 4194304 5098028 140730893441472 140730893439576 139660164604540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23748608 140730893444149 140730893444352 140730893444352 140730893447114 0 /proc/3708/statm: 28282 364 306 221 0 87 0 [pid=3710] ppid=3708 vsize=26104152 memory=27912 CPUtime=0.11 cores=0-7 /proc/3710/stat : 3710 (java) S 3708 3708 2458 0 -1 1077944320 5407 0 0 0 10 1 0 0 20 0 20 0 88976005 26730651648 6978 33554432000 4194304 4196468 140737348348896 140737348331440 139982742638327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 /proc/3710/statm: 6526038 6978 3001 1 0 6488315 0 [pid=3710/tid=3711] ppid=3708 vsize=26104152 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/3710/task/3711/stat : 3711 (java) R 3708 3708 2458 0 -1 4202560 3411 0 0 0 8 0 0 0 20 0 20 0 88976005 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982746870688 139982742650262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3712] ppid=3708 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3710/task/3712/stat : 3712 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982650198416 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3713] ppid=3708 vsize=26104152 memory=139910152078976 CPUtime=0 cores=0-7 /proc/3710/task/3713/stat : 3713 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982649145616 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3714] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3714/stat : 3714 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982299040400 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3715] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3715/stat : 3715 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982297987600 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3716] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3716/stat : 3716 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982296935312 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3717] ppid=3708 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/3710/task/3717/stat : 3717 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982295882512 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3718] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3718/stat : 3718 (java) S 3708 3708 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982294830224 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3719] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3719/stat : 3719 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982293777424 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3720] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3720/stat : 3720 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976007 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982138390640 139982742649474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3721] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3721/stat : 3721 (java) S 3708 3708 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88976008 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982137336608 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3722] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3722/stat : 3722 (java) S 3708 3708 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88976008 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982136284272 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3723] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3723/stat : 3723 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976010 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982135232592 139982742656923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3724] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3724/stat : 3724 (java) S 3708 3708 2458 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 88976010 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982134180464 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3725] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3725/stat : 3725 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976010 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982133127664 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3726] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3726/stat : 3726 (java) S 3708 3708 2458 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 88976010 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982132075376 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3727] ppid=3708 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/3710/task/3727/stat : 3727 (java) S 3708 3708 2458 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 20 0 88976010 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982131022576 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3728] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3728/stat : 3728 (java) S 3708 3708 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88976011 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982129969504 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3729] ppid=3708 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/3710/task/3729/stat : 3729 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976011 26730651648 6978 33554432000 4194304 4196468 140737348348896 139982128916784 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29368 KiB [startup+0.210481 s]* /proc/loadavg: 9.02 8.49 8.27 3/199 3729 /proc/meminfo: memFree=20383316/32770624 swapFree=67108860/67108860 [pid=3708] ppid=3705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3708/stat : 3708 (xcsp3-exec) S 3705 3708 2458 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88976004 115843072 364 33554432000 4194304 5098028 140730893441472 140730893439576 139660164604540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23748608 140730893444149 140730893444352 140730893444352 140730893447114 0 /proc/3708/statm: 28282 364 306 221 0 87 0 [pid=3710] ppid=3708 vsize=26104152 memory=39700 CPUtime=0.34 cores=0-7 /proc/3710/stat : 3710 (java) S 3708 3708 2458 0 -1 1077944320 7981 0 0 0 31 3 0 0 20 0 20 0 88976005 26730651648 9925 33554432000 4194304 4196468 140737348348896 140737348331440 139982742638327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 /proc/3710/statm: 6526038 9925 3166 1 0 6488315 0 [pid=3710/tid=3711] ppid=3708 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/3710/task/3711/stat : 3711 (java) R 3708 3708 2458 0 -1 4202560 5116 0 0 0 18 1 0 0 20 0 20 0 88976005 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982746873312 139982726718814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3712] ppid=3708 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/3710/task/3712/stat : 3712 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982650198416 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3713] ppid=3708 vsize=26104152 memory=139910152097603 CPUtime=0 cores=0-7 /proc/3710/task/3713/stat : 3713 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982649145616 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3714] ppid=3708 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/3710/task/3714/stat : 3714 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982299040400 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3715] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3715/stat : 3715 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982297987600 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3716] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3716/stat : 3716 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982296935312 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3717] ppid=3708 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/3710/task/3717/stat : 3717 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982295882512 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3718] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3718/stat : 3718 (java) S 3708 3708 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982294830224 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3719] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3719/stat : 3719 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976006 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982293777424 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3720] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3720/stat : 3720 (java) S 3708 3708 2458 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88976007 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982138390640 139982742649474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3721] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3721/stat : 3721 (java) S 3708 3708 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88976008 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982137336608 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3722] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3722/stat : 3722 (java) S 3708 3708 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88976008 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982136284272 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3723] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3723/stat : 3723 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976010 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982135232592 139982742656923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3724] ppid=3708 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/3710/task/3724/stat : 3724 (java) S 3708 3708 2458 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 88976010 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982134180464 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3725] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3725/stat : 3725 (java) S 3708 3708 2458 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 88976010 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982133127664 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3726] ppid=3708 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7 /proc/3710/task/3726/stat : 3726 (java) S 3708 3708 2458 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 20 0 88976010 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982132075376 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3727] ppid=3708 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/3710/task/3727/stat : 3727 (java) S 3708 3708 2458 0 -1 1077944384 757 0 0 0 7 0 0 0 20 0 20 0 88976010 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982131022576 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3728] ppid=3708 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3728/stat : 3728 (java) S 3708 3708 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88976011 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982129969504 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3729] ppid=3708 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/3710/task/3729/stat : 3729 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976011 26730651648 9925 33554432000 4194304 4196468 140737348348896 139982128916784 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41156 KiB [startup+0.310351 s]* /proc/loadavg: 9.02 8.49 8.27 2/199 3729 /proc/meminfo: memFree=20377360/32770624 swapFree=67108860/67108860 [pid=3708] ppid=3705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3708/stat : 3708 (xcsp3-exec) S 3705 3708 2458 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88976004 115843072 364 33554432000 4194304 5098028 140730893441472 140730893439576 139660164604540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23748608 140730893444149 140730893444352 140730893444352 140730893447114 0 /proc/3708/statm: 28282 364 306 221 0 87 0 [pid=3710] ppid=3708 vsize=26108408 memory=46164 CPUtime=0.51 cores=0-7 /proc/3710/stat : 3710 (java) S 3708 3708 2458 0 -1 1077944320 8796 0 0 0 47 4 0 0 20 0 20 0 88976005 26735009792 11541 33554432000 4194304 4196468 140737348348896 140737348331440 139982742638327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 /proc/3710/statm: 6527102 11541 3199 1 0 6488315 0 [pid=3710/tid=3711] ppid=3708 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/3710/task/3711/stat : 3711 (java) R 3708 3708 2458 0 -1 4202560 5841 0 0 0 27 2 0 0 20 0 20 0 88976005 26735009792 11541 33554432000 4194304 4196468 140737348348896 139982746869440 139982742660253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3712] ppid=3708 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3712/stat : 3712 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982650198416 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3713] ppid=3708 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3713/stat : 3713 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982649145616 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3714] ppid=3708 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3714/stat : 3714 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982299040400 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3715] ppid=3708 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3715/stat : 3715 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976006 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982297987600 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3716] ppid=3708 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/3710/task/3716/stat : 3716 (java) S 3708 3708 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88976006 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982296935312 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3717] ppid=3708 vsize=26108408 memory=139910036157359 CPUtime=0 cores=0-7 /proc/3710/task/3717/stat : 3717 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976006 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982295882512 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3718] ppid=3708 vsize=26108408 memory=139910036159664 CPUtime=0 cores=0-7 /proc/3710/task/3718/stat : 3718 (java) S 3708 3708 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88976006 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982294830224 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3719] ppid=3708 vsize=26108408 memory=139910036161968 CPUtime=0 cores=0-7 /proc/3710/task/3719/stat : 3719 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976006 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982293777424 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3720] ppid=3708 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3720/stat : 3720 (java) S 3708 3708 2458 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88976007 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982138390640 139982742649474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3721] ppid=3708 vsize=26108408 memory=279820072330896 CPUtime=0 cores=0-7 /proc/3710/task/3721/stat : 3721 (java) S 3708 3708 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88976008 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982137336608 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3722] ppid=3708 vsize=26108408 memory=279820072337808 CPUtime=0 cores=0-7 /proc/3710/task/3722/stat : 3722 (java) S 3708 3708 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88976008 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982136284272 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3723] ppid=3708 vsize=26108408 memory=279820072279088 CPUtime=0 cores=0-7 /proc/3710/task/3723/stat : 3723 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976010 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982135232592 139982742656923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3724] ppid=3708 vsize=26108408 memory=279820072351632 CPUtime=0.02 cores=0-7 /proc/3710/task/3724/stat : 3724 (java) S 3708 3708 2458 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 20 0 88976010 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982134180464 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3725] ppid=3708 vsize=26108408 memory=279820072358544 CPUtime=0.02 cores=0-7 /proc/3710/task/3725/stat : 3725 (java) S 3708 3708 2458 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 88976010 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982133127664 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3726] ppid=3708 vsize=26108408 memory=279820072356240 CPUtime=0.02 cores=0-7 /proc/3710/task/3726/stat : 3726 (java) S 3708 3708 2458 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 20 0 88976010 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982132075376 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3727] ppid=3708 vsize=26108408 memory=279820072372400 CPUtime=0.12 cores=0-7 /proc/3710/task/3727/stat : 3727 (java) S 3708 3708 2458 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 20 0 88976010 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982131022576 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3728] ppid=3708 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/3710/task/3728/stat : 3728 (java) S 3708 3708 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88976011 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982129969504 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3729] ppid=3708 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/3710/task/3729/stat : 3729 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88976011 26735009792 11606 33554432000 4194304 4196468 140737348348896 139982128916784 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47620 KiB [startup+0.70105 s] /proc/loadavg: 9.02 8.49 8.27 4/199 3729 /proc/meminfo: memFree=20274724/32770624 swapFree=67108860/67108860 [pid=3708] ppid=3705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3708/stat : 3708 (xcsp3-exec) S 3705 3708 2458 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88976004 115843072 364 33554432000 4194304 5098028 140730893441472 140730893439576 139660164604540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23748608 140730893444149 140730893444352 140730893444352 140730893447114 0 /proc/3708/statm: 28282 364 306 221 0 87 0 [pid=3710] ppid=3708 vsize=26108484 memory=297320 CPUtime=1.85 cores=0-7 /proc/3710/stat : 3710 (java) S 3708 3708 2458 0 -1 1077944320 13260 0 0 0 144 41 0 0 20 0 20 0 88976005 26735087616 74330 33554432000 4194304 4196468 140737348348896 140737348331440 139982742638327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 /proc/3710/statm: 6527121 74330 3350 1 0 6488315 0 [pid=3710/tid=3711] ppid=3708 vsize=26108484 memory=279820072730288 CPUtime=0.6 cores=0-7 /proc/3710/task/3711/stat : 3711 (java) R 3708 3708 2458 0 -1 4202560 6204 0 0 0 55 5 0 0 20 0 20 0 88976005 26735087616 74330 33554432000 4194304 4196468 140737348348896 139982746874480 139982726718814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3712] ppid=3708 vsize=26108484 memory=139910036366192 CPUtime=0.06 cores=0-7 /proc/3710/task/3712/stat : 3712 (java) S 3708 3708 2458 0 -1 1077944384 63 0 0 0 2 4 0 0 20 0 20 0 88976006 26735087616 74330 33554432000 4194304 4196468 140737348348896 139982650198416 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3713] ppid=3708 vsize=26108484 memory=0 CPUtime=0.06 cores=0-7 /proc/3710/task/3713/stat : 3713 (java) S 3708 3708 2458 0 -1 1077944384 58 0 0 0 2 4 0 0 20 0 20 0 88976006 26735087616 74330 33554432000 4194304 4196468 140737348348896 139982649145616 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3714] ppid=3708 vsize=26108484 memory=8540 CPUtime=0.06 cores=0-7 /proc/3710/task/3714/stat : 3714 (java) S 3708 3708 2458 0 -1 1077944384 64 0 0 0 2 4 0 0 20 0 20 0 88976006 26735087616 74330 33554432000 4194304 4196468 140737348348896 139982299040400 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 ################ # More data... # ################ [pid=3710/tid=4258] ppid=3708 vsize=26645092 memory=12913364 CPUtime=20.53 cores=0-7 /proc/3710/task/4258/stat : 4258 (java) S 3708 3708 2458 0 -1 1077944384 1385 0 0 0 2045 8 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139981775431120 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4259] ppid=3708 vsize=26645092 memory=12913364 CPUtime=20.45 cores=0-7 /proc/3710/task/4259/stat : 4259 (java) S 3708 3708 2458 0 -1 1077944384 3101 0 0 0 2044 1 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982116988240 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4260] ppid=3708 vsize=26645092 memory=644 CPUtime=182.52 cores=0-7 /proc/3710/task/4260/stat : 4260 (java) R 3708 3708 2458 0 -1 4202560 6022 0 0 0 18250 2 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982118035784 139982335715330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4261] ppid=3708 vsize=26645092 memory=12913364 CPUtime=20.52 cores=0-7 /proc/3710/task/4261/stat : 4261 (java) S 3708 3708 2458 0 -1 1077944384 1827 0 0 0 2050 2 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139981774378576 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4262] ppid=3708 vsize=26645092 memory=1712 CPUtime=20.58 cores=0-7 /proc/3710/task/4262/stat : 4262 (java) S 3708 3708 2458 0 -1 1077944384 1892 0 0 0 2058 0 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982112777168 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4263] ppid=3708 vsize=26645092 memory=9996 CPUtime=20.05 cores=0-7 /proc/3710/task/4263/stat : 4263 (java) S 3708 3708 2458 0 -1 1077944384 2114 0 0 0 1990 15 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982113829712 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 Current children cumulated CPU time: 2431.25 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 12914820 KiB [startup+1946.4 s] /proc/loadavg: 1.18 1.43 2.16 2/207 4264 /proc/meminfo: memFree=7485056/32770624 swapFree=67108860/67108860 [pid=3708] ppid=3705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3708/stat : 3708 (xcsp3-exec) S 3705 3708 2458 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88976004 115843072 364 33554432000 4194304 5098028 140730893441472 140730893439576 139660164604540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23748608 140730893444149 140730893444352 140730893444352 140730893447114 0 /proc/3708/statm: 28282 364 306 221 0 87 0 [pid=3710] ppid=3708 vsize=26645092 memory=12913364 CPUtime=2432.05 cores=0-7 /proc/3710/stat : 3710 (java) S 3708 3708 2458 0 -1 1077944320 1002378 0 0 0 240481 2724 0 0 20 0 28 0 88976005 27284574208 3228341 33554432000 4194304 4196468 140737348348896 140737348331440 139982742638327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 /proc/3710/statm: 6661273 3228341 3470 1 0 6622467 0 [pid=3710/tid=3711] ppid=3708 vsize=26645092 memory=796 CPUtime=80.55 cores=0-7 /proc/3710/task/3711/stat : 3711 (java) S 3708 3708 2458 0 -1 1077944384 45864 0 0 0 7930 125 0 0 20 0 28 0 88976005 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982746879104 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3712] ppid=3708 vsize=26645092 memory=1012 CPUtime=28.59 cores=0-7 /proc/3710/task/3712/stat : 3712 (java) S 3708 3708 2458 0 -1 1077944384 40294 0 0 0 2583 276 0 0 20 0 28 0 88976006 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982650198416 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3713] ppid=3708 vsize=26645092 memory=1228 CPUtime=28.68 cores=0-7 /proc/3710/task/3713/stat : 3713 (java) S 3708 3708 2458 0 -1 1077944384 38433 0 0 0 2595 273 0 0 20 0 28 0 88976006 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982649145616 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3714] ppid=3708 vsize=26645092 memory=164 CPUtime=28.64 cores=0-7 /proc/3710/task/3714/stat : 3714 (java) S 3708 3708 2458 0 -1 1077944384 48052 0 0 0 2593 271 0 0 20 0 28 0 88976006 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982299040400 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3715] ppid=3708 vsize=26645092 memory=1399094042734925955 CPUtime=28.88 cores=0-7 /proc/3710/task/3715/stat : 3715 (java) S 3708 3708 2458 0 -1 1077944384 86636 0 0 0 2608 280 0 0 20 0 28 0 88976006 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982297987600 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3716] ppid=3708 vsize=26645092 memory=7679937539659563834 CPUtime=28.57 cores=0-7 /proc/3710/task/3716/stat : 3716 (java) S 3708 3708 2458 0 -1 1077944384 51706 0 0 0 2590 267 0 0 20 0 28 0 88976006 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982296935312 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3717] ppid=3708 vsize=26645092 memory=1456 CPUtime=28.81 cores=0-7 /proc/3710/task/3717/stat : 3717 (java) S 3708 3708 2458 0 -1 1077944384 111301 0 0 0 2609 272 0 0 20 0 28 0 88976006 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982295882512 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3718] ppid=3708 vsize=26645092 memory=12913364 CPUtime=28.75 cores=0-7 /proc/3710/task/3718/stat : 3718 (java) S 3708 3708 2458 0 -1 1077944384 54705 0 0 0 2610 265 0 0 20 0 28 0 88976006 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982294830224 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3719] ppid=3708 vsize=26645092 memory=12913364 CPUtime=28.68 cores=0-7 /proc/3710/task/3719/stat : 3719 (java) S 3708 3708 2458 0 -1 1077944384 62701 0 0 0 2598 270 0 0 20 0 28 0 88976006 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982293777424 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3720] ppid=3708 vsize=26645092 memory=4136 CPUtime=1.06 cores=0-7 /proc/3710/task/3720/stat : 3720 (java) S 3708 3708 2458 0 -1 1077944384 41296 0 0 0 98 8 0 0 20 0 28 0 88976007 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982138390640 139982742649474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3721] ppid=3708 vsize=26645092 memory=25920 CPUtime=0 cores=0-7 /proc/3710/task/3721/stat : 3721 (java) S 3708 3708 2458 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 88976008 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982137336672 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3722] ppid=3708 vsize=26645092 memory=2420 CPUtime=0 cores=0-7 /proc/3710/task/3722/stat : 3722 (java) S 3708 3708 2458 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 28 0 88976008 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982136284288 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3723] ppid=3708 vsize=26645092 memory=1292 CPUtime=0 cores=0-7 /proc/3710/task/3723/stat : 3723 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88976010 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982135232592 139982742656923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3724] ppid=3708 vsize=26645092 memory=1728 CPUtime=6.13 cores=0-7 /proc/3710/task/3724/stat : 3724 (java) S 3708 3708 2458 0 -1 1077944384 47274 0 0 0 606 7 0 0 20 0 28 0 88976010 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982134180464 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3725] ppid=3708 vsize=26645092 memory=796 CPUtime=6.97 cores=0-7 /proc/3710/task/3725/stat : 3725 (java) S 3708 3708 2458 0 -1 1077944384 51342 0 0 0 688 9 0 0 20 0 28 0 88976010 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982133127664 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3726] ppid=3708 vsize=26645092 memory=139910036845985 CPUtime=6.13 cores=0-7 /proc/3710/task/3726/stat : 3726 (java) S 3708 3708 2458 0 -1 1077944384 40465 0 0 0 605 8 0 0 20 0 28 0 88976010 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982132075376 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3727] ppid=3708 vsize=26645092 memory=0 CPUtime=1.38 cores=0-7 /proc/3710/task/3727/stat : 3727 (java) S 3708 3708 2458 0 -1 1077944384 29014 0 0 0 133 5 0 0 20 0 28 0 88976010 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982131022576 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3728] ppid=3708 vsize=26645092 memory=6944656592455360608 CPUtime=0 cores=0-7 /proc/3710/task/3728/stat : 3728 (java) S 3708 3708 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88976011 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982129969504 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3729] ppid=3708 vsize=26645092 memory=4486604260213485459 CPUtime=0.9 cores=0-7 /proc/3710/task/3729/stat : 3729 (java) S 3708 3708 2458 0 -1 1077944384 10799 0 0 0 43 47 0 0 20 0 28 0 88976011 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982128916784 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4256] ppid=3708 vsize=26645092 memory=1936 CPUtime=20.56 cores=0-7 /proc/3710/task/4256/stat : 4256 (java) S 3708 3708 2458 0 -1 1077944384 3637 0 0 0 2051 5 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982114881280 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4257] ppid=3708 vsize=26645092 memory=1196 CPUtime=20.57 cores=0-7 /proc/3710/task/4257/stat : 4257 (java) S 3708 3708 2458 0 -1 1077944384 1863 0 0 0 2044 13 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982115935312 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4258] ppid=3708 vsize=26645092 memory=8540 CPUtime=20.53 cores=0-7 /proc/3710/task/4258/stat : 4258 (java) S 3708 3708 2458 0 -1 1077944384 1385 0 0 0 2045 8 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139981775431120 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4259] ppid=3708 vsize=26645092 memory=8112282956445269571 CPUtime=20.45 cores=0-7 /proc/3710/task/4259/stat : 4259 (java) S 3708 3708 2458 0 -1 1077944384 3101 0 0 0 2044 1 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982116988240 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4260] ppid=3708 vsize=26645092 memory=4136 CPUtime=183.32 cores=0-7 /proc/3710/task/4260/stat : 4260 (java) R 3708 3708 2458 0 -1 4202560 6023 0 0 0 18330 2 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982118035784 139982335714802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4261] ppid=3708 vsize=26645092 memory=25920 CPUtime=20.52 cores=0-7 /proc/3710/task/4261/stat : 4261 (java) S 3708 3708 2458 0 -1 1077944384 1827 0 0 0 2050 2 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139981774378576 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4262] ppid=3708 vsize=26645092 memory=1456 CPUtime=20.58 cores=0-7 /proc/3710/task/4262/stat : 4262 (java) S 3708 3708 2458 0 -1 1077944384 1892 0 0 0 2058 0 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982112777168 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4263] ppid=3708 vsize=26645092 memory=8112282956445269571 CPUtime=20.05 cores=0-7 /proc/3710/task/4263/stat : 4263 (java) S 3708 3708 2458 0 -1 1077944384 2114 0 0 0 1990 15 0 0 20 0 28 0 89152298 27284574208 3228341 33554432000 4194304 4196468 140737348348896 139982113829712 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 Current children cumulated CPU time: 2432.05 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 12914820 KiB [startup+1947.2 s] /proc/loadavg: 1.18 1.43 2.16 9/207 4272 /proc/meminfo: memFree=7484644/32770624 swapFree=67108860/67108860 [pid=3708] ppid=3705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3708/stat : 3708 (xcsp3-exec) S 3705 3708 2458 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88976004 115843072 364 33554432000 4194304 5098028 140730893441472 140730893439576 139660164604540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23748608 140730893444149 140730893444352 140730893444352 140730893447114 0 /proc/3708/statm: 28282 364 306 221 0 87 0 [pid=3710] ppid=3708 vsize=26645092 memory=12913288 CPUtime=2436.01 cores=0-7 /proc/3710/stat : 3710 (java) S 3708 3708 2458 0 -1 1077944320 1007018 0 0 0 240875 2726 0 0 20 0 28 0 88976005 27284574208 3228322 33554432000 4194304 4196468 140737348348896 140737348331440 139982742638327 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 /proc/3710/statm: 6661273 3228322 3470 1 0 6622467 0 [pid=3710/tid=3711] ppid=3708 vsize=26645092 memory=1712 CPUtime=80.56 cores=0-7 /proc/3710/task/3711/stat : 3711 (java) S 3708 3708 2458 0 -1 1077944384 46191 0 0 0 7931 125 0 0 20 0 28 0 88976005 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982746879104 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3712] ppid=3708 vsize=26645092 memory=4486604260213485459 CPUtime=28.59 cores=0-7 /proc/3710/task/3712/stat : 3712 (java) S 3708 3708 2458 0 -1 1077944384 40294 0 0 0 2583 276 0 0 20 0 28 0 88976006 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982650198416 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3713] ppid=3708 vsize=26645092 memory=5792 CPUtime=28.68 cores=0-7 /proc/3710/task/3713/stat : 3713 (java) S 3708 3708 2458 0 -1 1077944384 38433 0 0 0 2595 273 0 0 20 0 28 0 88976006 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982649145616 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3714] ppid=3708 vsize=26645092 memory=1936 CPUtime=28.64 cores=0-7 /proc/3710/task/3714/stat : 3714 (java) S 3708 3708 2458 0 -1 1077944384 48052 0 0 0 2593 271 0 0 20 0 28 0 88976006 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982299040400 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3715] ppid=3708 vsize=26645092 memory=1196 CPUtime=28.88 cores=0-7 /proc/3710/task/3715/stat : 3715 (java) S 3708 3708 2458 0 -1 1077944384 86636 0 0 0 2608 280 0 0 20 0 28 0 88976006 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982297987600 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3716] ppid=3708 vsize=26645092 memory=8112282956445269571 CPUtime=28.57 cores=0-7 /proc/3710/task/3716/stat : 3716 (java) S 3708 3708 2458 0 -1 1077944384 51706 0 0 0 2590 267 0 0 20 0 28 0 88976006 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982296935312 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3717] ppid=3708 vsize=26645092 memory=7528 CPUtime=28.81 cores=0-7 /proc/3710/task/3717/stat : 3717 (java) S 3708 3708 2458 0 -1 1077944384 111301 0 0 0 2609 272 0 0 20 0 28 0 88976006 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982295882512 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3718] ppid=3708 vsize=26645092 memory=844 CPUtime=28.75 cores=0-7 /proc/3710/task/3718/stat : 3718 (java) S 3708 3708 2458 0 -1 1077944384 54705 0 0 0 2610 265 0 0 20 0 28 0 88976006 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982294830224 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3719] ppid=3708 vsize=26645092 memory=1692 CPUtime=28.68 cores=0-7 /proc/3710/task/3719/stat : 3719 (java) S 3708 3708 2458 0 -1 1077944384 62701 0 0 0 2598 270 0 0 20 0 28 0 88976006 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982293777424 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3720] ppid=3708 vsize=26645092 memory=8112282956445269571 CPUtime=1.06 cores=0-7 /proc/3710/task/3720/stat : 3720 (java) S 3708 3708 2458 0 -1 1077944384 41345 0 0 0 98 8 0 0 20 0 28 0 88976007 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982138390640 139982742649474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3721] ppid=3708 vsize=26645092 memory=916 CPUtime=0 cores=0-7 /proc/3710/task/3721/stat : 3721 (java) S 3708 3708 2458 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 88976008 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982137336672 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3722] ppid=3708 vsize=26645092 memory=4196 CPUtime=0 cores=0-7 /proc/3710/task/3722/stat : 3722 (java) S 3708 3708 2458 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 28 0 88976008 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982136284288 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3723] ppid=3708 vsize=26645092 memory=4104 CPUtime=0 cores=0-7 /proc/3710/task/3723/stat : 3723 (java) S 3708 3708 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88976010 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982135232592 139982742656923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3724] ppid=3708 vsize=26645092 memory=8540 CPUtime=6.13 cores=0-7 /proc/3710/task/3724/stat : 3724 (java) S 3708 3708 2458 0 -1 1077944384 47274 0 0 0 606 7 0 0 20 0 28 0 88976010 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982134180464 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3725] ppid=3708 vsize=26645092 memory=4616 CPUtime=6.97 cores=0-7 /proc/3710/task/3725/stat : 3725 (java) S 3708 3708 2458 0 -1 1077944384 51342 0 0 0 688 9 0 0 20 0 28 0 88976010 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982133127664 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3726] ppid=3708 vsize=26645092 memory=1424 CPUtime=6.13 cores=0-7 /proc/3710/task/3726/stat : 3726 (java) S 3708 3708 2458 0 -1 1077944384 40465 0 0 0 605 8 0 0 20 0 28 0 88976010 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982132075376 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3727] ppid=3708 vsize=26645092 memory=15868 CPUtime=1.38 cores=0-7 /proc/3710/task/3727/stat : 3727 (java) S 3708 3708 2458 0 -1 1077944384 29325 0 0 0 133 5 0 0 20 0 28 0 88976010 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982131022576 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3728] ppid=3708 vsize=26645092 memory=4052 CPUtime=0 cores=0-7 /proc/3710/task/3728/stat : 3728 (java) S 3708 3708 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88976011 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982129969504 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=3729] ppid=3708 vsize=26645092 memory=18252 CPUtime=0.9 cores=0-7 /proc/3710/task/3729/stat : 3729 (java) S 3708 3708 2458 0 -1 1077944384 10799 0 0 0 43 47 0 0 20 0 28 0 88976011 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982128916784 139982742649474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4265] ppid=3708 vsize=26645092 memory=14996 CPUtime=0.46 cores=0-7 /proc/3710/task/4265/stat : 4265 (java) R 3708 3708 2458 0 -1 4202560 1072 0 0 0 46 0 0 0 20 0 28 0 89170677 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982115929176 139982333277287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4266] ppid=3708 vsize=26645092 memory=644 CPUtime=0.44 cores=0-7 /proc/3710/task/4266/stat : 4266 (java) S 3708 3708 2458 0 -1 1077944384 470 0 0 0 44 0 0 0 20 0 28 0 89170677 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139981775430736 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4267] ppid=3708 vsize=26645092 memory=1792 CPUtime=0.43 cores=0-7 /proc/3710/task/4267/stat : 4267 (java) S 3708 3708 2458 0 -1 1077944384 321 0 0 0 43 0 0 0 20 0 28 0 89170677 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139981774378448 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4268] ppid=3708 vsize=26645092 memory=960 CPUtime=0.46 cores=0-7 /proc/3710/task/4268/stat : 4268 (java) R 3708 3708 2458 0 -1 4202560 603 0 0 0 46 0 0 0 20 0 28 0 89170678 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982116982576 139982335715291 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4269] ppid=3708 vsize=26645092 memory=1232 CPUtime=0.46 cores=0-7 /proc/3710/task/4269/stat : 4269 (java) R 3708 3708 2458 0 -1 4202560 51 0 0 0 46 0 0 0 20 0 28 0 89170678 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982112772456 139982335715330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4270] ppid=3708 vsize=26645092 memory=2344 CPUtime=0.43 cores=0-7 /proc/3710/task/4270/stat : 4270 (java) S 3708 3708 2458 0 -1 1077944384 201 0 0 0 43 0 0 0 20 0 28 0 89170678 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982118041168 139982742648533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4271] ppid=3708 vsize=26645092 memory=928 CPUtime=0.45 cores=0-7 /proc/3710/task/4271/stat : 4271 (java) R 3708 3708 2458 0 -1 4202560 447 0 0 0 45 0 0 0 20 0 28 0 89170678 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982113824320 139982335714802 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 [pid=3710/tid=4272] ppid=3708 vsize=26645092 memory=1580 CPUtime=0.45 cores=0-7 /proc/3710/task/4272/stat : 4272 (java) R 3708 3708 2458 0 -1 4202560 308 0 0 0 45 0 0 0 20 0 28 0 89170678 27284574208 3228322 33554432000 4194304 4196468 140737348348896 139982114877112 139982334365639 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34365440 140737348355201 140737348355373 140737348355373 140737348358095 0 Current children cumulated CPU time: 2436.01 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 12914744 KiB [startup+1947.62 s] /proc/loadavg: 1.18 1.43 2.16 9/207 4272 /proc/meminfo: memFree=7484644/32770624 swapFree=67108860/67108860 [pid=3708] ppid=3705 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/3708/stat : 3708 (xcsp3-exec) S 3705 3708 2458 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 88976004 115843072 364 33554432000 4194304 5098028 140730893441472 140730893439576 139660164604540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23748608 140730893444149 140730893444352 140730893444352 140730893447114 0 /proc/3708/statm: 28282 364 306 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 0 Real time (s): 1947.63 CPU time (s): 2436.88 CPU user time (s): 2409.55 CPU system time (s): 27.3299 CPU usage (%): 125.12 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 13231704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2409.55 system time used= 27.3299 maximum resident set size= 13230440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1008391 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1768 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 65411 involuntary context switches= 12707 # summary of solver processes directly reported to runsolver: # pid: 3708 # total CPU time (s): 2436.88 # total CPU user time (s): 2409.55 # total CPU system time (s): 27.3299 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.0974 second user time and 19.0435 second system time The end
Begin job on node105 at 2018-07-27 19:55:28 IDJOB=4297931 IDBENCH=141273 IDSOLVER=2760 FILE ID=node105/4297931-1532714128 RUNJOBID= node105-1532708384-2485 PBS_JOBID= 21022314 Free space on /tmp= 44544 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297931-1532714128/watcher-4297931-1532714128 -o /tmp/evaluation-result-4297931-1532714128/solver-4297931-1532714128 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532708384-2485 --watchdog 2580 HOME/xcsp3-exec -seed 1133727516 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297931-1532714128.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39 RANDOM SEED=1133727516 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 20411072 kB MemAvailable: 31931992 kB Buffers: 261080 kB Cached: 11400752 kB SwapCached: 0 kB Active: 2466448 kB Inactive: 9245920 kB Active(anon): 5460 kB Inactive(anon): 73364 kB Active(file): 2460988 kB Inactive(file): 9172556 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 104384 kB Writeback: 0 kB AnonPages: 52056 kB Mapped: 42152 kB Shmem: 25228 kB Slab: 343312 kB SReclaimable: 315836 kB SUnreclaim: 27476 kB KernelStack: 3168 kB PageTables: 4676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324392 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44520 MiB End job on node105 at 2018-07-27 20:27:56