Trace number 4297926

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
Choco-solver 4.0.7b par (e747e1e)SAT (TO)374513959 2762.71 2520.08

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark374513959
Best CPU time to get the best result obtained on this benchmark2762.71
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
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 java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297926-1532712771.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297926-1532712771.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
314.45/125.01	c solve instance...
335.21/127.81	o 389785782 
336.16/128.15	o 389767382 
336.65/128.45	o 389748982 
340.01/129.10	o 389712182 
340.53/129.41	o 389693782 
340.53/129.45	o 389656991 
342.00/130.10	o 389656982 
342.44/130.41	o 389638582 
343.76/130.72	o 389620199 
344.22/131.02	o 389620182 
345.72/131.32	o 389583399 
349.78/133.88	o 389583382 
721.51/503.77	o 389564999 
721.91/504.10	o 389564982 
723.81/504.78	o 389546599 
724.62/505.42	o 389546582 
725.46/505.75	o 389528209 
725.66/505.82	o 389528192 
726.23/506.12	o 389528182 
730.03/509.14	o 389509799 
1168.66/947.50	o 389509782 
1169.31/947.81	o 389491382 
1181.18/951.49	o 389472989 
1616.31/1385.92	o 389472982 
1616.99/1386.22	o 389454582 
1620.84/1389.35	o 389436189 
1621.53/1389.98	o 389436182 
2053.72/1816.22	o 374569149 
2054.36/1816.58	o 374550749 
2056.59/1817.87	o 374550739 
2540.86/2300.72	o 374532350 
2541.70/2301.03	o 374532340 
2544.14/2302.36	o 374513959 
2762.62/2520.01	s SATISFIABLE
2762.62/2520.01	v <instantiation>
2762.62/2520.01	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] 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] 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] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] 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] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] 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] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] </list>
2762.62/2520.01	v 	<values>2468 2236 2260 2760 2508 2544 2664 2772 2420 2340 2720 2760 2220 2392 2532 2264 2632 2400 2592 2448 2468 2720 2464 2584 2752 2760 2612 2800 2592 2760 2800 2760 2760 2264 2516 2776 2680 2244 2652 2660 2800 2428 2720 2428 2584 2516 2492 2696 2260 2632 2656 2596 2732 2244 2260 2476 2428 2680 2544 2488 2284 2624 2424 2600 2468 2772 2720 2392 2380 2800 2668 2816 2468 2492 2720 2244 2356 2260 2428 2548 2512 2812 2344 2428 2476 2640 2224 2760 2760 2392 2800 2680 2804 2276 2616 2432 2776 2488 2420 2632 2268 2352 2680 2544 2552 2468 2236 2300 2720 2704 2380 2584 2440 2224 2464 2260 2252 2760 2800 2572 2448 2672 2544 2264 2720 2284 2280 2764 2328 2292 2532 2516 2492 2628 2468 2244 2444 2760 2224 2368 2720 2224 2584 2452 2780 2424 2680 2300 2424 2220 2800 2384 2492 2792 2220 2632 2816 2800 2696 2556 2264 2504 2476 2632 2720 2584 2308 2476 2532 2220 2740 2460 2736 2680 2652 2560 2420 2584 2428 2720 2412 2428 2760 2632 2664 2404 2808 2240 2240 2464 2392 2516 2620 2760 2720 2420 2316 2720 2504 2596 2672 2244 2532 2472 2820 2720 2304 2812 2780 2260 2284 2692 2220 2624 2760 2280 2632 2768 2220 2680 2432 2468 2672 2760 2276 2512 2672 2544 2636 2468 2284 2380 2656 2800 2680 2772 2532 2492 2428 2428 2452 2760 2380 2476 2352 2640 2420 2492 2800 2760 2420 2532 2760 2260 2380 2516 2672 2284 2468 2464 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 11 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 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 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 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 1 0 0 0 0 0 1 1 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 9 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 7 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 9 0 10 10 0 10 0 10 10 0 0 0 0 0 0 10 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 1 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 10 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 8 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 292 204 208 200 292 76 332 148 236 28 104 84 224 344 292 536 252 308 228 212 12 460 28 428 4 484 44 308 116 404 564 512 160 188 420 340 96 168 324 24 168 512 204 516 520 380 16 148 248 80 252 228 84 288 284 312 172 252 164 36 300 176 68 268 232 136 320 216 12 176 136 52 216 112 92 192 52 28 76 244 400 12 148 108 136 312 236 380 172 140 256 348 52 8 344 456 320 164 240 236 176 340 140 28 340 236 380 420 320 80 4 212 104 364 332 76 192 152 380 452 120 340 96 88 80 292 52 80 292 276 80 308 88 248 460 40 80 40 436 252 176 92 292 516 376 40 60 268 228 172 540 40 540 580 500 364 248 580 476 256 96 404 272 368 408 148 40 384 112 124 92 140 368 152 112 80 248 408 28 68 92 228 152 152 68 184 224 360 508 40 12 180 160 36 120 456 200 208 168 372 156 156 168 276 164 140 220 12 372 128 280 128 88 360 124 120 116 100 252 232 64 412 380 32 20 164 40 76 8 140 88 168 40 80 80 80 168 312 352 204 64 192 96 256 224 168 232 352 12 184 56 16 20 4 116 224 40 200 244 252 324 164 252 4 252 24 88 80 228 292 40 496 188 80 340 168 268 4 220 84 336 52 220 40 244 336 156 296 176 156 92 204 324 240 360 308 120 276 224 192 68 304 204 116 92 324 48 64 260 288 220 260 384 168 192 8 120 240 48 260 16 336 368 380 332 128 80 536 88 432 336 268 284 228 108 136 352 136 192 320 144 128 336 160 40 40 372 372 80 0 368 540 256 172 80 416 324 120 144 40 268 68 116 88 168 128 140 168 80 496 80 272 12 40 408 208 216 536 64 176 20 340 40 144 176 332 540 548 240 560 524 332 420 348 380 136 16 292 460 140 340 332 476 132 292 176 308 228 60 476 124 80 332 512 164 204 496 308 408 212 556 280 212 496 252 144 256 88 88 164 264 244 104 296 64 56 516 28 508 476 308 16 16 56 124 428 380 16 84 8 396 184 528 24 196 40 180 340 436 184 420 564 0 24 136 108 248 220 368 120 272 184 44 108 156 68 116 20 4 28 392 76 8 168 308 76 236 276 420 32 12 140 140 12 308 0 184 80 268 492 60 380 168 580 40 40 420 0 88 64 120 332 184 392 344 64 244 88 328 16 496 24 40 160 88 124 92 208 40 292 116 36 120 48 312 380 192 332 384 332 68 188 204 360 216 144 256 136 216 68 40 176 68 180 40 204 300 204 88 32 28 244 92 108 4 96 284 140 4 68 136 232 148 272 72 24 272 180 144 16 148 452 208 420 228 16 396 204 44 136 284 268 456 304 264 512 552 500 540 460 392 160 212 500 204 48 4 156 172 104 176 188 180 168 128 348 24 168 216 192 104 432 100 392 152 180 72 252 416 60 104 236 108 168 44 320 216 12 296 204 132 204 164 76 40 60 64 336 216 52 300 148 228 88 244 40 112 396 436 436 56 548 408 4 220 148 188 500 272 256 420 208 148 192 16 48 56 156 220 80 144 244 160 172 284 12 64 168 84 336 48 204 208 224 36 392 48 8 256 168 40 40 100 460 120 420 136 300 396 272 216 164 176 12 84 176 52 76 176 268 284 324 324 112 124 284 76 232 144 220 44 192 188 164 248 24 228 56 148 184 532 40 64 532 176 276 496 144 476 184 200 136 156 96 400 120 384 108 96 48 56 48 164 128 124 200 376 68 336 180 396 356 200 4 376 48 16 56 320 164 28 356 44 380 140 160 96 24 68 180 108 316 224 292 308 204 176 64 168 44 248 228 76 64 212 304 292 512 12 228 8 348 28 512 80 40 88 16 80 252 496 204 404 216 176 300 28 92 408 108 192 408 84 272 76 88 108 12 40 36 420 300 72 44 160 72 96 80 252 160 88 48 380 96 252 24 380 352 216 580 80 176 128 200 156 12 200 368 360 4 276 448 384 4 96 184 488 508 356 576 136 304 388 340 24 116 184 44 56 48 292 172 332 248 64 4 192 268 124 72 12 188 180 268 268 376 452 40 24 404 188 100 288 340 64 188 228 80 516 520 452 388 64 36 176 288 516 196 112 72 68 324 264 240 112 412 24 136 284 36 540 460 256 480 460 56 208 284 24 396 332 128 332 116 200 156 4 36 244 340 40 88 68 228 124 80 124 56 44 16 72 36 288 104 92 60 88 248 168 248 84 108 140 360 296 68 60 64 100 100 44 124 104 120 160 88 204 332 252 104 88 48 204 144 244 24 88 44 244 284 244 256 36 16 416 364 360 80 40 340 400 176 80 80 136 208 220 56 20 456 76 16 168 292 448 208 412 196 80 44 128 108 444 0 176 244 176 496 176 284 20 332 348 520 500 0 332 268 500 368 124 236 400 140 108 140 140 96 0 168 120 248 40 240 232 212 456 256 120 276 12 252 420 504 44 84 584 84 328 168 24 200 184 404 376 188 116 156 360 160 392 144 56 104 56 204 164 396 236 8 172 16 208 368 304 28 128 152 60 96 516 524 532 324 144 556 36 56 232 396 48 228 40 68 224 16 68 84 108 184 204 208 108 120 124 344 208 32 4 200 252 392 260 144 48 48 160 412 20 32 388 100 32 360 116 208 192 152 160 540 492 208 532 196 88 320 32 68 76 320 428 320 180 8 164 204 216 56 24 188 300 260 212 176 136 256 40 176 76 80 168 124 256 208 88 204 272 48 152 212 64 0 468 28 280 216 236 256 500 176 420 16 56 80 476 80 404 248 52 292 80 340 188 236 148 56 460 24 420 56 300 252 72 132 152 112 152 380 12 88 40 112 40 96 116 92 176 24 116 176 36 156 136 160 12 156 308 0 360 308 248 536 308 204 16 240 92 200 40 60 224 132 228 184 296 180 540 296 144 20 336 20 380 0 420 468 216 564 332 508 32 260 128 224 88 476 268 40 88 80 88 296 80 484 120 268 540 80 96 200 40 80 44 4 184 208 224 372 188 228 312 188 392 304 28 84 176 324 236 68 228 176 52 224 28 320 44 432 292 156 556 44 16 536 508 164 20 188 16 136 292 40 476 48 444 188 168 192 64 456 176 44 476 180 400 352 148 132 40 112 392 480 4 544 44 44 480 220 336 504 304 448 444 468 220 8 388 288 72 28 152 204 88 232 140 88 12 68 316 20 44 176 68 364 92 4 28 248 252 196 248 332 288 72 352 60 568 268 428 412 428 276 228 28 12 68 356 316 176 540 300 52 308 0 496 280 400 448 432 448 352 328 324 304 96 300 480 48 340 40 332 84 16 396 372 80 468 56 416 60 208 80 364 300 72 216 176 268 136 20 328 176 72 24 12 276 20 288 12 208 296 216 252 288 40 176 300 212 492 352 164 132 272 296 204 204 248 4 108 88 200 208 84 292 208 580 80 20 580 332 516 308 336 148 84 100 148 84 32 188 228 228 20 200 132 40 268 16 552 160 300 184 96 184 48 72 88 388 128 212 136 256 396 576 388 176 180 40 40 120 420 332 44 136 24 84 476 292 316 40 252 136 276 64 84 272 240 368 400 140 496 40 428 536 20 196 28 80 100 264 188 224 136 324 56 216 412 104 48 176 100 160 188 136 180 164 168 244 88 500 252 188 108 152 176 176 300 176 120 120 204 156 232 148 8 196 164 152 208 76 20 236 232 300 316 356 36 204 60 212 188 80 260 68 408 116 220 108 16 160 56 340 300 392 252 236 380 308 204 324 8 40 208 348 132 36 88 292 384 40 8 88 140 216 332 292 188 412 356 88 252 444 284 136 164 192 288 124 128 236 16 128 120 388 128 520 480 192 228 396 480 356 72 296 32 296 172 296 84 112 88 244 296 240 48 232 256 376 72 140 148 52 268 40 256 484 476 228 268 52 392 340 380 452 96 216 176 188 292 368 40 40 224 72 292 316 76 312 452 0 156 224 40 184 556 340 536 184 368 300 24 336 456 20 180 344 132 20 284 396 96 208 412 20 52 272 552 232 348 156 176 92 176 8 0 232 360 48 100 348 348 552 200 148 204 204 76 332 24 40 292 36 128 412 332 296 396 524 132 128 140 0 260 52 216 172 292 64 488 420 380 40 96 84 188 304 112 180 100 64 152 216 192 320 120 72 48 500 88 </values>
2762.62/2520.01	v </instantiation>
2762.62/2520.01	c Unexpected resolution interruption!

Verifier Data 

OK	374513959

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297926-1532712771/watcher-4297926-1532712771 -o /tmp/evaluation-result-4297926-1532712771/solver-4297926-1532712771 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532705147-14955 --watchdog 2580 HOME/xcsp3-exec -seed 550393306 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297926-1532712771.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=16466, runsolver pid=16463

[startup+0.100135 s]*
/proc/loadavg: 6.69 7.42 7.65 3/200 16487
/proc/meminfo: memFree=22547392/32770624 swapFree=67108772/67108860
[pid=16466] ppid=16463 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16466/stat : 16466 (xcsp3-exec) S 16463 16466 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840060 115843072 364 33554432000 4194304 5098028 140737014551648 140737014549752 139761143136892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11104256 140737014559798 140737014560000 140737014560000 140737014562762 0
/proc/16466/statm: 28282 364 306 221 0 87 0
[pid=16468] ppid=16466 vsize=26104152 memory=27944 CPUtime=0.11 cores=0-7
/proc/16468/stat : 16468 (java) S 16466 16466 14928 0 -1 1077944320 5833 0 0 0 10 1 0 0 20 0 20 0 88840060 26730651648 6986 33554432000 4194304 4196468 140727673381600 140727673364144 139697035849463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
/proc/16468/statm: 6526038 6986 3029 1 0 6488315 0
[pid=16468/tid=16469] ppid=16466 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16468/task/16469/stat : 16469 (java) R 16466 16466 14928 0 -1 4202560 3859 0 0 0 8 1 0 0 20 0 20 0 88840061 26730651648 6986 33554432000 4194304 4196468 140727673381600 139697040082736 139697035861398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16470] ppid=16466 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16468/task/16470/stat : 16470 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696988469904 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16471] ppid=16466 vsize=26104152 memory=140128807290496 CPUtime=0 cores=0-7
/proc/16468/task/16471/stat : 16471 (java) S 16466 16466 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696987417104 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16472] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16472/stat : 16472 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696986364304 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16473] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16473/stat : 16473 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696985311504 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16474] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16474/stat : 16474 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696984259728 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16475] ppid=16466 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16468/task/16475/stat : 16475 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696983206928 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16476] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16476/stat : 16476 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696982154128 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16477] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16477/stat : 16477 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696981101328 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16478] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16478/stat : 16478 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840063 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696431647088 139697035860610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16479] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16479/stat : 16479 (java) S 16466 16466 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88840063 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696430593056 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16480] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16480/stat : 16480 (java) S 16466 16466 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88840063 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696361431920 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16481] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16481/stat : 16481 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840066 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696360380240 139697035868059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16482] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16482/stat : 16482 (java) S 16466 16466 14928 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 88840066 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696359328624 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16483] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16483/stat : 16483 (java) R 16466 16466 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840066 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696358275824 139697035860610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16484] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16484/stat : 16484 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840066 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696357223024 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16485] ppid=16466 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16468/task/16485/stat : 16485 (java) S 16466 16466 14928 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 88840066 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696356170224 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16486] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16486/stat : 16486 (java) S 16466 16466 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840066 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696355117664 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16487] ppid=16466 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16468/task/16487/stat : 16487 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840066 26730651648 6986 33554432000 4194304 4196468 140727673381600 139696354064944 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29400 KiB

[startup+0.210498 s]*
/proc/loadavg: 6.69 7.42 7.65 3/200 16487
/proc/meminfo: memFree=22537588/32770624 swapFree=67108772/67108860
[pid=16466] ppid=16463 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16466/stat : 16466 (xcsp3-exec) S 16463 16466 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840060 115843072 364 33554432000 4194304 5098028 140737014551648 140737014549752 139761143136892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11104256 140737014559798 140737014560000 140737014560000 140737014562762 0
/proc/16466/statm: 28282 364 306 221 0 87 0
[pid=16468] ppid=16466 vsize=26104152 memory=39588 CPUtime=0.34 cores=0-7
/proc/16468/stat : 16468 (java) S 16466 16466 14928 0 -1 1077944320 8441 0 0 0 32 2 0 0 20 0 20 0 88840060 26730651648 9897 33554432000 4194304 4196468 140727673381600 140727673364144 139697035849463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
/proc/16468/statm: 6526038 9897 3188 1 0 6488315 0
[pid=16468/tid=16469] ppid=16466 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16468/task/16469/stat : 16469 (java) R 16466 16466 14928 0 -1 4202560 5587 0 0 0 18 1 0 0 20 0 20 0 88840061 26730651648 9897 33554432000 4194304 4196468 140727673381600 139697040080992 139697019929950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16470] ppid=16466 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/16468/task/16470/stat : 16470 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696988469904 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16471] ppid=16466 vsize=26104152 memory=140128807793436 CPUtime=0 cores=0-7
/proc/16468/task/16471/stat : 16471 (java) S 16466 16466 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696987417104 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16472] ppid=16466 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16468/task/16472/stat : 16472 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696986364304 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16473] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16473/stat : 16473 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696985311504 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16474] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16474/stat : 16474 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696984259728 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16475] ppid=16466 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16468/task/16475/stat : 16475 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696983206928 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16476] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16476/stat : 16476 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696982154128 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16477] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16477/stat : 16477 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696981101328 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16478] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16478/stat : 16478 (java) S 16466 16466 14928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88840063 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696431647088 139697035860610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16479] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16479/stat : 16479 (java) S 16466 16466 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88840063 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696430593056 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16480] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16480/stat : 16480 (java) S 16466 16466 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88840063 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696361431920 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16481] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16481/stat : 16481 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840066 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696360380240 139697035868059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16482] ppid=16466 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16468/task/16482/stat : 16482 (java) S 16466 16466 14928 0 -1 1077944384 608 0 0 0 1 0 0 0 20 0 20 0 88840066 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696359328624 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16483] ppid=16466 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16468/task/16483/stat : 16483 (java) S 16466 16466 14928 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 88840066 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696358275824 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16484] ppid=16466 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/16468/task/16484/stat : 16484 (java) S 16466 16466 14928 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 88840066 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696357223024 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16485] ppid=16466 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/16468/task/16485/stat : 16485 (java) S 16466 16466 14928 0 -1 1077944384 747 0 0 0 8 0 0 0 20 0 20 0 88840066 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696356170224 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16486] ppid=16466 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16486/stat : 16486 (java) S 16466 16466 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840066 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696355117664 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16487] ppid=16466 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16468/task/16487/stat : 16487 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840066 26730651648 9897 33554432000 4194304 4196468 140727673381600 139696354064944 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41044 KiB

[startup+0.311466 s]*
/proc/loadavg: 6.69 7.42 7.65 4/200 16487
/proc/meminfo: memFree=22531136/32770624 swapFree=67108772/67108860
[pid=16466] ppid=16463 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16466/stat : 16466 (xcsp3-exec) S 16463 16466 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840060 115843072 364 33554432000 4194304 5098028 140737014551648 140737014549752 139761143136892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11104256 140737014559798 140737014560000 140737014560000 140737014562762 0
/proc/16466/statm: 28282 364 306 221 0 87 0
[pid=16468] ppid=16466 vsize=26108408 memory=46536 CPUtime=0.52 cores=0-7
/proc/16468/stat : 16468 (java) S 16466 16466 14928 0 -1 1077944320 9353 0 0 0 50 2 0 0 20 0 20 0 88840060 26735009792 11634 33554432000 4194304 4196468 140727673381600 140727673364144 139697035849463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
/proc/16468/statm: 6527102 11634 3236 1 0 6488315 0
[pid=16468/tid=16469] ppid=16466 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16468/task/16469/stat : 16469 (java) R 16466 16466 14928 0 -1 4202560 6298 0 0 0 28 1 0 0 20 0 20 0 88840061 26735009792 11634 33554432000 4194304 4196468 140727673381600 139697040083248 139697035871389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16470] ppid=16466 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16470/stat : 16470 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696988469904 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16471] ppid=16466 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16471/stat : 16471 (java) S 16466 16466 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840061 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696987417104 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16472] ppid=16466 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16472/stat : 16472 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696986364304 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16473] ppid=16466 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16473/stat : 16473 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840061 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696985311504 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16474] ppid=16466 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/16468/task/16474/stat : 16474 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840061 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696984259728 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16475] ppid=16466 vsize=26108408 memory=140128676836271 CPUtime=0 cores=0-7
/proc/16468/task/16475/stat : 16475 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696983206928 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16476] ppid=16466 vsize=26108408 memory=140128676838576 CPUtime=0 cores=0-7
/proc/16468/task/16476/stat : 16476 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696982154128 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16477] ppid=16466 vsize=26108408 memory=140128676840880 CPUtime=0 cores=0-7
/proc/16468/task/16477/stat : 16477 (java) S 16466 16466 14928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88840061 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696981101328 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16478] ppid=16466 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16478/stat : 16478 (java) S 16466 16466 14928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88840063 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696431647088 139697035860610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16479] ppid=16466 vsize=26108408 memory=280257353688720 CPUtime=0 cores=0-7
/proc/16468/task/16479/stat : 16479 (java) S 16466 16466 14928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88840063 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696430593056 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16480] ppid=16466 vsize=26108408 memory=280257353695632 CPUtime=0 cores=0-7
/proc/16468/task/16480/stat : 16480 (java) S 16466 16466 14928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88840063 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696361431920 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16481] ppid=16466 vsize=26108408 memory=280257353636784 CPUtime=0 cores=0-7
/proc/16468/task/16481/stat : 16481 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840066 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696360380240 139697035868059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16482] ppid=16466 vsize=26108408 memory=280257353709456 CPUtime=0.03 cores=0-7
/proc/16468/task/16482/stat : 16482 (java) R 16466 16466 14928 0 -1 4202560 708 0 0 0 3 0 0 0 20 0 20 0 88840066 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696359309640 139697013110720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16483] ppid=16466 vsize=26108408 memory=280257353716368 CPUtime=0.02 cores=0-7
/proc/16468/task/16483/stat : 16483 (java) S 16466 16466 14928 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 20 0 88840066 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696358275824 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16484] ppid=16466 vsize=26108408 memory=280257353714064 CPUtime=0.03 cores=0-7
/proc/16468/task/16484/stat : 16484 (java) S 16466 16466 14928 0 -1 1077944384 115 0 0 0 3 0 0 0 20 0 20 0 88840066 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696357223024 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16485] ppid=16466 vsize=26108408 memory=280257353730224 CPUtime=0.12 cores=0-7
/proc/16468/task/16485/stat : 16485 (java) S 16466 16466 14928 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 20 0 88840066 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696356170224 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16486] ppid=16466 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16468/task/16486/stat : 16486 (java) S 16466 16466 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88840066 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696355117664 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16487] ppid=16466 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/16468/task/16487/stat : 16487 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88840066 26735009792 11634 33554432000 4194304 4196468 140727673381600 139696354064944 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47992 KiB

[startup+0.700979 s]
/proc/loadavg: 6.69 7.42 7.65 2/200 16487
/proc/meminfo: memFree=22420804/32770624 swapFree=67108772/67108860
[pid=16466] ppid=16463 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16466/stat : 16466 (xcsp3-exec) S 16463 16466 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840060 115843072 364 33554432000 4194304 5098028 140737014551648 140737014549752 139761143136892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11104256 140737014559798 140737014560000 140737014560000 140737014562762 0
/proc/16466/statm: 28282 364 306 221 0 87 0
[pid=16468] ppid=16466 vsize=26108408 memory=296476 CPUtime=1.93 cores=0-7
/proc/16468/stat : 16468 (java) S 16466 16466 14928 0 -1 1077944320 13437 0 0 0 153 40 0 0 20 0 20 0 88840060 26735009792 74119 33554432000 4194304 4196468 140727673381600 140727673364144 139697035849463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
/proc/16468/statm: 6527102 74119 3321 1 0 6488315 0
[pid=16468/tid=16469] ppid=16466 vsize=26108408 memory=280257354088112 CPUtime=0.6 cores=0-7
/proc/16468/task/16469/stat : 16469 (java) R 16466 16466 14928 0 -1 4202560 6521 0 0 0 55 5 0 0 20 0 20 0 88840061 26735009792 74119 33554432000 4194304 4196468 140727673381600 139697040072640 139697028527477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16470] ppid=16466 vsize=26108408 memory=140128677045104 CPUtime=0.06 cores=0-7
/proc/16468/task/16470/stat : 16470 (java) S 16466 16466 14928 0 -1 1077944384 62 0 0 0 2 4 0 0 20 0 20 0 88840061 26735009792 74119 33554432000 4194304 4196468 140727673381600 139696988469904 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16471] ppid=16466 vsize=26108408 memory=0 CPUtime=0.06 cores=0-7
/proc/16468/task/16471/stat : 16471 (java) S 16466 16466 14928 0 -1 1077944384 57 0 0 0 2 4 0 0 20 0 20 0 88840061 26735009792 74119 33554432000 4194304 4196468 140727673381600 139696987417104 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16472] ppid=16466 vsize=26108408 memory=4616 CPUtime=0.05 cores=0-7
/proc/16468/task/16472/stat : 16472 (java) S 16466 16466 14928 0 -1 1077944384 61 0 0 0 2 3 0 0 20 0 20 0 88840061 26735009792 74119 33554432000 4194304 4196468 140727673381600 139696986364304 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0

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

[pid=16468/tid=16814] ppid=16466 vsize=26645092 memory=4124 CPUtime=0.1 cores=0-7
/proc/16468/task/16814/stat : 16814 (java) S 16466 16466 14928 0 -1 1077944384 327 0 0 0 10 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696337060864 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
Current children cumulated CPU time: 2744.91 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 13387780 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 1.05 1.13 1.52 2/208 16814
/proc/meminfo: memFree=9166268/32770624 swapFree=67108772/67108860
[pid=16466] ppid=16463 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16466/stat : 16466 (xcsp3-exec) S 16463 16466 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840060 115843072 364 33554432000 4194304 5098028 140737014551648 140737014549752 139761143136892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11104256 140737014559798 140737014560000 140737014560000 140737014562762 0
/proc/16466/statm: 28282 364 306 221 0 87 0
[pid=16468] ppid=16466 vsize=26645092 memory=13386324 CPUtime=2762.62 cores=0-7
/proc/16468/stat : 16468 (java) S 16466 16466 14928 0 -1 1077944320 993251 0 0 0 272933 3329 0 0 20 0 28 0 88840060 27284574208 3346581 33554432000 4194304 4196468 140727673381600 140727673364144 139697035849463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
/proc/16468/statm: 6661273 3346581 3470 1 0 6622467 0
[pid=16468/tid=16469] ppid=16466 vsize=26645092 memory=13386324 CPUtime=98.12 cores=0-7
/proc/16468/task/16469/stat : 16469 (java) S 16466 16466 14928 0 -1 1077944384 50072 0 0 0 9672 140 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139697040090240 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16470] ppid=16466 vsize=26645092 memory=13386324 CPUtime=26.38 cores=0-7
/proc/16468/task/16470/stat : 16470 (java) S 16466 16466 14928 0 -1 1077944384 76076 0 0 0 2274 364 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696988469904 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16471] ppid=16466 vsize=26645092 memory=13386324 CPUtime=26.5 cores=0-7
/proc/16468/task/16471/stat : 16471 (java) S 16466 16466 14928 0 -1 1077944384 85016 0 0 0 2247 403 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696987417104 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16472] ppid=16466 vsize=26645092 memory=1456 CPUtime=26.35 cores=0-7
/proc/16468/task/16472/stat : 16472 (java) S 16466 16466 14928 0 -1 1077944384 52418 0 0 0 2243 392 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696986364304 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16473] ppid=16466 vsize=26645092 memory=13386324 CPUtime=26.39 cores=0-7
/proc/16468/task/16473/stat : 16473 (java) S 16466 16466 14928 0 -1 1077944384 55856 0 0 0 2301 338 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696985311504 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16474] ppid=16466 vsize=26645092 memory=1456 CPUtime=26.43 cores=0-7
/proc/16468/task/16474/stat : 16474 (java) S 16466 16466 14928 0 -1 1077944384 61080 0 0 0 2289 354 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696984259728 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16475] ppid=16466 vsize=26645092 memory=13386324 CPUtime=26.33 cores=0-7
/proc/16468/task/16475/stat : 16475 (java) S 16466 16466 14928 0 -1 1077944384 89158 0 0 0 2307 326 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696983206928 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16476] ppid=16466 vsize=26645092 memory=1456 CPUtime=26.39 cores=0-7
/proc/16468/task/16476/stat : 16476 (java) S 16466 16466 14928 0 -1 1077944384 58707 0 0 0 2294 345 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696982154128 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16477] ppid=16466 vsize=26645092 memory=13386036 CPUtime=26.42 cores=0-7
/proc/16468/task/16477/stat : 16477 (java) S 16466 16466 14928 0 -1 1077944384 66389 0 0 0 2238 404 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696981101328 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16478] ppid=16466 vsize=26645092 memory=2642 CPUtime=0.99 cores=0-7
/proc/16468/task/16478/stat : 16478 (java) S 16466 16466 14928 0 -1 1077944384 35616 0 0 0 90 9 0 0 20 0 28 0 88840063 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696431647088 139697035860610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16479] ppid=16466 vsize=26645092 memory=2408 CPUtime=0 cores=0-7
/proc/16468/task/16479/stat : 16479 (java) S 16466 16466 14928 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 88840063 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696430593120 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16480] ppid=16466 vsize=26645092 memory=1724 CPUtime=0 cores=0-7
/proc/16468/task/16480/stat : 16480 (java) S 16466 16466 14928 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 88840063 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696361431936 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16481] ppid=16466 vsize=26645092 memory=25748 CPUtime=0 cores=0-7
/proc/16468/task/16481/stat : 16481 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696360380240 139697035868059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16482] ppid=16466 vsize=26645092 memory=1296 CPUtime=6.07 cores=0-7
/proc/16468/task/16482/stat : 16482 (java) S 16466 16466 14928 0 -1 1077944384 28678 0 0 0 603 4 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696359328624 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16483] ppid=16466 vsize=26645092 memory=1456 CPUtime=5.26 cores=0-7
/proc/16468/task/16483/stat : 16483 (java) S 16466 16466 14928 0 -1 1077944384 28962 0 0 0 521 5 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696358275824 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16484] ppid=16466 vsize=26645092 memory=13386324 CPUtime=5.86 cores=0-7
/proc/16468/task/16484/stat : 16484 (java) S 16466 16466 14928 0 -1 1077944384 31964 0 0 0 581 5 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696357223024 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16485] ppid=16466 vsize=26645092 memory=1456 CPUtime=1.24 cores=0-7
/proc/16468/task/16485/stat : 16485 (java) S 16466 16466 14928 0 -1 1077944384 18574 0 0 0 119 5 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696356170224 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16486] ppid=16466 vsize=26645092 memory=13386324 CPUtime=0 cores=0-7
/proc/16468/task/16486/stat : 16486 (java) S 16466 16466 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696355117664 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16487] ppid=16466 vsize=26645092 memory=1456 CPUtime=1.09 cores=0-7
/proc/16468/task/16487/stat : 16487 (java) S 16466 16466 14928 0 -1 1077944384 13267 0 0 0 53 56 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696354064944 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16807] ppid=16466 vsize=26645092 memory=13386324 CPUtime=0.06 cores=0-7
/proc/16468/task/16807/stat : 16807 (java) S 16466 16466 14928 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696339164544 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16808] ppid=16466 vsize=26645092 memory=2200 CPUtime=0 cores=0-7
/proc/16468/task/16808/stat : 16808 (java) S 16466 16466 14928 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696343376640 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16809] ppid=16466 vsize=26645092 memory=1296 CPUtime=0.13 cores=0-7
/proc/16468/task/16809/stat : 16809 (java) S 16466 16466 14928 0 -1 1077944384 222 0 0 0 13 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696341272192 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16810] ppid=16466 vsize=26645092 memory=2408 CPUtime=0.01 cores=0-7
/proc/16468/task/16810/stat : 16810 (java) S 16466 16466 14928 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696336008704 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16811] ppid=16466 vsize=26645092 memory=1724 CPUtime=0 cores=0-7
/proc/16468/task/16811/stat : 16811 (java) S 16466 16466 14928 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696342324608 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16812] ppid=16466 vsize=26645092 memory=1456 CPUtime=0.32 cores=0-7
/proc/16468/task/16812/stat : 16812 (java) S 16466 16466 14928 0 -1 1077944384 178 0 0 0 32 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696340219136 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16813] ppid=16466 vsize=26645092 memory=13386324 CPUtime=217.6 cores=0-7
/proc/16468/task/16813/stat : 16813 (java) R 16466 16466 14928 0 -1 4202560 16812 0 0 0 21754 6 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696338108936 139696655595904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16814] ppid=16466 vsize=26645092 memory=792 CPUtime=0.1 cores=0-7
/proc/16468/task/16814/stat : 16814 (java) S 16466 16466 14928 0 -1 1077944384 327 0 0 0 10 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696337060864 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
Current children cumulated CPU time: 2762.62 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 13387780 KiB

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

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

[startup+2520.08 s]
# the end of solver process 16468 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2729.36 s, system=33.3539 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2520 s]
/proc/loadavg: 1.05 1.13 1.52 2/208 16814
/proc/meminfo: memFree=9166268/32770624 swapFree=67108772/67108860
[pid=16466] ppid=16463 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16466/stat : 16466 (xcsp3-exec) S 16463 16466 14928 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88840060 115843072 364 33554432000 4194304 5098028 140737014551648 140737014549752 139761143136892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11104256 140737014559798 140737014560000 140737014560000 140737014562762 0
/proc/16466/statm: 28282 364 306 221 0 87 0
[pid=16468] ppid=16466 vsize=26645092 memory=13386324 CPUtime=2762.62 cores=0-7
/proc/16468/stat : 16468 (java) S 16466 16466 14928 0 -1 1077944320 993251 0 0 0 272933 3329 0 0 20 0 28 0 88840060 27284574208 3346581 33554432000 4194304 4196468 140727673381600 140727673364144 139697035849463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
/proc/16468/statm: 6661273 3346581 3470 1 0 6622467 0
[pid=16468/tid=16469] ppid=16466 vsize=26645092 memory=13386324 CPUtime=98.12 cores=0-7
/proc/16468/task/16469/stat : 16469 (java) S 16466 16466 14928 0 -1 1077944384 50072 0 0 0 9672 140 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139697040090240 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16470] ppid=16466 vsize=26645092 memory=13386324 CPUtime=26.38 cores=0-7
/proc/16468/task/16470/stat : 16470 (java) S 16466 16466 14928 0 -1 1077944384 76076 0 0 0 2274 364 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696988469904 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16471] ppid=16466 vsize=26645092 memory=13386324 CPUtime=26.5 cores=0-7
/proc/16468/task/16471/stat : 16471 (java) S 16466 16466 14928 0 -1 1077944384 85016 0 0 0 2247 403 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696987417104 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16472] ppid=16466 vsize=26645092 memory=1456 CPUtime=26.35 cores=0-7
/proc/16468/task/16472/stat : 16472 (java) S 16466 16466 14928 0 -1 1077944384 52418 0 0 0 2243 392 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696986364304 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16473] ppid=16466 vsize=26645092 memory=13386324 CPUtime=26.39 cores=0-7
/proc/16468/task/16473/stat : 16473 (java) S 16466 16466 14928 0 -1 1077944384 55856 0 0 0 2301 338 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696985311504 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16474] ppid=16466 vsize=26645092 memory=1456 CPUtime=26.43 cores=0-7
/proc/16468/task/16474/stat : 16474 (java) S 16466 16466 14928 0 -1 1077944384 61080 0 0 0 2289 354 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696984259728 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16475] ppid=16466 vsize=26645092 memory=13386324 CPUtime=26.33 cores=0-7
/proc/16468/task/16475/stat : 16475 (java) S 16466 16466 14928 0 -1 1077944384 89158 0 0 0 2307 326 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696983206928 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16476] ppid=16466 vsize=26645092 memory=1456 CPUtime=26.39 cores=0-7
/proc/16468/task/16476/stat : 16476 (java) S 16466 16466 14928 0 -1 1077944384 58707 0 0 0 2294 345 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696982154128 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16477] ppid=16466 vsize=26645092 memory=13386036 CPUtime=26.42 cores=0-7
/proc/16468/task/16477/stat : 16477 (java) S 16466 16466 14928 0 -1 1077944384 66389 0 0 0 2238 404 0 0 20 0 28 0 88840061 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696981101328 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16478] ppid=16466 vsize=26645092 memory=2642 CPUtime=0.99 cores=0-7
/proc/16468/task/16478/stat : 16478 (java) S 16466 16466 14928 0 -1 1077944384 35616 0 0 0 90 9 0 0 20 0 28 0 88840063 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696431647088 139697035860610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16479] ppid=16466 vsize=26645092 memory=2408 CPUtime=0 cores=0-7
/proc/16468/task/16479/stat : 16479 (java) S 16466 16466 14928 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 88840063 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696430593120 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16480] ppid=16466 vsize=26645092 memory=1724 CPUtime=0 cores=0-7
/proc/16468/task/16480/stat : 16480 (java) S 16466 16466 14928 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 88840063 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696361431936 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16481] ppid=16466 vsize=26645092 memory=25748 CPUtime=0 cores=0-7
/proc/16468/task/16481/stat : 16481 (java) S 16466 16466 14928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696360380240 139697035868059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16482] ppid=16466 vsize=26645092 memory=1296 CPUtime=6.07 cores=0-7
/proc/16468/task/16482/stat : 16482 (java) S 16466 16466 14928 0 -1 1077944384 28678 0 0 0 603 4 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696359328624 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16483] ppid=16466 vsize=26645092 memory=1456 CPUtime=5.26 cores=0-7
/proc/16468/task/16483/stat : 16483 (java) S 16466 16466 14928 0 -1 1077944384 28962 0 0 0 521 5 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696358275824 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16484] ppid=16466 vsize=26645092 memory=13386324 CPUtime=5.86 cores=0-7
/proc/16468/task/16484/stat : 16484 (java) S 16466 16466 14928 0 -1 1077944384 31964 0 0 0 581 5 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696357223024 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16485] ppid=16466 vsize=26645092 memory=1456 CPUtime=1.24 cores=0-7
/proc/16468/task/16485/stat : 16485 (java) S 16466 16466 14928 0 -1 1077944384 18574 0 0 0 119 5 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696356170224 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16486] ppid=16466 vsize=26645092 memory=13386324 CPUtime=0 cores=0-7
/proc/16468/task/16486/stat : 16486 (java) S 16466 16466 14928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696355117664 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16487] ppid=16466 vsize=26645092 memory=1456 CPUtime=1.09 cores=0-7
/proc/16468/task/16487/stat : 16487 (java) S 16466 16466 14928 0 -1 1077944384 13267 0 0 0 53 56 0 0 20 0 28 0 88840066 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696354064944 139697035860610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16807] ppid=16466 vsize=26645092 memory=13386324 CPUtime=0.06 cores=0-7
/proc/16468/task/16807/stat : 16807 (java) S 16466 16466 14928 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696339164544 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16808] ppid=16466 vsize=26645092 memory=2200 CPUtime=0 cores=0-7
/proc/16468/task/16808/stat : 16808 (java) S 16466 16466 14928 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696343376640 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16809] ppid=16466 vsize=26645092 memory=1296 CPUtime=0.13 cores=0-7
/proc/16468/task/16809/stat : 16809 (java) S 16466 16466 14928 0 -1 1077944384 222 0 0 0 13 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696341272192 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16810] ppid=16466 vsize=26645092 memory=2408 CPUtime=0.01 cores=0-7
/proc/16468/task/16810/stat : 16810 (java) S 16466 16466 14928 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696336008704 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16811] ppid=16466 vsize=26645092 memory=1724 CPUtime=0 cores=0-7
/proc/16468/task/16811/stat : 16811 (java) S 16466 16466 14928 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696342324608 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16812] ppid=16466 vsize=26645092 memory=1456 CPUtime=0.32 cores=0-7
/proc/16468/task/16812/stat : 16812 (java) S 16466 16466 14928 0 -1 1077944384 178 0 0 0 32 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696340219136 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16813] ppid=16466 vsize=26645092 memory=13386324 CPUtime=217.6 cores=0-7
/proc/16468/task/16813/stat : 16813 (java) R 16466 16466 14928 0 -1 4202560 16812 0 0 0 21754 6 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696338108936 139696655595904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
[pid=16468/tid=16814] ppid=16466 vsize=26645092 memory=792 CPUtime=0.1 cores=0-7
/proc/16468/task/16814/stat : 16814 (java) S 16466 16466 14928 0 -1 1077944384 327 0 0 0 10 0 0 0 20 0 28 0 89070297 27284574208 3346581 33554432000 4194304 4196468 140727673381600 139696337060864 139697035859669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34619392 140727673386113 140727673386285 140727673386285 140727673389007 0
Current children cumulated CPU time: 2762.62 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 13387780 KiB

Child status: 143
Real time (s): 2520.08
CPU time (s): 2762.71
CPU user time (s): 2729.36
CPU system time (s): 33.3539
CPU usage (%): 109.628
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 13395200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2729.36
system time used= 33.3539
maximum resident set size= 13393744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 995004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73973
involuntary context switches= 8067


# summary of solver processes directly reported to runsolver:
#   pid: 16466,16468
#   total CPU time (s): 2762.71
#   total CPU user time (s): 2729.36
#   total CPU system time (s): 33.3539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.4121 second user time and 22.5986 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-27 19:32:52
IDJOB=4297926
IDBENCH=141262
IDSOLVER=2760
FILE ID=node106/4297926-1532712771
RUNJOBID= node106-1532705147-14955
PBS_JOBID= 21022310
Free space on /tmp= 46080 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297926-1532712771/watcher-4297926-1532712771 -o /tmp/evaluation-result-4297926-1532712771/solver-4297926-1532712771 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532705147-14955 --watchdog 2580  HOME/xcsp3-exec -seed 550393306 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297926-1532712771.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=550393306

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        22564480 kB
MemAvailable:   31925876 kB
Buffers:          214564 kB
Cached:          9291536 kB
SwapCached:           56 kB
Active:          2790408 kB
Inactive:        6773596 kB
Active(anon):       4760 kB
Inactive(anon):    80704 kB
Active(file):    2785648 kB
Inactive(file):  6692892 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108772 kB
Dirty:            112620 kB
Writeback:             0 kB
AnonPages:         71584 kB
Mapped:            41984 kB
Shmem:             25140 kB
Slab:             337948 kB
SReclaimable:     311316 kB
SUnreclaim:        26632 kB
KernelStack:        3536 kB
PageTables:         4796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46056 MiB
End job on node106 at 2018-07-27 20:14:52