Trace number 4291987

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)272102214 2400.09 2400.31

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	272102214

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291987-1532263420/watcher-4291987-1532263420 -o /tmp/evaluation-result-4291987-1532263420/solver-4291987-1532263420 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532260184-2703 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1969825192 HOME/instance-4291987-1532263420.xml 

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

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=3367, runsolver pid=3364

[startup+0.100629 s]*
/proc/loadavg: 2.02 2.05 2.05 3/192 3368
/proc/meminfo: memFree=20685512/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=40472 memory=14996 CPUtime=0.09 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 4004 0 0 0 9 0 0 0 20 0 1 0 43905173 41443328 3749 33554432000 4194304 7498468 140723374947152 140723374938072 140581670304741 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 10118 3749 704 807 0 3109 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40472 KiB
Current children cumulated memory: 14996 KiB

[startup+0.20998 s]*
/proc/loadavg: 2.02 2.05 2.05 3/192 3368
/proc/meminfo: memFree=20682536/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=43448 memory=17900 CPUtime=0.2 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 4749 0 0 0 20 0 0 0 20 0 1 0 43905173 44490752 4475 33554432000 4194304 7498468 140723374947152 140723374938072 140581670304741 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 10862 4475 704 807 0 3853 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43448 KiB
Current children cumulated memory: 17900 KiB

[startup+0.309399 s]*
/proc/loadavg: 2.02 2.05 2.05 3/192 3368
/proc/meminfo: memFree=20676352/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=49000 memory=23584 CPUtime=0.3 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 6266 0 0 0 29 1 0 0 20 0 1 0 43905173 50176000 5896 33554432000 4194304 7498468 140723374947152 140723374938072 6308274 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 12250 5896 704 807 0 5241 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49000 KiB
Current children cumulated memory: 23584 KiB

[startup+0.700243 s]
/proc/loadavg: 2.02 2.05 2.05 3/192 3368
/proc/meminfo: memFree=20672012/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=59624 memory=33876 CPUtime=0.68 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 8876 0 0 0 67 1 0 0 20 0 1 0 43905173 61054976 8469 33554432000 4194304 7498468 140723374947152 140723374938072 5882131 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 14906 8469 717 807 0 7897 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59624 KiB
Current children cumulated memory: 33876 KiB

[startup+1.50026 s]
/proc/loadavg: 2.02 2.05 2.05 3/192 3368
/proc/meminfo: memFree=20659364/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=79796 memory=54204 CPUtime=1.48 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 13954 0 0 0 146 2 0 0 20 0 1 0 43905173 81711104 13551 33554432000 4194304 7498468 140723374947152 140723374940392 5877404 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 19949 13551 717 807 0 12940 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79796 KiB
Current children cumulated memory: 54204 KiB

[startup+3.10974 s]
/proc/loadavg: 2.02 2.05 2.05 3/192 3368
/proc/meminfo: memFree=20565084/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=119624 memory=94068 CPUtime=3.1 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 25094 0 0 0 306 4 0 0 20 0 1 0 43905173 122494976 23517 33554432000 4194304 7498468 140723374947152 140723374940392 140581670297229 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 29906 23517 719 807 0 22897 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 119624 KiB
Current children cumulated memory: 94068 KiB

[startup+6.30023 s]
/proc/loadavg: 2.02 2.05 2.05 3/192 3368
/proc/meminfo: memFree=20531872/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=199932 memory=174540 CPUtime=6.28 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 47258 0 0 0 621 7 0 0 20 0 1 0 43905173 204730368 43635 33554432000 4194304 7498468 140723374947152 140723374940392 5948878 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 49983 43635 719 807 0 42974 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 199932 KiB
Current children cumulated memory: 174540 KiB

[startup+12.7002 s]
/proc/loadavg: 2.01 2.05 2.05 3/192 3368
/proc/meminfo: memFree=20381696/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=360088 memory=334480 CPUtime=12.69 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 89802 0 0 0 1255 14 0 0 20 0 1 0 43905173 368730112 83620 33554432000 4194304 7498468 140723374947152 140723374940392 5877509 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 90022 83620 719 807 0 83013 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 360088 KiB
Current children cumulated memory: 334480 KiB

[startup+25.5002 s]
/proc/loadavg: 2.01 2.05 2.05 3/192 3368
/proc/meminfo: memFree=20060616/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=676000 memory=650368 CPUtime=25.48 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 172440 0 0 0 2525 23 0 0 20 0 1 0 43905173 692224000 162592 33554432000 4194304 7498468 140723374947152 140723374940392 5881812 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 169000 162592 719 807 0 161991 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 676000 KiB
Current children cumulated memory: 650368 KiB

[startup+51.1098 s]
/proc/loadavg: 2.01 2.04 2.05 3/192 3368
/proc/meminfo: memFree=19533668/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1188912 memory=1163608 CPUtime=51.09 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 404411 0 0 0 5065 44 0 0 20 0 1 0 43905173 1217445888 290902 33554432000 4194304 7498468 140723374947152 140723374941576 5791399 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 297228 290902 756 807 0 290219 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1188912 KiB
Current children cumulated memory: 1163608 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 3369
/proc/meminfo: memFree=19528984/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1193724 memory=1168512 CPUtime=102.27 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 514736 0 0 0 10177 50 0 0 20 0 1 0 43905173 1222373376 292128 33554432000 4194304 7498468 140723374947152 140723374941576 5791646 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 298431 292128 761 807 0 291422 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1193724 KiB
Current children cumulated memory: 1168512 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 3370
/proc/meminfo: memFree=19526160/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1194520 memory=1169200 CPUtime=162.24 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 662871 0 0 0 16165 59 0 0 20 0 1 0 43905173 1223188480 292300 33554432000 4194304 7498468 140723374947152 140723374941592 5791646 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 298630 292300 761 807 0 291621 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 1194520 KiB
Current children cumulated memory: 1169200 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 3371
/proc/meminfo: memFree=19525948/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1194784 memory=1169572 CPUtime=222.23 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 784994 0 0 0 22157 66 0 0 20 0 1 0 43905173 1223458816 292393 33554432000 4194304 7498468 140723374947152 140723374942168 4258077 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 298696 292393 761 807 0 291687 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 1194784 KiB
Current children cumulated memory: 1169572 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 3372
/proc/meminfo: memFree=19526232/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1195316 memory=1170012 CPUtime=282.22 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 917374 0 0 0 28150 72 0 0 20 0 1 0 43905173 1224003584 292503 33554432000 4194304 7498468 140723374947152 140723374941576 4249680 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 298829 292503 761 807 0 291820 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 1195316 KiB
Current children cumulated memory: 1170012 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3374
/proc/meminfo: memFree=19525980/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1195316 memory=1170096 CPUtime=342.2 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 964663 0 0 0 34145 75 0 0 20 0 1 0 43905173 1224003584 292524 33554432000 4194304 7498468 140723374947152 140723374941576 4249991 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 298829 292524 761 807 0 291820 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 1195316 KiB
Current children cumulated memory: 1170096 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/192 3383
/proc/meminfo: memFree=19523828/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1195448 memory=1170128 CPUtime=402.17 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 998237 0 0 0 40141 76 0 0 20 0 1 0 43905173 1224138752 292532 33554432000 4194304 7498468 140723374947152 140723374941688 4253162 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 298862 292532 761 807 0 291853 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 1195448 KiB
Current children cumulated memory: 1170128 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/192 3384
/proc/meminfo: memFree=19525100/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1195448 memory=1170144 CPUtime=462.17 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1027665 0 0 0 46139 78 0 0 20 0 1 0 43905173 1224138752 292536 33554432000 4194304 7498468 140723374947152 140723374941688 4378930 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 298862 292536 761 807 0 291853 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 1195448 KiB
Current children cumulated memory: 1170144 KiB


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

/proc/3367/statm: 299891 293612 761 807 0 292882 0
Current children cumulated CPU time: 1662.08 s
Current children cumulated vsize: 1199564 KiB
Current children cumulated memory: 1174448 KiB

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/192 3532
/proc/meminfo: memFree=18398156/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199696 memory=1174456 CPUtime=1722.08 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1238584 0 0 0 172120 88 0 0 20 0 1 0 43905173 1228488704 293614 33554432000 4194304 7498468 140723374947152 140723374941576 5770762 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299924 293614 761 807 0 292915 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 1199696 KiB
Current children cumulated memory: 1174456 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 3533
/proc/meminfo: memFree=18397940/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199696 memory=1174580 CPUtime=1782.08 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1239493 0 0 0 178120 88 0 0 20 0 1 0 43905173 1228488704 293645 33554432000 4194304 7498468 140723374947152 140723374941576 4408786 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299924 293645 761 807 0 292915 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 1199696 KiB
Current children cumulated memory: 1174580 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 3534
/proc/meminfo: memFree=18397660/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199828 memory=1174620 CPUtime=1842.08 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1240372 0 0 0 184120 88 0 0 20 0 1 0 43905173 1228623872 293655 33554432000 4194304 7498468 140723374947152 140723374941576 5164386 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299957 293655 761 807 0 292948 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174620 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3536
/proc/meminfo: memFree=18397436/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199828 memory=1174656 CPUtime=1902.08 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1241242 0 0 0 190120 88 0 0 20 0 1 0 43905173 1228623872 293664 33554432000 4194304 7498468 140723374947152 140723374941576 4545912 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299957 293664 761 807 0 292948 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174656 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3537
/proc/meminfo: memFree=18398200/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199828 memory=1174672 CPUtime=1962.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1242092 0 0 0 196119 88 0 0 20 0 1 0 43905173 1228623872 293668 33554432000 4194304 7498468 140723374947152 140723374941576 4258039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299957 293668 761 807 0 292948 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174672 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3538
/proc/meminfo: memFree=18398228/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199828 memory=1174672 CPUtime=2022.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1242949 0 0 0 202119 88 0 0 20 0 1 0 43905173 1228623872 293668 33554432000 4194304 7498468 140723374947152 140723374941576 5791462 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299957 293668 761 807 0 292948 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174672 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3539
/proc/meminfo: memFree=18397860/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199828 memory=1174680 CPUtime=2082.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1243874 0 0 0 208119 88 0 0 20 0 1 0 43905173 1228623872 293670 33554432000 4194304 7498468 140723374947152 140723374941576 4378916 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299957 293670 761 807 0 292948 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174680 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3540
/proc/meminfo: memFree=18398216/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199828 memory=1174704 CPUtime=2142.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1244783 0 0 0 214119 88 0 0 20 0 1 0 43905173 1228623872 293676 33554432000 4194304 7498468 140723374947152 140723374941576 5791406 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299957 293676 761 807 0 292948 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 1199828 KiB
Current children cumulated memory: 1174704 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3549
/proc/meminfo: memFree=18397824/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199960 memory=1174720 CPUtime=2202.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1245690 0 0 0 220119 88 0 0 20 0 1 0 43905173 1228759040 293680 33554432000 4194304 7498468 140723374947152 140723374941592 4258077 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299990 293680 761 807 0 292981 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174720 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3550
/proc/meminfo: memFree=18397520/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199960 memory=1174728 CPUtime=2262.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1246619 0 0 0 226119 88 0 0 20 0 1 0 43905173 1228759040 293682 33554432000 4194304 7498468 140723374947152 140723374941592 5791403 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299990 293682 761 807 0 292981 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174728 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3551
/proc/meminfo: memFree=18397968/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199960 memory=1174740 CPUtime=2322.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1247534 0 0 0 232119 88 0 0 20 0 1 0 43905173 1228759040 293685 33554432000 4194304 7498468 140723374947152 140723374941592 4253264 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299990 293685 761 807 0 292981 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174740 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3552
/proc/meminfo: memFree=18397368/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199960 memory=1174804 CPUtime=2382.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1248431 0 0 0 238119 88 0 0 20 0 1 0 43905173 1228759040 293701 33554432000 4194304 7498468 140723374947152 140723374942168 5791624 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299990 293701 761 807 0 292981 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3552
/proc/meminfo: memFree=18397488/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199960 memory=1174804 CPUtime=2400.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1248672 0 0 0 239919 88 0 0 20 0 1 0 43905173 1228759040 293701 33554432000 4194304 7498468 140723374947152 140723374942168 5770556 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299990 293701 761 807 0 292981 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174804 KiB

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

[startup+2400.31 s]
# the end of solver process 3367 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.19 s, system=0.89297 s

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

[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3552
/proc/meminfo: memFree=18397488/32770624 swapFree=67108860/67108860
[pid=3367] ppid=3364 vsize=1199960 memory=1174804 CPUtime=2400.07 cores=0,2,4,6
/proc/3367/stat : 3367 (MistralXCSP) R 3364 3367 2672 0 -1 4202496 1248672 0 0 0 239919 88 0 0 20 0 1 0 43905173 1228759040 293701 33554432000 4194304 7498468 140723374947152 140723374942168 5770556 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 33402880 140723374953581 140723374953731 140723374953731 140723374956489 0
/proc/3367/statm: 299990 293701 761 807 0 292981 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 1199960 KiB
Current children cumulated memory: 1174804 KiB

Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2399.19
CPU system time (s): 0.89297
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 1199960
Max. memory (cumulated for all children) (KiB): 1174804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.19
system time used= 0.89297
maximum resident set size= 1174824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1248704
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= 250
involuntary context switches= 1003


# summary of solver processes directly reported to runsolver:
#   pid: 3367
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2399.19
#   total CPU system time (s): 0.89297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7663 second user time and 14.4543 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-22 14:43:40
IDJOB=4291987
IDBENCH=141261
IDSOLVER=2741
FILE ID=node132/4291987-1532263420
RUNJOBID= node132-1532260184-2703
PBS_JOBID= 21018965
Free space on /tmp= 55016 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291987-1532263420/watcher-4291987-1532263420 -o /tmp/evaluation-result-4291987-1532263420/solver-4291987-1532263420 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532260184-2703 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1969825192 HOME/instance-4291987-1532263420.xml

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

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=1969825192

node132.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.65
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.65
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.65
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.65
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:        20697636 kB
MemAvailable:   31753956 kB
Buffers:          245064 kB
Cached:         10960116 kB
SwapCached:            0 kB
Active:          2276532 kB
Inactive:        9168032 kB
Active(anon):     242104 kB
Inactive(anon):    17028 kB
Active(file):    2034428 kB
Inactive(file):  9151004 kB
Unevictable:        6988 kB
Mlocked:            6988 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            114536 kB
Writeback:             0 kB
AnonPages:        246384 kB
Mapped:            37292 kB
Shmem:             17056 kB
Slab:             326980 kB
SReclaimable:     299348 kB
SUnreclaim:        27632 kB
KernelStack:        3344 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     529100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54908 MiB
End job on node132 at 2018-07-22 15:23:41