Trace number 4304119

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)232566519 2519.97 2520.06

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark68.4417
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
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
44.19/44.20	o 233065616
44.19/44.21	o 233051356
44.29/44.34	o 233037096
44.29/44.37	o 233022836
44.39/44.40	o 233008576
44.39/44.47	o 232994316
44.39/44.47	o 232980056
44.39/44.49	o 232965796
44.69/44.76	o 232951536
44.89/44.95	o 232937276
44.89/45.00	o 232908756
45.10/45.11	o 232894496
45.10/45.17	o 232880236
45.19/45.24	o 232865976
45.19/45.30	o 232851726
45.29/45.30	o 232851716
45.69/45.71	o 232851710
51.28/51.35	o 232837460
51.28/51.39	o 232823210
61.59/61.69	o 232823202
61.69/61.74	o 232823201
61.89/61.91	o 232823200
62.39/62.46	o 232823192
62.49/62.51	o 232823187
62.49/62.55	o 232823184
62.59/62.60	o 232823178
62.59/62.66	o 232823170
261.99/262.06	o 232808910
276.68/276.71	o 232794660
276.68/276.74	o 232794650
291.99/292.06	o 232794640
316.67/316.74	o 232780380
316.99/317.01	o 232766128
316.99/317.08	o 232766120
322.58/322.60	o 232751904
322.58/322.61	o 232751895
322.58/322.62	o 232751892
322.68/322.78	o 232751887
322.78/322.81	o 232751886
323.38/323.46	o 232751879
346.37/346.44	o 232737629
346.57/346.69	o 232723369
347.98/348.06	o 232709109
348.37/348.44	o 232694849
365.08/365.14	o 232680589
374.37/374.49	o 232666339
374.67/374.77	o 232666329
413.57/413.62	o 232652069
432.98/433.08	o 232637809
433.08/433.11	o 232623559
433.38/433.44	o 232609299
436.17/436.24	o 232595058
636.66/636.75	o 232580798
688.87/688.99	o 232566547
690.47/690.50	o 232566538
691.36/691.47	o 232566528
691.56/691.65	o 232566519
2519.92/2520.01	s SATISFIABLE
2519.92/2520.01	v <instantiation type="solution">
2519.92/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] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] </list>
2519.92/2520.01	v   <values> 2500 2224 2636 2240 2668 2480 2684 2768 2696 2260 2724 2420 2220 2420 2292 2648 2780 2308 2624 2224 2700 2268 2260 2224 2264 2236 2724 2240 2748 2788 2268 2784 2320 2220 2260 2312 2268 2720 2748 2224 2720 2756 2260 2420 2720 2232 2260 2260 2488 2236 2308 2224 2296 2728 2696 2360 2220 2264 2220 2224 2692 2436 2400 2732 2260 2684 2668 2260 2656 2220 2260 2420 2264 2332 2724 2524 2724 2684 2252 2540 2736 2328 2352 2500 2744 2224 2736 2220 2236 2744 2520 2256 2588 2420 2520 2616 2688 2780 2300 2288 2384 2348 2620 2524 2308 2220 2300 2684 2764 2460 2580 2280 2284 2620 2228 2220 2724 2380 2260 2420 2736 2784 2224 2276 2460 2652 2264 2764 2484 2240 2728 2264 2260 2660 2300 2528 2724 2260 2744 2420 2292 2620 2472 2480 2264 2476 2248 2684 2764 2240 2684 2248 2788 2224 2260 2336 2260 2380 2260 2668 2676 2528 2728 2316 2228 2220 2472 2424 2264 2576 2280 2260 2224 2804 2260 2660 2540 2260 2688 2736 2308 2224 2460 2500 2300 2716 2296 2636 2232 2276 2500 2548 2696 2280 2280 2260 2220 2540 2760 2220 2704 2708 2660 2696 2772 2688 2312 2640 2220 2716 2308 2564 2520 2244 2760 2724 2280 2512 2220 2260 2268 2432 2776 2700 2264 2284 2776 2220 2592 2272 2460 2724 2684 2260 2308 2724 2304 2304 2520 2460 2544 2344 2680 2260 2736 2764 2820 2300 2220 2660 2276 2728 2620 2260 2244 2348 2272 2276 2520 2756 2708 2260 2488 2220 2312 2724 2480 2288 2664 2260 2260 2480 2220 2260 2264 2288 2588 2688 2628 2628 2368 2264 2260 2660 2752 2272 2632 2724 2300 2220 2696 2272 2736 2232 2232 2260 2380 2712 2232 2300 2220 2304 2656 2504 2740 2260 2316 2268 2508 2248 2684 2684 2676 2264 2324 2268 2660 2224 2272 2272 2264 2220 2380 2284 2776 2260 2620 2220 2680 2524 2260 2260 2724 2264 2220 2272 2220 2300 2232 2272 2500 2264 2740 2356 2220 2484 2220 2560 2628 2380 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 11 1 1 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 10 10 10 10 0 0 10 0 0 0 0 10 10 10 0 10 0 0 0 0 0 10 10 0 10 10 0 10 0 0 10 0 10 10 10 0 0 10 10 0 0 10 10 0 0 10 10 10 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 10 0 10 0 10 0 0 10 10 10 10 10 0 0 10 10 0 10 10 0 0 10 10 10 10 0 10 0 0 0 10 10 0 0 0 0 0 0 10 0 0 10 10 10 10 10 10 0 10 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 10 10 0 0 10 10 0 0 10 0 0 10 0 10 10 0 0 10 0 0 0 10 10 0 0 0 10 0 10 0 0 0 10 10 10 0 0 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 0 9 10 0 10 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 10 10 10 0 0 0 10 10 10 0 0 10 10 0 0 10 0 0 0 0 10 10 0 10 10 0 10 10 0 10 10 10 10 10 0 0 0 0 0 0 10 0 10 10 0 10 0 10 0 0 0 0 0 10 10 10 10 0 10 10 10 0 0 0 0 10 0 0 10 0 0 10 10 10 10 0 10 0 10 10 10 0 0 0 10 10 10 0 10 10 10 0 10 10 0 0 10 0 10 10 10 10 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 0 0 10 0 0 0 0 0 10 10 0 10 0 0 10 10 0 10 0 0 10 0 10 0 10 10 0 10 10 0 0 0 10 10 10 10 0 10 10 10 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 10 10 0 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 10 0 0 10 0 10 10 10 0 10 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 10 10 10 0 10 10 0 10 10 10 0 0 0 0 10 10 0 0 10 0 0 10 10 10 0 10 10 0 10 10 0 10 0 0 0 10 0 0 10 10 10 10 0 10 10 10 0 10 0 0 0 10 10 10 0 10 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 10 10 0 0 10 0 0 10 0 0 10 10 10 10 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 10 10 10 0 10 10 10 0 10 10 0 0 0 10 0 0 0 10 10 0 10 10 0 0 0 0 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 0 10 10 10 0 0 0 10 0 0 0 10 0 0 10 10 10 0 0 0 0 0 10 10 0 10 10 0 0 10 0 0 10 0 0 0 0 0 10 10 10 10 0 10 0 10 10 0 0 0 0 0 10 10 10 0 10 0 10 0 10 10 10 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 10 0 10 10 0 0 0 0 10 0 0 10 0 10 10 0 0 10 10 0 10 0 10 10 10 0 0 0 0 10 0 10 10 0 10 10 0 10 10 10 0 10 10 10 10 0 10 0 10 10 10 0 0 10 10 0 0 10 0 0 10 10 10 10 0 0 10 10 10 0 10 0 0 0 10 10 0 10 10 0 10 10 0 0 0 0 10 10 10 10 0 0 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 10 10 0 10 10 0 0 10 0 10 0 10 10 0 0 10 0 0 10 0 0 10 10 10 0 0 0 10 10 10 0 10 10 10 0 0 0 0 10 0 0 0 10 0 0 0 10 10 0 10 0 0 10 0 0 0 10 0 10 0 10 10 0 0 0 10 0 0 0 10 0 10 0 10 10 0 0 10 0 10 10 0 0 0 0 10 0 0 10 10 10 10 10 0 0 10 0 0 0 0 0 10 0 0 10 0 10 10 10 0 10 10 10 10 10 10 10 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 10 0 10 0 0 0 10 10 10 0 0 10 10 0 10 10 10 0 10 10 0 0 10 10 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 10 10 10 0 10 10 0 0 0 0 10 10 10 10 0 10 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 10 10 10 10 0 10 10 0 10 0 10 0 0 0 0 10 0 0 10 0 10 0 0 0 10 0 0 0 10 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 10 10 10 0 10 10 0 10 10 0 10 0 0 0 0 10 10 0 10 10 0 0 0 10 0 10 10 10 10 0 0 10 10 0 10 0 0 0 0 10 10 0 0 10 10 0 0 10 0 10 10 0 0 10 10 0 0 0 0 0 10 0 10 0 10 10 0 0 0 10 0 10 10 0 0 10 0 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 0 0 10 10 0 10 10 10 0 10 10 10 10 0 0 10 0 10 10 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 10 0 0 0 10 0 10 0 0 0 0 10 0 10 0 0 0 10 10 0 0 0 10 10 10 10 10 0 10 10 0 10 0 0 10 10 0 0 10 0 0 10 0 10 0 10 0 0 10 0 10 0 0 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 10 0 10 10 0 10 0 10 10 10 0 10 10 10 0 0 10 0 0 0 0 10 0 10 0 0 10 0 0 10 10 0 0 0 0 0 10 10 0 0 0 10 0 0 10 0 10 10 0 10 10 0 0 0 10 0 10 0 0 10 0 10 10 10 0 10 10 0 0 0 0 0 0 10 10 10 10 0 0 0 0 10 0 10 0 10 10 10 0 0 10 10 0 0 0 0 0 10 0 10 10 0 0 0 0 10 10 10 0 0 10 0 0 20 276 28 136 256 212 228 60 56 236 456 36 256 216 316 400 284 388 80 416 4 80 416 8 112 20 248 20 180 496 396 468 280 24 512 20 360 404 0 388 92 104 20 8 356 408 72 44 256 0 260 204 208 104 0 24 24 424 204 4 452 0 64 424 44 348 20 280 368 244 476 508 64 460 536 504 436 336 4 68 380 416 12 476 4 280 16 212 20 16 16 12 464 20 304 464 12 264 464 16 200 152 108 68 112 308 200 256 156 316 144 316 208 48 100 528 512 440 320 40 284 12 156 184 344 0 200 316 144 100 148 212 208 332 56 108 36 0 484 32 436 464 72 424 76 148 12 388 520 60 120 92 472 236 24 516 96 44 80 428 240 408 448 76 360 44 72 364 84 4 4 16 504 36 4 460 260 440 20 16 480 80 460 320 480 240 20 168 152 272 440 244 48 16 444 400 436 236 304 452 8 56 4 596 124 80 4 428 468 68 12 480 264 208 20 472 260 44 264 4 88 304 240 196 0 204 40 496 16 544 20 24 8 32 440 464 12 524 460 564 352 52 44 328 212 288 80 436 28 60 204 524 256 60 416 60 552 52 340 40 16 140 60 8 0 516 280 0 288 304 80 48 328 40 20 12 528 40 52 40 40 516 264 12 416 12 32 36 68 316 40 48 112 4 48 440 436 456 100 456 484 288 264 448 88 464 528 432 160 436 92 368 512 460 460 460 496 4 200 56 340 232 376 96 444 116 20 448 480 456 36 68 504 400 228 404 12 28 16 236 40 172 160 148 80 488 468 36 472 16 24 460 460 460 396 340 28 456 244 76 28 0 0 4 408 160 40 464 0 464 8 360 228 288 268 216 144 420 24 16 488 288 16 64 16 280 112 480 4 40 400 40 36 504 276 396 4 8 228 76 20 64 408 36 64 8 420 452 240 248 16 464 472 460 436 436 476 32 384 164 100 76 392 88 28 24 0 260 40 0 104 172 88 388 264 496 412 44 280 256 260 160 364 36 4 60 80 464 460 44 40 552 432 36 420 188 128 76 52 404 140 100 140 76 128 44 380 508 44 472 424 472 460 112 40 212 36 40 12 28 416 40 356 424 48 376 380 80 164 56 464 436 144 408 312 320 160 0 400 40 0 368 40 132 344 288 384 352 388 384 276 80 40 240 520 40 0 248 200 188 84 40 44 16 4 20 152 336 52 180 60 192 408 264 464 36 460 152 4 12 20 136 248 424 12 196 224 32 348 164 76 396 52 40 272 472 484 20 280 120 244 68 260 280 60 320 56 28 76 516 476 44 436 380 68 356 352 96 264 376 48 388 88 236 260 240 200 208 160 224 280 204 36 180 524 520 396 156 8 36 476 488 492 464 476 476 476 476 472 64 240 240 40 12 4 52 0 452 28 24 480 480 8 24 284 284 16 484 76 284 524 420 220 524 264 140 172 300 140 260 248 428 508 52 44 32 4 124 364 288 200 276 304 72 264 188 120 100 336 168 172 200 256 116 180 140 332 336 316 388 228 392 48 440 492 508 104 40 80 16 12 0 24 476 28 28 436 440 28 392 28 4 156 128 292 48 124 68 104 88 64 32 160 16 0 100 388 360 360 120 400 236 80 48 12 76 396 416 376 320 44 64 0 40 4 80 372 68 0 40 24 408 212 40 80 264 32 424 184 484 40 264 68 216 236 164 248 80 80 32 116 20 424 20 444 48 36 24 476 64 452 64 396 380 276 348 244 4 544 16 72 0 324 68 40 480 12 220 40 40 100 184 140 96 132 32 212 16 260 428 12 396 316 40 140 160 60 40 512 172 476 36 60 552 524 484 516 108 512 512 520 504 0 80 36 4 8 8 460 400 56 432 8 24 408 68 240 112 168 188 188 240 200 104 8 372 60 36 404 432 72 324 32 4 236 36 540 40 8 220 244 240 136 184 24 212 264 264 24 20 488 20 260 536 20 24 468 428 412 464 468 472 8 44 212 544 0 40 200 244 40 40 360 236 148 160 428 396 360 20 160 320 40 328 16 288 104 12 172 68 268 48 24 492 12 452 12 0 0 4 4 4 60 64 264 188 280 40 160 292 200 168 96 340 348 156 212 168 184 32 268 236 156 244 80 4 20 24 424 36 8 216 216 212 200 72 88 160 68 276 424 8 384 56 104 544 24 488 20 32 8 20 32 260 404 4 412 440 448 28 24 232 528 568 476 488 104 12 84 52 36 404 36 512 76 48 40 40 64 4 40 40 72 64 20 448 256 132 248 156 96 52 24 88 40 40 168 40 448 148 400 376 16 176 244 220 168 228 44 256 448 44 88 12 48 208 4 464 276 96 96 92 508 128 80 80 44 196 288 280 96 164 396 140 280 264 300 304 196 404 0 20 44 40 0 4 8 216 424 244 500 260 464 424 440 352 360 180 336 64 308 276 20 440 220 404 476 24 516 216 52 4 12 28 204 320 60 48 428 76 48 36 300 240 312 240 240 280 216 200 92 320 164 128 228 24 80 40 4 4 8 452 388 380 356 60 364 88 76 288 424 12 500 36 400 280 240 212 236 56 236 476 68 436 424 432 496 240 56 8 8 440 28 40 40 484 40 480 440 84 40 44 184 116 140 280 276 160 516 40 20 216 444 20 8 16 448 444 112 316 424 420 408 424 340 4 292 508 20 456 32 52 280 40 52 24 44 372 368 0 372 336 20 196 116 204 208 28 16 136 168 472 500 40 312 20 456 4 292 200 224 264 292 132 84 400 460 120 552 476 0 32 20 492 252 516 440 40 52 0 116 332 68 372 348 4 96 108 52 8 0 40 32 244 96 28 456 16 424 452 56 424 0 328 372 0 376 104 68 456 40 196 256 260 220 256 80 188 284 152 164 316 84 32 40 40 108 396 12 472 516 500 560 96 440 40 56 260 40 40 40 288 44 520 440 28 16 336 16 460 8 24 4 64 468 464 68 12 220 0 348 120 368 344 24 136 40 56 28 48 32 4 12 8 8 16 232 16 12 232 300 260 40 524 456 376 488 404 476 28 40 24 368 288 268 160 40 308 504 356 504 0 0 248 260 364 40 120 4 0 464 0 260 372 64 68 408 292 384 108 12 440 132 4 0 364 360 464 52 0 40 28 40 516 464 124 72 492 12 128 304 296 240 480 68 8 268 380 12 52 436 384 284 476 36 408 240 24 464 184 4 4 452 12 84 52 0 44 148 504 96 120 400 196 480 </values>
2519.92/2520.01	v </instantiation>

Verifier Data 

OK	232566519

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304119-1534011326/watcher-4304119-1534011326 -o /tmp/evaluation-result-4304119-1534011326/solver-4304119-1534011326 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1533991001-7338 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1407270970 HOME/instance-4304119-1534011326.xml 

running on 4 cores: 1,3,5,7

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

solver pid=9667, runsolver pid=9664

[startup+0.100169 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=824076/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=40348 memory=14864 CPUtime=0.1 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 3959 0 0 0 10 0 0 0 20 0 1 0 218695798 41316352 3716 33554432000 4194304 7499544 140737312814688 140737312811688 6073606 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 10087 3716 703 807 0 3078 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 14864 KiB

[startup+0.20954 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=819736/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=44016 memory=18560 CPUtime=0.2 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 4888 0 0 0 20 0 0 0 20 0 1 0 218695798 45072384 4640 33554432000 4194304 7499544 140737312814688 140737312811688 139853459230771 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 11004 4640 704 807 0 3995 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44016 KiB
Current children cumulated memory: 18560 KiB

[startup+0.309124 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=818148/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=46052 memory=20408 CPUtime=0.3 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 5401 0 0 0 30 0 0 0 20 0 1 0 218695798 47157248 5102 33554432000 4194304 7499544 140737312814688 140737312811688 4563992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 11513 5102 704 807 0 4504 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46052 KiB
Current children cumulated memory: 20408 KiB

[startup+0.700288 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=809844/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=59528 memory=34064 CPUtime=0.69 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 8904 0 0 0 68 1 0 0 20 0 1 0 218695798 60956672 8516 33554432000 4194304 7499544 140737312814688 140737312811688 139853461936880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 14882 8516 704 807 0 7873 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59528 KiB
Current children cumulated memory: 34064 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=795712/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=81840 memory=56240 CPUtime=1.49 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 14465 0 0 0 147 2 0 0 20 0 1 0 218695798 83804160 14060 33554432000 4194304 7499544 140737312814688 140737312805608 5881396 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 20460 14060 721 807 0 13451 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81840 KiB
Current children cumulated memory: 56240 KiB

[startup+3.10929 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=741368/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=124852 memory=99204 CPUtime=3.1 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 26435 0 0 0 307 3 0 0 20 0 1 0 218695798 127848448 24801 33554432000 4194304 7499544 140737312814688 140737312807928 139853455783840 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 31213 24801 721 807 0 24204 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 124852 KiB
Current children cumulated memory: 99204 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=663412/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=208328 memory=182856 CPUtime=6.29 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 49044 0 0 0 624 5 0 0 20 0 1 0 218695798 213327872 45714 33554432000 4194304 7499544 140737312814688 140737312806152 5882040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 52082 45714 722 807 0 45073 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 208328 KiB
Current children cumulated memory: 182856 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=501328/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=379868 memory=354328 CPUtime=12.69 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 93716 0 0 0 1259 10 0 0 20 0 1 0 218695798 388984832 88582 33554432000 4194304 7499544 140737312814688 140737312807928 5948501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 94967 88582 722 807 0 87958 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 379868 KiB
Current children cumulated memory: 354328 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=189480/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=721004 memory=695392 CPUtime=25.49 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 181720 0 0 0 2525 24 0 0 20 0 1 0 218695798 738308096 173848 33554432000 4194304 7499544 140737312814688 140737312807928 5876957 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 180251 173848 722 807 0 173242 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 721004 KiB
Current children cumulated memory: 695392 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9668
/proc/meminfo: memFree=210484/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=996556 memory=971316 CPUtime=51.09 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 383076 0 0 0 5068 41 0 0 20 0 1 0 218695798 1020473344 242829 33554432000 4194304 7499544 140737312814688 140737312809704 5790967 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249139 242829 766 807 0 242130 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 996556 KiB
Current children cumulated memory: 971316 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9669
/proc/meminfo: memFree=210896/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=996944 memory=971608 CPUtime=102.29 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 454615 0 0 0 10184 45 0 0 20 0 1 0 218695798 1020870656 242902 33554432000 4194304 7499544 140737312814688 140737312809112 5770249 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249236 242902 766 807 0 242227 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 996944 KiB
Current children cumulated memory: 971608 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9670
/proc/meminfo: memFree=200376/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=996944 memory=971624 CPUtime=162.28 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 507928 0 0 0 16180 48 0 0 20 0 1 0 218695798 1020870656 242906 33554432000 4194304 7499544 140737312814688 140737312809112 5770124 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249236 242906 766 807 0 242227 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 996944 KiB
Current children cumulated memory: 971624 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9671
/proc/meminfo: memFree=199900/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=996944 memory=971644 CPUtime=222.27 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 559812 0 0 0 22176 51 0 0 20 0 1 0 218695798 1020870656 242911 33554432000 4194304 7499544 140737312814688 140737312809112 5791014 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249236 242911 766 807 0 242227 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 996944 KiB
Current children cumulated memory: 971644 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 9681
/proc/meminfo: memFree=198652/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997076 memory=971856 CPUtime=282.28 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 684169 0 0 0 28170 58 0 0 20 0 1 0 218695798 1021005824 242964 33554432000 4194304 7499544 140737312814688 140737312809704 4404999 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249269 242964 766 807 0 242260 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 997076 KiB
Current children cumulated memory: 971856 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 9682
/proc/meminfo: memFree=199656/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997208 memory=971992 CPUtime=342.28 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 793430 0 0 0 34164 64 0 0 20 0 1 0 218695798 1021140992 242998 33554432000 4194304 7499544 140737312814688 140737312809704 4258046 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249302 242998 766 807 0 242293 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 997208 KiB
Current children cumulated memory: 971992 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 9683
/proc/meminfo: memFree=199656/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997356 memory=972040 CPUtime=402.28 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 872669 0 0 0 40160 68 0 0 20 0 1 0 218695798 1021292544 243010 33554432000 4194304 7499544 140737312814688 140737312809704 4405034 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249339 243010 766 807 0 242330 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 997356 KiB
Current children cumulated memory: 972040 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 9684
/proc/meminfo: memFree=199248/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997356 memory=972104 CPUtime=462.27 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 1000454 0 0 0 46153 74 0 0 20 0 1 0 218695798 1021292544 243026 33554432000 4194304 7499544 140737312814688 140737312809704 5791101 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249339 243026 766 807 0 242330 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 997356 KiB
Current children cumulated memory: 972104 KiB


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

/proc/9667/statm: 249375 243061 766 807 0 242366 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972244 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9723
/proc/meminfo: memFree=289788/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972260 CPUtime=1782.24 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 2598984 0 0 0 178058 166 0 0 20 0 1 0 218695798 1021440000 243065 33554432000 4194304 7499544 140737312814688 140737312809704 4404884 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243065 766 807 0 242366 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972260 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9724
/proc/meminfo: memFree=288920/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972260 CPUtime=1842.23 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 2665684 0 0 0 184054 169 0 0 20 0 1 0 218695798 1021440000 243065 33554432000 4194304 7499544 140737312814688 140737312809704 4253253 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243065 766 807 0 242366 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972260 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9725
/proc/meminfo: memFree=288312/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972260 CPUtime=1902.23 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 2723471 0 0 0 190051 172 0 0 20 0 1 0 218695798 1021440000 243065 33554432000 4194304 7499544 140737312814688 140737312809704 5790974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243065 766 807 0 242366 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972260 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9726
/proc/meminfo: memFree=288296/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972260 CPUtime=1962.24 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 2803114 0 0 0 196047 177 0 0 20 0 1 0 218695798 1021440000 243065 33554432000 4194304 7499544 140737312814688 140737312809704 5790971 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243065 766 807 0 242366 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972260 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9727
/proc/meminfo: memFree=288188/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972260 CPUtime=2022.24 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 2867773 0 0 0 202044 180 0 0 20 0 1 0 218695798 1021440000 243065 33554432000 4194304 7499544 140737312814688 140737312809704 4408866 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243065 766 807 0 242366 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972260 KiB

[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 9736
/proc/meminfo: memFree=287100/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972268 CPUtime=2082.24 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 2937890 0 0 0 208040 184 0 0 20 0 1 0 218695798 1021440000 243067 33554432000 4194304 7499544 140737312814688 140737312809704 4379010 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243067 766 807 0 242366 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972268 KiB

[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 9737
/proc/meminfo: memFree=287100/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972276 CPUtime=2142.23 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 2976670 0 0 0 214038 185 0 0 20 0 1 0 218695798 1021440000 243069 33554432000 4194304 7499544 140737312814688 140737312809704 5790974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243069 766 807 0 242366 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972276 KiB

[startup+2202.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 9738
/proc/meminfo: memFree=287276/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972284 CPUtime=2202.23 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 3029422 0 0 0 220036 187 0 0 20 0 1 0 218695798 1021440000 243071 33554432000 4194304 7499544 140737312814688 140737312809704 4257952 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243071 766 807 0 242366 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972284 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 9739
/proc/meminfo: memFree=287276/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972284 CPUtime=2262.23 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 3117057 0 0 0 226029 194 0 0 20 0 1 0 218695798 1021440000 243071 33554432000 4194304 7499544 140737312814688 140737312809704 5576304 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243071 766 807 0 242366 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972284 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 9740
/proc/meminfo: memFree=287292/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972284 CPUtime=2322.23 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 3191291 0 0 0 232024 199 0 0 20 0 1 0 218695798 1021440000 243071 33554432000 4194304 7499544 140737312814688 140737312809704 4253174 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243071 766 807 0 242366 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972284 KiB

[startup+2382.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 9925
/proc/meminfo: memFree=2906652/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972292 CPUtime=2382.22 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 3258959 0 0 0 238019 203 0 0 20 0 1 0 218695798 1021440000 243073 33554432000 4194304 7499544 140737312814688 140737312809704 5790974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243073 766 807 0 242366 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972292 KiB

[startup+2442.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 10047
/proc/meminfo: memFree=2907236/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972292 CPUtime=2442.21 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 3316551 0 0 0 244016 205 0 0 20 0 1 0 218695798 1021440000 243073 33554432000 4194304 7499544 140737312814688 140737312809704 4258046 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243073 766 807 0 242366 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972292 KiB

[startup+2502.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 10048
/proc/meminfo: memFree=2907316/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972292 CPUtime=2502.21 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 3373750 0 0 0 250013 208 0 0 20 0 1 0 218695798 1021440000 243073 33554432000 4194304 7499544 140737312814688 140737312809704 5790971 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243073 766 807 0 242366 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972292 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.02 2.03 2.05 3/187 10049
/proc/meminfo: memFree=2906680/32770624 swapFree=67108860/67108860
[pid=9667] ppid=9664 vsize=997500 memory=972292 CPUtime=2519.92 cores=1,3,5,7
/proc/9667/stat : 9667 (MistralXCSP) R 9664 9667 7304 0 -1 4202496 3388679 0 0 0 251783 209 0 0 20 0 1 0 218695798 1021440000 243073 33554432000 4194304 7499544 140737312814688 140737312809704 5573412 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 25735168 140737312822381 140737312822531 140737312822531 140737312825289 0
/proc/9667/statm: 249375 243073 766 807 0 242366 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972292 KiB

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

[startup+2520.06 s]
# the end of solver process 9667 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.83 s, system=2.13994 s

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

Child status: 0
Real time (s): 2520.06
CPU time (s): 2519.97
CPU user time (s): 2517.83
CPU system time (s): 2.13994
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 997500
Max. memory (cumulated for all children) (KiB): 972292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.83
system time used= 2.13994
maximum resident set size= 972312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3388781
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= 45
involuntary context switches= 1040


# summary of solver processes directly reported to runsolver:
#   pid: 9667
#   total CPU time (s): 2519.97
#   total CPU user time (s): 2517.83
#   total CPU system time (s): 2.13994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2759 second user time and 18.4174 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-11 20:15:26
IDJOB=4304119
IDBENCH=141273
IDSOLVER=2779
FILE ID=node139/4304119-1534011326
RUNJOBID= node139-1533991001-7338
PBS_JOBID= 21036943
Free space on /tmp= 27928 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_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-4304119-1534011326/watcher-4304119-1534011326 -o /tmp/evaluation-result-4304119-1534011326/solver-4304119-1534011326 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1533991001-7338 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1407270970 HOME/instance-4304119-1534011326.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=1407270970

node139.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.80
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.80
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.80
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.80
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:          836016 kB
MemAvailable:   29513884 kB
Buffers:          203144 kB
Cached:         28253088 kB
SwapCached:            0 kB
Active:         10752788 kB
Inactive:       20142992 kB
Active(anon):    2391592 kB
Inactive(anon):   100556 kB
Active(file):    8361196 kB
Inactive(file): 20042436 kB
Unevictable:        7292 kB
Mlocked:            7292 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             88160 kB
Writeback:             0 kB
AnonPages:       2446968 kB
Mapped:            62180 kB
Shmem:             49804 kB
Slab:             730884 kB
SReclaimable:     702696 kB
SUnreclaim:        28188 kB
KernelStack:        3296 kB
PageTables:         9908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2764304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28132 MiB
End job on node139 at 2018-08-11 20:57:26