Trace number 4304118

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml
MD5SUM3fdf89d4941046bada2032faa76e855a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63832030
Best CPU time to get the best result obtained on this benchmark61.4336
Satisfiable
(Un)Satisfiability was proved
Number of variables4790
Number of constraints2852
Number of domains18
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}]
Minimum variable degree1
Maximum variable degree1264
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}]
Number of extensional constraints1263
Number of intensional constraints1589
Distribution of constraint types[{"type":"extension","count":1263},{"type":"intension","count":1589}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c Mistral 01082018
44.38/44.48	o 182686127
44.38/44.48	o 182673487
44.38/44.48	o 182673486
44.38/44.49	o 182660846
44.49/44.50	o 182648206
46.99/47.09	o 182648204
47.10/47.17	o 182648202
47.19/47.25	o 182648198
47.29/47.35	o 182648194
47.49/47.53	o 182648191
47.79/47.88	o 182648180
48.00/48.03	o 182648176
48.49/48.53	o 182648172
48.49/48.59	o 182648171
48.59/48.66	o 182648167
48.69/48.77	o 182648158
48.79/48.87	o 182648151
48.89/48.98	o 182648142
49.00/49.08	o 182648136
49.10/49.19	o 182648128
117.69/117.76	o 182635488
532.87/532.90	o 182635478
1033.45/1033.52	o 182622838
1203.56/1203.68	o 182610229
1203.56/1203.69	o 182610221
1536.09/1536.17	o 182597581
1930.99/1931.02	o 182584951
2084.29/2084.33	o 182584947
2084.29/2084.39	o 182584946
2084.69/2084.70	o 182584942
2345.60/2345.61	o 182572311
2345.60/2345.66	o 182572302
2345.70/2345.79	o 182559672
2520.01/2520.01	s SATISFIABLE
2520.01/2520.01	v <instantiation type="solution">
2520.01/2520.01	v   <list> f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] </list>
2520.01/2520.01	v   <values> 2300 2512 2272 2388 2532 2316 2260 2260 2356 2472 2532 2260 2656 2336 2220 2300 2264 2220 2236 2220 2488 2516 2464 2260 2260 2436 2220 2528 2256 2300 2260 2300 2308 2324 2700 2220 2540 2248 2400 2260 2260 2244 2220 2260 2540 2300 2280 2440 2260 2492 2340 2452 2464 2504 2260 2536 2284 2344 2400 2260 2220 2484 2296 2580 2260 2220 2260 2572 2436 2352 2424 2296 2352 2220 2484 2220 2260 2220 2292 2436 2224 2424 2644 2404 2548 2260 2260 2384 2268 2228 2316 2376 2240 2316 2296 2260 2268 2220 2292 2244 2616 2668 2248 2272 2464 2312 2272 2220 2296 2260 2220 2220 2300 2592 2600 2220 2308 2260 2504 2292 2552 2364 2260 2268 2376 2332 2312 2220 2488 2220 2260 2276 2336 2588 2384 2584 2312 2260 2220 2660 2448 2516 2372 2464 2552 2332 2304 2220 2488 2220 2592 2636 2312 2300 2616 2580 2260 2292 2348 2612 2260 2436 2576 2260 2220 2260 2220 2220 2636 2220 2616 2260 2596 2284 2432 2244 2260 2260 2260 2464 2644 2220 2408 2636 2416 2220 2524 2324 2524 2220 2392 2336 2260 2220 2248 2316 2660 2228 2616 2252 2392 2260 2220 2268 2476 2424 2220 2244 2532 2284 2260 2352 2428 2268 2672 2220 2292 2224 2284 2284 2268 2444 2264 2260 2360 2308 2684 2220 2292 2356 2476 2220 2220 2260 2228 2260 2220 2300 2324 2288 2620 2548 2312 2228 2260 2560 2396 2396 2260 2632 2336 2260 2260 2372 2488 2260 2332 2684 2300 2520 2340 2424 2564 2228 2636 2260 2440 2284 2388 2656 2276 2300 2612 2300 2308 2528 2220 2628 2672 2532 2220 2220 2544 2424 2260 2344 2664 2260 2484 2388 2572 2260 2684 2244 2232 2364 2644 2528 2220 2260 2372 2332 2220 2524 2220 2312 2220 2544 2244 2264 2308 2220 2444 2260 2352 2300 2560 2256 2568 2276 2352 2260 2432 2316 2260 2260 2464 2348 2656 2260 2276 2220 2260 2260 2380 2260 2220 2232 2260 2280 2396 2220 2260 2348 2300 2644 2268 2492 2512 2260 2392 2260 2260 2260 2576 2220 2268 2264 2624 2460 2304 2252 2528 2472 2220 2232 2220 2548 2288 2276 2412 2516 2616 2300 2260 2392 2556 2260 2608 2660 2484 2260 2260 2296 2220 2220 2260 2260 2284 2296 2616 2576 2220 2220 2596 2352 2260 2632 2260 2220 2220 2632 2336 2260 2360 2556 2356 2332 2252 2260 2500 2424 2352 2220 2260 2260 2700 2312 2260 2588 2332 2300 2284 2220 2524 2240 2504 2220 2348 2236 2220 2272 2508 2332 2260 2412 2524 2240 2572 2316 2648 2220 2220 2260 2260 2260 2432 2656 2636 2220 2300 2260 2260 2300 2596 2572 2468 2384 2300 2308 2292 2392 2268 2220 2220 2596 2268 2288 2452 2260 2432 2300 2220 2220 2220 2392 2352 2604 2480 2552 2260 2272 2596 2352 2220 2484 2244 2260 2352 2528 2260 2260 2260 2260 2232 2260 2320 2280 2300 2224 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 10 0 10 10 0 10 10 10 10 0 0 0 10 10 10 0 0 10 0 0 10 0 0 10 0 10 0 0 0 10 0 0 0 10 0 10 0 0 10 0 0 10 10 0 0 10 0 0 0 10 10 10 10 10 0 10 10 10 0 0 0 10 10 0 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 10 10 0 0 0 10 0 10 0 10 10 10 0 0 0 0 10 0 0 0 10 0 10 10 0 0 10 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 10 0 10 10 0 0 0 10 0 10 0 10 0 0 0 10 10 0 10 0 10 10 10 10 0 0 0 10 10 10 0 10 0 0 0 0 10 0 0 10 0 10 0 10 10 0 10 0 10 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 10 10 10 10 10 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 10 0 10 10 0 0 0 10 10 0 10 0 0 10 10 10 0 0 10 10 0 0 10 10 0 0 0 0 10 10 10 0 0 10 0 10 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 10 10 10 10 0 10 10 0 0 10 0 10 10 0 0 0 0 10 0 0 0 10 10 10 10 0 10 0 10 0 0 10 10 0 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 10 10 10 10 0 0 10 10 0 10 0 10 10 10 0 10 10 0 10 0 0 0 0 10 10 10 0 10 0 0 10 0 10 0 0 10 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 10 10 0 10 0 0 10 0 10 0 0 0 10 0 10 10 10 0 10 0 10 10 10 10 10 0 10 10 0 10 10 10 10 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 10 10 10 0 10 10 10 0 0 10 10 0 10 0 0 10 0 0 10 0 10 0 0 10 0 10 0 10 0 10 0 10 10 10 0 10 0 0 10 10 0 0 0 10 10 0 0 10 10 0 0 0 0 10 0 0 10 0 0 0 10 0 10 0 10 10 10 10 0 10 0 10 10 10 0 0 10 10 0 10 10 0 10 0 10 10 0 0 0 10 10 10 10 10 10 0 0 10 10 10 10 0 10 0 0 0 10 10 0 0 0 0 0 10 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 0 10 10 0 10 10 10 10 10 0 0 0 0 10 0 10 0 10 10 10 10 10 10 0 0 10 0 0 0 10 10 0 10 0 10 10 0 0 0 10 0 10 10 0 0 0 0 10 10 0 8 0 0 0 0 10 0 10 10 10 10 0 0 0 0 0 0 0 10 0 0 10 10 0 10 0 10 0 10 10 10 10 0 0 0 10 0 10 0 0 0 0 10 10 10 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 10 0 0 10 10 10 0 0 0 10 0 10 10 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 10 10 10 0 10 10 0 10 0 10 0 0 10 0 10 10 0 10 10 10 0 10 0 0 10 10 0 0 10 0 0 0 10 0 0 0 10 10 10 10 0 0 10 0 0 0 0 10 0 0 10 10 0 0 0 10 10 10 10 0 0 0 0 10 10 0 10 0 0 10 10 10 10 10 10 10 0 0 10 10 0 0 10 0 0 10 0 10 0 0 10 0 10 10 0 10 0 0 10 0 0 10 10 10 0 10 10 0 0 10 10 0 0 0 0 10 10 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 10 10 0 10 10 10 10 0 0 0 10 0 10 0 0 0 0 0 10 0 10 0 0 10 0 10 10 10 0 10 0 0 0 10 0 10 0 0 10 0 0 10 0 10 10 10 0 10 0 10 0 10 10 0 0 0 10 10 0 0 10 0 10 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 0 10 0 10 0 0 10 10 10 10 0 0 10 0 10 10 10 0 0 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 0 0 0 0 0 10 0 10 10 0 0 0 10 10 10 0 0 10 10 10 0 10 0 0 0 0 0 0 10 0 0 10 10 10 10 10 0 0 0 10 10 10 10 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 10 10 0 10 10 10 10 0 10 0 0 10 10 10 10 0 0 10 0 0 0 10 0 10 10 10 0 10 0 0 0 0 10 10 10 0 0 10 10 0 0 0 10 0 0 10 0 10 10 10 0 10 10 0 0 10 10 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 10 0 10 0 0 0 10 0 0 0 4 0 0 0 0 10 0 0 0 0 10 10 0 10 0 10 10 0 10 0 10 10 0 10 10 0 10 0 10 0 10 10 10 10 0 60 40 40 116 64 252 4 4 16 152 76 96 128 208 164 312 236 280 268 312 312 232 320 92 0 8 172 248 132 0 352 376 156 40 12 4 88 56 128 216 128 252 164 100 136 312 48 312 160 40 24 24 100 20 0 40 436 384 92 84 40 252 56 76 308 0 288 316 0 40 112 40 0 4 60 92 8 204 184 40 0 340 376 344 16 8 160 32 176 32 284 80 48 64 84 84 112 228 244 268 220 248 272 216 24 204 196 204 0 144 40 0 308 264 24 24 32 16 216 232 184 164 0 28 0 0 0 0 268 308 48 140 84 308 36 4 208 36 252 316 136 248 40 244 40 48 8 288 92 328 80 360 60 308 308 160 36 104 64 4 400 84 480 440 232 40 40 40 80 280 320 320 180 272 296 12 164 28 192 8 180 220 140 212 140 184 40 16 20 0 40 32 40 40 224 224 24 136 24 16 380 244 40 308 40 40 40 352 128 40 48 116 80 16 80 40 252 160 296 60 196 72 112 20 4 60 156 140 208 24 24 192 232 112 28 36 84 80 128 192 8 192 192 236 128 24 0 244 108 212 228 200 20 112 40 52 316 124 284 140 260 64 40 24 376 320 84 76 40 144 124 64 168 140 64 84 108 132 40 172 40 308 112 416 60 264 188 264 264 388 40 168 36 404 36 32 320 272 76 36 0 56 96 4 436 308 92 304 428 88 40 40 0 104 40 40 40 48 312 312 212 12 208 4 168 132 92 164 164 132 36 76 16 76 68 4 84 20 132 88 256 8 124 340 40 184 264 264 92 0 116 204 76 0 264 168 36 52 20 124 48 172 48 40 116 40 32 216 80 4 20 4 204 208 156 328 296 384 384 424 132 184 288 0 128 132 24 36 116 164 200 124 164 100 124 68 128 176 88 144 8 76 284 328 96 16 128 48 32 108 84 220 312 96 224 348 16 96 96 92 16 36 28 36 56 56 0 264 40 124 40 196 296 48 256 0 448 112 416 256 40 76 212 260 32 340 16 132 72 72 24 8 16 396 316 348 272 296 368 372 348 444 284 12 28 4 60 12 12 12 180 36 168 244 0 232 284 36 4 12 0 0 292 32 212 348 56 36 248 56 20 64 316 40 24 96 244 224 112 0 12 0 72 0 172 292 40 32 44 68 240 44 332 84 84 340 416 40 40 352 220 196 28 8 412 256 372 0 336 244 244 12 220 4 188 32 312 236 292 200 256 100 80 144 144 68 0 336 0 48 16 32 48 4 340 116 156 100 116 184 72 56 0 0 332 40 48 232 320 44 40 8 80 0 44 396 388 264 228 228 228 140 228 440 40 40 188 40 212 40 188 120 8 76 56 116 52 52 220 304 320 56 352 268 124 120 364 92 364 364 324 92 92 384 0 40 336 64 40 440 400 272 416 404 360 368 188 284 216 256 248 40 152 176 140 92 292 296 340 32 72 132 44 84 220 40 212 40 40 376 60 228 108 88 184 424 300 176 40 4 160 416 376 164 132 20 40 32 16 32 312 0 396 264 320 228 328 320 40 0 0 172 40 380 272 152 240 260 0 304 272 40 0 192 40 192 160 216 292 212 108 0 216 4 292 336 312 156 92 28 40 40 72 168 24 0 376 40 88 376 4 140 372 332 396 40 0 40 0 220 312 320 8 144 64 16 52 24 116 240 172 172 420 400 12 24 24 168 272 172 40 184 92 236 164 244 40 244 384 424 28 8 0 40 36 148 188 148 72 220 20 60 288 396 152 200 296 80 132 300 4 212 124 216 252 264 300 148 104 128 264 4 292 268 208 344 0 144 124 40 132 88 28 236 76 48 96 8 24 40 288 20 12 92 96 340 212 240 332 56 8 340 48 228 84 148 292 128 156 184 152 216 0 360 208 40 240 80 144 212 216 180 156 92 120 20 152 368 304 56 0 0 336 264 160 92 64 44 372 164 124 304 12 192 40 32 8 72 64 60 432 304 300 424 160 36 336 104 160 64 24 12 48 348 304 112 212 92 4 40 132 316 72 104 8 72 8 424 388 424 240 112 48 312 136 136 124 96 164 244 216 300 64 160 368 0 48 328 8 44 0 172 344 112 88 0 8 104 28 344 44 12 400 116 288 108 296 332 92 260 8 48 16 8 8 316 24 0 0 4 340 56 164 116 176 136 136 136 92 0 60 372 124 116 220 396 40 424 40 92 40 36 112 244 20 188 268 268 4 112 80 72 288 452 292 464 424 72 76 172 212 300 80 208 120 164 164 288 60 300 92 328 416 40 192 196 128 36 128 344 8 272 348 396 56 80 316 308 184 392 296 56 40 0 68 88 260 12 268 324 0 112 368 204 412 248 180 92 40 416 88 176 56 376 324 24 284 148 204 28 84 444 128 264 308 0 124 168 40 4 124 0 272 136 24 372 28 28 64 384 344 216 196 120 220 0 12 36 40 192 112 72 228 72 264 272 264 264 388 264 0 264 92 72 396 0 264 216 16 44 4 48 0 32 364 172 16 160 48 56 168 340 244 316 16 92 60 40 40 288 8 168 200 40 132 76 204 88 164 96 336 0 208 128 28 40 0 0 324 60 4 8 4 64 136 288 336 260 8 424 308 120 28 32 88 312 92 0 292 316 276 112 432 44 68 344 240 8 308 0 0 132 284 28 40 108 28 44 68 68 360 184 184 132 132 40 224 0 336 296 256 40 32 0 124 400 0 0 132 232 0 92 40 396 344 356 356 40 360 348 40 40 372 412 112 368 308 396 0 40 40 140 8 96 292 256 248 56 212 72 100 0 140 216 20 212 68 204 52 232 120 0 28 324 28 52 60 256 112 352 96 264 132 336 244 84 40 32 60 376 40 0 40 </values>
2520.01/2520.01	v </instantiation>

Verifier Data 

OK	182559672

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304118-1534011729/watcher-4304118-1534011729 -o /tmp/evaluation-result-4304118-1534011729/solver-4304118-1534011729 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10241 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1262429731 HOME/instance-4304118-1534011729.xml 

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

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

solver pid=12167, runsolver pid=12164

[startup+0.100114 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1873620/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=40248 memory=14608 CPUtime=0.09 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 3929 0 0 0 9 0 0 0 20 0 1 0 218736159 41213952 3652 33554432000 4194304 7499544 140729467728176 140729467725176 139757064567781 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 10062 3652 702 807 0 3053 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40248 KiB
Current children cumulated memory: 14608 KiB

[startup+0.209659 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1870780/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=43340 memory=17776 CPUtime=0.2 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 4699 0 0 0 20 0 0 0 20 0 1 0 218736159 44380160 4444 33554432000 4194304 7499544 140729467728176 140729467719048 4563992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 10835 4444 704 807 0 3826 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43340 KiB
Current children cumulated memory: 17776 KiB

[startup+0.309187 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1867432/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=46572 memory=20944 CPUtime=0.3 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 5522 0 0 0 30 0 0 0 20 0 1 0 218736159 47689728 5236 33554432000 4194304 7499544 140729467728176 140729467719048 139757064567781 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 11643 5236 704 807 0 4634 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46572 KiB
Current children cumulated memory: 20944 KiB

[startup+0.700245 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1859496/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=58644 memory=33164 CPUtime=0.69 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 8692 0 0 0 68 1 0 0 20 0 1 0 218736159 60051456 8291 33554432000 4194304 7499544 140729467728176 140729467719048 5881437 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 14661 8291 720 807 0 7652 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58644 KiB
Current children cumulated memory: 33164 KiB

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1847220/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=79736 memory=54284 CPUtime=1.48 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 13949 0 0 0 147 1 0 0 20 0 1 0 218736159 81649664 13571 33554432000 4194304 7499544 140729467728176 140729467721416 5881687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 19934 13571 721 807 0 12925 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79736 KiB
Current children cumulated memory: 54284 KiB

[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1795080/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=121808 memory=96348 CPUtime=3.1 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 25569 0 0 0 307 3 0 0 20 0 1 0 218736159 124731392 24087 33554432000 4194304 7499544 140729467728176 140729467721416 5880928 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 30452 24087 722 807 0 23443 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 121808 KiB
Current children cumulated memory: 96348 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1715444/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=205244 memory=179736 CPUtime=6.29 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 48805 0 0 0 624 5 0 0 20 0 1 0 218736159 210169856 44934 33554432000 4194304 7499544 140729467728176 140729467721416 139757065006080 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 51311 44934 722 807 0 44302 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 205244 KiB
Current children cumulated memory: 179736 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1558088/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=372592 memory=347184 CPUtime=12.69 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 93342 0 0 0 1258 11 0 0 20 0 1 0 218736159 381534208 86796 33554432000 4194304 7499544 140729467728176 140729467721416 6007951 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 93148 86796 722 807 0 86139 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 372592 KiB
Current children cumulated memory: 347184 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1216792/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=709360 memory=683664 CPUtime=25.49 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 180179 0 0 0 2526 23 0 0 20 0 1 0 218736159 726384640 170916 33554432000 4194304 7499544 140729467728176 140729467721416 5881802 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 177340 170916 722 807 0 170331 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 709360 KiB
Current children cumulated memory: 683664 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12168
/proc/meminfo: memFree=1043388/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=868288 memory=843052 CPUtime=51.1 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 397163 0 0 0 5072 38 0 0 20 0 1 0 218736159 889126912 210763 33554432000 4194304 7499544 140729467728176 140729467723192 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217072 210763 766 807 0 210063 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 868288 KiB
Current children cumulated memory: 843052 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12169
/proc/meminfo: memFree=1043328/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=868948 memory=843620 CPUtime=102.29 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 479975 0 0 0 10188 41 0 0 20 0 1 0 218736159 889802752 210905 33554432000 4194304 7499544 140729467728176 140729467722600 4253248 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217237 210905 766 807 0 210228 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 868948 KiB
Current children cumulated memory: 843620 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12170
/proc/meminfo: memFree=1042000/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869088 memory=843772 CPUtime=162.29 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 572366 0 0 0 16183 46 0 0 20 0 1 0 218736159 889946112 210943 33554432000 4194304 7499544 140729467728176 140729467723192 5791072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217272 210943 766 807 0 210263 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843772 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12172
/proc/meminfo: memFree=1041768/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869088 memory=843804 CPUtime=222.27 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 690555 0 0 0 22178 49 0 0 20 0 1 0 218736159 889946112 210951 33554432000 4194304 7499544 140729467728176 140729467723192 5771753 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217272 210951 766 807 0 210263 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843804 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12173
/proc/meminfo: memFree=1041996/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869088 memory=843832 CPUtime=282.27 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 754396 0 0 0 28174 53 0 0 20 0 1 0 218736159 889946112 210958 33554432000 4194304 7499544 140729467728176 140729467723192 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217272 210958 766 807 0 210263 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843832 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12174
/proc/meminfo: memFree=1042136/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869088 memory=843856 CPUtime=342.27 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 821095 0 0 0 34170 57 0 0 20 0 1 0 218736159 889946112 210964 33554432000 4194304 7499544 140729467728176 140729467723192 4258023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217272 210964 766 807 0 210263 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843856 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12176
/proc/meminfo: memFree=1042172/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869088 memory=843876 CPUtime=402.26 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 849121 0 0 0 40168 58 0 0 20 0 1 0 218736159 889946112 210969 33554432000 4194304 7499544 140729467728176 140729467723192 5790272 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217272 210969 766 807 0 210263 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843876 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12177
/proc/meminfo: memFree=1041332/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869220 memory=843884 CPUtime=462.27 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 900261 0 0 0 46166 61 0 0 20 0 1 0 218736159 890081280 210971 33554432000 4194304 7499544 140729467728176 140729467722600 5163954 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217305 210971 766 807 0 210296 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 869220 KiB
Current children cumulated memory: 843884 KiB


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

/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12223
/proc/meminfo: memFree=1039800/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=1782.28 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 977927 0 0 0 178163 65 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 5163912 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12224
/proc/meminfo: memFree=1039420/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=1842.29 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 978736 0 0 0 184164 65 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 5790978 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12225
/proc/meminfo: memFree=1039172/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=1902.28 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 979540 0 0 0 190163 65 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 4249975 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12226
/proc/meminfo: memFree=1039140/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=1962.28 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 980421 0 0 0 196163 65 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 4405080 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+2022.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 12417
/proc/meminfo: memFree=1801392/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2022.29 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 981238 0 0 0 202164 65 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 4249946 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+2082.3 s]
/proc/loadavg: 2.39 2.10 2.07 3/187 12418
/proc/meminfo: memFree=1427008/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2082.29 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 982019 0 0 0 208164 65 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 5770208 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+2142.3 s]
/proc/loadavg: 2.33 2.15 2.09 3/187 12419
/proc/meminfo: memFree=1405876/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2142.29 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 982879 0 0 0 214164 65 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 139757068003018 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+2202.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/187 12421
/proc/meminfo: memFree=1404940/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2202.29 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 983690 0 0 0 220164 65 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 4249975 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+2262.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 12422
/proc/meminfo: memFree=1384212/32770624 swapFree=67058152/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2262.29 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 984503 0 0 0 226164 65 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 4406512 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 12430
/proc/meminfo: memFree=1383516/32770624 swapFree=67058156/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2322.3 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 985316 0 0 0 232164 66 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 5770280 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 12453
/proc/meminfo: memFree=1382304/32770624 swapFree=67058160/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2382.3 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 986208 0 0 0 238164 66 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 4579850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 12454
/proc/meminfo: memFree=1381548/32770624 swapFree=67058160/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2442.3 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 987022 0 0 0 244164 66 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 4249664 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 12455
/proc/meminfo: memFree=1381952/32770624 swapFree=67058160/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2502.3 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 987842 0 0 0 250164 66 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 5790790 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.06 3/187 12455
/proc/meminfo: memFree=1381976/32770624 swapFree=67058160/67108860
[pid=12167] ppid=12164 vsize=869676 memory=844440 CPUtime=2520.01 cores=0,2,4,6
/proc/12167/stat : 12167 (MistralXCSP) R 12164 12167 10209 0 -1 4202496 987971 0 0 0 251935 66 0 0 20 0 1 0 218736159 890548224 211110 33554432000 4194304 7499544 140729467728176 140729467723192 4253253 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 41779200 140729467733101 140729467733251 140729467733251 140729467736009 0
/proc/12167/statm: 217419 211110 766 807 0 210410 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844440 KiB

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

[startup+2520.01 s]
# the end of solver process 12167 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.36 s, system=0.664017 s

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2520.02
CPU user time (s): 2519.36
CPU system time (s): 0.664017
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 869676
Max. memory (cumulated for all children) (KiB): 844440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.36
system time used= 0.664017
maximum resident set size= 844460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 988002
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= 125
involuntary context switches= 757


# summary of solver processes directly reported to runsolver:
#   pid: 12167
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2519.36
#   total CPU system time (s): 0.664017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.73062 second user time and 18.6669 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-11 20:22:10
IDJOB=4304118
IDBENCH=141276
IDSOLVER=2779
FILE ID=node103/4304118-1534011729
RUNJOBID= node103-1533993568-10241
PBS_JOBID= 21036954
Free space on /tmp= 34344 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_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-4304118-1534011729/watcher-4304118-1534011729 -o /tmp/evaluation-result-4304118-1534011729/solver-4304118-1534011729 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10241 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1262429731 HOME/instance-4304118-1534011729.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=1262429731

node103.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.48
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.48
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.48
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.48
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:         1885324 kB
MemAvailable:   31450616 kB
Buffers:          105268 kB
Cached:         29385140 kB
SwapCached:         5736 kB
Active:         14953320 kB
Inactive:       15045084 kB
Active(anon):     500040 kB
Inactive(anon):    59456 kB
Active(file):   14453280 kB
Inactive(file): 14985628 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058152 kB
Dirty:             77164 kB
Writeback:             0 kB
AnonPages:        529672 kB
Mapped:            50056 kB
Shmem:             48516 kB
Slab:             583140 kB
SReclaimable:     554844 kB
SUnreclaim:        28296 kB
KernelStack:        3568 kB
PageTables:         6024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     872924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    507904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34376 MiB
End job on node103 at 2018-08-11 21:04:10