Trace number 4292047

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-06-15SAT (TO)232566519 2400.04 2400.21

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 16062018
43.88/44.00	o 233065616
43.98/44.01	o 233051356
44.09/44.15	o 233037096
44.09/44.18	o 233022836
44.18/44.21	o 233008576
44.18/44.28	o 232994316
44.18/44.28	o 232980056
44.28/44.30	o 232965796
44.48/44.57	o 232951536
44.68/44.76	o 232937276
44.78/44.82	o 232908756
44.88/44.92	o 232894496
44.88/44.99	o 232880236
44.98/45.05	o 232865976
45.09/45.11	o 232851726
45.09/45.11	o 232851716
45.48/45.51	o 232851710
50.78/50.81	o 232837460
50.78/50.85	o 232823210
60.57/60.62	o 232823202
60.57/60.67	o 232823201
60.77/60.83	o 232823200
61.27/61.35	o 232823192
61.37/61.40	o 232823187
61.37/61.44	o 232823184
61.37/61.49	o 232823178
61.47/61.55	o 232823170
255.35/255.45	o 232808910
269.34/269.40	o 232794660
269.34/269.43	o 232794650
284.06/284.12	o 232794640
307.54/307.64	o 232780380
307.84/307.90	o 232766128
307.84/307.97	o 232766120
313.14/313.24	o 232751904
313.14/313.25	o 232751895
313.14/313.26	o 232751892
313.34/313.42	o 232751887
313.34/313.44	o 232751886
313.95/314.06	o 232751879
335.84/335.98	o 232737629
336.14/336.22	o 232723369
337.44/337.53	o 232709109
337.84/337.90	o 232694849
353.83/353.94	o 232680589
362.74/362.80	o 232666339
362.94/363.06	o 232666329
399.94/400.10	o 232652069
418.43/418.58	o 232637809
418.53/418.62	o 232623559
418.83/418.93	o 232609299
421.52/421.62	o 232595058
610.49/610.64	o 232580798
660.00/660.12	o 232566547
661.39/661.50	o 232566538
662.19/662.38	o 232566528
662.39/662.55	o 232566519
2400.03/2400.20	s SATISFIABLE
2400.03/2400.20	v <instantiation type="solution">
2400.03/2400.20	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>
2400.03/2400.20	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>
2400.03/2400.20	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 (7473 MiB free)
  memory of node 1: 16384 MiB (14008 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292047-1532265846/watcher-4292047-1532265846 -o /tmp/evaluation-result-4292047-1532265846/solver-4292047-1532265846 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532261025-703 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 651730833 HOME/instance-4292047-1532265846.xml 

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

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

solver pid=1622, runsolver pid=1619

[startup+0.100169 s]*
/proc/loadavg: 2.16 2.14 2.09 3/188 1623
/proc/meminfo: memFree=21985780/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=40216 memory=14592 CPUtime=0.1 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 3930 0 0 0 10 0 0 0 20 0 1 0 44147928 41181184 3648 33554432000 4194304 7498468 140721120877776 140721120874776 140159066184677 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 10054 3648 703 807 0 3045 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 14592 KiB

[startup+0.209568 s]*
/proc/loadavg: 2.16 2.14 2.09 3/188 1623
/proc/meminfo: memFree=21982060/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=43748 memory=18288 CPUtime=0.2 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 4816 0 0 0 20 0 0 0 20 0 1 0 44147928 44797952 4572 33554432000 4194304 7498468 140721120877776 140721120874776 140159066184677 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 10937 4572 703 807 0 3928 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43748 KiB
Current children cumulated memory: 18288 KiB

[startup+0.30908 s]*
/proc/loadavg: 2.16 2.14 2.09 3/188 1623
/proc/meminfo: memFree=21979828/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=45780 memory=20136 CPUtime=0.3 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 5312 0 0 0 30 0 0 0 20 0 1 0 44147928 46878720 5034 33554432000 4194304 7498468 140721120877776 140721120874776 140159066622976 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 11445 5034 704 807 0 4436 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45780 KiB
Current children cumulated memory: 20136 KiB

[startup+0.700293 s]
/proc/loadavg: 2.16 2.14 2.09 3/188 1623
/proc/meminfo: memFree=21972680/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=58360 memory=32740 CPUtime=0.69 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 8604 0 0 0 68 1 0 0 20 0 1 0 44147928 59760640 8185 33554432000 4194304 7498468 140721120877776 140721120868696 4564424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 14590 8185 704 807 0 7581 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58360 KiB
Current children cumulated memory: 32740 KiB

[startup+1.5003 s]
/proc/loadavg: 2.16 2.14 2.09 3/188 1623
/proc/meminfo: memFree=21958916/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=80484 memory=54916 CPUtime=1.49 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 14129 0 0 0 147 2 0 0 20 0 1 0 44147928 82415616 13729 33554432000 4194304 7498468 140721120877776 140721120871016 5881231 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 20121 13729 718 807 0 13112 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80484 KiB
Current children cumulated memory: 54916 KiB

[startup+3.1094 s]
/proc/loadavg: 2.16 2.14 2.09 3/188 1623
/proc/meminfo: memFree=21905348/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=123056 memory=97572 CPUtime=3.1 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 25999 0 0 0 306 4 0 0 20 0 1 0 44147928 126009344 24393 33554432000 4194304 7498468 140721120877776 140721120871016 5989489 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 30764 24393 718 807 0 23755 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 123056 KiB
Current children cumulated memory: 97572 KiB

[startup+6.30027 s]
/proc/loadavg: 2.15 2.14 2.09 3/188 1623
/proc/meminfo: memFree=21825960/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=207332 memory=181732 CPUtime=6.29 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 48792 0 0 0 622 7 0 0 20 0 1 0 44147928 212307968 45433 33554432000 4194304 7498468 140721120877776 140721120871016 5881559 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 51833 45433 719 807 0 44824 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 207332 KiB
Current children cumulated memory: 181732 KiB

[startup+12.7003 s]
/proc/loadavg: 2.14 2.14 2.09 3/188 1623
/proc/meminfo: memFree=21665136/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=377740 memory=352272 CPUtime=12.69 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 93237 0 0 0 1255 14 0 0 20 0 1 0 44147928 386805760 88068 33554432000 4194304 7498468 140721120877776 140721120871016 6016813 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 94435 88068 719 807 0 87426 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 377740 KiB
Current children cumulated memory: 352272 KiB

[startup+25.5003 s]
/proc/loadavg: 2.11 2.13 2.09 3/188 1623
/proc/meminfo: memFree=21319672/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=718356 memory=692812 CPUtime=25.48 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 179900 0 0 0 2523 25 0 0 20 0 1 0 44147928 735596544 173203 33554432000 4194304 7498468 140721120877776 140721120871016 6016802 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 179589 173203 719 807 0 172580 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 718356 KiB
Current children cumulated memory: 692812 KiB

[startup+51.1097 s]
/proc/loadavg: 2.35 2.18 2.11 3/188 1623
/proc/meminfo: memFree=21027060/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=996812 memory=971456 CPUtime=51.09 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 373741 0 0 0 5069 40 0 0 20 0 1 0 44147928 1020735488 242864 33554432000 4194304 7498468 140721120877776 140721120872792 4397952 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249203 242864 761 807 0 242194 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 996812 KiB
Current children cumulated memory: 971456 KiB

[startup+102.3 s]
/proc/loadavg: 2.37 2.23 2.13 3/187 1625
/proc/meminfo: memFree=21026756/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=996944 memory=971592 CPUtime=102.27 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 428417 0 0 0 10185 42 0 0 20 0 1 0 44147928 1020870656 242898 33554432000 4194304 7498468 140721120877776 140721120872200 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249236 242898 761 807 0 242227 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 996944 KiB
Current children cumulated memory: 971592 KiB

[startup+162.3 s]
/proc/loadavg: 2.14 2.19 2.13 3/187 1626
/proc/meminfo: memFree=21026784/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=996944 memory=971608 CPUtime=162.26 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 469162 0 0 0 16181 45 0 0 20 0 1 0 44147928 1020870656 242902 33554432000 4194304 7498468 140721120877776 140721120872200 5773806 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249236 242902 761 807 0 242227 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 996944 KiB
Current children cumulated memory: 971608 KiB

[startup+222.3 s]
/proc/loadavg: 2.27 2.20 2.14 3/187 1691
/proc/meminfo: memFree=21716852/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=996944 memory=971628 CPUtime=222.26 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 505029 0 0 0 22179 47 0 0 20 0 1 0 44147928 1020870656 242907 33554432000 4194304 7498468 140721120877776 140721120872200 5772318 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249236 242907 761 807 0 242227 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 996944 KiB
Current children cumulated memory: 971628 KiB

[startup+282.3 s]
/proc/loadavg: 2.10 2.17 2.13 3/187 1693
/proc/meminfo: memFree=20314964/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997076 memory=971840 CPUtime=282.25 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 574368 0 0 0 28175 50 0 0 20 0 1 0 44147928 1021005824 242960 33554432000 4194304 7498468 140721120877776 140721120872792 4222944 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249269 242960 761 807 0 242260 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 997076 KiB
Current children cumulated memory: 971840 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.14 2.12 3/187 1694
/proc/meminfo: memFree=20311308/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997356 memory=972004 CPUtime=342.24 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 634098 0 0 0 34172 52 0 0 20 0 1 0 44147928 1021292544 243001 33554432000 4194304 7498468 140721120877776 140721120872792 4408798 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249339 243001 761 807 0 242330 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 997356 KiB
Current children cumulated memory: 972004 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.11 2.12 3/187 1702
/proc/meminfo: memFree=20310424/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997356 memory=972040 CPUtime=402.23 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 677033 0 0 0 40169 54 0 0 20 0 1 0 44147928 1021292544 243010 33554432000 4194304 7498468 140721120877776 140721120872792 4408807 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249339 243010 761 807 0 242330 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 997356 KiB
Current children cumulated memory: 972040 KiB

[startup+462.3 s]
/proc/loadavg: 1.94 2.07 2.11 3/187 1703
/proc/meminfo: memFree=20310716/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997356 memory=972088 CPUtime=462.22 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 708004 0 0 0 46167 55 0 0 20 0 1 0 44147928 1021292544 243022 33554432000 4194304 7498468 140721120877776 140721120872792 140159069619914 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249339 243022 761 807 0 242330 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 997356 KiB
Current children cumulated memory: 972088 KiB


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

/proc/1622/statm: 249375 243081 761 807 0 242366 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972324 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1741
/proc/meminfo: memFree=20309404/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972340 CPUtime=1662.15 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 750570 0 0 0 166157 58 0 0 20 0 1 0 44147928 1021440000 243085 33554432000 4194304 7498468 140721120877776 140721120872792 5773775 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243085 761 807 0 242366 0
Current children cumulated CPU time: 1662.15 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972340 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1742
/proc/meminfo: memFree=20310020/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972344 CPUtime=1722.16 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 751967 0 0 0 172157 59 0 0 20 0 1 0 44147928 1021440000 243086 33554432000 4194304 7498468 140721120877776 140721120872792 5791403 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243086 761 807 0 242366 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972344 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1743
/proc/meminfo: memFree=20309756/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972344 CPUtime=1782.15 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 753332 0 0 0 178156 59 0 0 20 0 1 0 44147928 1021440000 243086 33554432000 4194304 7498468 140721120877776 140721120872792 4257943 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243086 761 807 0 242366 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972344 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1744
/proc/meminfo: memFree=20309952/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972344 CPUtime=1842.15 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 754768 0 0 0 184156 59 0 0 20 0 1 0 44147928 1021440000 243086 33554432000 4194304 7498468 140721120877776 140721120872792 5791403 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243086 761 807 0 242366 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972344 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1746
/proc/meminfo: memFree=20309984/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972344 CPUtime=1902.15 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 756162 0 0 0 190156 59 0 0 20 0 1 0 44147928 1021440000 243086 33554432000 4194304 7498468 140721120877776 140721120872792 4580282 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243086 761 807 0 242366 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972344 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1747
/proc/meminfo: memFree=20310112/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972360 CPUtime=1962.14 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 757591 0 0 0 196155 59 0 0 20 0 1 0 44147928 1021440000 243090 33554432000 4194304 7498468 140721120877776 140721120872792 4540964 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243090 761 807 0 242366 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972360 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1748
/proc/meminfo: memFree=20310116/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972360 CPUtime=2022.14 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 758965 0 0 0 202155 59 0 0 20 0 1 0 44147928 1021440000 243090 33554432000 4194304 7498468 140721120877776 140721120872792 4405213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243090 761 807 0 242366 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972360 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1750
/proc/meminfo: memFree=20310328/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972368 CPUtime=2082.14 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 760387 0 0 0 208155 59 0 0 20 0 1 0 44147928 1021440000 243092 33554432000 4194304 7498468 140721120877776 140721120872792 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243092 761 807 0 242366 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972368 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1751
/proc/meminfo: memFree=20309832/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972368 CPUtime=2142.13 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 761775 0 0 0 214154 59 0 0 20 0 1 0 44147928 1021440000 243092 33554432000 4194304 7498468 140721120877776 140721120872792 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243092 761 807 0 242366 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972368 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 1759
/proc/meminfo: memFree=20309340/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972368 CPUtime=2202.13 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 763208 0 0 0 220154 59 0 0 20 0 1 0 44147928 1021440000 243092 33554432000 4194304 7498468 140721120877776 140721120872792 4545912 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243092 761 807 0 242366 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972368 KiB

[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/189 1784
/proc/meminfo: memFree=20308120/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972368 CPUtime=2262.13 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 764601 0 0 0 226154 59 0 0 20 0 1 0 44147928 1021440000 243092 33554432000 4194304 7498468 140721120877776 140721120872792 4580120 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243092 761 807 0 242366 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972368 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/189 1785
/proc/meminfo: memFree=20308800/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972368 CPUtime=2322.12 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 766001 0 0 0 232153 59 0 0 20 0 1 0 44147928 1021440000 243092 33554432000 4194304 7498468 140721120877776 140721120872792 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243092 761 807 0 242366 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972368 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/189 1786
/proc/meminfo: memFree=20309168/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972368 CPUtime=2382.12 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 767398 0 0 0 238153 59 0 0 20 0 1 0 44147928 1021440000 243092 33554432000 4194304 7498468 140721120877776 140721120872792 5772189 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243092 761 807 0 242366 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 1786
/proc/meminfo: memFree=20309036/32770624 swapFree=67108860/67108860
[pid=1622] ppid=1619 vsize=997500 memory=972368 CPUtime=2400.03 cores=1,3,5,7
/proc/1622/stat : 1622 (MistralXCSP) R 1619 1622 671 0 -1 4202496 768178 0 0 0 239943 60 0 0 20 0 1 0 44147928 1021440000 243092 33554432000 4194304 7498468 140721120877776 140721120872792 5791403 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23326720 140721120879726 140721120879875 140721120879875 140721120882633 0
/proc/1622/statm: 249375 243092 761 807 0 242366 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 997500 KiB
Current children cumulated memory: 972368 KiB

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

[startup+2400.21 s]
# the end of solver process 1622 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.44 s, system=0.603974 s

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

Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.04
CPU user time (s): 2399.44
CPU system time (s): 0.603974
CPU usage (%): 99.9931
Max. virtual memory (cumulated for all children) (KiB): 997500
Max. memory (cumulated for all children) (KiB): 972368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.44
system time used= 0.603974
maximum resident set size= 972388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 768220
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= 156
involuntary context switches= 752


# summary of solver processes directly reported to runsolver:
#   pid: 1622
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2399.44
#   total CPU system time (s): 0.603974

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.27563 second user time and 17.4587 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-22 15:24:07
IDJOB=4292047
IDBENCH=141273
IDSOLVER=2741
FILE ID=node150/4292047-1532265846
RUNJOBID= node150-1532261025-703
PBS_JOBID= 21018970
Free space on /tmp= 57100 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
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-4292047-1532265846/watcher-4292047-1532265846 -o /tmp/evaluation-result-4292047-1532265846/solver-4292047-1532265846 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532261025-703 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 651730833 HOME/instance-4292047-1532265846.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=651730833

node150.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.76
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.76
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.76
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.76
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:        21997496 kB
MemAvailable:   31113756 kB
Buffers:          186616 kB
Cached:          9137668 kB
SwapCached:            0 kB
Active:          2055884 kB
Inactive:        8147084 kB
Active(anon):     836924 kB
Inactive(anon):    61492 kB
Active(file):    1218960 kB
Inactive(file):  8085592 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             91252 kB
Writeback:             0 kB
AnonPages:        886564 kB
Mapped:            37332 kB
Shmem:             17032 kB
Slab:             266868 kB
SReclaimable:     240168 kB
SUnreclaim:        26700 kB
KernelStack:        3568 kB
PageTables:         6408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1170388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57032 MiB
End job on node150 at 2018-07-22 16:04:07