Trace number 4307053

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 seq (e747e1e)SAT (TO)26739930 2520.12 2497.75

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	26739930

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307053-1534082252/watcher-4307053-1534082252 -o /tmp/evaluation-result-4307053-1534082252/solver-4307053-1534082252 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25231 --watchdog 2580 HOME/xcsp3-exec -seed 613117738 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307053-1534082252.xml 

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

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

solver pid=27515, runsolver pid=27512

[startup+0.10017 s]*
/proc/loadavg: 2.16 1.81 1.79 3/217 27531
/proc/meminfo: memFree=10949712/32770624 swapFree=67108380/67108860
[pid=27515] ppid=27512 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27515/stat : 27515 (xcsp3-exec) S 27512 27515 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225788451 115843072 363 33554432000 4194304 5098028 140728871208000 140728871206104 140133904335484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20717568 140728871212091 140728871212292 140728871212292 140728871215050 0
/proc/27515/statm: 28282 363 305 221 0 87 0
[pid=27517] ppid=27515 vsize=14082940 memory=28744 CPUtime=0.12 cores=0,2,4,6
/proc/27517/stat : 27517 (java) S 27515 27515 25200 0 -1 1077944320 5617 0 0 0 11 1 0 0 20 0 15 0 225788452 14420930560 7186 33554432000 4194304 4196468 140726191245600 140726191228144 140714546163447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
/proc/27517/statm: 3520735 7186 2994 1 0 3483012 0
[pid=27517/tid=27518] ppid=27515 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/27517/task/27518/stat : 27518 (java) R 27515 27515 25200 0 -1 4202560 3623 0 0 0 8 0 0 0 20 0 15 0 225788452 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714550396720 140714546175382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27519] ppid=27515 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27519/stat : 27519 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788453 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714476251664 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27520] ppid=27515 vsize=14082940 memory=140224585074304 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27520/stat : 27520 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788453 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714475199120 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27521] ppid=27515 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27521/stat : 27521 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788453 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714474146064 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27522] ppid=27515 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27522/stat : 27522 (java) S 27515 27515 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225788453 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714473093520 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27523] ppid=27515 vsize=14082940 memory=140224585074304 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27523/stat : 27523 (java) S 27515 27515 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225788454 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714019764976 140714546174594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27524] ppid=27515 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27524/stat : 27524 (java) S 27515 27515 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225788455 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714018711200 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27525] ppid=27515 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27525/stat : 27525 (java) S 27515 27515 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225788455 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714017658096 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27526] ppid=27515 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27526/stat : 27526 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714016606672 140714546182043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27527] ppid=27515 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27527/stat : 27527 (java) S 27515 27515 25200 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 225788457 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714015553776 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27528] ppid=27515 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27528/stat : 27528 (java) S 27515 27515 25200 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 225788457 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714014501232 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27529] ppid=27515 vsize=14082940 memory=140224585074304 CPUtime=0.01 cores=0,2,4,6
/proc/27517/task/27529/stat : 27529 (java) R 27515 27515 25200 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 225788457 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714013448176 140714524683582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27530] ppid=27515 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27530/stat : 27530 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714012395872 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27531] ppid=27515 vsize=14082940 memory=140224585074304 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27531/stat : 27531 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788458 14420930560 7186 33554432000 4194304 4196468 140726191245600 140714011343920 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30196 KiB

[startup+0.210747 s]*
/proc/loadavg: 2.16 1.81 1.79 3/217 27531
/proc/meminfo: memFree=10895460/32770624 swapFree=67108380/67108860
[pid=27515] ppid=27512 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27515/stat : 27515 (xcsp3-exec) S 27512 27515 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225788451 115843072 363 33554432000 4194304 5098028 140728871208000 140728871206104 140133904335484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20717568 140728871212091 140728871212292 140728871212292 140728871215050 0
/proc/27515/statm: 28282 363 305 221 0 87 0
[pid=27517] ppid=27515 vsize=14082940 memory=40892 CPUtime=0.34 cores=0,2,4,6
/proc/27517/stat : 27517 (java) S 27515 27515 25200 0 -1 1077944320 8309 0 0 0 31 3 0 0 20 0 15 0 225788452 14420930560 10223 33554432000 4194304 4196468 140726191245600 140726191228144 140714546163447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
/proc/27517/statm: 3520735 10223 3173 1 0 3483012 0
[pid=27517/tid=27518] ppid=27515 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/27517/task/27518/stat : 27518 (java) R 27515 27515 25200 0 -1 4202560 5388 0 0 0 18 1 0 0 20 0 15 0 225788452 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714550402448 140714546175382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27519] ppid=27515 vsize=14082940 memory=11498 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27519/stat : 27519 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788453 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714476251664 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27520] ppid=27515 vsize=14082940 memory=140224585099805 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27520/stat : 27520 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788453 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714475199120 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27521] ppid=27515 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27521/stat : 27521 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788453 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714474146064 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27522] ppid=27515 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27522/stat : 27522 (java) S 27515 27515 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225788453 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714473093520 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27523] ppid=27515 vsize=14082940 memory=140224585074304 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27523/stat : 27523 (java) S 27515 27515 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225788454 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714019764976 140714546174594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27524] ppid=27515 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27524/stat : 27524 (java) S 27515 27515 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225788455 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714018711200 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27525] ppid=27515 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27525/stat : 27525 (java) S 27515 27515 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225788455 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714017658096 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27526] ppid=27515 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27526/stat : 27526 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714016606672 140714546182043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27527] ppid=27515 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27517/task/27527/stat : 27527 (java) S 27515 27515 25200 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 15 0 225788457 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714015553776 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27528] ppid=27515 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27517/task/27528/stat : 27528 (java) S 27515 27515 25200 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 225788457 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714014501232 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27529] ppid=27515 vsize=14082940 memory=140224585074304 CPUtime=0.08 cores=0,2,4,6
/proc/27517/task/27529/stat : 27529 (java) R 27515 27515 25200 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 15 0 225788457 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714013447984 140714546175382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27530] ppid=27515 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27530/stat : 27530 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714012395872 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27531] ppid=27515 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27531/stat : 27531 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788458 14420930560 10223 33554432000 4194304 4196468 140726191245600 140714011343920 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42344 KiB

[startup+0.313685 s]*
/proc/loadavg: 2.16 1.81 1.79 6/217 27531
/proc/meminfo: memFree=10889752/32770624 swapFree=67108380/67108860
[pid=27515] ppid=27512 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27515/stat : 27515 (xcsp3-exec) S 27512 27515 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225788451 115843072 363 33554432000 4194304 5098028 140728871208000 140728871206104 140133904335484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20717568 140728871212091 140728871212292 140728871212292 140728871215050 0
/proc/27515/statm: 28282 363 305 221 0 87 0
[pid=27517] ppid=27515 vsize=14087196 memory=48452 CPUtime=0.54 cores=0,2,4,6
/proc/27517/stat : 27517 (java) S 27515 27515 25200 0 -1 1077944320 9220 0 0 0 50 4 0 0 20 0 15 0 225788452 14425288704 12113 33554432000 4194304 4196468 140726191245600 140726191228144 140714546163447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
/proc/27517/statm: 3521799 12113 3280 1 0 3483012 0
[pid=27517/tid=27518] ppid=27515 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/27517/task/27518/stat : 27518 (java) R 27515 27515 25200 0 -1 4202560 6117 0 0 0 28 2 0 0 20 0 15 0 225788452 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714550394560 140714530243934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27519] ppid=27515 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27519/stat : 27519 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788453 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714476251664 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27520] ppid=27515 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27520/stat : 27520 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788453 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714475199120 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27521] ppid=27515 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27521/stat : 27521 (java) S 27515 27515 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225788453 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714474146064 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27522] ppid=27515 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27522/stat : 27522 (java) S 27515 27515 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225788453 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714473093520 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27523] ppid=27515 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27523/stat : 27523 (java) S 27515 27515 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225788454 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714019764976 140714546174594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27524] ppid=27515 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27524/stat : 27524 (java) S 27515 27515 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225788455 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714018711200 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27525] ppid=27515 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27525/stat : 27525 (java) S 27515 27515 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225788455 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714017658096 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27526] ppid=27515 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27526/stat : 27526 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714016606672 140714546182043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27527] ppid=27515 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/27517/task/27527/stat : 27527 (java) R 27515 27515 25200 0 -1 4202560 544 0 0 0 5 0 0 0 20 0 15 0 225788457 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714015534792 140714524566883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27528] ppid=27515 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27517/task/27528/stat : 27528 (java) S 27515 27515 25200 0 -1 1077944384 401 0 0 0 4 0 0 0 20 0 15 0 225788457 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714014501232 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27529] ppid=27515 vsize=14087196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/27517/task/27529/stat : 27529 (java) S 27515 27515 25200 0 -1 1077944384 853 0 0 0 13 0 0 0 20 0 15 0 225788457 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714013448176 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27530] ppid=27515 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27530/stat : 27530 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714012395872 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27531] ppid=27515 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27531/stat : 27531 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788458 14425288704 12113 33554432000 4194304 4196468 140726191245600 140714011343920 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49904 KiB

[startup+0.701146 s]
/proc/loadavg: 2.16 1.81 1.79 3/217 27531
/proc/meminfo: memFree=10788752/32770624 swapFree=67108380/67108860
[pid=27515] ppid=27512 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27515/stat : 27515 (xcsp3-exec) S 27512 27515 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225788451 115843072 363 33554432000 4194304 5098028 140728871208000 140728871206104 140133904335484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20717568 140728871212091 140728871212292 140728871212292 140728871215050 0
/proc/27515/statm: 28282 363 305 221 0 87 0
[pid=27517] ppid=27515 vsize=14087196 memory=293308 CPUtime=1.59 cores=0,2,4,6
/proc/27517/stat : 27517 (java) S 27515 27515 25200 0 -1 1077944320 12408 0 0 0 134 25 0 0 20 0 15 0 225788452 14425288704 73327 33554432000 4194304 4196468 140726191245600 140726191228144 140714546163447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
/proc/27517/statm: 3521799 73327 3324 1 0 3483012 0
[pid=27517/tid=27518] ppid=27515 vsize=14087196 memory=1752 CPUtime=0.61 cores=0,2,4,6
/proc/27517/task/27518/stat : 27518 (java) R 27515 27515 25200 0 -1 4202560 6324 0 0 0 54 7 0 0 20 0 15 0 225788452 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714550402576 140714546185373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27519] ppid=27515 vsize=14087196 memory=5752 CPUtime=0.05 cores=0,2,4,6
/proc/27517/task/27519/stat : 27519 (java) S 27515 27515 25200 0 -1 1077944384 67 0 0 0 2 3 0 0 20 0 15 0 225788453 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714476251664 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27520] ppid=27515 vsize=14087196 memory=4580 CPUtime=0.06 cores=0,2,4,6
/proc/27517/task/27520/stat : 27520 (java) S 27515 27515 25200 0 -1 1077944384 62 0 0 0 2 4 0 0 20 0 15 0 225788453 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714475199120 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27521] ppid=27515 vsize=14087196 memory=1620 CPUtime=0.05 cores=0,2,4,6
/proc/27517/task/27521/stat : 27521 (java) S 27515 27515 25200 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 225788453 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714474146064 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27522] ppid=27515 vsize=14087196 memory=1220 CPUtime=0.05 cores=0,2,4,6
/proc/27517/task/27522/stat : 27522 (java) S 27515 27515 25200 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 225788453 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714473093520 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27523] ppid=27515 vsize=14087196 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27523/stat : 27523 (java) S 27515 27515 25200 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 225788454 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714019764976 140714546174594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27524] ppid=27515 vsize=14087196 memory=868 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27524/stat : 27524 (java) S 27515 27515 25200 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 225788455 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714018711200 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27525] ppid=27515 vsize=14087196 memory=7336 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27525/stat : 27525 (java) S 27515 27515 25200 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 225788455 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714017658096 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27526] ppid=27515 vsize=14087196 memory=11628 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27526/stat : 27526 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714016606672 140714546182043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27527] ppid=27515 vsize=14087196 memory=752 CPUtime=0.27 cores=0,2,4,6
/proc/27517/task/27527/stat : 27527 (java) R 27515 27515 25200 0 -1 4202560 1573 0 0 0 26 1 0 0 20 0 15 0 225788457 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714015546264 140714524543291 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27528] ppid=27515 vsize=14087196 memory=1276 CPUtime=0.22 cores=0,2,4,6
/proc/27517/task/27528/stat : 27528 (java) R 27515 27515 25200 0 -1 4202560 1574 0 0 0 22 0 0 0 20 0 15 0 225788457 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714014501232 140714529649443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27529] ppid=27515 vsize=14087196 memory=1068 CPUtime=0.19 cores=0,2,4,6
/proc/27517/task/27529/stat : 27529 (java) S 27515 27515 25200 0 -1 1077944384 1303 0 0 0 19 0 0 0 20 0 15 0 225788457 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714013448176 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27530] ppid=27515 vsize=14087196 memory=15080 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27530/stat : 27530 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714012395872 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27531] ppid=27515 vsize=14087196 memory=34220 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27531/stat : 27531 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788458 14425288704 73327 33554432000 4194304 4196468 140726191245600 140714011343920 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 294760 KiB

[startup+1.50091 s]
/proc/loadavg: 2.16 1.81 1.79 7/217 27531
/proc/meminfo: memFree=10540472/32770624 swapFree=67108380/67108860
[pid=27515] ppid=27512 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27515/stat : 27515 (xcsp3-exec) S 27512 27515 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225788451 115843072 363 33554432000 4194304 5098028 140728871208000 140728871206104 140133904335484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20717568 140728871212091 140728871212292 140728871212292 140728871215050 0
/proc/27515/statm: 28282 363 305 221 0 87 0

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

/proc/27517/task/27525/stat : 27525 (java) S 27515 27515 25200 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 225788455 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714017658112 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27526] ppid=27515 vsize=14091368 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27526/stat : 27526 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714016606672 140714546182043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27527] ppid=27515 vsize=14091368 memory=280448883556960 CPUtime=4.36 cores=0,2,4,6
/proc/27517/task/27527/stat : 27527 (java) S 27515 27515 25200 0 -1 1077944384 38242 0 0 0 429 7 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714015553776 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27528] ppid=27515 vsize=14091368 memory=0 CPUtime=5.99 cores=0,2,4,6
/proc/27517/task/27528/stat : 27528 (java) S 27515 27515 25200 0 -1 1077944384 63463 0 0 0 594 5 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714014501232 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27529] ppid=27515 vsize=14091368 memory=134 CPUtime=1.14 cores=0,2,4,6
/proc/27517/task/27529/stat : 27529 (java) S 27515 27515 25200 0 -1 1077944384 29243 0 0 0 109 5 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714013448176 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27530] ppid=27515 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27530/stat : 27530 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714012395872 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27531] ppid=27515 vsize=14091368 memory=1452 CPUtime=1.36 cores=0,2,4,6
/proc/27517/task/27531/stat : 27531 (java) S 27515 27515 25200 0 -1 1077944384 3169 0 0 0 72 64 0 0 20 0 15 0 225788458 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714011343920 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
Current children cumulated CPU time: 2404.57 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4408904 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/217 27627
/proc/meminfo: memFree=5721536/32770624 swapFree=67108380/67108860
[pid=27515] ppid=27512 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27515/stat : 27515 (xcsp3-exec) S 27512 27515 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225788451 115843072 363 33554432000 4194304 5098028 140728871208000 140728871206104 140133904335484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20717568 140728871212091 140728871212292 140728871212292 140728871215050 0
/proc/27515/statm: 28282 363 305 221 0 87 0
[pid=27517] ppid=27515 vsize=14091368 memory=4407452 CPUtime=2464.62 cores=0,2,4,6
/proc/27517/stat : 27517 (java) S 27515 27515 25200 0 -1 1077944320 372451 0 0 0 246093 369 0 0 20 0 15 0 225788452 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140726191228144 140714546163447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
/proc/27517/statm: 3522842 1101863 3432 1 0 3484036 0
[pid=27517/tid=27518] ppid=27515 vsize=14091368 memory=4407452 CPUtime=2438.65 cores=0,2,4,6
/proc/27517/task/27518/stat : 27518 (java) R 27515 27515 25200 0 -1 4202560 169409 0 0 0 243816 49 0 0 20 0 15 0 225788452 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714550402024 140714160328885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27519] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.2 cores=0,2,4,6
/proc/27517/task/27519/stat : 27519 (java) S 27515 27515 25200 0 -1 1077944384 13861 0 0 0 257 63 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714476251664 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27520] ppid=27515 vsize=14091368 memory=1452 CPUtime=3.19 cores=0,2,4,6
/proc/27517/task/27520/stat : 27520 (java) S 27515 27515 25200 0 -1 1077944384 14023 0 0 0 257 62 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714475199120 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27521] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.17 cores=0,2,4,6
/proc/27517/task/27521/stat : 27521 (java) S 27515 27515 25200 0 -1 1077944384 14904 0 0 0 258 59 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714474146064 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27522] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.16 cores=0,2,4,6
/proc/27517/task/27522/stat : 27522 (java) S 27515 27515 25200 0 -1 1077944384 15294 0 0 0 257 59 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714473093520 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27523] ppid=27515 vsize=14091368 memory=4407452 CPUtime=0.24 cores=0,2,4,6
/proc/27517/task/27523/stat : 27523 (java) S 27515 27515 25200 0 -1 1077944384 9442 0 0 0 21 3 0 0 20 0 15 0 225788454 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714019764976 140714546174594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27524] ppid=27515 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27524/stat : 27524 (java) S 27515 27515 25200 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 225788455 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714018711264 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27525] ppid=27515 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27525/stat : 27525 (java) S 27515 27515 25200 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 225788455 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714017658112 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27526] ppid=27515 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27526/stat : 27526 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714016606672 140714546182043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27527] ppid=27515 vsize=14091368 memory=4407452 CPUtime=4.36 cores=0,2,4,6
/proc/27517/task/27527/stat : 27527 (java) S 27515 27515 25200 0 -1 1077944384 38250 0 0 0 429 7 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714015553776 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27528] ppid=27515 vsize=14091368 memory=4407452 CPUtime=5.99 cores=0,2,4,6
/proc/27517/task/27528/stat : 27528 (java) S 27515 27515 25200 0 -1 1077944384 63466 0 0 0 594 5 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714014501232 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27529] ppid=27515 vsize=14091368 memory=1452 CPUtime=1.14 cores=0,2,4,6
/proc/27517/task/27529/stat : 27529 (java) S 27515 27515 25200 0 -1 1077944384 29247 0 0 0 109 5 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714013448176 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27530] ppid=27515 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27530/stat : 27530 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714012395872 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27531] ppid=27515 vsize=14091368 memory=4407452 CPUtime=1.4 cores=0,2,4,6
/proc/27517/task/27531/stat : 27531 (java) S 27515 27515 25200 0 -1 1077944384 3225 0 0 0 74 66 0 0 20 0 15 0 225788458 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714011343920 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
Current children cumulated CPU time: 2464.62 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4408904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2497.7 s]
/proc/loadavg: 2.10 2.05 2.05 3/217 27709
/proc/meminfo: memFree=5236584/32770624 swapFree=67108380/67108860
[pid=27515] ppid=27512 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27515/stat : 27515 (xcsp3-exec) S 27512 27515 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225788451 115843072 363 33554432000 4194304 5098028 140728871208000 140728871206104 140133904335484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20717568 140728871212091 140728871212292 140728871212292 140728871215050 0
/proc/27515/statm: 28282 363 305 221 0 87 0
[pid=27517] ppid=27515 vsize=14091368 memory=4407452 CPUtime=2520.06 cores=0,2,4,6
/proc/27517/stat : 27517 (java) S 27515 27515 25200 0 -1 1077944320 378214 0 0 0 251635 371 0 0 20 0 15 0 225788452 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140726191228144 140714546163447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
/proc/27517/statm: 3522842 1101863 3432 1 0 3484036 0
[pid=27517/tid=27518] ppid=27515 vsize=14091368 memory=4407452 CPUtime=2494.05 cores=0,2,4,6
/proc/27517/task/27518/stat : 27518 (java) R 27515 27515 25200 0 -1 4202560 175089 0 0 0 249356 49 0 0 20 0 15 0 225788452 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714550402024 140714156552095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27519] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.2 cores=0,2,4,6
/proc/27517/task/27519/stat : 27519 (java) S 27515 27515 25200 0 -1 1077944384 13861 0 0 0 257 63 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714476251664 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27520] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.19 cores=0,2,4,6
/proc/27517/task/27520/stat : 27520 (java) S 27515 27515 25200 0 -1 1077944384 14023 0 0 0 257 62 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714475199120 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27521] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.17 cores=0,2,4,6
/proc/27517/task/27521/stat : 27521 (java) S 27515 27515 25200 0 -1 1077944384 14904 0 0 0 258 59 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714474146064 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27522] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.16 cores=0,2,4,6
/proc/27517/task/27522/stat : 27522 (java) S 27515 27515 25200 0 -1 1077944384 15294 0 0 0 257 59 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714473093520 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27523] ppid=27515 vsize=14091368 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/27517/task/27523/stat : 27523 (java) S 27515 27515 25200 0 -1 1077944384 9451 0 0 0 21 3 0 0 20 0 15 0 225788454 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714019764976 140714546174594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27524] ppid=27515 vsize=14091368 memory=4407452 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27524/stat : 27524 (java) S 27515 27515 25200 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 225788455 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714018711264 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27525] ppid=27515 vsize=14091368 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27525/stat : 27525 (java) S 27515 27515 25200 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 225788455 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714017658112 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27526] ppid=27515 vsize=14091368 memory=61548 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27526/stat : 27526 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714016606672 140714546182043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27527] ppid=27515 vsize=14091368 memory=1408 CPUtime=4.36 cores=0,2,4,6
/proc/27517/task/27527/stat : 27527 (java) S 27515 27515 25200 0 -1 1077944384 38266 0 0 0 429 7 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714015553776 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27528] ppid=27515 vsize=14091368 memory=1452 CPUtime=6 cores=0,2,4,6
/proc/27517/task/27528/stat : 27528 (java) S 27515 27515 25200 0 -1 1077944384 63472 0 0 0 595 5 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714014501232 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27529] ppid=27515 vsize=14091368 memory=1452 CPUtime=1.14 cores=0,2,4,6
/proc/27517/task/27529/stat : 27529 (java) S 27515 27515 25200 0 -1 1077944384 29255 0 0 0 109 5 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714013448176 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27530] ppid=27515 vsize=14091368 memory=4407452 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27530/stat : 27530 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714012395872 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27531] ppid=27515 vsize=14091368 memory=1452 CPUtime=1.44 cores=0,2,4,6
/proc/27517/task/27531/stat : 27531 (java) S 27515 27515 25200 0 -1 1077944384 3269 0 0 0 76 68 0 0 20 0 15 0 225788458 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714011343920 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4408904 KiB

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

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

[startup+2497.75 s]
# the end of solver process 27517 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.37 s, system=3.75043 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+2497.7 s]
/proc/loadavg: 2.10 2.05 2.05 3/217 27709
/proc/meminfo: memFree=5236584/32770624 swapFree=67108380/67108860
[pid=27515] ppid=27512 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27515/stat : 27515 (xcsp3-exec) S 27512 27515 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225788451 115843072 363 33554432000 4194304 5098028 140728871208000 140728871206104 140133904335484 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20717568 140728871212091 140728871212292 140728871212292 140728871215050 0
/proc/27515/statm: 28282 363 305 221 0 87 0
[pid=27517] ppid=27515 vsize=14091368 memory=4407452 CPUtime=2520.06 cores=0,2,4,6
/proc/27517/stat : 27517 (java) S 27515 27515 25200 0 -1 1077944320 378214 0 0 0 251635 371 0 0 20 0 15 0 225788452 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140726191228144 140714546163447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
/proc/27517/statm: 3522842 1101863 3432 1 0 3484036 0
[pid=27517/tid=27518] ppid=27515 vsize=14091368 memory=4407452 CPUtime=2494.05 cores=0,2,4,6
/proc/27517/task/27518/stat : 27518 (java) R 27515 27515 25200 0 -1 4202560 175089 0 0 0 249356 49 0 0 20 0 15 0 225788452 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714550402024 140714156552095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27519] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.2 cores=0,2,4,6
/proc/27517/task/27519/stat : 27519 (java) S 27515 27515 25200 0 -1 1077944384 13861 0 0 0 257 63 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714476251664 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27520] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.19 cores=0,2,4,6
/proc/27517/task/27520/stat : 27520 (java) S 27515 27515 25200 0 -1 1077944384 14023 0 0 0 257 62 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714475199120 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27521] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.17 cores=0,2,4,6
/proc/27517/task/27521/stat : 27521 (java) S 27515 27515 25200 0 -1 1077944384 14904 0 0 0 258 59 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714474146064 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27522] ppid=27515 vsize=14091368 memory=4407452 CPUtime=3.16 cores=0,2,4,6
/proc/27517/task/27522/stat : 27522 (java) S 27515 27515 25200 0 -1 1077944384 15294 0 0 0 257 59 0 0 20 0 15 0 225788453 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714473093520 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27523] ppid=27515 vsize=14091368 memory=1452 CPUtime=0.24 cores=0,2,4,6
/proc/27517/task/27523/stat : 27523 (java) S 27515 27515 25200 0 -1 1077944384 9451 0 0 0 21 3 0 0 20 0 15 0 225788454 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714019764976 140714546174594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27524] ppid=27515 vsize=14091368 memory=4407452 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27524/stat : 27524 (java) S 27515 27515 25200 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 225788455 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714018711264 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27525] ppid=27515 vsize=14091368 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27525/stat : 27525 (java) S 27515 27515 25200 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 225788455 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714017658112 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27526] ppid=27515 vsize=14091368 memory=61548 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27526/stat : 27526 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714016606672 140714546182043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27527] ppid=27515 vsize=14091368 memory=1408 CPUtime=4.36 cores=0,2,4,6
/proc/27517/task/27527/stat : 27527 (java) S 27515 27515 25200 0 -1 1077944384 38266 0 0 0 429 7 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714015553776 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27528] ppid=27515 vsize=14091368 memory=1452 CPUtime=6 cores=0,2,4,6
/proc/27517/task/27528/stat : 27528 (java) S 27515 27515 25200 0 -1 1077944384 63472 0 0 0 595 5 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714014501232 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27529] ppid=27515 vsize=14091368 memory=1452 CPUtime=1.14 cores=0,2,4,6
/proc/27517/task/27529/stat : 27529 (java) S 27515 27515 25200 0 -1 1077944384 29255 0 0 0 109 5 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714013448176 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27530] ppid=27515 vsize=14091368 memory=4407452 CPUtime=0 cores=0,2,4,6
/proc/27517/task/27530/stat : 27530 (java) S 27515 27515 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225788457 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714012395872 140714546173653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
[pid=27517/tid=27531] ppid=27515 vsize=14091368 memory=1452 CPUtime=1.44 cores=0,2,4,6
/proc/27517/task/27531/stat : 27531 (java) S 27515 27515 25200 0 -1 1077944384 3269 0 0 0 76 68 0 0 20 0 15 0 225788458 14429560832 1101863 33554432000 4194304 4196468 140726191245600 140714011343920 140714546174594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9994240 140726191248518 140726191248689 140726191248689 140726191251407 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 4408904 KiB

Child status: 143
Real time (s): 2497.75
CPU time (s): 2520.12
CPU user time (s): 2516.37
CPU system time (s): 3.75043
CPU usage (%): 100.896
Max. virtual memory (cumulated for all children) (KiB): 14206648
Max. memory (cumulated for all children) (KiB): 4408904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.75043
maximum resident set size= 4408140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59445
involuntary context switches= 3200


# summary of solver processes directly reported to runsolver:
#   pid: 27515,27517
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.37
#   total CPU system time (s): 3.75043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5893 second user time and 26.3577 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-12 15:57:33
IDJOB=4307053
IDBENCH=141261
IDSOLVER=2787
FILE ID=node137/4307053-1534082252
RUNJOBID= node137-1534062145-25231
PBS_JOBID= 21036980
Free space on /tmp= 26372 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307053-1534082252/watcher-4307053-1534082252 -o /tmp/evaluation-result-4307053-1534082252/solver-4307053-1534082252 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25231 --watchdog 2580  HOME/xcsp3-exec -seed 613117738 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307053-1534082252.xml

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

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=613117738

node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        10967088 kB
MemAvailable:   29955676 kB
Buffers:          156196 kB
Cached:         18886712 kB
SwapCached:           24 kB
Active:         11573092 kB
Inactive:        9471196 kB
Active(anon):    1948408 kB
Inactive(anon):   105204 kB
Active(file):    9624684 kB
Inactive(file):  9365992 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108380 kB
Dirty:            127480 kB
Writeback:             0 kB
AnonPages:       2037048 kB
Mapped:            66592 kB
Shmem:             49628 kB
Slab:             454712 kB
SReclaimable:     426372 kB
SUnreclaim:        28340 kB
KernelStack:        3808 kB
PageTables:         9360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3483180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1923072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26328 MiB
End job on node137 at 2018-08-12 16:39:11