Trace number 4292759

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.7 seq (493a269)SAT (TO)26739930 2400.13 2377.53

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292759-1532460339/watcher-4292759-1532460339 -o /tmp/evaluation-result-4292759-1532460339/solver-4292759-1532460339 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22097 --watchdog 2560 HOME/xcsp3-exec -seed 576183559 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292759-1532460339.xml 

running on 4 cores: 1,3,5,7

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

solver pid=23314, runsolver pid=23311

[startup+0.100846 s]*
/proc/loadavg: 2.00 2.00 2.04 3/217 23330
/proc/meminfo: memFree=18056208/32770624 swapFree=67108860/67108860
[pid=23314] ppid=23311 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23314/stat : 23314 (xcsp3-exec) S 23311 23314 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 63597191 115843072 364 33554432000 4194304 5098028 140734787974624 140734787972728 140115573351036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32280576 140734787978299 140734787978500 140734787978500 140734787981258 0
/proc/23314/statm: 28282 364 306 221 0 87 0
[pid=23316] ppid=23314 vsize=14082840 memory=27652 CPUtime=0.12 cores=1,3,5,7
/proc/23316/stat : 23316 (java) S 23314 23314 22065 0 -1 1077944320 5328 0 0 0 11 1 0 0 20 0 15 0 63597191 14420828160 6913 33554432000 4194304 4196468 140729678704640 140729678687184 140124078542583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
/proc/23316/statm: 3520710 6913 2989 1 0 3483008 0
[pid=23316/tid=23317] ppid=23314 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (java) R 23314 23314 22065 0 -1 4202560 3293 0 0 0 8 1 0 0 20 0 15 0 63597192 14420828160 6913 33554432000 4194304 4196468 140729678704640 140124082775856 140123714450977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23318] ppid=23314 vsize=14082840 memory=3472468287876973776 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597192 14420828160 6913 33554432000 4194304 4196468 140729678704640 140124048255632 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23319] ppid=23314 vsize=14082840 memory=140158981822080 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (java) S 23314 23314 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63597192 14420828160 6913 33554432000 4194304 4196468 140729678704640 140123672812048 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23320] ppid=23314 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23320/stat : 23320 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597192 14420828160 6913 33554432000 4194304 4196468 140729678704640 140123671759248 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23321] ppid=23314 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23321/stat : 23321 (java) S 23314 23314 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63597192 14420828160 6913 33554432000 4194304 4196468 140729678704640 140123670706448 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23322] ppid=23314 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23322/stat : 23322 (java) S 23314 23314 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63597194 14420828160 6913 33554432000 4194304 4196468 140729678704640 140123552660336 140124078553730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23323] ppid=23314 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23323/stat : 23323 (java) S 23314 23314 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63597194 14420828160 6979 33554432000 4194304 4196468 140729678704640 140123551606304 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23324] ppid=23314 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23324/stat : 23324 (java) S 23314 23314 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63597194 14420828160 6979 33554432000 4194304 4196468 140729678704640 140123550553456 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23325] ppid=23314 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23325/stat : 23325 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14420828160 6979 33554432000 4194304 4196468 140729678704640 140123549501776 140124078561179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23326] ppid=23314 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23326/stat : 23326 (java) S 23314 23314 22065 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 63597197 14420828160 6979 33554432000 4194304 4196468 140729678704640 140123548449136 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23327] ppid=23314 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23327/stat : 23327 (java) S 23314 23314 22065 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 63597197 14420828160 6979 33554432000 4194304 4196468 140729678704640 140123547396336 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23328] ppid=23314 vsize=14082840 memory=140158981822080 CPUtime=0.01 cores=1,3,5,7
/proc/23316/task/23328/stat : 23328 (java) R 23314 23314 22065 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 63597197 14420828160 6979 33554432000 4194304 4196468 140729678704640 140123546343536 140124071639419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23329] ppid=23314 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23329/stat : 23329 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14420828160 6979 33554432000 4194304 4196468 140729678704640 140123545290976 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23330] ppid=23314 vsize=14082840 memory=140158981822080 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23330/stat : 23330 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597197 14420828160 6979 33554432000 4194304 4196468 140729678704640 140123544239280 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29108 KiB

[startup+0.214473 s]*
/proc/loadavg: 2.00 2.00 2.04 4/217 23330
/proc/meminfo: memFree=18045540/32770624 swapFree=67108860/67108860
[pid=23314] ppid=23311 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23314/stat : 23314 (xcsp3-exec) S 23311 23314 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 63597191 115843072 364 33554432000 4194304 5098028 140734787974624 140734787972728 140115573351036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32280576 140734787978299 140734787978500 140734787978500 140734787981258 0
/proc/23314/statm: 28282 364 306 221 0 87 0
[pid=23316] ppid=23314 vsize=14087096 memory=39660 CPUtime=0.35 cores=1,3,5,7
/proc/23316/stat : 23316 (java) S 23314 23314 22065 0 -1 1077944320 7955 0 0 0 33 2 0 0 20 0 15 0 63597191 14425186304 9915 33554432000 4194304 4196468 140729678704640 140729678687184 140124078542583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
/proc/23316/statm: 3521774 9915 3201 1 0 3483008 0
[pid=23316/tid=23317] ppid=23314 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (java) R 23314 23314 22065 0 -1 4202560 5046 0 0 0 19 1 0 0 20 0 15 0 63597192 14425186304 9915 33554432000 4194304 4196468 140729678704640 140124082763576 140124062623070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23318] ppid=23314 vsize=14087096 memory=3472468287876973776 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597192 14425186304 9915 33554432000 4194304 4196468 140729678704640 140124048255632 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23319] ppid=23314 vsize=14087096 memory=140158981822080 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (java) S 23314 23314 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63597192 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123672812048 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23320] ppid=23314 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23320/stat : 23320 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597192 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123671759248 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23321] ppid=23314 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23321/stat : 23321 (java) S 23314 23314 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63597192 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123670706448 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23322] ppid=23314 vsize=14087096 memory=140158981822080 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23322/stat : 23322 (java) S 23314 23314 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63597194 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123552660336 140124078553730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23323] ppid=23314 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23323/stat : 23323 (java) S 23314 23314 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63597194 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123551606304 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23324] ppid=23314 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23324/stat : 23324 (java) S 23314 23314 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63597194 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123550553456 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23325] ppid=23314 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23325/stat : 23325 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123549501776 140124078561179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23326] ppid=23314 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23316/task/23326/stat : 23326 (java) S 23314 23314 22065 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 63597197 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123548449136 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23327] ppid=23314 vsize=14087096 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23316/task/23327/stat : 23327 (java) S 23314 23314 22065 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 63597197 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123547396336 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23328] ppid=23314 vsize=14087096 memory=140158981822080 CPUtime=0.08 cores=1,3,5,7
/proc/23316/task/23328/stat : 23328 (java) R 23314 23314 22065 0 -1 4202560 857 0 0 0 8 0 0 0 20 0 15 0 63597197 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123546343536 140124071639419 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23329] ppid=23314 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23329/stat : 23329 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123545290976 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23330] ppid=23314 vsize=14087096 memory=140158981822080 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23330/stat : 23330 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597197 14425186304 9915 33554432000 4194304 4196468 140729678704640 140123544239280 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 41116 KiB

[startup+0.310504 s]*
/proc/loadavg: 2.00 2.00 2.04 3/217 23330
/proc/meminfo: memFree=18038716/32770624 swapFree=67108860/67108860
[pid=23314] ppid=23311 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23314/stat : 23314 (xcsp3-exec) S 23311 23314 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 63597191 115843072 364 33554432000 4194304 5098028 140734787974624 140734787972728 140115573351036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32280576 140734787978299 140734787978500 140734787978500 140734787981258 0
/proc/23314/statm: 28282 364 306 221 0 87 0
[pid=23316] ppid=23314 vsize=14087096 memory=46724 CPUtime=0.51 cores=1,3,5,7
/proc/23316/stat : 23316 (java) S 23314 23314 22065 0 -1 1077944320 8878 0 0 0 49 2 0 0 20 0 15 0 63597191 14425186304 11681 33554432000 4194304 4196468 140729678704640 140729678687184 140124078542583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
/proc/23316/statm: 3521774 11681 3234 1 0 3483008 0
[pid=23316/tid=23317] ppid=23314 vsize=14087096 memory=8514701219881125277 CPUtime=0.3 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (java) R 23314 23314 22065 0 -1 4202560 5709 0 0 0 28 2 0 0 20 0 15 0 63597192 14425186304 11681 33554432000 4194304 4196468 140729678704640 140124082776368 140124078564509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23318] ppid=23314 vsize=14087096 memory=3472468287876973776 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597192 14425186304 11681 33554432000 4194304 4196468 140729678704640 140124048255632 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23319] ppid=23314 vsize=14087096 memory=140158981822080 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (java) S 23314 23314 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63597192 14425186304 11681 33554432000 4194304 4196468 140729678704640 140123672812048 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23320] ppid=23314 vsize=14087096 memory=8 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23320/stat : 23320 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597192 14425186304 11681 33554432000 4194304 4196468 140729678704640 140123671759248 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23321] ppid=23314 vsize=14087096 memory=140158875871263 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23321/stat : 23321 (java) S 23314 23314 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63597192 14425186304 11681 33554432000 4194304 4196468 140729678704640 140123670706448 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23322] ppid=23314 vsize=14087096 memory=280317751703296 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23322/stat : 23322 (java) S 23314 23314 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63597194 14425186304 11681 33554432000 4194304 4196468 140729678704640 140123552660336 140124078553730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23323] ppid=23314 vsize=14087096 memory=140158875848207 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23323/stat : 23323 (java) S 23314 23314 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63597194 14425186304 11681 33554432000 4194304 4196468 140729678704640 140123551606304 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23324] ppid=23314 vsize=14087096 memory=280317857679456 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23324/stat : 23324 (java) S 23314 23314 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63597194 14425186304 11681 33554432000 4194304 4196468 140729678704640 140123550553456 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23325] ppid=23314 vsize=14087096 memory=140158875852815 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23325/stat : 23325 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14425186304 11681 33554432000 4194304 4196468 140729678704640 140123549501776 140124078561179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23326] ppid=23314 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23316/task/23326/stat : 23326 (java) S 23314 23314 22065 0 -1 1077944384 557 0 0 0 5 0 0 0 20 0 15 0 63597197 14425186304 11681 33554432000 4194304 4196468 140729678704640 140123548449136 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23327] ppid=23314 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23316/task/23327/stat : 23327 (java) S 23314 23314 22065 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 15 0 63597197 14425186304 11746 33554432000 4194304 4196468 140729678704640 140123547396336 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23328] ppid=23314 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23316/task/23328/stat : 23328 (java) S 23314 23314 22065 0 -1 1077944384 1078 0 0 0 12 0 0 0 20 0 15 0 63597197 14425186304 11746 33554432000 4194304 4196468 140729678704640 140123546343536 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23329] ppid=23314 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23329/stat : 23329 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14425186304 11746 33554432000 4194304 4196468 140729678704640 140123545290976 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23330] ppid=23314 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23330/stat : 23330 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597197 14425186304 11746 33554432000 4194304 4196468 140729678704640 140123544239280 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48180 KiB

[startup+0.700849 s]
/proc/loadavg: 2.00 2.00 2.04 4/217 23330
/proc/meminfo: memFree=17934580/32770624 swapFree=67108860/67108860
[pid=23314] ppid=23311 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23314/stat : 23314 (xcsp3-exec) S 23311 23314 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 63597191 115843072 364 33554432000 4194304 5098028 140734787974624 140734787972728 140115573351036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32280576 140734787978299 140734787978500 140734787978500 140734787981258 0
/proc/23314/statm: 28282 364 306 221 0 87 0
[pid=23316] ppid=23314 vsize=14087096 memory=292792 CPUtime=1.61 cores=1,3,5,7
/proc/23316/stat : 23316 (java) S 23314 23314 22065 0 -1 1077944320 12338 0 0 0 139 22 0 0 20 0 15 0 63597191 14425186304 73198 33554432000 4194304 4196468 140729678704640 140729678687184 140124078542583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
/proc/23316/statm: 3521774 73198 3299 1 0 3483008 0
[pid=23316/tid=23317] ppid=23314 vsize=14087096 memory=7660742144744843625 CPUtime=0.61 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (java) R 23314 23314 22065 0 -1 4202560 5875 0 0 0 55 6 0 0 20 0 15 0 63597192 14425186304 73198 33554432000 4194304 4196468 140729678704640 140124082781712 140124078564509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23318] ppid=23314 vsize=14087096 memory=5865465064658194540 CPUtime=0.05 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (java) S 23314 23314 22065 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 15 0 63597192 14425186304 73198 33554432000 4194304 4196468 140729678704640 140124048255632 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23319] ppid=23314 vsize=14087096 memory=4638778398332764256 CPUtime=0.05 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (java) S 23314 23314 22065 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 15 0 63597192 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123672812048 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23320] ppid=23314 vsize=14087096 memory=-7242455096852575424 CPUtime=0.05 cores=1,3,5,7
/proc/23316/task/23320/stat : 23320 (java) S 23314 23314 22065 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 63597192 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123671759248 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23321] ppid=23314 vsize=14087096 memory=8326441112149131693 CPUtime=0.05 cores=1,3,5,7
/proc/23316/task/23321/stat : 23321 (java) S 23314 23314 22065 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 63597192 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123670706448 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23322] ppid=23314 vsize=14087096 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23322/stat : 23322 (java) S 23314 23314 22065 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 63597194 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123552660336 140124078553730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23323] ppid=23314 vsize=14087096 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23323/stat : 23323 (java) S 23314 23314 22065 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 63597194 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123551606304 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23324] ppid=23314 vsize=14087096 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23324/stat : 23324 (java) S 23314 23314 22065 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 63597194 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123550553456 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23325] ppid=23314 vsize=14087096 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23325/stat : 23325 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123549501776 140124078561179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23326] ppid=23314 vsize=14087096 memory=19528 CPUtime=0.25 cores=1,3,5,7
/proc/23316/task/23326/stat : 23326 (java) S 23314 23314 22065 0 -1 1077944384 1579 0 0 0 25 0 0 0 20 0 15 0 63597197 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123548449136 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23327] ppid=23314 vsize=14087096 memory=1296 CPUtime=0.28 cores=1,3,5,7
/proc/23316/task/23327/stat : 23327 (java) R 23314 23314 22065 0 -1 4202560 1803 0 0 0 28 0 0 0 20 0 15 0 63597197 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123547382216 140124063648666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23328] ppid=23314 vsize=14087096 memory=2412 CPUtime=0.19 cores=1,3,5,7
/proc/23316/task/23328/stat : 23328 (java) S 23314 23314 22065 0 -1 1077944384 1448 0 0 0 19 0 0 0 20 0 15 0 63597197 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123546343536 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23329] ppid=23314 vsize=14087096 memory=7668012111147524688 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23329/stat : 23329 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123545290976 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23330] ppid=23314 vsize=14087096 memory=7451579857426993518 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23330/stat : 23330 (java) S 23314 23314 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63597197 14425186304 73198 33554432000 4194304 4196468 140729678704640 140123544239280 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 294248 KiB

[startup+1.50089 s]
/proc/loadavg: 2.00 2.00 2.04 7/217 23330
/proc/meminfo: memFree=17660460/32770624 swapFree=67108860/67108860
[pid=23314] ppid=23311 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23314/stat : 23314 (xcsp3-exec) S 23311 23314 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 63597191 115843072 364 33554432000 4194304 5098028 140734787974624 140734787972728 140115573351036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32280576 140734787978299 140734787978500 140734787978500 140734787981258 0
/proc/23314/statm: 28282 364 306 221 0 87 0

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

/proc/23316/task/23324/stat : 23324 (java) S 23314 23314 22065 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123550553472 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23325] ppid=23314 vsize=14091268 memory=6578052 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23325/stat : 23325 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123549501776 140124078561179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23326] ppid=23314 vsize=14091268 memory=4104 CPUtime=5.53 cores=1,3,5,7
/proc/23316/task/23326/stat : 23326 (java) S 23314 23314 22065 0 -1 1077944384 62489 0 0 0 547 6 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123548449136 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23327] ppid=23314 vsize=14091268 memory=1398720917958146503 CPUtime=4.95 cores=1,3,5,7
/proc/23316/task/23327/stat : 23327 (java) S 23314 23314 22065 0 -1 1077944384 60480 0 0 0 490 5 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123547396336 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23328] ppid=23314 vsize=14091268 memory=-7003737579269690708 CPUtime=1.12 cores=1,3,5,7
/proc/23316/task/23328/stat : 23328 (java) S 23314 23314 22065 0 -1 1077944384 27937 0 0 0 108 4 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123546343536 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23329] ppid=23314 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23329/stat : 23329 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123545290976 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23330] ppid=23314 vsize=14091268 memory=4227312 CPUtime=1.23 cores=1,3,5,7
/proc/23316/task/23330/stat : 23330 (java) S 23314 23314 22065 0 -1 1077944384 4100 0 0 0 58 65 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123544239280 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
Current children cumulated CPU time: 2224.71 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4228768 KiB

[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/219 23507
/proc/meminfo: memFree=9480760/32770624 swapFree=67108860/67108860
[pid=23314] ppid=23311 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23314/stat : 23314 (xcsp3-exec) S 23311 23314 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 63597191 115843072 364 33554432000 4194304 5098028 140734787974624 140734787972728 140115573351036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32280576 140734787978299 140734787978500 140734787978500 140734787981258 0
/proc/23314/statm: 28282 364 306 221 0 87 0
[pid=23316] ppid=23314 vsize=14091268 memory=4227312 CPUtime=2284.79 cores=1,3,5,7
/proc/23316/stat : 23316 (java) S 23314 23314 22065 0 -1 1077944320 344923 0 0 0 228136 343 0 0 20 0 15 0 63597191 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140729678687184 140124078542583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
/proc/23316/statm: 3522817 1056828 3413 1 0 3484032 0
[pid=23316/tid=23317] ppid=23314 vsize=14091268 memory=1398720917958146503 CPUtime=2258.98 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (java) R 23314 23314 22065 0 -1 4202560 122069 0 0 0 225857 41 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140124082779384 140123724114518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23318] ppid=23314 vsize=14091268 memory=-7003737579269690708 CPUtime=3.16 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (java) S 23314 23314 22065 0 -1 1077944384 13828 0 0 0 261 55 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140124048255632 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23319] ppid=23314 vsize=14091268 memory=3260 CPUtime=3.15 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (java) S 23314 23314 22065 0 -1 1077944384 13842 0 0 0 259 56 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123672812048 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23320] ppid=23314 vsize=14091268 memory=1456 CPUtime=3.15 cores=1,3,5,7
/proc/23316/task/23320/stat : 23320 (java) S 23314 23314 22065 0 -1 1077944384 14204 0 0 0 258 57 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123671759248 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23321] ppid=23314 vsize=14091268 memory=6578052 CPUtime=3.13 cores=1,3,5,7
/proc/23316/task/23321/stat : 23321 (java) S 23314 23314 22065 0 -1 1077944384 13154 0 0 0 257 56 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123670706448 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23322] ppid=23314 vsize=14091268 memory=4104 CPUtime=0.2 cores=1,3,5,7
/proc/23316/task/23322/stat : 23322 (java) S 23314 23314 22065 0 -1 1077944384 8769 0 0 0 16 4 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123552660336 140124078553730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23323] ppid=23314 vsize=14091268 memory=840 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23323/stat : 23323 (java) S 23314 23314 22065 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123551606368 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23324] ppid=23314 vsize=14091268 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23324/stat : 23324 (java) S 23314 23314 22065 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123550553472 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23325] ppid=23314 vsize=14091268 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23325/stat : 23325 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123549501776 140124078561179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23326] ppid=23314 vsize=14091268 memory=15540717229443787 CPUtime=5.55 cores=1,3,5,7
/proc/23316/task/23326/stat : 23326 (java) S 23314 23314 22065 0 -1 1077944384 63565 0 0 0 549 6 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123548449136 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23327] ppid=23314 vsize=14091268 memory=2200 CPUtime=4.97 cores=1,3,5,7
/proc/23316/task/23327/stat : 23327 (java) S 23314 23314 22065 0 -1 1077944384 61156 0 0 0 492 5 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123547396336 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23328] ppid=23314 vsize=14091268 memory=7392 CPUtime=1.13 cores=1,3,5,7
/proc/23316/task/23328/stat : 23328 (java) S 23314 23314 22065 0 -1 1077944384 28750 0 0 0 109 4 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123546343536 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23329] ppid=23314 vsize=14091268 memory=840 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23329/stat : 23329 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123545290976 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23330] ppid=23314 vsize=14091268 memory=1692 CPUtime=1.27 cores=1,3,5,7
/proc/23316/task/23330/stat : 23330 (java) S 23314 23314 22065 0 -1 1077944384 4240 0 0 0 60 67 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123544239280 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
Current children cumulated CPU time: 2284.79 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4228768 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/219 23508
/proc/meminfo: memFree=9480608/32770624 swapFree=67108860/67108860
[pid=23314] ppid=23311 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23314/stat : 23314 (xcsp3-exec) S 23311 23314 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 63597191 115843072 364 33554432000 4194304 5098028 140734787974624 140734787972728 140115573351036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32280576 140734787978299 140734787978500 140734787978500 140734787981258 0
/proc/23314/statm: 28282 364 306 221 0 87 0
[pid=23316] ppid=23314 vsize=14091268 memory=4227312 CPUtime=2344.85 cores=1,3,5,7
/proc/23316/stat : 23316 (java) S 23314 23314 22065 0 -1 1077944320 347144 0 0 0 234141 344 0 0 20 0 15 0 63597191 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140729678687184 140124078542583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
/proc/23316/statm: 3522817 1056828 3413 1 0 3484032 0
[pid=23316/tid=23317] ppid=23314 vsize=14091268 memory=1408 CPUtime=2318.98 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (java) R 23314 23314 22065 0 -1 4202560 123183 0 0 0 231857 41 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140124082781080 140123723221927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23318] ppid=23314 vsize=14091268 memory=3304 CPUtime=3.16 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (java) S 23314 23314 22065 0 -1 1077944384 13828 0 0 0 261 55 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140124048255632 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23319] ppid=23314 vsize=14091268 memory=1456 CPUtime=3.15 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (java) S 23314 23314 22065 0 -1 1077944384 13842 0 0 0 259 56 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123672812048 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23320] ppid=23314 vsize=14091268 memory=4227312 CPUtime=3.15 cores=1,3,5,7
/proc/23316/task/23320/stat : 23320 (java) S 23314 23314 22065 0 -1 1077944384 14204 0 0 0 258 57 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123671759248 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23321] ppid=23314 vsize=14091268 memory=1404 CPUtime=3.13 cores=1,3,5,7
/proc/23316/task/23321/stat : 23321 (java) S 23314 23314 22065 0 -1 1077944384 13154 0 0 0 257 56 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123670706448 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23322] ppid=23314 vsize=14091268 memory=3340 CPUtime=0.2 cores=1,3,5,7
/proc/23316/task/23322/stat : 23322 (java) S 23314 23314 22065 0 -1 1077944384 8778 0 0 0 16 4 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123552660336 140124078553730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23323] ppid=23314 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23323/stat : 23323 (java) S 23314 23314 22065 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123551606368 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23324] ppid=23314 vsize=14091268 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23324/stat : 23324 (java) S 23314 23314 22065 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123550553472 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23325] ppid=23314 vsize=14091268 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23325/stat : 23325 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123549501776 140124078561179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23326] ppid=23314 vsize=14091268 memory=15540717229443787 CPUtime=5.57 cores=1,3,5,7
/proc/23316/task/23326/stat : 23326 (java) S 23314 23314 22065 0 -1 1077944384 64522 0 0 0 551 6 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123548449136 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23327] ppid=23314 vsize=14091268 memory=-7003737579269690708 CPUtime=4.97 cores=1,3,5,7
/proc/23316/task/23327/stat : 23327 (java) S 23314 23314 22065 0 -1 1077944384 61164 0 0 0 492 5 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123547396336 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23328] ppid=23314 vsize=14091268 memory=1456 CPUtime=1.13 cores=1,3,5,7
/proc/23316/task/23328/stat : 23328 (java) S 23314 23314 22065 0 -1 1077944384 28850 0 0 0 109 4 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123546343536 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23329] ppid=23314 vsize=14091268 memory=952 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23329/stat : 23329 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123545290976 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23330] ppid=23314 vsize=14091268 memory=1240 CPUtime=1.31 cores=1,3,5,7
/proc/23316/task/23330/stat : 23330 (java) S 23314 23314 22065 0 -1 1077944384 4273 0 0 0 62 69 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123544239280 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
Current children cumulated CPU time: 2344.85 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4228768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2377.5 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 23561
/proc/meminfo: memFree=16294316/32770624 swapFree=67108860/67108860
[pid=23314] ppid=23311 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23314/stat : 23314 (xcsp3-exec) S 23311 23314 22065 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 63597191 115843072 364 33554432000 4194304 5098028 140734787974624 140734787972728 140115573351036 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32280576 140734787978299 140734787978500 140734787978500 140734787981258 0
/proc/23314/statm: 28282 364 306 221 0 87 0
[pid=23316] ppid=23314 vsize=14091268 memory=4227312 CPUtime=2400.08 cores=1,3,5,7
/proc/23316/stat : 23316 (java) S 23314 23314 22065 0 -1 1077944320 348691 0 0 0 239662 346 0 0 20 0 15 0 63597191 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140729678687184 140124078542583 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
/proc/23316/statm: 3522817 1056828 3413 1 0 3484032 0
[pid=23316/tid=23317] ppid=23314 vsize=14091268 memory=15540717229443787 CPUtime=2374.18 cores=1,3,5,7
/proc/23316/task/23317/stat : 23317 (java) R 23314 23314 22065 0 -1 4202560 124643 0 0 0 237377 41 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140124082781080 140123723333778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23318] ppid=23314 vsize=14091268 memory=840 CPUtime=3.16 cores=1,3,5,7
/proc/23316/task/23318/stat : 23318 (java) S 23314 23314 22065 0 -1 1077944384 13828 0 0 0 261 55 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140124048255632 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23319] ppid=23314 vsize=14091268 memory=1692 CPUtime=3.15 cores=1,3,5,7
/proc/23316/task/23319/stat : 23319 (java) S 23314 23314 22065 0 -1 1077944384 13842 0 0 0 259 56 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123672812048 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23320] ppid=23314 vsize=14091268 memory=6791534058613427641 CPUtime=3.15 cores=1,3,5,7
/proc/23316/task/23320/stat : 23320 (java) S 23314 23314 22065 0 -1 1077944384 14204 0 0 0 258 57 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123671759248 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23321] ppid=23314 vsize=14091268 memory=3848 CPUtime=3.13 cores=1,3,5,7
/proc/23316/task/23321/stat : 23321 (java) S 23314 23314 22065 0 -1 1077944384 13154 0 0 0 257 56 0 0 20 0 15 0 63597192 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123670706448 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23322] ppid=23314 vsize=14091268 memory=2772 CPUtime=0.2 cores=1,3,5,7
/proc/23316/task/23322/stat : 23322 (java) S 23314 23314 22065 0 -1 1077944384 8796 0 0 0 16 4 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123552660336 140124078553730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23323] ppid=23314 vsize=14091268 memory=2648 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23323/stat : 23323 (java) S 23314 23314 22065 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123551606368 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23324] ppid=23314 vsize=14091268 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23324/stat : 23324 (java) S 23314 23314 22065 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 63597194 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123550553472 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23325] ppid=23314 vsize=14091268 memory=3304 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23325/stat : 23325 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123549501776 140124078561179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23326] ppid=23314 vsize=14091268 memory=1456 CPUtime=5.57 cores=1,3,5,7
/proc/23316/task/23326/stat : 23326 (java) S 23314 23314 22065 0 -1 1077944384 64525 0 0 0 551 6 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123548449136 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23327] ppid=23314 vsize=14091268 memory=4227312 CPUtime=4.97 cores=1,3,5,7
/proc/23316/task/23327/stat : 23327 (java) S 23314 23314 22065 0 -1 1077944384 61172 0 0 0 492 5 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123547396336 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23328] ppid=23314 vsize=14091268 memory=1404 CPUtime=1.13 cores=1,3,5,7
/proc/23316/task/23328/stat : 23328 (java) S 23314 23314 22065 0 -1 1077944384 28854 0 0 0 109 4 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123546343536 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23329] ppid=23314 vsize=14091268 memory=4227312 CPUtime=0 cores=1,3,5,7
/proc/23316/task/23329/stat : 23329 (java) S 23314 23314 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123545290976 140124078552789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
[pid=23316/tid=23330] ppid=23314 vsize=14091268 memory=15540717229443787 CPUtime=1.34 cores=1,3,5,7
/proc/23316/task/23330/stat : 23330 (java) S 23314 23314 22065 0 -1 1077944384 4327 0 0 0 63 71 0 0 20 0 15 0 63597197 14429458432 1056828 33554432000 4194304 4196468 140729678704640 140123544239280 140124078553730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11919360 140729678709889 140729678710065 140729678710065 140729678712783 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 4228768 KiB

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

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

[startup+2377.53 s]
# the end of solver process 23316 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.64 s, system=3.48474 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

Child status: 143
Real time (s): 2377.53
CPU time (s): 2400.13
CPU user time (s): 2396.64
CPU system time (s): 3.48474
CPU usage (%): 100.951
Max. virtual memory (cumulated for all children) (KiB): 14206552
Max. memory (cumulated for all children) (KiB): 4239572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.64
system time used= 3.48474
maximum resident set size= 4238116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56943
involuntary context switches= 816


# summary of solver processes directly reported to runsolver:
#   pid: 23314,23316
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2396.64
#   total CPU system time (s): 3.48474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0199 second user time and 21.3518 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-24 21:25:40
IDJOB=4292759
IDBENCH=141261
IDSOLVER=2747
FILE ID=node103/4292759-1532460339
RUNJOBID= node103-1532448430-22097
PBS_JOBID= 21021580
Free space on /tmp= 56604 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
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-4292759-1532460339/watcher-4292759-1532460339 -o /tmp/evaluation-result-4292759-1532460339/solver-4292759-1532460339 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22097 --watchdog 2560  HOME/xcsp3-exec -seed 576183559 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292759-1532460339.xml

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

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=576183559

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        18073028 kB
MemAvailable:   29441588 kB
Buffers:          269952 kB
Cached:         11285300 kB
SwapCached:            0 kB
Active:          6104804 kB
Inactive:        7998072 kB
Active(anon):    2550600 kB
Inactive(anon):    16996 kB
Active(file):    3554204 kB
Inactive(file):  7981076 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            126088 kB
Writeback:             0 kB
AnonPages:       2555072 kB
Mapped:            51420 kB
Shmem:             17036 kB
Slab:             289564 kB
SReclaimable:     261740 kB
SUnreclaim:        27824 kB
KernelStack:        3520 kB
PageTables:        10168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4236608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2428928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56516 MiB
End job on node103 at 2018-07-24 22:05:18