Trace number 4292062

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)182559672 2400.04 2400.21

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 16062018
44.28/44.34	o 182686127
44.28/44.34	o 182673487
44.28/44.35	o 182673486
44.28/44.35	o 182660846
44.28/44.36	o 182648206
46.88/46.90	o 182648204
46.88/46.98	o 182648202
46.98/47.06	o 182648198
47.08/47.15	o 182648194
47.28/47.33	o 182648191
47.58/47.67	o 182648180
47.78/47.82	o 182648176
48.27/48.30	o 182648172
48.27/48.37	o 182648171
48.37/48.44	o 182648167
48.47/48.55	o 182648158
48.57/48.65	o 182648151
48.67/48.75	o 182648142
48.77/48.86	o 182648136
48.87/48.96	o 182648128
114.75/114.81	o 182635488
524.65/524.85	o 182635478
1021.35/1021.59	o 182622838
1192.44/1192.60	o 182610229
1192.44/1192.62	o 182610221
1524.34/1524.59	o 182597581
1919.84/1920.08	o 182584951
2072.84/2073.05	o 182584947
2072.94/2073.11	o 182584946
2073.23/2073.42	o 182584942
2333.43/2333.67	o 182572311
2333.53/2333.72	o 182572302
2333.63/2333.85	o 182559672
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] 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>
2400.03/2400.20	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>
2400.03/2400.20	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 (6719 MiB free)
  memory of node 1: 16384 MiB (12125 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292062-1532266562/watcher-4292062-1532266562 -o /tmp/evaluation-result-4292062-1532266562/solver-4292062-1532266562 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532261739-2080 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1547234208 HOME/instance-4292062-1532266562.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=2694, runsolver pid=2691

[startup+0.100239 s]*
/proc/loadavg: 2.31 2.08 2.07 3/200 2695
/proc/meminfo: memFree=19287072/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=39984 memory=14340 CPUtime=0.09 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 3858 0 0 0 9 0 0 0 20 0 1 0 44219432 40943616 3585 33554432000 4194304 7498468 140725878603184 140725878594024 140111446252517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 9996 3585 703 807 0 2987 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39984 KiB
Current children cumulated memory: 14340 KiB

[startup+0.209525 s]*
/proc/loadavg: 2.31 2.08 2.07 3/200 2695
/proc/meminfo: memFree=19284148/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=42828 memory=17244 CPUtime=0.2 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 4570 0 0 0 20 0 0 0 20 0 1 0 44219432 43855872 4311 33554432000 4194304 7498468 140725878603184 140725878594024 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 10707 4311 704 807 0 3698 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42828 KiB
Current children cumulated memory: 17244 KiB

[startup+0.309449 s]*
/proc/loadavg: 2.31 2.08 2.07 3/200 2695
/proc/meminfo: memFree=19280856/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=45880 memory=20412 CPUtime=0.3 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 5345 0 0 0 30 0 0 0 20 0 1 0 44219432 46981120 5103 33554432000 4194304 7498468 140725878603184 140725878594024 140111446250176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 11470 5103 704 807 0 4461 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45880 KiB
Current children cumulated memory: 20412 KiB

[startup+0.700304 s]
/proc/loadavg: 2.31 2.08 2.07 3/200 2695
/proc/meminfo: memFree=19273416/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=58224 memory=32636 CPUtime=0.69 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 8557 0 0 0 68 1 0 0 20 0 1 0 44219432 59621376 8159 33554432000 4194304 7498468 140725878603184 140725878594024 5880928 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 14556 8159 717 807 0 7547 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58224 KiB
Current children cumulated memory: 32636 KiB

[startup+1.50025 s]
/proc/loadavg: 2.31 2.08 2.07 3/200 2695
/proc/meminfo: memFree=19260768/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=78876 memory=53228 CPUtime=1.48 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 13731 0 0 0 147 1 0 0 20 0 1 0 44219432 80769024 13307 33554432000 4194304 7498468 140725878603184 140725878594488 5882165 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 19719 13307 718 807 0 12710 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78876 KiB
Current children cumulated memory: 53228 KiB

[startup+3.10934 s]
/proc/loadavg: 2.31 2.08 2.07 3/200 2695
/proc/meminfo: memFree=18908184/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=120692 memory=95224 CPUtime=3.09 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 25504 0 0 0 306 3 0 0 20 0 1 0 44219432 123588608 23806 33554432000 4194304 7498468 140725878603184 140725878596424 5881906 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 30173 23806 719 807 0 23164 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120692 KiB
Current children cumulated memory: 95224 KiB

[startup+6.30027 s]
/proc/loadavg: 2.29 2.08 2.07 3/200 2695
/proc/meminfo: memFree=18600680/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=204556 memory=179040 CPUtime=6.28 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 48604 0 0 0 622 6 0 0 20 0 1 0 44219432 209465344 44760 33554432000 4194304 7498468 140725878603184 140725878596424 140111446245174 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 51139 44760 719 807 0 44130 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 204556 KiB
Current children cumulated memory: 179040 KiB

[startup+12.7002 s]
/proc/loadavg: 2.26 2.08 2.06 3/203 2698
/proc/meminfo: memFree=17426404/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=371396 memory=345680 CPUtime=12.68 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 93058 0 0 0 1255 13 0 0 20 0 1 0 44219432 380309504 86420 33554432000 4194304 7498468 140725878603184 140725878596424 5877484 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 92849 86420 719 807 0 85840 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 371396 KiB
Current children cumulated memory: 345680 KiB

[startup+25.5003 s]
/proc/loadavg: 2.43 2.12 2.08 3/187 3157
/proc/meminfo: memFree=22122132/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=706628 memory=681044 CPUtime=25.48 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 179987 0 0 0 2525 23 0 0 20 0 1 0 44219432 723587072 170261 33554432000 4194304 7498468 140725878603184 140725878596424 140111446252569 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 176657 170261 719 807 0 169648 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 706628 KiB
Current children cumulated memory: 681044 KiB

[startup+51.1094 s]
/proc/loadavg: 2.28 2.11 2.08 3/187 3157
/proc/meminfo: memFree=21945852/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=868288 memory=843100 CPUtime=51.08 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 357698 0 0 0 5073 35 0 0 20 0 1 0 44219432 889126912 210775 33554432000 4194304 7498468 140725878603184 140725878598200 4249991 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217072 210775 761 807 0 210063 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 868288 KiB
Current children cumulated memory: 843100 KiB

[startup+102.3 s]
/proc/loadavg: 2.12 2.10 2.07 3/187 3158
/proc/meminfo: memFree=21945116/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=868948 memory=843668 CPUtime=102.25 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 434512 0 0 0 10185 40 0 0 20 0 1 0 44219432 889802752 210917 33554432000 4194304 7498468 140725878603184 140725878597608 5791611 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217237 210917 761 807 0 210228 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 868948 KiB
Current children cumulated memory: 843668 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/187 3159
/proc/meminfo: memFree=21944636/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869088 memory=843812 CPUtime=162.23 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 521436 0 0 0 16179 44 0 0 20 0 1 0 44219432 889946112 210953 33554432000 4194304 7498468 140725878603184 140725878598200 4580120 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217272 210953 761 807 0 210263 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843812 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/187 3160
/proc/meminfo: memFree=21944468/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869088 memory=843844 CPUtime=222.22 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 577925 0 0 0 22175 47 0 0 20 0 1 0 44219432 889946112 210961 33554432000 4194304 7498468 140725878603184 140725878598200 5772192 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217272 210961 761 807 0 210263 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843844 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 3168
/proc/meminfo: memFree=21943572/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869088 memory=843872 CPUtime=282.21 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 623112 0 0 0 28171 50 0 0 20 0 1 0 44219432 889946112 210968 33554432000 4194304 7498468 140725878603184 140725878598200 5838205 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217272 210968 761 807 0 210263 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843872 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 3169
/proc/meminfo: memFree=21943908/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869088 memory=843896 CPUtime=342.19 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 669987 0 0 0 34167 52 0 0 20 0 1 0 44219432 889946112 210974 33554432000 4194304 7498468 140725878603184 140725878598200 4405935 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217272 210974 761 807 0 210263 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843896 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 3170
/proc/meminfo: memFree=21943676/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869088 memory=843916 CPUtime=402.18 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 692843 0 0 0 40165 53 0 0 20 0 1 0 44219432 889946112 210979 33554432000 4194304 7498468 140725878603184 140725878598200 5791624 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217272 210979 761 807 0 210263 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 869088 KiB
Current children cumulated memory: 843916 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 3171
/proc/meminfo: memFree=21943820/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869220 memory=843928 CPUtime=462.17 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 721107 0 0 0 46163 54 0 0 20 0 1 0 44219432 890081280 210982 33554432000 4194304 7498468 140725878603184 140725878597608 4258062 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217305 210982 761 807 0 210296 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 869220 KiB
Current children cumulated memory: 843928 KiB


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

/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 1602.14 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3231
/proc/meminfo: memFree=21942048/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=1662.14 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 752827 0 0 0 166156 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 1662.14 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3232
/proc/meminfo: memFree=21941676/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=1722.14 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 753849 0 0 0 172156 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 4253120 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3233
/proc/meminfo: memFree=21942056/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=1782.14 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 754850 0 0 0 178156 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 4403266 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3234
/proc/meminfo: memFree=21941912/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=1842.14 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 755838 0 0 0 184156 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 4580267 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3235
/proc/meminfo: memFree=21942376/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=1902.14 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 756818 0 0 0 190156 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 4378930 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3236
/proc/meminfo: memFree=21942804/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=1962.13 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 757931 0 0 0 196155 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 5773824 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3237
/proc/meminfo: memFree=21942388/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=2022.13 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 758942 0 0 0 202155 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 4580282 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3245
/proc/meminfo: memFree=21941632/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=2082.13 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 759988 0 0 0 208155 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 4405408 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3246
/proc/meminfo: memFree=21942276/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=2142.13 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 760979 0 0 0 214155 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 4406988 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3248
/proc/meminfo: memFree=21942240/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=2202.13 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 761983 0 0 0 220155 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 5773657 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3249
/proc/meminfo: memFree=21942612/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=2262.13 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 762979 0 0 0 226155 58 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 4258024 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3250
/proc/meminfo: memFree=21941940/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=2322.13 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 763996 0 0 0 232154 59 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 4253243 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 3251
/proc/meminfo: memFree=21942104/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=2382.13 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 765086 0 0 0 238154 59 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 5773775 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 3251
/proc/meminfo: memFree=21942104/32770624 swapFree=67108860/67108860
[pid=2694] ppid=2691 vsize=869676 memory=844480 CPUtime=2400.03 cores=1,3,5,7
/proc/2694/stat : 2694 (MistralXCSP) R 2691 2694 2046 0 -1 4202496 765828 0 0 0 239944 59 0 0 20 0 1 0 44219432 890548224 211120 33554432000 4194304 7498468 140725878603184 140725878598200 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 41934848 140725878609005 140725878609155 140725878609155 140725878611913 0
/proc/2694/statm: 217419 211120 761 807 0 210410 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 869676 KiB
Current children cumulated memory: 844480 KiB

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

[startup+2400.2 s]
# the end of solver process 2694 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.45 s, system=0.595973 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.45
CPU system time (s): 0.595973
CPU usage (%): 99.9933
Max. virtual memory (cumulated for all children) (KiB): 869676
Max. memory (cumulated for all children) (KiB): 844480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.45
system time used= 0.595973
maximum resident set size= 844500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 765863
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= 129
involuntary context switches= 828


# summary of solver processes directly reported to runsolver:
#   pid: 2694
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2399.45
#   total CPU system time (s): 0.595973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.20107 second user time and 17.4113 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-22 15:36:03
IDJOB=4292062
IDBENCH=141276
IDSOLVER=2741
FILE ID=node138/4292062-1532266562
RUNJOBID= node138-1532261739-2080
PBS_JOBID= 21018975
Free space on /tmp= 58820 MiB

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

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=1547234208

node138.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.71
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.71
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.71
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.71
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:        19298140 kB
MemAvailable:   28664404 kB
Buffers:          244828 kB
Cached:          9359544 kB
SwapCached:            0 kB
Active:          5862360 kB
Inactive:        7081252 kB
Active(anon):    3342092 kB
Inactive(anon):    16960 kB
Active(file):    2520268 kB
Inactive(file):  7064292 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             80352 kB
Writeback:             0 kB
AnonPages:       3346716 kB
Mapped:            47456 kB
Shmem:             17036 kB
Slab:             222208 kB
SReclaimable:     195080 kB
SUnreclaim:        27128 kB
KernelStack:        3488 kB
PageTables:        11792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4920920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3239936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 59020 MiB
End job on node138 at 2018-07-22 16:16:03