Trace number 4304115

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2018-08-01SAT (TO)272086604 2520.08 2520.02

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-04-0300_c18.xml
MD5SUMd2f9cd7b3c3026f57264f10c0685d9a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26739930
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables5284
Number of constraints3360
Number of domains68
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":1859},{"size":11,"count":1561},{"size":12,"count":1},{"size":25,"count":10},{"size":29,"count":10},{"size":31,"count":42},{"size":33,"count":12},{"size":36,"count":26},{"size":39,"count":45},{"size":41,"count":7},{"size":45,"count":9},{"size":50,"count":6},{"size":51,"count":9},{"size":53,"count":7},{"size":57,"count":23},{"size":58,"count":6},{"size":61,"count":6},{"size":62,"count":10},{"size":67,"count":13},{"size":73,"count":1},{"size":74,"count":2},{"size":75,"count":8},{"size":77,"count":3},{"size":79,"count":9},{"size":81,"count":11},{"size":83,"count":7},{"size":84,"count":1},{"size":85,"count":1},{"size":87,"count":11},{"size":89,"count":6},{"size":93,"count":4},{"size":95,"count":35},{"size":97,"count":5},{"size":100,"count":29},{"size":102,"count":51},{"size":104,"count":11},{"size":105,"count":5},{"size":107,"count":8},{"size":109,"count":6},{"size":110,"count":32},{"size":117,"count":53},{"size":118,"count":63},{"size":122,"count":30},{"size":127,"count":118},{"size":130,"count":112},{"size":132,"count":30},{"size":135,"count":968}]
Minimum variable degree2
Maximum variable degree1562
Distribution of variable degrees[{"degree":2,"count":4684},{"degree":3,"count":6},{"degree":4,"count":6},{"degree":5,"count":11},{"degree":6,"count":24},{"degree":7,"count":24},{"degree":8,"count":40},{"degree":9,"count":42},{"degree":10,"count":48},{"degree":11,"count":68},{"degree":12,"count":79},{"degree":13,"count":128},{"degree":14,"count":97},{"degree":15,"count":11},{"degree":16,"count":8},{"degree":17,"count":6},{"degree":18,"count":1},{"degree":1562,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":238},{"arity":3,"count":1561},{"arity":6,"count":1561}]
Number of extensional constraints1561
Number of intensional constraints1799
Distribution of constraint types[{"type":"extension","count":1561},{"type":"intension","count":1799}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Mistral 01082018
56.19/56.25	o 272414545
56.19/56.26	o 272414537
56.19/56.26	o 272414536
56.19/56.27	o 272414533
56.19/56.27	o 272398920
56.19/56.28	o 272383310
56.19/56.28	o 272367700
56.29/56.30	o 272367696
56.29/56.31	o 272367691
56.49/56.55	o 272352079
56.69/56.74	o 272336465
56.69/56.79	o 272320844
56.69/56.79	o 272320837
56.79/56.82	o 272305231
56.79/56.83	o 272305226
58.49/58.53	o 272305225
61.78/61.86	o 272289615
62.09/62.12	o 272289613
64.28/64.32	o 272289610
67.09/67.19	o 272274000
67.18/67.22	o 272273991
68.58/68.69	o 272273990
112.17/112.29	o 272273981
201.27/201.31	o 272258371
220.77/220.85	o 272258370
221.67/221.79	o 272258369
234.56/234.68	o 272227163
234.66/234.71	o 272227148
234.66/234.74	o 272227144
596.62/596.75	o 272227135
596.62/596.76	o 272211525
596.62/596.79	o 272195915
616.62/616.78	o 272180306
616.62/616.79	o 272180305
639.72/639.81	o 272180299
639.72/639.81	o 272180290
639.72/639.82	o 272164679
639.72/639.86	o 272149069
639.72/639.86	o 272149066
642.42/642.52	o 272117841
643.93/644.02	o 272117832
664.12/664.20	o 272102242
698.62/698.75	o 272102238
766.71/766.84	o 272102237
1102.14/1102.23	o 272102236
1102.14/1102.24	o 272102235
1102.14/1102.26	o 272102231
1102.34/1102.41	o 272102229
2338.54/2338.56	o 272102220
2339.74/2339.71	o 272102214
2403.94/2403.93	o 272086604
2520.07/2520.01	s SATISFIABLE
2520.07/2520.01	v <instantiation type="solution">
2520.07/2520.01	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] 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] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] </list>
2520.07/2520.01	v   <values> 2612 2168 2232 2200 2200 2252 2532 2200 2584 2232 2200 2280 2448 2260 2660 2692 2160 2524 2248 2160 2200 2172 2352 2544 2160 2524 2316 2300 2576 2660 2204 2160 2248 2160 2204 2212 2544 2160 2544 2300 2480 2164 2544 2252 2276 2200 2584 2592 2232 2544 2548 2572 2604 2564 2292 2200 2624 2160 2160 2640 2312 2268 2288 2472 2572 2436 2532 2572 2260 2484 2524 2276 2272 2524 2652 2584 2564 2620 2328 2160 2584 2216 2212 2200 2212 2504 2512 2672 2160 2176 2492 2564 2444 2160 2224 2264 2288 2200 2516 2372 2336 2512 2544 2200 2200 2272 2332 2584 2436 2564 2252 2556 2160 2524 2164 2584 2532 2468 2160 2452 2524 2524 2524 2532 2612 2300 2560 2160 2236 2432 2528 2236 2308 2240 2316 2360 2656 2292 2200 2200 2508 2276 2492 2508 2476 2436 2200 2524 2240 2404 2188 2680 2436 2200 2400 2564 2360 2544 2256 2544 2240 2596 2200 2252 2412 2484 2160 2572 2200 2644 2292 2400 2260 2200 2612 2592 2160 2160 2160 2232 2212 2200 2228 2200 2428 2592 2476 2160 2544 2160 2664 2436 2200 2544 2348 2200 2552 2160 2328 2160 2296 2360 2564 2208 2564 2524 2484 2160 2340 2264 2348 2504 2632 2612 2200 2524 2564 2616 2260 2472 2584 2620 2564 2408 2200 2400 2372 2512 2520 2564 2568 2544 2556 2484 2252 2524 2476 2508 2368 2308 2220 2200 2524 2172 2200 2652 2468 2300 2200 2292 2200 2388 2252 2200 2160 2304 2572 2296 2200 2516 2160 2472 2564 2272 2272 2336 2572 2632 2612 2504 2472 2160 2164 2204 2684 2240 2252 2476 2208 2160 2632 2572 2260 2408 2212 2160 2536 2296 2584 2368 2272 2476 2312 2440 2200 2524 2300 2556 2308 2356 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 11 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 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 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 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 3 0 9 0 0 1 0 0 0 8 0 8 0 0 0 10 0 8 0 5 0 0 9 0 0 0 0 0 10 10 0 1 0 9 9 0 0 10 7 1 10 0 0 0 10 0 0 0 1 0 10 10 1 10 0 0 6 10 1 5 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 7 5 0 0 0 10 0 0 0 0 0 9 10 0 0 0 10 0 0 8 0 10 2 0 0 1 0 0 6 0 0 7 0 0 1 0 10 10 0 10 1 0 0 0 0 1 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 10 0 10 0 0 0 10 0 0 10 0 0 0 0 10 10 10 7 1 0 10 0 0 3 0 0 9 0 0 0 0 1 10 0 0 1 1 0 7 0 0 10 0 0 0 10 0 0 10 0 10 10 0 0 10 0 2 0 0 10 0 0 0 10 0 0 9 0 10 0 0 4 0 0 0 0 0 2 0 1 0 0 0 10 0 1 5 0 10 5 7 0 0 0 2 9 0 7 0 0 10 1 10 1 0 0 10 0 0 0 2 0 10 0 10 10 0 10 10 0 2 10 10 10 0 0 10 0 0 0 4 0 10 10 0 0 10 1 0 10 0 0 0 0 10 3 1 2 10 0 0 10 0 0 0 10 1 0 10 0 0 10 7 0 9 0 10 9 0 10 10 0 0 0 0 1 0 0 1 1 0 0 0 10 0 0 0 4 0 10 8 0 0 0 0 0 9 10 0 0 10 0 1 0 8 10 0 10 0 0 0 0 0 10 0 10 0 0 10 8 0 10 10 10 0 10 0 4 0 0 0 2 0 1 0 0 0 10 10 0 6 2 0 0 0 2 0 3 1 0 5 1 0 10 0 2 10 0 0 0 0 0 0 1 1 0 10 0 0 0 0 3 0 0 0 0 1 9 10 0 1 0 1 0 0 0 0 10 0 3 0 8 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 1 0 0 0 0 0 4 0 1 0 1 10 9 0 10 10 0 0 0 10 10 10 10 10 0 0 6 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 1 0 10 0 6 10 8 0 0 0 0 1 1 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 7 0 8 0 10 0 0 1 0 9 0 10 6 0 0 0 10 0 0 0 0 10 1 10 0 0 10 0 9 10 0 0 0 10 5 0 0 0 1 1 0 0 10 0 6 0 0 0 0 0 7 10 0 0 10 0 0 0 10 0 0 0 10 4 10 0 1 0 0 0 0 10 1 0 0 10 10 0 0 10 1 0 10 6 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 1 0 0 0 8 10 0 0 8 0 0 3 0 10 1 0 0 0 0 0 4 1 10 7 0 0 0 0 2 10 0 0 10 1 0 0 6 10 0 0 0 0 0 0 10 10 0 10 0 10 0 5 10 10 0 0 0 10 0 10 0 10 0 1 6 0 10 0 6 0 0 0 10 0 0 10 0 1 1 10 0 1 10 10 0 1 0 0 10 0 10 0 0 1 7 10 0 0 0 0 10 0 0 10 1 0 0 0 0 0 9 10 10 0 0 10 0 0 0 10 0 0 0 0 10 10 0 1 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 8 0 0 1 9 0 0 0 0 3 0 10 0 10 0 0 0 0 10 0 2 0 0 1 0 5 0 0 10 5 10 0 0 0 0 0 10 8 0 0 0 0 0 0 10 10 0 0 10 0 0 1 1 10 0 0 0 0 0 0 10 0 0 10 0 10 6 0 0 8 5 8 0 10 0 10 0 0 5 0 0 1 10 0 0 0 1 0 0 1 10 1 0 0 0 0 0 0 7 10 0 0 0 0 10 0 0 0 3 0 10 2 1 0 1 0 0 10 10 0 0 0 10 1 0 0 0 0 0 0 0 6 0 0 0 10 7 1 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 10 9 0 5 1 10 10 0 0 3 10 0 0 10 10 0 0 10 10 10 0 1 1 10 0 10 0 0 0 0 0 10 0 0 5 8 0 10 0 1 0 0 7 0 0 2 0 10 0 0 10 0 8 0 0 7 0 9 0 10 1 1 0 0 0 0 6 0 10 0 0 0 0 0 0 0 0 7 10 10 0 0 1 0 0 8 0 0 0 0 10 0 0 10 0 10 0 0 1 10 9 6 3 0 0 10 0 0 0 0 0 10 10 0 1 10 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 0 10 0 0 0 0 10 0 2 0 0 10 0 10 0 0 10 0 0 0 0 0 0 1 7 0 0 0 0 0 0 0 10 10 0 0 10 10 10 6 0 0 0 0 0 5 0 0 10 0 0 0 0 3 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 8 0 0 0 0 0 10 0 0 0 0 10 5 10 0 0 0 0 1 10 10 0 0 7 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 1 0 10 0 0 1 0 0 10 10 0 0 10 6 0 10 4 0 10 8 10 10 0 9 0 0 0 0 0 9 8 0 0 0 0 0 0 4 0 10 0 0 0 0 9 0 9 10 10 0 0 0 0 10 1 0 8 8 10 10 0 0 10 10 0 4 10 0 9 0 7 0 0 1 0 0 0 10 0 0 10 0 1 10 0 8 0 0 0 0 0 10 0 10 0 0 0 1 10 10 0 0 0 0 10 0 8 0 0 0 1 1 0 1 10 1 10 10 0 0 10 0 0 0 0 0 1 4 0 10 0 0 1 0 1 0 3 0 0 0 0 1 0 0 1 0 0 0 0 10 1 0 10 0 0 0 10 0 3 10 0 10 0 0 10 0 1 0 1 10 10 0 0 0 1 0 7 0 10 10 2 0 8 0 0 0 0 9 10 0 0 10 5 0 0 0 0 0 0 0 0 0 10 0 0 5 0 0 0 0 0 0 3 3 3 10 8 0 0 1 10 0 10 0 0 0 0 4 9 0 0 0 0 0 10 0 0 0 0 7 0 0 0 1 0 9 7 6 10 10 0 9 0 0 0 1 0 10 0 0 10 10 0 4 0 0 0 0 1 1 1 0 0 0 1 0 10 10 0 0 10 10 2 1 0 10 0 1 0 0 1 0 0 0 0 0 0 0 1 1 8 0 0 0 0 10 0 10 9 0 0 10 0 10 3 3 10 0 1 0 5 7 4 0 0 9 0 1 0 8 8 0 0 0 0 0 10 0 0 5 0 1 0 3 0 0 6 0 0 7 0 0 0 1 0 0 10 0 0 1 0 0 0 10 412 452 88 412 0 44 140 0 452 244 32 36 80 8 164 132 32 512 32 8 240 32 308 0 428 20 72 72 32 168 24 380 32 12 284 332 40 40 376 12 40 392 464 304 272 0 208 40 304 40 324 268 40 108 236 8 372 432 52 372 184 180 256 344 0 88 380 364 216 84 284 372 44 52 16 320 140 24 292 60 132 28 360 240 248 0 0 236 308 396 12 40 432 416 432 8 0 384 308 20 344 28 64 40 60 48 420 120 0 72 240 272 292 4 24 32 72 20 0 12 440 60 40 172 384 40 92 172 40 168 20 204 304 16 44 28 120 80 80 88 108 248 248 44 248 148 288 120 136 248 196 68 112 16 100 176 176 100 60 100 116 168 500 208 64 400 96 152 408 500 364 184 488 416 532 468 168 492 344 492 492 392 420 416 320 52 348 200 344 312 396 12 132 40 276 36 216 40 60 68 88 44 336 312 184 12 188 272 384 464 152 324 404 40 452 0 188 4 244 0 72 132 100 40 364 208 72 76 32 412 372 352 440 120 28 304 32 304 220 20 12 124 156 132 164 120 232 0 20 136 68 0 20 332 248 416 320 128 348 80 200 344 312 40 132 136 40 364 0 308 60 60 88 88 16 324 60 112 240 120 84 24 268 116 100 28 204 100 72 168 96 28 376 48 104 376 376 168 384 8 76 224 404 116 44 128 4 476 4 44 204 308 4 4 68 4 152 344 424 364 364 92 196 88 244 48 100 320 76 80 200 72 180 104 424 112 0 412 232 300 360 156 52 440 360 416 364 332 440 52 240 12 12 48 188 300 260 60 52 96 108 40 12 384 0 20 88 332 68 348 436 92 240 52 0 168 456 308 40 176 472 280 292 16 284 20 384 60 292 188 184 284 8 140 344 100 100 208 68 4 40 256 268 176 28 240 184 120 8 188 280 72 112 408 148 456 420 4 196 92 360 448 312 344 28 72 284 332 344 344 344 20 244 344 272 248 40 92 304 108 232 312 224 160 76 160 160 116 116 4 112 16 40 344 200 128 0 136 412 336 72 240 148 20 52 384 96 184 424 424 32 12 392 324 20 392 48 8 64 28 68 320 72 32 172 180 60 352 340 284 20 124 344 0 384 108 60 384 292 20 292 140 248 124 260 40 308 308 116 44 8 376 252 348 140 40 48 80 272 372 20 60 404 368 300 392 92 52 288 404 364 0 52 268 200 276 224 184 40 88 12 0 212 0 372 40 60 424 40 80 8 156 288 88 344 352 0 356 0 404 40 432 4 172 40 40 0 248 408 40 0 112 480 268 480 204 440 156 440 480 388 480 272 308 60 148 220 100 300 304 344 296 144 276 284 304 276 188 196 112 272 36 52 92 148 48 264 116 48 412 372 40 372 88 264 0 108 200 120 156 276 176 184 4 332 160 24 312 332 372 60 224 8 16 104 40 12 0 8 320 268 332 260 100 176 96 100 176 176 60 224 60 216 108 220 148 324 160 176 96 128 200 192 324 0 268 364 116 216 224 324 364 48 48 116 308 116 76 116 248 16 268 356 24 20 252 36 212 272 76 112 100 300 32 300 24 324 40 216 88 364 40 272 128 88 344 292 252 452 60 88 432 176 440 408 252 40 332 92 20 116 344 220 260 412 104 188 256 168 168 32 68 356 196 28 384 200 40 68 324 460 44 80 28 344 20 60 12 328 16 156 348 256 56 224 12 104 52 52 352 304 92 168 412 460 76 28 148 292 12 40 12 196 24 232 32 180 60 28 0 52 140 384 16 164 432 80 8 312 472 472 264 0 0 364 372 40 28 40 72 268 16 260 16 76 292 68 60 252 104 92 164 124 292 156 364 364 292 88 252 284 84 80 172 32 212 364 200 276 0 72 140 24 292 244 8 124 72 36 12 64 292 204 260 172 104 380 64 12 36 124 4 28 48 304 376 72 216 88 268 36 332 160 412 352 284 0 316 168 28 312 168 356 8 216 188 212 172 172 140 212 4 140 76 308 136 188 116 52 84 220 32 240 48 0 344 20 244 332 40 128 416 0 136 432 384 228 168 36 16 292 272 32 132 132 132 28 332 132 184 332 40 384 64 272 32 236 8 40 276 84 132 256 152 268 68 48 324 252 40 340 184 120 224 216 380 60 32 120 156 356 128 0 92 360 60 0 88 40 364 324 0 272 320 36 4 40 384 12 216 80 216 332 48 312 332 224 8 32 76 204 372 324 312 4 264 92 292 224 156 192 292 132 208 88 48 40 40 152 8 364 4 40 324 164 324 364 40 88 0 332 344 80 20 124 368 412 200 20 412 452 240 360 380 244 100 268 28 48 28 4 132 252 288 204 324 0 40 412 208 236 164 288 240 28 60 192 76 112 164 180 104 36 96 200 328 368 16 160 36 76 328 16 236 76 320 184 108 256 60 256 48 304 28 88 392 228 40 24 20 20 156 8 40 0 104 60 28 212 224 380 416 364 64 184 72 456 360 456 248 72 132 224 20 180 392 40 16 344 384 52 0 228 40 208 0 40 40 268 268 84 4 308 48 216 212 100 248 116 72 80 64 120 188 256 108 348 124 108 8 28 212 68 220 68 268 96 172 128 40 212 228 412 324 452 188 324 264 44 0 352 424 232 40 316 68 52 140 204 12 376 212 64 28 112 520 408 368 236 236 276 204 128 276 284 40 28 40 172 172 240 104 200 56 364 160 152 60 324 196 52 144 292 344 228 268 268 216 144 0 88 72 208 88 8 104 352 120 264 40 316 344 196 36 20 36 60 156 28 284 108 60 96 0 92 76 364 52 380 284 212 232 60 64 324 252 276 324 188 484 40 228 404 396 344 8 64 300 40 344 8 444 444 256 372 384 32 132 136 252 232 124 252 68 136 0 364 368 168 240 0 408 256 120 420 300 340 184 0 404 352 492 68 268 136 364 0 40 364 140 24 32 72 52 116 404 264 256 124 420 324 228 324 208 0 28 28 344 452 304 4 80 96 168 268 28 20 388 88 44 176 156 384 404 60 80 112 152 8 292 36 344 472 176 280 304 160 192 464 108 492 372 464 256 48 176 108 80 40 324 372 36 0 72 284 332 52 236 336 140 188 148 176 12 80 32 364 384 140 0 288 140 8 168 112 324 104 492 0 112 316 268 52 56 96 4 12 160 188 68 64 160 48 0 20 88 268 8 300 232 108 48 228 28 284 32 172 404 52 280 228 208 216 160 304 52 332 212 96 296 96 192 48 340 360 28 188 372 156 40 8 148 416 80 392 12 20 324 272 300 64 72 12 376 312 276 156 364 404 324 156 248 136 68 356 0 100 240 60 144 200 12 220 312 368 316 4 20 384 28 272 48 384 260 356 88 280 52 360 56 324 176 172 96 64 236 208 216 68 216 56 4 284 56 16 188 108 120 236 40 304 492 4 88 56 52 8 12 92 116 432 336 128 168 40 72 276 100 100 0 96 268 44 260 208 244 96 112 160 120 0 296 200 104 96 12 372 380 140 304 264 104 60 348 96 192 364 140 24 100 224 </values>
2520.07/2520.01	v </instantiation>

Verifier Data 

OK	272086604

Watcher Data 

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 (1786 MiB free)
  memory of node 1: 16384 MiB (1286 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304115-1534009917/watcher-4304115-1534009917 -o /tmp/evaluation-result-4304115-1534009917/solver-4304115-1534009917 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1533992269-6087 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1785430384 HOME/instance-4304115-1534009917.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8077, runsolver pid=8074
Current StackSize limit: 8192 KiB


[startup+0.100209 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 8078
/proc/meminfo: memFree=3134196/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=40604 memory=15004 CPUtime=0.1 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 4036 0 0 0 10 0 0 0 20 0 1 0 218554853 41578496 3751 33554432000 4194304 7499544 140731400955392 140731400952392 140231028960229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 10151 3751 704 807 0 3142 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40604 KiB
Current children cumulated memory: 15004 KiB

[startup+0.209795 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 8078
/proc/meminfo: memFree=3131100/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=43580 memory=18172 CPUtime=0.21 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 4788 0 0 0 21 0 0 0 20 0 1 0 218554853 44625920 4543 33554432000 4194304 7499544 140731400955392 140731400946392 140231028960229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 10895 4543 704 807 0 3886 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43580 KiB
Current children cumulated memory: 18172 KiB

[startup+0.309355 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 8078
/proc/meminfo: memFree=3125024/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=49000 memory=23588 CPUtime=0.3 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 6266 0 0 0 30 0 0 0 20 0 1 0 218554853 50176000 5897 33554432000 4194304 7499544 140731400955392 140731400946392 140231029884224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 12250 5897 704 807 0 5241 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49000 KiB
Current children cumulated memory: 23588 KiB

[startup+0.70041 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8078
/proc/meminfo: memFree=3120560/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=59624 memory=33880 CPUtime=0.69 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 8887 0 0 0 68 1 0 0 20 0 1 0 218554853 61054976 8470 33554432000 4194304 7499544 140731400955392 140731400946392 5880019 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 14906 8470 720 807 0 7897 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59624 KiB
Current children cumulated memory: 33880 KiB

[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8078
/proc/meminfo: memFree=3107944/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=79988 memory=54472 CPUtime=1.49 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 13992 0 0 0 148 1 0 0 20 0 1 0 218554853 81907712 13618 33554432000 4194304 7499544 140731400955392 140731400948632 5881580 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 19997 13618 720 807 0 12988 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79988 KiB
Current children cumulated memory: 54472 KiB

[startup+3.10948 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8078
/proc/meminfo: memFree=3057756/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=119624 memory=94036 CPUtime=3.1 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 25186 0 0 0 307 3 0 0 20 0 1 0 218554853 122494976 23509 33554432000 4194304 7499544 140731400955392 140731400948632 5880096 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 29906 23509 722 807 0 22897 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 119624 KiB
Current children cumulated memory: 94036 KiB

[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 2.05 3/193 8079
/proc/meminfo: memFree=2981216/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=200544 memory=174996 CPUtime=6.29 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 47491 0 0 0 624 5 0 0 20 0 1 0 218554853 205357056 43749 33554432000 4194304 7499544 140731400955392 140731400948632 5881396 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 50136 43749 722 807 0 43127 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 200544 KiB
Current children cumulated memory: 174996 KiB

[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.05 3/193 8079
/proc/meminfo: memFree=2830432/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=361572 memory=336100 CPUtime=12.69 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 90307 0 0 0 1257 12 0 0 20 0 1 0 218554853 370249728 84025 33554432000 4194304 7499544 140731400955392 140731400948632 140231028952831 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 90393 84025 722 807 0 83384 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 361572 KiB
Current children cumulated memory: 336100 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 2.05 3/193 8079
/proc/meminfo: memFree=2508032/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=678448 memory=652920 CPUtime=25.49 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 173232 0 0 0 2525 24 0 0 20 0 1 0 218554853 694730752 163230 33554432000 4194304 7499544 140731400955392 140731400948632 5880910 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 169612 163230 722 807 0 162603 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 678448 KiB
Current children cumulated memory: 652920 KiB

[startup+51.1099 s]
/proc/loadavg: 1.96 2.01 2.04 3/193 8079
/proc/meminfo: memFree=1982980/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1188912 memory=1163656 CPUtime=51.09 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 404117 0 0 0 5064 45 0 0 20 0 1 0 218554853 1217445888 290914 33554432000 4194304 7499544 140731400955392 140731400949928 5791081 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 297228 290914 763 807 0 290219 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1188912 KiB
Current children cumulated memory: 1163656 KiB

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/193 8080
/proc/meminfo: memFree=1977972/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1193724 memory=1168544 CPUtime=102.28 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 504765 0 0 0 10176 52 0 0 20 0 1 0 218554853 1222373376 292136 33554432000 4194304 7499544 140731400955392 140731400949816 5790850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 298431 292136 766 807 0 291422 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1193724 KiB
Current children cumulated memory: 1168544 KiB

[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 8081
/proc/meminfo: memFree=1977196/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1194520 memory=1169224 CPUtime=162.28 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 640810 0 0 0 16168 60 0 0 20 0 1 0 218554853 1223188480 292306 33554432000 4194304 7499544 140731400955392 140731400949832 140231032395466 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 298630 292306 766 807 0 291621 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1194520 KiB
Current children cumulated memory: 1169224 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/191 8084
/proc/meminfo: memFree=1976520/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1194916 memory=1169720 CPUtime=222.27 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 779572 0 0 0 22161 66 0 0 20 0 1 0 218554853 1223593984 292430 33554432000 4194304 7499544 140731400955392 140731400950408 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 298729 292430 766 807 0 291720 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1194916 KiB
Current children cumulated memory: 1169720 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 8085
/proc/meminfo: memFree=1975672/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1195316 memory=1170036 CPUtime=282.25 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 872409 0 0 0 28155 70 0 0 20 0 1 0 218554853 1224003584 292509 33554432000 4194304 7499544 140731400955392 140731400949816 4398032 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 298829 292509 766 807 0 291820 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 1195316 KiB
Current children cumulated memory: 1170036 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 8086
/proc/meminfo: memFree=1976052/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1195316 memory=1170120 CPUtime=342.24 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 915863 0 0 0 34152 72 0 0 20 0 1 0 218554853 1224003584 292530 33554432000 4194304 7499544 140731400955392 140731400949816 5771738 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 298829 292530 766 807 0 291820 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 1195316 KiB
Current children cumulated memory: 1170120 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8088
/proc/meminfo: memFree=1975444/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1195448 memory=1170152 CPUtime=402.24 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 946746 0 0 0 40150 74 0 0 20 0 1 0 218554853 1224138752 292538 33554432000 4194304 7499544 140731400955392 140731400949928 4258023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 298862 292538 766 807 0 291853 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 1195448 KiB
Current children cumulated memory: 1170152 KiB

[startup+462.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/191 8152
/proc/meminfo: memFree=1106436/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1195448 memory=1170168 CPUtime=462.23 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 973327 0 0 0 46148 75 0 0 20 0 1 0 218554853 1224138752 292542 33554432000 4194304 7499544 140731400955392 140731400949928 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 298862 292542 766 807 0 291853 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 1195448 KiB
Current children cumulated memory: 1170168 KiB


################
# More data... #
################

/proc/8077/statm: 299924 293620 766 807 0 292915 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 1199696 KiB
Current children cumulated memory: 1174480 KiB

[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/192 8221
/proc/meminfo: memFree=1095412/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199696 memory=1174604 CPUtime=1782.29 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1145179 0 0 0 178145 84 0 0 20 0 1 0 218554853 1228488704 293651 33554432000 4194304 7499544 140731400955392 140731400949816 5790971 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299924 293651 766 807 0 292915 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 1199696 KiB
Current children cumulated memory: 1174604 KiB

[startup+1842.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 8223
/proc/meminfo: memFree=1095016/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199828 memory=1174644 CPUtime=1842.3 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1146718 0 0 0 184146 84 0 0 20 0 1 0 218554853 1228623872 293661 33554432000 4194304 7499544 140731400955392 140731400949816 5791081 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299957 293661 766 807 0 292948 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174644 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 8224
/proc/meminfo: memFree=1094992/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199828 memory=1174680 CPUtime=1902.3 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1148069 0 0 0 190146 84 0 0 20 0 1 0 218554853 1228623872 293670 33554432000 4194304 7499544 140731400955392 140731400949816 4541806 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299957 293670 766 807 0 292948 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174680 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 8225
/proc/meminfo: memFree=1094388/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199828 memory=1174696 CPUtime=1962.31 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1149273 0 0 0 196147 84 0 0 20 0 1 0 218554853 1228623872 293674 33554432000 4194304 7499544 140731400955392 140731400949816 4405051 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299957 293674 766 807 0 292948 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174696 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 8228
/proc/meminfo: memFree=1094352/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199828 memory=1174696 CPUtime=2022.31 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1150623 0 0 0 202147 84 0 0 20 0 1 0 218554853 1228623872 293674 33554432000 4194304 7499544 140731400955392 140731400949816 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299957 293674 766 807 0 292948 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174696 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8229
/proc/meminfo: memFree=1094472/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199828 memory=1174704 CPUtime=2082.32 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1151878 0 0 0 208147 85 0 0 20 0 1 0 218554853 1228623872 293676 33554432000 4194304 7499544 140731400955392 140731400949816 4579850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299957 293676 766 807 0 292948 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174704 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8230
/proc/meminfo: memFree=1094484/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199828 memory=1174728 CPUtime=2142.33 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1153095 0 0 0 214148 85 0 0 20 0 1 0 218554853 1228623872 293682 33554432000 4194304 7499544 140731400955392 140731400949816 4579850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299957 293682 766 807 0 292948 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174728 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8232
/proc/meminfo: memFree=1094700/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199960 memory=1174740 CPUtime=2202.33 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1154222 0 0 0 220148 85 0 0 20 0 1 0 218554853 1228759040 293685 33554432000 4194304 7499544 140731400955392 140731400949832 4408873 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299990 293685 766 807 0 292981 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174740 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8233
/proc/meminfo: memFree=1094328/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199960 memory=1174752 CPUtime=2262.33 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1155554 0 0 0 226148 85 0 0 20 0 1 0 218554853 1228759040 293688 33554432000 4194304 7499544 140731400955392 140731400949832 4257952 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299990 293688 766 807 0 292981 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174752 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8241
/proc/meminfo: memFree=1093332/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199960 memory=1174764 CPUtime=2322.34 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1156752 0 0 0 232149 85 0 0 20 0 1 0 218554853 1228759040 293691 33554432000 4194304 7499544 140731400955392 140731400949832 4404999 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299990 293691 766 807 0 292981 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174764 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8242
/proc/meminfo: memFree=1094040/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199960 memory=1174828 CPUtime=2382.34 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1157711 0 0 0 238149 85 0 0 20 0 1 0 218554853 1228759040 293707 33554432000 4194304 7499544 140731400955392 140731400950408 5771888 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299990 293707 766 807 0 292981 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174828 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8244
/proc/meminfo: memFree=1094016/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199960 memory=1174836 CPUtime=2442.34 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1158543 0 0 0 244149 85 0 0 20 0 1 0 218554853 1228759040 293709 33554432000 4194304 7499544 140731400955392 140731400950408 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299990 293709 766 807 0 292981 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174836 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8245
/proc/meminfo: memFree=1094252/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199960 memory=1174836 CPUtime=2502.35 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1159901 0 0 0 250150 85 0 0 20 0 1 0 218554853 1228759040 293709 33554432000 4194304 7499544 140731400955392 140731400950408 4579688 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299990 293709 766 807 0 292981 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174836 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 8245
/proc/meminfo: memFree=1094156/32770624 swapFree=67108856/67108860
[pid=8077] ppid=8074 vsize=1199960 memory=1174844 CPUtime=2520.07 cores=0,2,4,6
/proc/8077/stat : 8077 (MistralXCSP) R 8074 8077 6056 0 -1 4202496 1160159 0 0 0 251921 86 0 0 20 0 1 0 218554853 1228759040 293711 33554432000 4194304 7499544 140731400955392 140731400950408 4258023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18178048 140731400959085 140731400959235 140731400959235 140731400961993 0
/proc/8077/statm: 299990 293711 766 807 0 292981 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174844 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.02 s]
# the end of solver process 8077 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.21 s, system=0.865059 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520.02
CPU time (s): 2520.08
CPU user time (s): 2519.21
CPU system time (s): 0.865059
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1199960
Max. memory (cumulated for all children) (KiB): 1174844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.21
system time used= 0.865059
maximum resident set size= 1174864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1160191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221
involuntary context switches= 871


# summary of solver processes directly reported to runsolver:
#   pid: 8077
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.21
#   total CPU system time (s): 0.865059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5052 second user time and 18.4847 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-11 19:51:57
IDJOB=4304115
IDBENCH=141261
IDSOLVER=2779
FILE ID=node133/4304115-1534009917
RUNJOBID= node133-1533992269-6087
PBS_JOBID= 21036948
Free space on /tmp= 38696 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304115-1534009917/watcher-4304115-1534009917 -o /tmp/evaluation-result-4304115-1534009917/solver-4304115-1534009917 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1533992269-6087 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1785430384 HOME/instance-4304115-1534009917.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=1785430384

node133.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.24
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.24
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.24
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.24
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:         3146888 kB
MemAvailable:   31887276 kB
Buffers:          205788 kB
Cached:         28423372 kB
SwapCached:            0 kB
Active:         10775096 kB
Inactive:       17927544 kB
Active(anon):      24172 kB
Inactive(anon):   101636 kB
Active(file):   10750924 kB
Inactive(file): 17825908 kB
Unevictable:        7092 kB
Mlocked:            7092 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:            111528 kB
Writeback:             0 kB
AnonPages:         94220 kB
Mapped:            56212 kB
Shmem:             49820 kB
Slab:             619880 kB
SReclaimable:     592016 kB
SUnreclaim:        27864 kB
KernelStack:        3648 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     396292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 38624 MiB
End job on node133 at 2018-08-11 20:33:57