Trace number 4285124

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 NameAnswerCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22SAT 124.386 47.162998

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-04-05.xml
MD5SUM7198b26315477549e19a49cdd0865ba2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.4920902
Satisfiable
(Un)Satisfiability was proved
Number of variables6148
Number of constraints5123
Number of domains3
Minimum domain size4
Maximum domain size1025
Distribution of domain sizes[{"size":4,"count":5120},{"size":1024,"count":1024},{"size":1025,"count":4}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1024},{"degree":3,"count":5120}]
Minimum constraint arity2
Maximum constraint arity1028
Distribution of constraint arities[{"arity":2,"count":4096},{"arity":6,"count":1024},{"arity":1024,"count":2},{"arity":1028,"count":1}]
Number of extensional constraints0
Number of intensional constraints4096
Distribution of constraint types[{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":1024},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.30/0.25	c version: 2017-08-22
0.30/0.25	c seed: 1708244916
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 22000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
2.80/1.06	c Parsing done, starting search...
123.70/47.09	s SATISFIABLE
123.70/47.10	v <instantiation>
123.70/47.10	v 	<list>
123.70/47.10	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] bi[243][0] bi[243][1] bi[243][2] bi[243][3] bi[243][4] bi[244][0] bi[244][1] bi[244][2] bi[244][3] bi[244][4] bi[245][0] bi[245][1] bi[245][2] bi[245][3] bi[245][4] bi[246][0] bi[246][1] bi[246][2] bi[246][3] bi[246][4] bi[247][0] bi[247][1] bi[247][2] bi[247][3] bi[247][4] bi[248][0] bi[248][1] bi[248][2] bi[248][3] bi[248][4] bi[249][0] bi[249][1] bi[249][2] bi[249][3] bi[249][4] bi[250][0] bi[250][1] bi[250][2] bi[250][3] bi[250][4] bi[251][0] bi[251][1] bi[251][2] bi[251][3] bi[251][4] bi[252][0] bi[252][1] bi[252][2] bi[252][3] bi[252][4] bi[253][0] bi[253][1] bi[253][2] bi[253][3] bi[253][4] bi[254][0] bi[254][1] bi[254][2] bi[254][3] bi[254][4] bi[255][0] bi[255][1] bi[255][2] bi[255][3] bi[255][4] bi[256][0] bi[256][1] bi[256][2] bi[256][3] bi[256][4] bi[257][0] bi[257][1] bi[257][2] bi[257][3] bi[257][4] bi[258][0] bi[258][1] bi[258][2] bi[258][3] bi[258][4] bi[259][0] bi[259][1] bi[259][2] bi[259][3] bi[259][4] bi[260][0] bi[260][1] bi[260][2] bi[260][3] bi[260][4] bi[261][0] bi[261][1] bi[261][2] bi[261][3] bi[261][4] bi[262][0] bi[262][1] bi[262][2] bi[262][3] bi[262][4] bi[263][0] bi[263][1] bi[263][2] bi[263][3] bi[263][4] bi[264][0] bi[264][1] bi[264][2] bi[264][3] bi[264][4] bi[265][0] bi[265][1] bi[265][2] bi[265][3] bi[265][4] bi[266][0] bi[266][1] bi[266][2] bi[266][3] bi[266][4] bi[267][0] bi[267][1] bi[267][2] bi[267][3] bi[267][4] bi[268][0] bi[268][1] bi[268][2] bi[268][3] bi[268][4] bi[269][0] bi[269][1] bi[269][2] bi[269][3] bi[269][4] bi[270][0] bi[270][1] bi[270][2] bi[270][3] bi[270][4] bi[271][0] bi[271][1] bi[271][2] bi[271][3] bi[271][4] bi[272][0] bi[272][1] bi[272][2] bi[272][3] bi[272][4] bi[273][0] bi[273][1] bi[273][2] bi[273][3] bi[273][4] bi[274][0] bi[274][1] bi[274][2] bi[274][3] bi[274][4] bi[275][0] bi[275][1] bi[275][2] bi[275][3] bi[275][4] bi[276][0] bi[276][1] bi[276][2] bi[276][3] bi[276][4] bi[277][0] bi[277][1] bi[277][2] bi[277][3] bi[277][4] bi[278][0] bi[278][1] bi[278][2] bi[278][3] bi[278][4] bi[279][0] bi[279][1] bi[279][2] bi[279][3] bi[279][4] bi[280][0] bi[280][1] bi[280][2] bi[280][3] bi[280][4] bi[281][0] bi[281][1] bi[281][2] bi[281][3] bi[281][4] bi[282][0] bi[282][1] bi[282][2] bi[282][3] bi[282][4] bi[283][0] bi[283][1] bi[283][2] bi[283][3] bi[283][4] bi[284][0] bi[284][1] bi[284][2] bi[284][3] bi[284][4] bi[285][0] bi[285][1] bi[285][2] bi[285][3] bi[285][4] bi[286][0] bi[286][1] bi[286][2] bi[286][3] bi[286][4] bi[287][0] bi[287][1] bi[287][2] bi[287][3] bi[287][4] bi[288][0] bi[288][1] bi[288][2] bi[288][3] bi[288][4] bi[289][0] bi[289][1] bi[289][2] bi[289][3] bi[289][4] bi[290][0] bi[290][1] bi[290][2] bi[290][3] bi[290][4] bi[291][0] bi[291][1] bi[291][2] bi[291][3] bi[291][4] bi[292][0] bi[292][1] bi[292][2] bi[292][3] bi[292][4] bi[293][0] bi[293][1] bi[293][2] bi[293][3] bi[293][4] bi[294][0] bi[294][1] bi[294][2] bi[294][3] bi[294][4] bi[295][0] bi[295][1] bi[295][2] bi[295][3] bi[295][4] bi[296][0] bi[296][1] bi[296][2] bi[296][3] bi[296][4] bi[297][0] bi[297][1] bi[297][2] bi[297][3] bi[297][4] bi[298][0] bi[298][1] bi[298][2] bi[298][3] bi[298][4] bi[299][0] bi[299][1] bi[299][2] bi[299][3] bi[299][4] bi[300][0] bi[300][1] bi[300][2] bi[300][3] bi[300][4] bi[301][0] bi[301][1] bi[301][2] bi[301][3] bi[301][4] bi[302][0] bi[302][1] bi[302][2] bi[302][3] bi[302][4] bi[303][0] bi[303][1] bi[303][2] bi[303][3] bi[303][4] bi[304][0] bi[304][1] bi[304][2] bi[304][3] bi[304][4] bi[305][0] bi[305][1] bi[305][2] bi[305][3] bi[305][4] bi[306][0] bi[306][1] bi[306][2] bi[306][3] bi[306][4] bi[307][0] bi[307][1] bi[307][2] bi[307][3] bi[307][4] bi[308][0] bi[308][1] bi[308][2] bi[308][3] bi[308][4] bi[309][0] bi[309][1] bi[309][2] bi[309][3] bi[309][4] bi[310][0] bi[310][1] bi[310][2] bi[310][3] bi[310][4] bi[311][0] bi[311][1] bi[311][2] bi[311][3] bi[311][4] bi[312][0] bi[312][1] bi[312][2] bi[312][3] bi[312][4] bi[313][0] bi[313][1] bi[313][2] bi[313][3] bi[313][4] bi[314][0] bi[314][1] bi[314][2] bi[314][3] bi[314][4] bi[315][0] bi[315][1] bi[315][2] bi[315][3] bi[315][4] bi[316][0] bi[316][1] bi[316][2] bi[316][3] bi[316][4] bi[317][0] bi[317][1] bi[317][2] bi[317][3] bi[317][4] bi[318][0] bi[318][1] bi[318][2] bi[318][3] bi[318][4] bi[319][0] bi[319][1] bi[319][2] bi[319][3] bi[319][4] bi[320][0] bi[320][1] bi[320][2] bi[320][3] bi[320][4] bi[321][0] bi[321][1] bi[321][2] bi[321][3] bi[321][4] bi[322][0] bi[322][1] bi[322][2] bi[322][3] bi[322][4] bi[323][0] bi[323][1] bi[323][2] bi[323][3] bi[323][4] bi[324][0] bi[324][1] bi[324][2] bi[324][3] bi[324][4] bi[325][0] bi[325][1] bi[325][2] bi[325][3] bi[325][4] bi[326][0] bi[326][1] bi[326][2] bi[326][3] bi[326][4] bi[327][0] bi[327][1] bi[327][2] bi[327][3] bi[327][4] bi[328][0] bi[328][1] bi[328][2] bi[328][3] bi[328][4] bi[329][0] bi[329][1] bi[329][2] bi[329][3] bi[329][4] bi[330][0] bi[330][1] bi[330][2] bi[330][3] bi[330][4] bi[331][0] bi[331][1] bi[331][2] bi[331][3] bi[331][4] bi[332][0] bi[332][1] bi[332][2] bi[332][3] bi[332][4] bi[333][0] bi[333][1] bi[333][2] bi[333][3] bi[333][4] bi[334][0] bi[334][1] bi[334][2] bi[334][3] bi[334][4] bi[335][0] bi[335][1] bi[335][2] bi[335][3] bi[335][4] bi[336][0] bi[336][1] bi[336][2] bi[336][3] bi[336][4] bi[337][0] bi[337][1] bi[337][2] bi[337][3] bi[337][4] bi[338][0] bi[338][1] bi[338][2] bi[338][3] bi[338][4] bi[339][0] bi[339][1] bi[339][2] bi[339][3] bi[339][4] bi[340][0] bi[340][1] bi[340][2] bi[340][3] bi[340][4] bi[341][0] bi[341][1] bi[341][2] bi[341][3] bi[341][4] bi[342][0] bi[342][1] bi[342][2] bi[342][3] bi[342][4] bi[343][0] bi[343][1] bi[343][2] bi[343][3] bi[343][4] bi[344][0] bi[344][1] bi[344][2] bi[344][3] bi[344][4] bi[345][0] bi[345][1] bi[345][2] bi[345][3] bi[345][4] bi[346][0] bi[346][1] bi[346][2] bi[346][3] bi[346][4] bi[347][0] bi[347][1] bi[347][2] bi[347][3] bi[347][4] bi[348][0] bi[348][1] bi[348][2] bi[348][3] bi[348][4] bi[349][0] bi[349][1] bi[349][2] bi[349][3] bi[349][4] bi[350][0] bi[350][1] bi[350][2] bi[350][3] bi[350][4] bi[351][0] bi[351][1] bi[351][2] bi[351][3] bi[351][4] bi[352][0] bi[352][1] bi[352][2] bi[352][3] bi[352][4] bi[353][0] bi[353][1] bi[353][2] bi[353][3] bi[353][4] bi[354][0] bi[354][1] bi[354][2] bi[354][3] bi[354][4] bi[355][0] bi[355][1] bi[355][2] bi[355][3] bi[355][4] bi[356][0] bi[356][1] bi[356][2] bi[356][3] bi[356][4] bi[357][0] bi[357][1] bi[357][2] bi[357][3] bi[357][4] bi[358][0] bi[358][1] bi[358][2] bi[358][3] bi[358][4] bi[359][0] bi[359][1] bi[359][2] bi[359][3] bi[359][4] bi[360][0] bi[360][1] bi[360][2] bi[360][3] bi[360][4] bi[361][0] bi[361][1] bi[361][2] bi[361][3] bi[361][4] bi[362][0] bi[362][1] bi[362][2] bi[362][3] bi[362][4] bi[363][0] bi[363][1] bi[363][2] bi[363][3] bi[363][4] bi[364][0] bi[364][1] bi[364][2] bi[364][3] bi[364][4] bi[365][0] bi[365][1] bi[365][2] bi[365][3] bi[365][4] bi[366][0] bi[366][1] bi[366][2] bi[366][3] bi[366][4] bi[367][0] bi[367][1] bi[367][2] bi[367][3] bi[367][4] bi[368][0] bi[368][1] bi[368][2] bi[368][3] bi[368][4] bi[369][0] bi[369][1] bi[369][2] bi[369][3] bi[369][4] bi[370][0] bi[370][1] bi[370][2] bi[370][3] bi[370][4] bi[371][0] bi[371][1] bi[371][2] bi[371][3] bi[371][4] bi[372][0] bi[372][1] bi[372][2] bi[372][3] bi[372][4] bi[373][0] bi[373][1] bi[373][2] bi[373][3] bi[373][4] bi[374][0] bi[374][1] bi[374][2] bi[374][3] bi[374][4] bi[375][0] bi[375][1] bi[375][2] bi[375][3] bi[375][4] bi[376][0] bi[376][1] bi[376][2] bi[376][3] bi[376][4] bi[377][0] bi[377][1] bi[377][2] bi[377][3] bi[377][4] bi[378][0] bi[378][1] bi[378][2] bi[378][3] bi[378][4] bi[379][0] bi[379][1] bi[379][2] bi[379][3] bi[379][4] bi[380][0] bi[380][1] bi[380][2] bi[380][3] bi[380][4] bi[381][0] bi[381][1] bi[381][2] bi[381][3] bi[381][4] bi[382][0] bi[382][1] bi[382][2] bi[382][3] bi[382][4] bi[383][0] bi[383][1] bi[383][2] bi[383][3] bi[383][4] bi[384][0] bi[384][1] bi[384][2] bi[384][3] bi[384][4] bi[385][0] bi[385][1] bi[385][2] bi[385][3] bi[385][4] bi[386][0] bi[386][1] bi[386][2] bi[386][3] bi[386][4] bi[387][0] bi[387][1] bi[387][2] bi[387][3] bi[387][4] bi[388][0] bi[388][1] bi[388][2] bi[388][3] bi[388][4] bi[389][0] bi[389][1] bi[389][2] bi[389][3] bi[389][4] bi[390][0] bi[390][1] bi[390][2] bi[390][3] bi[390][4] bi[391][0] bi[391][1] bi[391][2] bi[391][3] bi[391][4] bi[392][0] bi[392][1] bi[392][2] bi[392][3] bi[392][4] bi[393][0] bi[393][1] bi[393][2] bi[393][3] bi[393][4] bi[394][0] bi[394][1] bi[394][2] bi[394][3] bi[394][4] bi[395][0] bi[395][1] bi[395][2] bi[395][3] bi[395][4] bi[396][0] bi[396][1] bi[396][2] bi[396][3] bi[396][4] bi[397][0] bi[397][1] bi[397][2] bi[397][3] bi[397][4] bi[398][0] bi[398][1] bi[398][2] bi[398][3] bi[398][4] bi[399][0] bi[399][1] bi[399][2] bi[399][3] bi[399][4] bi[400][0] bi[400][1] bi[400][2] bi[400][3] bi[400][4] bi[401][0] bi[401][1] bi[401][2] bi[401][3] bi[401][4] bi[402][0] bi[402][1] bi[402][2] bi[402][3] bi[402][4] bi[403][0] bi[403][1] bi[403][2] bi[403][3] bi[403][4] bi[404][0] bi[404][1] bi[404][2] bi[404][3] bi[404][4] bi[405][0] bi[405][1] bi[405][2] bi[405][3] bi[405][4] bi[406][0] bi[406][1] bi[406][2] bi[406][3] bi[406][4] bi[407][0] bi[407][1] bi[407][2] bi[407][3] bi[407][4] bi[408][0] bi[408][1] bi[408][2] bi[408][3] bi[408][4] bi[409][0] bi[409][1] bi[409][2] bi[409][3] bi[409][4] bi[410][0] bi[410][1] bi[410][2] bi[410][3] bi[410][4] bi[411][0] bi[411][1] bi[411][2] bi[411][3] bi[411][4] bi[412][0] bi[412][1] bi[412][2] bi[412][3] bi[412][4] bi[413][0] bi[413][1] bi[413][2] bi[413][3] bi[413][4] bi[414][0] bi[414][1] bi[414][2] bi[414][3] bi[414][4] bi[415][0] bi[415][1] bi[415][2] bi[415][3] bi[415][4] bi[416][0] bi[416][1] bi[416][2] bi[416][3] bi[416][4] bi[417][0] bi[417][1] bi[417][2] bi[417][3] bi[417][4] bi[418][0] bi[418][1] bi[418][2] bi[418][3] bi[418][4] bi[419][0] bi[419][1] bi[419][2] bi[419][3] bi[419][4] bi[420][0] bi[420][1] bi[420][2] bi[420][3] bi[420][4] bi[421][0] bi[421][1] bi[421][2] bi[421][3] bi[421][4] bi[422][0] bi[422][1] bi[422][2] bi[422][3] bi[422][4] bi[423][0] bi[423][1] bi[423][2] bi[423][3] bi[423][4] bi[424][0] bi[424][1] bi[424][2] bi[424][3] bi[424][4] bi[425][0] bi[425][1] bi[425][2] bi[425][3] bi[425][4] bi[426][0] bi[426][1] bi[426][2] bi[426][3] bi[426][4] bi[427][0] bi[427][1] bi[427][2] bi[427][3] bi[427][4] bi[428][0] bi[428][1] bi[428][2] bi[428][3] bi[428][4] bi[429][0] bi[429][1] bi[429][2] bi[429][3] bi[429][4] bi[430][0] bi[430][1] bi[430][2] bi[430][3] bi[430][4] bi[431][0] bi[431][1] bi[431][2] bi[431][3] bi[431][4] bi[432][0] bi[432][1] bi[432][2] bi[432][3] bi[432][4] bi[433][0] bi[433][1] bi[433][2] bi[433][3] bi[433][4] bi[434][0] bi[434][1] bi[434][2] bi[434][3] bi[434][4] bi[435][0] bi[435][1] bi[435][2] bi[435][3] bi[435][4] bi[436][0] bi[436][1] bi[436][2] bi[436][3] bi[436][4] bi[437][0] bi[437][1] bi[437][2] bi[437][3] bi[437][4] bi[438][0] bi[438][1] bi[438][2] bi[438][3] bi[438][4] bi[439][0] bi[439][1] bi[439][2] bi[439][3] bi[439][4] bi[440][0] bi[440][1] bi[440][2] bi[440][3] bi[440][4] bi[441][0] bi[441][1] bi[441][2] bi[441][3] bi[441][4] bi[442][0] bi[442][1] bi[442][2] bi[442][3] bi[442][4] bi[443][0] bi[443][1] bi[443][2] bi[443][3] bi[443][4] bi[444][0] bi[444][1] bi[444][2] bi[444][3] bi[444][4] bi[445][0] bi[445][1] bi[445][2] bi[445][3] bi[445][4] bi[446][0] bi[446][1] bi[446][2] bi[446][3] bi[446][4] bi[447][0] bi[447][1] bi[447][2] bi[447][3] bi[447][4] bi[448][0] bi[448][1] bi[448][2] bi[448][3] bi[448][4] bi[449][0] bi[449][1] bi[449][2] bi[449][3] bi[449][4] bi[450][0] bi[450][1] bi[450][2] bi[450][3] bi[450][4] bi[451][0] bi[451][1] bi[451][2] bi[451][3] bi[451][4] bi[452][0] bi[452][1] bi[452][2] bi[452][3] bi[452][4] bi[453][0] bi[453][1] bi[453][2] bi[453][3] bi[453][4] bi[454][0] bi[454][1] bi[454][2] bi[454][3] bi[454][4] bi[455][0] bi[455][1] bi[455][2] bi[455][3] bi[455][4] bi[456][0] bi[456][1] bi[456][2] bi[456][3] bi[456][4] bi[457][0] bi[457][1] bi[457][2] bi[457][3] bi[457][4] bi[458][0] bi[458][1] bi[458][2] bi[458][3] bi[458][4] bi[459][0] bi[459][1] bi[459][2] bi[459][3] bi[459][4] bi[460][0] bi[460][1] bi[460][2] bi[460][3] bi[460][4] bi[461][0] bi[461][1] bi[461][2] bi[461][3] bi[461][4] bi[462][0] bi[462][1] bi[462][2] bi[462][3] bi[462][4] bi[463][0] bi[463][1] bi[463][2] bi[463][3] bi[463][4] bi[464][0] bi[464][1] bi[464][2] bi[464][3] bi[464][4] bi[465][0] bi[465][1] bi[465][2] bi[465][3] bi[465][4] bi[466][0] bi[466][1] bi[466][2] bi[466][3] bi[466][4] bi[467][0] bi[467][1] bi[467][2] bi[467][3] bi[467][4] bi[468][0] bi[468][1] bi[468][2] bi[468][3] bi[468][4] bi[469][0] bi[469][1] bi[469][2] bi[469][3] bi[469][4] bi[470][0] bi[470][1] bi[470][2] bi[470][3] bi[470][4] bi[471][0] bi[471][1] bi[471][2] bi[471][3] bi[471][4] bi[472][0] bi[472][1] bi[472][2] bi[472][3] bi[472][4] bi[473][0] bi[473][1] bi[473][2] bi[473][3] bi[473][4] bi[474][0] bi[474][1] bi[474][2] bi[474][3] bi[474][4] bi[475][0] bi[475][1] bi[475][2] bi[475][3] bi[475][4] bi[476][0] bi[476][1] bi[476][2] bi[476][3] bi[476][4] bi[477][0] bi[477][1] bi[477][2] bi[477][3] bi[477][4] bi[478][0] bi[478][1] bi[478][2] bi[478][3] bi[478][4] bi[479][0] bi[479][1] bi[479][2] bi[479][3] bi[479][4] bi[480][0] bi[480][1] bi[480][2] bi[480][3] bi[480][4] bi[481][0] bi[481][1] bi[481][2] bi[481][3] bi[481][4] bi[482][0] bi[482][1] bi[482][2] bi[482][3] bi[482][4] bi[483][0] bi[483][1] bi[483][2] bi[483][3] bi[483][4] bi[484][0] bi[484][1] bi[484][2] bi[484][3] bi[484][4] bi[485][0] bi[485][1] bi[485][2] bi[485][3] bi[485][4] bi[486][0] bi[486][1] bi[486][2] bi[486][3] bi[486][4] bi[487][0] bi[487][1] bi[487][2] bi[487][3] bi[487][4] bi[488][0] bi[488][1] bi[488][2] bi[488][3] bi[488][4] bi[489][0] bi[489][1] bi[489][2] bi[489][3] bi[489][4] bi[490][0] bi[490][1] bi[490][2] bi[490][3] bi[490][4] bi[491][0] bi[491][1] bi[491][2] bi[491][3] bi[491][4] bi[492][0] bi[492][1] bi[492][2] bi[492][3] bi[492][4] bi[493][0] bi[493][1] bi[493][2] bi[493][3] bi[493][4] bi[494][0] bi[494][1] bi[494][2] bi[494][3] bi[494][4] bi[495][0] bi[495][1] bi[495][2] bi[495][3] bi[495][4] bi[496][0] bi[496][1] bi[496][2] bi[496][3] bi[496][4] bi[497][0] bi[497][1] bi[497][2] bi[497][3] bi[497][4] bi[498][0] bi[498][1] bi[498][2] bi[498][3] bi[498][4] bi[499][0] bi[499][1] bi[499][2] bi[499][3] bi[499][4] bi[500][0] bi[500][1] bi[500][2] bi[500][3] bi[500][4] bi[501][0] bi[501][1] bi[501][2] bi[501][3] bi[501][4] bi[502][0] bi[502][1] bi[502][2] bi[502][3] bi[502][4] bi[503][0] bi[503][1] bi[503][2] bi[503][3] bi[503][4] bi[504][0] bi[504][1] bi[504][2] bi[504][3] bi[504][4] bi[505][0] bi[505][1] bi[505][2] bi[505][3] bi[505][4] bi[506][0] bi[506][1] bi[506][2] bi[506][3] bi[506][4] bi[507][0] bi[507][1] bi[507][2] bi[507][3] bi[507][4] bi[508][0] bi[508][1] bi[508][2] bi[508][3] bi[508][4] bi[509][0] bi[509][1] bi[509][2] bi[509][3] bi[509][4] bi[510][0] bi[510][1] bi[510][2] bi[510][3] bi[510][4] bi[511][0] bi[511][1] bi[511][2] bi[511][3] bi[511][4] bi[512][0] bi[512][1] bi[512][2] bi[512][3] bi[512][4] bi[513][0] bi[513][1] bi[513][2] bi[513][3] bi[513][4] bi[514][0] bi[514][1] bi[514][2] bi[514][3] bi[514][4] bi[515][0] bi[515][1] bi[515][2] bi[515][3] bi[515][4] bi[516][0] bi[516][1] bi[516][2] bi[516][3] bi[516][4] bi[517][0] bi[517][1] bi[517][2] bi[517][3] bi[517][4] bi[518][0] bi[518][1] bi[518][2] bi[518][3] bi[518][4] bi[519][0] bi[519][1] bi[519][2] bi[519][3] bi[519][4] bi[520][0] bi[520][1] bi[520][2] bi[520][3] bi[520][4] bi[521][0] bi[521][1] bi[521][2] bi[521][3] bi[521][4] bi[522][0] bi[522][1] bi[522][2] bi[522][3] bi[522][4] bi[523][0] bi[523][1] bi[523][2] bi[523][3] bi[523][4] bi[524][0] bi[524][1] bi[524][2] bi[524][3] bi[524][4] bi[525][0] bi[525][1] bi[525][2] bi[525][3] bi[525][4] bi[526][0] bi[526][1] bi[526][2] bi[526][3] bi[526][4] bi[527][0] bi[527][1] bi[527][2] bi[527][3] bi[527][4] bi[528][0] bi[528][1] bi[528][2] bi[528][3] bi[528][4] bi[529][0] bi[529][1] bi[529][2] bi[529][3] bi[529][4] bi[530][0] bi[530][1] bi[530][2] bi[530][3] bi[530][4] bi[531][0] bi[531][1] bi[531][2] bi[531][3] bi[531][4] bi[532][0] bi[532][1] bi[532][2] bi[532][3] bi[532][4] bi[533][0] bi[533][1] bi[533][2] bi[533][3] bi[533][4] bi[534][0] bi[534][1] bi[534][2] bi[534][3] bi[534][4] bi[535][0] bi[535][1] bi[535][2] bi[535][3] bi[535][4] bi[536][0] bi[536][1] bi[536][2] bi[536][3] bi[536][4] bi[537][0] bi[537][1] bi[537][2] bi[537][3] bi[537][4] bi[538][0] bi[538][1] bi[538][2] bi[538][3] bi[538][4] bi[539][0] bi[539][1] bi[539][2] bi[539][3] bi[539][4] bi[540][0] bi[540][1] bi[540][2] bi[540][3] bi[540][4] bi[541][0] bi[541][1] bi[541][2] bi[541][3] bi[541][4] bi[542][0] bi[542][1] bi[542][2] bi[542][3] bi[542][4] bi[543][0] bi[543][1] bi[543][2] bi[543][3] bi[543][4] bi[544][0] bi[544][1] bi[544][2] bi[544][3] bi[544][4] bi[545][0] bi[545][1] bi[545][2] bi[545][3] bi[545][4] bi[546][0] bi[546][1] bi[546][2] bi[546][3] bi[546][4] bi[547][0] bi[547][1] bi[547][2] bi[547][3] bi[547][4] bi[548][0] bi[548][1] bi[548][2] bi[548][3] bi[548][4] bi[549][0] bi[549][1] bi[549][2] bi[549][3] bi[549][4] bi[550][0] bi[550][1] bi[550][2] bi[550][3] bi[550][4] bi[551][0] bi[551][1] bi[551][2] bi[551][3] bi[551][4] bi[552][0] bi[552][1] bi[552][2] bi[552][3] bi[552][4] bi[553][0] bi[553][1] bi[553][2] bi[553][3] bi[553][4] bi[554][0] bi[554][1] bi[554][2] bi[554][3] bi[554][4] bi[555][0] bi[555][1] bi[555][2] bi[555][3] bi[555][4] bi[556][0] bi[556][1] bi[556][2] bi[556][3] bi[556][4] bi[557][0] bi[557][1] bi[557][2] bi[557][3] bi[557][4] bi[558][0] bi[558][1] bi[558][2] bi[558][3] bi[558][4] bi[559][0] bi[559][1] bi[559][2] bi[559][3] bi[559][4] bi[560][0] bi[560][1] bi[560][2] bi[560][3] bi[560][4] bi[561][0] bi[561][1] bi[561][2] bi[561][3] bi[561][4] bi[562][0] bi[562][1] bi[562][2] bi[562][3] bi[562][4] bi[563][0] bi[563][1] bi[563][2] bi[563][3] bi[563][4] bi[564][0] bi[564][1] bi[564][2] bi[564][3] bi[564][4] bi[565][0] bi[565][1] bi[565][2] bi[565][3] bi[565][4] bi[566][0] bi[566][1] bi[566][2] bi[566][3] bi[566][4] bi[567][0] bi[567][1] bi[567][2] bi[567][3] bi[567][4] bi[568][0] bi[568][1] bi[568][2] bi[568][3] bi[568][4] bi[569][0] bi[569][1] bi[569][2] bi[569][3] bi[569][4] bi[570][0] bi[570][1] bi[570][2] bi[570][3] bi[570][4] bi[571][0] bi[571][1] bi[571][2] bi[571][3] bi[571][4] bi[572][0] bi[572][1] bi[572][2] bi[572][3] bi[572][4] bi[573][0] bi[573][1] bi[573][2] bi[573][3] bi[573][4] bi[574][0] bi[574][1] bi[574][2] bi[574][3] bi[574][4] bi[575][0] bi[575][1] bi[575][2] bi[575][3] bi[575][4] bi[576][0] bi[576][1] bi[576][2] bi[576][3] bi[576][4] bi[577][0] bi[577][1] bi[577][2] bi[577][3] bi[577][4] bi[578][0] bi[578][1] bi[578][2] bi[578][3] bi[578][4] bi[579][0] bi[579][1] bi[579][2] bi[579][3] bi[579][4] bi[580][0] bi[580][1] bi[580][2] bi[580][3] bi[580][4] bi[581][0] bi[581][1] bi[581][2] bi[581][3] bi[581][4] bi[582][0] bi[582][1] bi[582][2] bi[582][3] bi[582][4] bi[583][0] bi[583][1] bi[583][2] bi[583][3] bi[583][4] bi[584][0] bi[584][1] bi[584][2] bi[584][3] bi[584][4] bi[585][0] bi[585][1] bi[585][2] bi[585][3] bi[585][4] bi[586][0] bi[586][1] bi[586][2] bi[586][3] bi[586][4] bi[587][0] bi[587][1] bi[587][2] bi[587][3] bi[587][4] bi[588][0] bi[588][1] bi[588][2] bi[588][3] bi[588][4] bi[589][0] bi[589][1] bi[589][2] bi[589][3] bi[589][4] bi[590][0] bi[590][1] bi[590][2] bi[590][3] bi[590][4] bi[591][0] bi[591][1] bi[591][2] bi[591][3] bi[591][4] bi[592][0] bi[592][1] bi[592][2] bi[592][3] bi[592][4] bi[593][0] bi[593][1] bi[593][2] bi[593][3] bi[593][4] bi[594][0] bi[594][1] bi[594][2] bi[594][3] bi[594][4] bi[595][0] bi[595][1] bi[595][2] bi[595][3] bi[595][4] bi[596][0] bi[596][1] bi[596][2] bi[596][3] bi[596][4] bi[597][0] bi[597][1] bi[597][2] bi[597][3] bi[597][4] bi[598][0] bi[598][1] bi[598][2] bi[598][3] bi[598][4] bi[599][0] bi[599][1] bi[599][2] bi[599][3] bi[599][4] bi[600][0] bi[600][1] bi[600][2] bi[600][3] bi[600][4] bi[601][0] bi[601][1] bi[601][2] bi[601][3] bi[601][4] bi[602][0] bi[602][1] bi[602][2] bi[602][3] bi[602][4] bi[603][0] bi[603][1] bi[603][2] bi[603][3] bi[603][4] bi[604][0] bi[604][1] bi[604][2] bi[604][3] bi[604][4] bi[605][0] bi[605][1] bi[605][2] bi[605][3] bi[605][4] bi[606][0] bi[606][1] bi[606][2] bi[606][3] bi[606][4] bi[607][0] bi[607][1] bi[607][2] bi[607][3] bi[607][4] bi[608][0] bi[608][1] bi[608][2] bi[608][3] bi[608][4] bi[609][0] bi[609][1] bi[609][2] bi[609][3] bi[609][4] bi[610][0] bi[610][1] bi[610][2] bi[610][3] bi[610][4] bi[611][0] bi[611][1] bi[611][2] bi[611][3] bi[611][4] bi[612][0] bi[612][1] bi[612][2] bi[612][3] bi[612][4] bi[613][0] bi[613][1] bi[613][2] bi[613][3] bi[613][4] bi[614][0] bi[614][1] bi[614][2] bi[614][3] bi[614][4] bi[615][0] bi[615][1] bi[615][2] bi[615][3] bi[615][4] bi[616][0] bi[616][1] bi[616][2] bi[616][3] bi[616][4] bi[617][0] bi[617][1] bi[617][2] bi[617][3] bi[617][4] bi[618][0] bi[618][1] bi[618][2] bi[618][3] bi[618][4] bi[619][0] bi[619][1] bi[619][2] bi[619][3] bi[619][4] bi[620][0] bi[620][1] bi[620][2] bi[620][3] bi[620][4] bi[621][0] bi[621][1] bi[621][2] bi[621][3] bi[621][4] bi[622][0] bi[622][1] bi[622][2] bi[622][3] bi[622][4] bi[623][0] bi[623][1] bi[623][2] bi[623][3] bi[623][4] bi[624][0] bi[624][1] bi[624][2] bi[624][3] bi[624][4] bi[625][0] bi[625][1] bi[625][2] bi[625][3] bi[625][4] bi[626][0] bi[626][1] bi[626][2] bi[626][3] bi[626][4] bi[627][0] bi[627][1] bi[627][2] bi[627][3] bi[627][4] bi[628][0] bi[628][1] bi[628][2] bi[628][3] bi[628][4] bi[629][0] bi[629][1] bi[629][2] bi[629][3] bi[629][4] bi[630][0] bi[630][1] bi[630][2] bi[630][3] bi[630][4] bi[631][0] bi[631][1] bi[631][2] bi[631][3] bi[631][4] bi[632][0] bi[632][1] bi[632][2] bi[632][3] bi[632][4] bi[633][0] bi[633][1] bi[633][2] bi[633][3] bi[633][4] bi[634][0] bi[634][1] bi[634][2] bi[634][3] bi[634][4] bi[635][0] bi[635][1] bi[635][2] bi[635][3] bi[635][4] bi[636][0] bi[636][1] bi[636][2] bi[636][3] bi[636][4] bi[637][0] bi[637][1] bi[637][2] bi[637][3] bi[637][4] bi[638][0] bi[638][1] bi[638][2] bi[638][3] bi[638][4] bi[639][0] bi[639][1] bi[639][2] bi[639][3] bi[639][4] bi[640][0] bi[640][1] bi[640][2] bi[640][3] bi[640][4] bi[641][0] bi[641][1] bi[641][2] bi[641][3] bi[641][4] bi[642][0] bi[642][1] bi[642][2] bi[642][3] bi[642][4] bi[643][0] bi[643][1] bi[643][2] bi[643][3] bi[643][4] bi[644][0] bi[644][1] bi[644][2] bi[644][3] bi[644][4] bi[645][0] bi[645][1] bi[645][2] bi[645][3] bi[645][4] bi[646][0] bi[646][1] bi[646][2] bi[646][3] bi[646][4] bi[647][0] bi[647][1] bi[647][2] bi[647][3] bi[647][4] bi[648][0] bi[648][1] bi[648][2] bi[648][3] bi[648][4] bi[649][0] bi[649][1] bi[649][2] bi[649][3] bi[649][4] bi[650][0] bi[650][1] bi[650][2] bi[650][3] bi[650][4] bi[651][0] bi[651][1] bi[651][2] bi[651][3] bi[651][4] bi[652][0] bi[652][1] bi[652][2] bi[652][3] bi[652][4] bi[653][0] bi[653][1] bi[653][2] bi[653][3] bi[653][4] bi[654][0] bi[654][1] bi[654][2] bi[654][3] bi[654][4] bi[655][0] bi[655][1] bi[655][2] bi[655][3] bi[655][4] bi[656][0] bi[656][1] bi[656][2] bi[656][3] bi[656][4] bi[657][0] bi[657][1] bi[657][2] bi[657][3] bi[657][4] bi[658][0] bi[658][1] bi[658][2] bi[658][3] bi[658][4] bi[659][0] bi[659][1] bi[659][2] bi[659][3] bi[659][4] bi[660][0] bi[660][1] bi[660][2] bi[660][3] bi[660][4] bi[661][0] bi[661][1] bi[661][2] bi[661][3] bi[661][4] bi[662][0] bi[662][1] bi[662][2] bi[662][3] bi[662][4] bi[663][0] bi[663][1] bi[663][2] bi[663][3] bi[663][4] bi[664][0] bi[664][1] bi[664][2] bi[664][3] bi[664][4] bi[665][0] bi[665][1] bi[665][2] bi[665][3] bi[665][4] bi[666][0] bi[666][1] bi[666][2] bi[666][3] bi[666][4] bi[667][0] bi[667][1] bi[667][2] bi[667][3] bi[667][4] bi[668][0] bi[668][1] bi[668][2] bi[668][3] bi[668][4] bi[669][0] bi[669][1] bi[669][2] bi[669][3] bi[669][4] bi[670][0] bi[670][1] bi[670][2] bi[670][3] bi[670][4] bi[671][0] bi[671][1] bi[671][2] bi[671][3] bi[671][4] bi[672][0] bi[672][1] bi[672][2] bi[672][3] bi[672][4] bi[673][0] bi[673][1] bi[673][2] bi[673][3] bi[673][4] bi[674][0] bi[674][1] bi[674][2] bi[674][3] bi[674][4] bi[675][0] bi[675][1] bi[675][2] bi[675][3] bi[675][4] bi[676][0] bi[676][1] bi[676][2] bi[676][3] bi[676][4] bi[677][0] bi[677][1] bi[677][2] bi[677][3] bi[677][4] bi[678][0] bi[678][1] bi[678][2] bi[678][3] bi[678][4] bi[679][0] bi[679][1] bi[679][2] bi[679][3] bi[679][4] bi[680][0] bi[680][1] bi[680][2] bi[680][3] bi[680][4] bi[681][0] bi[681][1] bi[681][2] bi[681][3] bi[681][4] bi[682][0] bi[682][1] bi[682][2] bi[682][3] bi[682][4] bi[683][0] bi[683][1] bi[683][2] bi[683][3] bi[683][4] bi[684][0] bi[684][1] bi[684][2] bi[684][3] bi[684][4] bi[685][0] bi[685][1] bi[685][2] bi[685][3] bi[685][4] bi[686][0] bi[686][1] bi[686][2] bi[686][3] bi[686][4] bi[687][0] bi[687][1] bi[687][2] bi[687][3] bi[687][4] bi[688][0] bi[688][1] bi[688][2] bi[688][3] bi[688][4] bi[689][0] bi[689][1] bi[689][2] bi[689][3] bi[689][4] bi[690][0] bi[690][1] bi[690][2] bi[690][3] bi[690][4] bi[691][0] bi[691][1] bi[691][2] bi[691][3] bi[691][4] bi[692][0] bi[692][1] bi[692][2] bi[692][3] bi[692][4] bi[693][0] bi[693][1] bi[693][2] bi[693][3] bi[693][4] bi[694][0] bi[694][1] bi[694][2] bi[694][3] bi[694][4] bi[695][0] bi[695][1] bi[695][2] bi[695][3] bi[695][4] bi[696][0] bi[696][1] bi[696][2] bi[696][3] bi[696][4] bi[697][0] bi[697][1] bi[697][2] bi[697][3] bi[697][4] bi[698][0] bi[698][1] bi[698][2] bi[698][3] bi[698][4] bi[699][0] bi[699][1] bi[699][2] bi[699][3] bi[699][4] bi[700][0] bi[700][1] bi[700][2] bi[700][3] bi[700][4] bi[701][0] bi[701][1] bi[701][2] bi[701][3] bi[701][4] bi[702][0] bi[702][1] bi[702][2] bi[702][3] bi[702][4] bi[703][0] bi[703][1] bi[703][2] bi[703][3] bi[703][4] bi[704][0] bi[704][1] bi[704][2] bi[704][3] bi[704][4] bi[705][0] bi[705][1] bi[705][2] bi[705][3] bi[705][4] bi[706][0] bi[706][1] bi[706][2] bi[706][3] bi[706][4] bi[707][0] bi[707][1] bi[707][2] bi[707][3] bi[707][4] bi[708][0] bi[708][1] bi[708][2] bi[708][3] bi[708][4] bi[709][0] bi[709][1] bi[709][2] bi[709][3] bi[709][4] bi[710][0] bi[710][1] bi[710][2] bi[710][3] bi[710][4] bi[711][0] bi[711][1] bi[711][2] bi[711][3] bi[711][4] bi[712][0] bi[712][1] bi[712][2] bi[712][3] bi[712][4] bi[713][0] bi[713][1] bi[713][2] bi[713][3] bi[713][4] bi[714][0] bi[714][1] bi[714][2] bi[714][3] bi[714][4] bi[715][0] bi[715][1] bi[715][2] bi[715][3] bi[715][4] bi[716][0] bi[716][1] bi[716][2] bi[716][3] bi[716][4] bi[717][0] bi[717][1] bi[717][2] bi[717][3] bi[717][4] bi[718][0] bi[718][1] bi[718][2] bi[718][3] bi[718][4] bi[719][0] bi[719][1] bi[719][2] bi[719][3] bi[719][4] bi[720][0] bi[720][1] bi[720][2] bi[720][3] bi[720][4] bi[721][0] bi[721][1] bi[721][2] bi[721][3] bi[721][4] bi[722][0] bi[722][1] bi[722][2] bi[722][3] bi[722][4] bi[723][0] bi[723][1] bi[723][2] bi[723][3] bi[723][4] bi[724][0] bi[724][1] bi[724][2] bi[724][3] bi[724][4] bi[725][0] bi[725][1] bi[725][2] bi[725][3] bi[725][4] bi[726][0] bi[726][1] bi[726][2] bi[726][3] bi[726][4] bi[727][0] bi[727][1] bi[727][2] bi[727][3] bi[727][4] bi[728][0] bi[728][1] bi[728][2] bi[728][3] bi[728][4] bi[729][0] bi[729][1] bi[729][2] bi[729][3] bi[729][4] bi[730][0] bi[730][1] bi[730][2] bi[730][3] bi[730][4] bi[731][0] bi[731][1] bi[731][2] bi[731][3] bi[731][4] bi[732][0] bi[732][1] bi[732][2] bi[732][3] bi[732][4] bi[733][0] bi[733][1] bi[733][2] bi[733][3] bi[733][4] bi[734][0] bi[734][1] bi[734][2] bi[734][3] bi[734][4] bi[735][0] bi[735][1] bi[735][2] bi[735][3] bi[735][4] bi[736][0] bi[736][1] bi[736][2] bi[736][3] bi[736][4] bi[737][0] bi[737][1] bi[737][2] bi[737][3] bi[737][4] bi[738][0] bi[738][1] bi[738][2] bi[738][3] bi[738][4] bi[739][0] bi[739][1] bi[739][2] bi[739][3] bi[739][4] bi[740][0] bi[740][1] bi[740][2] bi[740][3] bi[740][4] bi[741][0] bi[741][1] bi[741][2] bi[741][3] bi[741][4] bi[742][0] bi[742][1] bi[742][2] bi[742][3] bi[742][4] bi[743][0] bi[743][1] bi[743][2] bi[743][3] bi[743][4] bi[744][0] bi[744][1] bi[744][2] bi[744][3] bi[744][4] bi[745][0] bi[745][1] bi[745][2] bi[745][3] bi[745][4] bi[746][0] bi[746][1] bi[746][2] bi[746][3] bi[746][4] bi[747][0] bi[747][1] bi[747][2] bi[747][3] bi[747][4] bi[748][0] bi[748][1] bi[748][2] bi[748][3] bi[748][4] bi[749][0] bi[749][1] bi[749][2] bi[749][3] bi[749][4] bi[750][0] bi[750][1] bi[750][2] bi[750][3] bi[750][4] bi[751][0] bi[751][1] bi[751][2] bi[751][3] bi[751][4] bi[752][0] bi[752][1] bi[752][2] bi[752][3] bi[752][4] bi[753][0] bi[753][1] bi[753][2] bi[753][3] bi[753][4] bi[754][0] bi[754][1] bi[754][2] bi[754][3] bi[754][4] bi[755][0] bi[755][1] bi[755][2] bi[755][3] bi[755][4] bi[756][0] bi[756][1] bi[756][2] bi[756][3] bi[756][4] bi[757][0] bi[757][1] bi[757][2] bi[757][3] bi[757][4] bi[758][0] bi[758][1] bi[758][2] bi[758][3] bi[758][4] bi[759][0] bi[759][1] bi[759][2] bi[759][3] bi[759][4] bi[760][0] bi[760][1] bi[760][2] bi[760][3] bi[760][4] bi[761][0] bi[761][1] bi[761][2] bi[761][3] bi[761][4] bi[762][0] bi[762][1] bi[762][2] bi[762][3] bi[762][4] bi[763][0] bi[763][1] bi[763][2] bi[763][3] bi[763][4] bi[764][0] bi[764][1] bi[764][2] bi[764][3] bi[764][4] bi[765][0] bi[765][1] bi[765][2] bi[765][3] bi[765][4] bi[766][0] bi[766][1] bi[766][2] bi[766][3] bi[766][4] bi[767][0] bi[767][1] bi[767][2] bi[767][3] bi[767][4] bi[768][0] bi[768][1] bi[768][2] bi[768][3] bi[768][4] bi[769][0] bi[769][1] bi[769][2] bi[769][3] bi[769][4] bi[770][0] bi[770][1] bi[770][2] bi[770][3] bi[770][4] bi[771][0] bi[771][1] bi[771][2] bi[771][3] bi[771][4] bi[772][0] bi[772][1] bi[772][2] bi[772][3] bi[772][4] bi[773][0] bi[773][1] bi[773][2] bi[773][3] bi[773][4] bi[774][0] bi[774][1] bi[774][2] bi[774][3] bi[774][4] bi[775][0] bi[775][1] bi[775][2] bi[775][3] bi[775][4] bi[776][0] bi[776][1] bi[776][2] bi[776][3] bi[776][4] bi[777][0] bi[777][1] bi[777][2] bi[777][3] bi[777][4] bi[778][0] bi[778][1] bi[778][2] bi[778][3] bi[778][4] bi[779][0] bi[779][1] bi[779][2] bi[779][3] bi[779][4] bi[780][0] bi[780][1] bi[780][2] bi[780][3] bi[780][4] bi[781][0] bi[781][1] bi[781][2] bi[781][3] bi[781][4] bi[782][0] bi[782][1] bi[782][2] bi[782][3] bi[782][4] bi[783][0] bi[783][1] bi[783][2] bi[783][3] bi[783][4] bi[784][0] bi[784][1] bi[784][2] bi[784][3] bi[784][4] bi[785][0] bi[785][1] bi[785][2] bi[785][3] bi[785][4] bi[786][0] bi[786][1] bi[786][2] bi[786][3] bi[786][4] bi[787][0] bi[787][1] bi[787][2] bi[787][3] bi[787][4] bi[788][0] bi[788][1] bi[788][2] bi[788][3] bi[788][4] bi[789][0] bi[789][1] bi[789][2] bi[789][3] bi[789][4] bi[790][0] bi[790][1] bi[790][2] bi[790][3] bi[790][4] bi[791][0] bi[791][1] bi[791][2] bi[791][3] bi[791][4] bi[792][0] bi[792][1] bi[792][2] bi[792][3] bi[792][4] bi[793][0] bi[793][1] bi[793][2] bi[793][3] bi[793][4] bi[794][0] bi[794][1] bi[794][2] bi[794][3] bi[794][4] bi[795][0] bi[795][1] bi[795][2] bi[795][3] bi[795][4] bi[796][0] bi[796][1] bi[796][2] bi[796][3] bi[796][4] bi[797][0] bi[797][1] bi[797][2] bi[797][3] bi[797][4] bi[798][0] bi[798][1] bi[798][2] bi[798][3] bi[798][4] bi[799][0] bi[799][1] bi[799][2] bi[799][3] bi[799][4] bi[800][0] bi[800][1] bi[800][2] bi[800][3] bi[800][4] bi[801][0] bi[801][1] bi[801][2] bi[801][3] bi[801][4] bi[802][0] bi[802][1] bi[802][2] bi[802][3] bi[802][4] bi[803][0] bi[803][1] bi[803][2] bi[803][3] bi[803][4] bi[804][0] bi[804][1] bi[804][2] bi[804][3] bi[804][4] bi[805][0] bi[805][1] bi[805][2] bi[805][3] bi[805][4] bi[806][0] bi[806][1] bi[806][2] bi[806][3] bi[806][4] bi[807][0] bi[807][1] bi[807][2] bi[807][3] bi[807][4] bi[808][0] bi[808][1] bi[808][2] bi[808][3] bi[808][4] bi[809][0] bi[809][1] bi[809][2] bi[809][3] bi[809][4] bi[810][0] bi[810][1] bi[810][2] bi[810][3] bi[810][4] bi[811][0] bi[811][1] bi[811][2] bi[811][3] bi[811][4] bi[812][0] bi[812][1] bi[812][2] bi[812][3] bi[812][4] bi[813][0] bi[813][1] bi[813][2] bi[813][3] bi[813][4] bi[814][0] bi[814][1] bi[814][2] bi[814][3] bi[814][4] bi[815][0] bi[815][1] bi[815][2] bi[815][3] bi[815][4] bi[816][0] bi[816][1] bi[816][2] bi[816][3] bi[816][4] bi[817][0] bi[817][1] bi[817][2] bi[817][3] bi[817][4] bi[818][0] bi[818][1] bi[818][2] bi[818][3] bi[818][4] bi[819][0] bi[819][1] bi[819][2] bi[819][3] bi[819][4] bi[820][0] bi[820][1] bi[820][2] bi[820][3] bi[820][4] bi[821][0] bi[821][1] bi[821][2] bi[821][3] bi[821][4] bi[822][0] bi[822][1] bi[822][2] bi[822][3] bi[822][4] bi[823][0] bi[823][1] bi[823][2] bi[823][3] bi[823][4] bi[824][0] bi[824][1] bi[824][2] bi[824][3] bi[824][4] bi[825][0] bi[825][1] bi[825][2] bi[825][3] bi[825][4] bi[826][0] bi[826][1] bi[826][2] bi[826][3] bi[826][4] bi[827][0] bi[827][1] bi[827][2] bi[827][3] bi[827][4] bi[828][0] bi[828][1] bi[828][2] bi[828][3] bi[828][4] bi[829][0] bi[829][1] bi[829][2] bi[829][3] bi[829][4] bi[830][0] bi[830][1] bi[830][2] bi[830][3] bi[830][4] bi[831][0] bi[831][1] bi[831][2] bi[831][3] bi[831][4] bi[832][0] bi[832][1] bi[832][2] bi[832][3] bi[832][4] bi[833][0] bi[833][1] bi[833][2] bi[833][3] bi[833][4] bi[834][0] bi[834][1] bi[834][2] bi[834][3] bi[834][4] bi[835][0] bi[835][1] bi[835][2] bi[835][3] bi[835][4] bi[836][0] bi[836][1] bi[836][2] bi[836][3] bi[836][4] bi[837][0] bi[837][1] bi[837][2] bi[837][3] bi[837][4] bi[838][0] bi[838][1] bi[838][2] bi[838][3] bi[838][4] bi[839][0] bi[839][1] bi[839][2] bi[839][3] bi[839][4] bi[840][0] bi[840][1] bi[840][2] bi[840][3] bi[840][4] bi[841][0] bi[841][1] bi[841][2] bi[841][3] bi[841][4] bi[842][0] bi[842][1] bi[842][2] bi[842][3] bi[842][4] bi[843][0] bi[843][1] bi[843][2] bi[843][3] bi[843][4] bi[844][0] bi[844][1] bi[844][2] bi[844][3] bi[844][4] bi[845][0] bi[845][1] bi[845][2] bi[845][3] bi[845][4] bi[846][0] bi[846][1] bi[846][2] bi[846][3] bi[846][4] bi[847][0] bi[847][1] bi[847][2] bi[847][3] bi[847][4] bi[848][0] bi[848][1] bi[848][2] bi[848][3] bi[848][4] bi[849][0] bi[849][1] bi[849][2] bi[849][3] bi[849][4] bi[850][0] bi[850][1] bi[850][2] bi[850][3] bi[850][4] bi[851][0] bi[851][1] bi[851][2] bi[851][3] bi[851][4] bi[852][0] bi[852][1] bi[852][2] bi[852][3] bi[852][4] bi[853][0] bi[853][1] bi[853][2] bi[853][3] bi[853][4] bi[854][0] bi[854][1] bi[854][2] bi[854][3] bi[854][4] bi[855][0] bi[855][1] bi[855][2] bi[855][3] bi[855][4] bi[856][0] bi[856][1] bi[856][2] bi[856][3] bi[856][4] bi[857][0] bi[857][1] bi[857][2] bi[857][3] bi[857][4] bi[858][0] bi[858][1] bi[858][2] bi[858][3] bi[858][4] bi[859][0] bi[859][1] bi[859][2] bi[859][3] bi[859][4] bi[860][0] bi[860][1] bi[860][2] bi[860][3] bi[860][4] bi[861][0] bi[861][1] bi[861][2] bi[861][3] bi[861][4] bi[862][0] bi[862][1] bi[862][2] bi[862][3] bi[862][4] bi[863][0] bi[863][1] bi[863][2] bi[863][3] bi[863][4] bi[864][0] bi[864][1] bi[864][2] bi[864][3] bi[864][4] bi[865][0] bi[865][1] bi[865][2] bi[865][3] bi[865][4] bi[866][0] bi[866][1] bi[866][2] bi[866][3] bi[866][4] bi[867][0] bi[867][1] bi[867][2] bi[867][3] bi[867][4] bi[868][0] bi[868][1] bi[868][2] bi[868][3] bi[868][4] bi[869][0] bi[869][1] bi[869][2] bi[869][3] bi[869][4] bi[870][0] bi[870][1] bi[870][2] bi[870][3] bi[870][4] bi[871][0] bi[871][1] bi[871][2] bi[871][3] bi[871][4] bi[872][0] bi[872][1] bi[872][2] bi[872][3] bi[872][4] bi[873][0] bi[873][1] bi[873][2] bi[873][3] bi[873][4] bi[874][0] bi[874][1] bi[874][2] bi[874][3] bi[874][4] bi[875][0] bi[875][1] bi[875][2] bi[875][3] bi[875][4] bi[876][0] bi[876][1] bi[876][2] bi[876][3] bi[876][4] bi[877][0] bi[877][1] bi[877][2] bi[877][3] bi[877][4] bi[878][0] bi[878][1] bi[878][2] bi[878][3] bi[878][4] bi[879][0] bi[879][1] bi[879][2] bi[879][3] bi[879][4] bi[880][0] bi[880][1] bi[880][2] bi[880][3] bi[880][4] bi[881][0] bi[881][1] bi[881][2] bi[881][3] bi[881][4] bi[882][0] bi[882][1] bi[882][2] bi[882][3] bi[882][4] bi[883][0] bi[883][1] bi[883][2] bi[883][3] bi[883][4] bi[884][0] bi[884][1] bi[884][2] bi[884][3] bi[884][4] bi[885][0] bi[885][1] bi[885][2] bi[885][3] bi[885][4] bi[886][0] bi[886][1] bi[886][2] bi[886][3] bi[886][4] bi[887][0] bi[887][1] bi[887][2] bi[887][3] bi[887][4] bi[888][0] bi[888][1] bi[888][2] bi[888][3] bi[888][4] bi[889][0] bi[889][1] bi[889][2] bi[889][3] bi[889][4] bi[890][0] bi[890][1] bi[890][2] bi[890][3] bi[890][4] bi[891][0] bi[891][1] bi[891][2] bi[891][3] bi[891][4] bi[892][0] bi[892][1] bi[892][2] bi[892][3] bi[892][4] bi[893][0] bi[893][1] bi[893][2] bi[893][3] bi[893][4] bi[894][0] bi[894][1] bi[894][2] bi[894][3] bi[894][4] bi[895][0] bi[895][1] bi[895][2] bi[895][3] bi[895][4] bi[896][0] bi[896][1] bi[896][2] bi[896][3] bi[896][4] bi[897][0] bi[897][1] bi[897][2] bi[897][3] bi[897][4] bi[898][0] bi[898][1] bi[898][2] bi[898][3] bi[898][4] bi[899][0] bi[899][1] bi[899][2] bi[899][3] bi[899][4] bi[900][0] bi[900][1] bi[900][2] bi[900][3] bi[900][4] bi[901][0] bi[901][1] bi[901][2] bi[901][3] bi[901][4] bi[902][0] bi[902][1] bi[902][2] bi[902][3] bi[902][4] bi[903][0] bi[903][1] bi[903][2] bi[903][3] bi[903][4] bi[904][0] bi[904][1] bi[904][2] bi[904][3] bi[904][4] bi[905][0] bi[905][1] bi[905][2] bi[905][3] bi[905][4] bi[906][0] bi[906][1] bi[906][2] bi[906][3] bi[906][4] bi[907][0] bi[907][1] bi[907][2] bi[907][3] bi[907][4] bi[908][0] bi[908][1] bi[908][2] bi[908][3] bi[908][4] bi[909][0] bi[909][1] bi[909][2] bi[909][3] bi[909][4] bi[910][0] bi[910][1] bi[910][2] bi[910][3] bi[910][4] bi[911][0] bi[911][1] bi[911][2] bi[911][3] bi[911][4] bi[912][0] bi[912][1] bi[912][2] bi[912][3] bi[912][4] bi[913][0] bi[913][1] bi[913][2] bi[913][3] bi[913][4] bi[914][0] bi[914][1] bi[914][2] bi[914][3] bi[914][4] bi[915][0] bi[915][1] bi[915][2] bi[915][3] bi[915][4] bi[916][0] bi[916][1] bi[916][2] bi[916][3] bi[916][4] bi[917][0] bi[917][1] bi[917][2] bi[917][3] bi[917][4] bi[918][0] bi[918][1] bi[918][2] bi[918][3] bi[918][4] bi[919][0] bi[919][1] bi[919][2] bi[919][3] bi[919][4] bi[920][0] bi[920][1] bi[920][2] bi[920][3] bi[920][4] bi[921][0] bi[921][1] bi[921][2] bi[921][3] bi[921][4] bi[922][0] bi[922][1] bi[922][2] bi[922][3] bi[922][4] bi[923][0] bi[923][1] bi[923][2] bi[923][3] bi[923][4] bi[924][0] bi[924][1] bi[924][2] bi[924][3] bi[924][4] bi[925][0] bi[925][1] bi[925][2] bi[925][3] bi[925][4] bi[926][0] bi[926][1] bi[926][2] bi[926][3] bi[926][4] bi[927][0] bi[927][1] bi[927][2] bi[927][3] bi[927][4] bi[928][0] bi[928][1] bi[928][2] bi[928][3] bi[928][4] bi[929][0] bi[929][1] bi[929][2] bi[929][3] bi[929][4] bi[930][0] bi[930][1] bi[930][2] bi[930][3] bi[930][4] bi[931][0] bi[931][1] bi[931][2] bi[931][3] bi[931][4] bi[932][0] bi[932][1] bi[932][2] bi[932][3] bi[932][4] bi[933][0] bi[933][1] bi[933][2] bi[933][3] bi[933][4] bi[934][0] bi[934][1] bi[934][2] bi[934][3] bi[934][4] bi[935][0] bi[935][1] bi[935][2] bi[935][3] bi[935][4] bi[936][0] bi[936][1] bi[936][2] bi[936][3] bi[936][4] bi[937][0] bi[937][1] bi[937][2] bi[937][3] bi[937][4] bi[938][0] bi[938][1] bi[938][2] bi[938][3] bi[938][4] bi[939][0] bi[939][1] bi[939][2] bi[939][3] bi[939][4] bi[940][0] bi[940][1] bi[940][2] bi[940][3] bi[940][4] bi[941][0] bi[941][1] bi[941][2] bi[941][3] bi[941][4] bi[942][0] bi[942][1] bi[942][2] bi[942][3] bi[942][4] bi[943][0] bi[943][1] bi[943][2] bi[943][3] bi[943][4] bi[944][0] bi[944][1] bi[944][2] bi[944][3] bi[944][4] bi[945][0] bi[945][1] bi[945][2] bi[945][3] bi[945][4] bi[946][0] bi[946][1] bi[946][2] bi[946][3] bi[946][4] bi[947][0] bi[947][1] bi[947][2] bi[947][3] bi[947][4] bi[948][0] bi[948][1] bi[948][2] bi[948][3] bi[948][4] bi[949][0] bi[949][1] bi[949][2] bi[949][3] bi[949][4] bi[950][0] bi[950][1] bi[950][2] bi[950][3] bi[950][4] bi[951][0] bi[951][1] bi[951][2] bi[951][3] bi[951][4] bi[952][0] bi[952][1] bi[952][2] bi[952][3] bi[952][4] bi[953][0] bi[953][1] bi[953][2] bi[953][3] bi[953][4] bi[954][0] bi[954][1] bi[954][2] bi[954][3] bi[954][4] bi[955][0] bi[955][1] bi[955][2] bi[955][3] bi[955][4] bi[956][0] bi[956][1] bi[956][2] bi[956][3] bi[956][4] bi[957][0] bi[957][1] bi[957][2] bi[957][3] bi[957][4] bi[958][0] bi[958][1] bi[958][2] bi[958][3] bi[958][4] bi[959][0] bi[959][1] bi[959][2] bi[959][3] bi[959][4] bi[960][0] bi[960][1] bi[960][2] bi[960][3] bi[960][4] bi[961][0] bi[961][1] bi[961][2] bi[961][3] bi[961][4] bi[962][0] bi[962][1] bi[962][2] bi[962][3] bi[962][4] bi[963][0] bi[963][1] bi[963][2] bi[963][3] bi[963][4] bi[964][0] bi[964][1] bi[964][2] bi[964][3] bi[964][4] bi[965][0] bi[965][1] bi[965][2] bi[965][3] bi[965][4] bi[966][0] bi[966][1] bi[966][2] bi[966][3] bi[966][4] bi[967][0] bi[967][1] bi[967][2] bi[967][3] bi[967][4] bi[968][0] bi[968][1] bi[968][2] bi[968][3] bi[968][4] bi[969][0] bi[969][1] bi[969][2] bi[969][3] bi[969][4] bi[970][0] bi[970][1] bi[970][2] bi[970][3] bi[970][4] bi[971][0] bi[971][1] bi[971][2] bi[971][3] bi[971][4] bi[972][0] bi[972][1] bi[972][2] bi[972][3] bi[972][4] bi[973][0] bi[973][1] bi[973][2] bi[973][3] bi[973][4] bi[974][0] bi[974][1] bi[974][2] bi[974][3] bi[974][4] bi[975][0] bi[975][1] bi[975][2] bi[975][3] bi[975][4] bi[976][0] bi[976][1] bi[976][2] bi[976][3] bi[976][4] bi[977][0] bi[977][1] bi[977][2] bi[977][3] bi[977][4] bi[978][0] bi[978][1] bi[978][2] bi[978][3] bi[978][4] bi[979][0] bi[979][1] bi[979][2] bi[979][3] bi[979][4] bi[980][0] bi[980][1] bi[980][2] bi[980][3] bi[980][4] bi[981][0] bi[981][1] bi[981][2] bi[981][3] bi[981][4] bi[982][0] bi[982][1] bi[982][2] bi[982][3] bi[982][4] bi[983][0] bi[983][1] bi[983][2] bi[983][3] bi[983][4] bi[984][0] bi[984][1] bi[984][2] bi[984][3] bi[984][4] bi[985][0] bi[985][1] bi[985][2] bi[985][3] bi[985][4] bi[986][0] bi[986][1] bi[986][2] bi[986][3] bi[986][4] bi[987][0] bi[987][1] bi[987][2] bi[987][3] bi[987][4] bi[988][0] bi[988][1] bi[988][2] bi[988][3] bi[988][4] bi[989][0] bi[989][1] bi[989][2] bi[989][3] bi[989][4] bi[990][0] bi[990][1] bi[990][2] bi[990][3] bi[990][4] bi[991][0] bi[991][1] bi[991][2] bi[991][3] bi[991][4] bi[992][0] bi[992][1] bi[992][2] bi[992][3] bi[992][4] bi[993][0] bi[993][1] bi[993][2] bi[993][3] bi[993][4] bi[994][0] bi[994][1] bi[994][2] bi[994][3] bi[994][4] bi[995][0] bi[995][1] bi[995][2] bi[995][3] bi[995][4] bi[996][0] bi[996][1] bi[996][2] bi[996][3] bi[996][4] bi[997][0] bi[997][1] bi[997][2] bi[997][3] bi[997][4] bi[998][0] bi[998][1] bi[998][2] bi[998][3] bi[998][4] bi[999][0] bi[999][1] bi[999][2] bi[999][3] bi[999][4] bi[1000][0] bi[1000][1] bi[1000][2] bi[1000][3] bi[1000][4] bi[1001][0] bi[1001][1] bi[1001][2] bi[1001][3] bi[1001][4] bi[1002][0] bi[1002][1] bi[1002][2] bi[1002][3] bi[1002][4] bi[1003][0] bi[1003][1] bi[1003][2] bi[1003][3] bi[1003][4] bi[1004][0] bi[1004][1] bi[1004][2] bi[1004][3] bi[1004][4] bi[1005][0] bi[1005][1] bi[1005][2] bi[1005][3] bi[1005][4] bi[1006][0] bi[1006][1] bi[1006][2] bi[1006][3] bi[1006][4] bi[1007][0] bi[1007][1] bi[1007][2] bi[1007][3] bi[1007][4] bi[1008][0] bi[1008][1] bi[1008][2] bi[1008][3] bi[1008][4] bi[1009][0] bi[1009][1] bi[1009][2] bi[1009][3] bi[1009][4] bi[1010][0] bi[1010][1] bi[1010][2] bi[1010][3] bi[1010][4] bi[1011][0] bi[1011][1] bi[1011][2] bi[1011][3] bi[1011][4] bi[1012][0] bi[1012][1] bi[1012][2] bi[1012][3] bi[1012][4] bi[1013][0] bi[1013][1] bi[1013][2] bi[1013][3] bi[1013][4] bi[1014][0] bi[1014][1] bi[1014][2] bi[1014][3] bi[1014][4] bi[1015][0] bi[1015][1] bi[1015][2] bi[1015][3] bi[1015][4] bi[1016][0] bi[1016][1] bi[1016][2] bi[1016][3] bi[1016][4] bi[1017][0] bi[1017][1] bi[1017][2] bi[1017][3] bi[1017][4] bi[1018][0] bi[1018][1] bi[1018][2] bi[1018][3] bi[1018][4] bi[1019][0] bi[1019][1] bi[1019][2] bi[1019][3] bi[1019][4] bi[1020][0] bi[1020][1] bi[1020][2] bi[1020][3] bi[1020][4] bi[1021][0] bi[1021][1] bi[1021][2] bi[1021][3] bi[1021][4] bi[1022][0] bi[1022][1] bi[1022][2] bi[1022][3] bi[1022][4] bi[1023][0] bi[1023][1] bi[1023][2] bi[1023][3] bi[1023][4] g[0] g[1] g[2] g[3]
123.70/47.10	v 	</list>
123.70/47.10	v 	<values>
123.70/47.10	v 		0 3 14 57 231 924 626 458 810 170 682 680 673 645 535 93 373 470 857 359 413 630 472 867 398 569 230 923 620 435 716 818 202 809 166 664 609 390 537 103 412 625 453 789 86 345 356 402 584 289 135 540 114 456 800 130 520 34 136 545 132 528 64 256 2 8 32 129 516 17 71 284 113 452 785 70 280 98 392 544 128 512 1 5 21 85 340 336 323 269 52 208 832 257 7 28 115 460 817 196 784 67 268 49 198 792 96 384 513 6 25 101 406 601 357 404 593 327 285 116 465 836 274 72 290 139 556 177 708 787 78 312 227 909 566 216 864 387 525 55 221 884 466 841 292 144 579 270 56 226 904 546 138 552 161 644 530 75 301 180 720 833 263 29 117 469 852 339 333 310 217 868 403 588 306 201 805 151 604 369 455 796 112 451 780 48 194 776 33 133 532 83 332 307 206 824 225 900 531 77 309 215 860 370 457 804 146 585 293 148 592 321 262 26 105 420 659 589 311 222 888 480 897 517 20 81 324 272 65 261 22 88 354 393 549 149 596 337 325 277 87 348 371 461 822 219 876 434 713 806 154 617 421 661 598 347 366 440 738 906 554 168 672 641 518 27 108 433 710 793 102 408 608 386 521 39 156 624 448 769 4 18 73 295 157 629 468 849 326 281 100 400 578 266 41 164 656 576 259 12 51 205 820 210 840 288 131 524 50 200 801 134 536 99 396 560 193 772 16 66 265 36 145 580 273 69 276 80 322 264 35 141 564 211 844 305 197 788 82 329 294 153 614 409 613 407 605 372 467 846 313 228 912 577 260 19 79 316 240 962 777 38 152 611 399 572 241 964 786 74 297 165 660 594 330 296 160 640 515 13 53 212 848 320 258 11 44 178 714 808 162 648 547 142 570 233 932 658 587 300 176 707 781 54 218 872 419 652 563 207 828 242 968 802 137 551 158 633 485 917 599 349 374 475 877 439 732 880 449 774 24 97 389 534 90 360 418 650 555 172 688 704 771 15 61 244 976 834 267 45 183 733 886 474 873 423 670 635 492 945 711 797 118 473 869 405 597 341 342 346 363 430 697 741 916 595 335 317 245 980 850 328 291 140 562 203 813 182 728 866 394 553 167 668 627 463 829 246 984 865 391 541 119 477 885 471 861 375 478 889 487 925 631 476 881 454 794 104 416 643 527 60 243 972 819 204 816 195 783 62 249 996 913 582 283 109 436 721 839 286 120 483 910 568 224 896 514 9 37 150 600 355 397 565 214 856 353 388 529 68 275 76 304 192 770 10 43 173 693 725 854 344 352 385 519 31 124 496 961 775 30 121 484 914 586 298 171 686 696 739 911 573 247 988 883 462 826 234 937 678 665 615 414 632 482 907 557 181 724 851 334 314 232 928 642 522 42 169 676 657 581 278 91 364 432 705 773 23 92 368 450 778 40 163 653 567 223 892 498 969 807 159 636 499 973 821 213 853 343 351 380 497 965 791 94 376 481 901 533 84 338 331 302 185 742 921 612 401 583 287 125 500 977 837 279 95 381 501 981 855 350 379 494 954 747 940 689 709 790 89 358 411 622 442 746 938 681 679 671 637 503 989 887 479 893 502 986 874 425 677 663 606 377 486 922 616 417 647 543 126 505 997 918 602 361 422 666 618 427 684 690 715 814 187 749 949 727 863 382 506 1003 942 699 750 952 736 898 523 47 188 752 963 782 59 236 944 706 779 46 184 737 902 539 111 444 753 967 798 123 493 948 723 847 318 250 1000 930 651 558 186 744 929 646 538 106 424 674 649 548 147 590 315 239 956 754 970 811 175 700 755 974 827 237 950 731 878 443 748 946 712 803 143 574 251 1004 947 717 823 220 882 459 815 189 756 978 842 299 174 698 745 934 667 621 437 726 859 367 445 757 983 862 378 491 941 692 722 843 303 190 760 993 903 542 122 489 933 662 603 365 438 729 870 410 619 429 694 730 875 431 701 759 991 894 504 994 905 550 155 623 446 762 1001 935 669 628 464 835 271 63 252 1009 966 795 110 441 743 927 638 507 1006 953 740 915 591 319 253 1012 979 845 308 209 838 282 107 428 691 719 831 254 1016 995 908 561 199 799 127 508 1010 971 812 179 718 825 229 919 607 383 509 1013 982 858 362 426 683 685 695 735 895 510 1017 998 920 610 395 559 191 764 1011 975 830 248 992 899 526 58 235 943 702 763 1005 951 734 891 495 957 758 987 879 447 765 1015 990 890 488 931 654 571 238 955 751 959 766 1018 1002 936 675 655 575 255 1021 1014 985 871 415 639 511 1023 1022 1019 1007 958 761 999 926 634 490 939 687 703 767 1020 1008 960 768 0 0 0 0 0 0 0 0 0 3 0 0 0 3 2 0 0 3 2 1 0 3 2 1 3 3 2 1 3 0 2 1 3 0 2 1 3 0 2 2 3 0 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 0 1 2 2 0 1 1 2 0 1 1 3 0 1 1 3 1 1 1 3 1 1 1 3 1 1 2 3 1 1 2 1 1 1 2 1 3 1 2 1 3 1 2 1 3 1 2 1 3 1 2 0 3 1 2 0 3 1 2 0 3 2 2 0 3 2 1 0 3 2 1 2 3 2 1 2 3 2 1 2 3 0 1 2 3 0 3 2 3 0 3 0 3 0 3 0 2 0 3 0 2 2 3 0 2 2 1 0 2 2 1 2 2 2 1 2 0 2 1 2 0 1 1 2 0 1 2 2 0 1 2 1 0 1 2 1 3 1 2 1 3 0 2 1 3 0 1 1 3 0 1 1 3 0 1 1 1 0 1 1 1 2 1 1 1 2 1 1 1 2 1 0 1 2 1 0 2 2 1 0 2 0 1 0 2 0 1 0 2 0 1 3 2 0 1 3 0 0 1 3 0 2 1 3 0 2 0 3 0 2 0 0 0 2 0 0 2 2 0 0 2 0 0 0 2 0 2 0 2 0 2 0 2 0 2 0 1 0 2 0 1 0 2 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 1 2 0 0 1 0 0 0 1 0 1 0 1 0 1 3 1 0 1 3 0 0 1 3 0 1 1 3 0 1 0 3 0 1 0 1 0 1 0 1 2 1 0 1 2 0 0 1 2 0 2 1 2 0 2 0 2 0 2 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 0 3 1 0 0 3 1 0 0 3 1 0 0 3 1 0 0 3 1 0 0 0 1 0 0 0 1 0 0 0 1 3 0 0 1 3 0 0 1 3 0 3 1 3 0 3 0 3 0 3 0 1 0 3 0 1 0 3 0 1 0 0 0 1 0 0 3 1 0 0 3 0 0 0 3 0 1 0 3 0 1 2 3 0 1 2 0 0 1 2 0 0 1 2 0 0 0 2 0 0 0 1 0 0 0 1 2 0 0 1 2 1 0 1 2 1 1 1 2 1 1 2 2 1 1 2 1 1 1 2 1 1 1 2 1 1 0 2 1 1 0 1 1 1 0 1 3 1 0 1 3 1 0 1 3 1 0 1 3 1 0 1 3 1 0 1 0 1 0 1 0 2 0 1 0 2 0 1 0 2 0 2 0 2 0 2 3 2 0 2 3 0 0 2 3 0 1 2 3 0 1 0 3 0 1 0 3 0 1 0 3 2 1 0 3 2 0 0 3 2 0 3 3 2 0 3 1 2 0 3 1 2 0 3 1 2 0 3 1 2 0 0 1 2 0 0 3 2 0 0 3 1 0 0 3 1 3 0 3 1 3 1 3 1 3 1 0 1 3 1 0 2 3 1 0 2 1 1 0 2 1 0 0 2 1 0 0 2 1 0 0 3 1 0 0 3 2 0 0 3 2 0 0 3 2 0 2 3 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 0 2 2 0 0 2 2 0 1 2 2 0 1 0 2 0 1 0 2 0 1 0 2 3 1 0 2 3 1 0 2 3 1 0 2 3 1 0 0 3 1 0 0 1 1 0 0 1 3 0 0 1 3 1 0 1 3 1 1 1 3 1 1 1 3 1 1 1 0 1 1 1 0 3 1 1 0 3 1 1 0 3 1 2 0 3 1 2 1 3 1 2 1 0 1 2 1 0 3 2 1 0 3 0 1 0 3 0 2 0 3 0 2 1 3 0 2 1 1 0 2 1 1 3 2 1 1 3 0 1 1 3 0 1 1 3 0 1 3 3 0 1 3 0 0 1 3 0 0 1 3 0 0 3 3 0 0 3 0 0 0 3 0 0 0 3 0 0 2 3 0 0 2 0 0 0 2 0 1 0 2 0 1 1 2 0 1 1 0 0 1 1 0 3 1 1 0 3 0 1 0 3 0 3 0 3 0 3 2 3 0 3 2 0 0 3 2 0 1 3 2 0 1 0 2 0 1 0 3 0 1 0 3 1 1 0 3 1 1 0 3 1 1 3 3 1 1 3 0 1 1 3 0 2 1 3 0 2 1 3 0 2 1 0 0 2 1 0 2 2 1 0 2 1 1 0 2 1 1 0 2 1 1 0 2 1 1 0 0 1 1 0 0 1 1 0 0 1 2 0 0 1 2 2 0 1 2 2 1 1 2 2 1 0 2 2 1 0 3 2 1 0 3 1 1 0 3 1 3 0 3 1 3 2 3 1 3 2 0 1 3 2 0 0 3 2 0 0 1 2 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 2 0 1 1 2 0 1 1 2 0 2 1 2 0 2 1 2 0 2 1 1 0 2 1 1 1 2 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 3 1 1 1 3 0 1 1 3 0 3 1 3 0 3 1 3 0 3 1 2 0 3 1 2 3 3 1 2 3 0 1 2 3 0 2 2 3 0 2 1 3 0 2 1 2 0 2 1 2 2 2 1 2 2 1 1 2 2 1 1 2 2 1 1 1 2 1 1 1 2 1 1 1 2 3 1 1 2 3 2 1 2 3 2 0 2 3 2 0 2 3 2 0 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 0 0 2 2 0 0 1 2 0 0 1 2 0 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 1 0 1 2 1 2 1 2 1 2 0 2 1 2 0 0 1 2 0 0 2 2 0 0 2 1 0 0 2 1 3 0 2 1 3 0 2 1 3 0 0 1 3 0 0 0 3 0 0 0 1 0 0 0 1 0 0 0 1 0 2 0 1 0 2 1 1 0 2 1 3 0 2 1 3 1 2 1 3 1 1 1 3 1 1 0 3 1 1 0 1 1 1 0 1 2 1 0 1 2 1 0 1 2 1 0 1 2 1 0 0 2 1 0 0 2 1 0 0 2 2 0 0 2 2 1 0 2 2 1 0 2 2 1 0 0 2 1 0 0 0 1 0 0 0 3 0 0 0 3 0 0 0 3 0 3 0 3 0 3 1 3 0 3 1 0 0 3 1 0 2 3 1 0 2 0 1 0 2 0 0 0 2 0 0 3 2 0 0 3 0 0 0 3 0 2 0 3 0 2 0 3 0 2 0 1 0 2 0 1 2 2 0 1 2 0 0 1 2 0 3 1 2 0 3 0 2 0 3 0 0 0 3 0 0 1 3 0 0 1 0 0 0 1 0 0 0 1 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 1 2 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 2 1 0 0 2 0 0 0 2 0 3 0 2 0 3 1 2 0 3 1 0 0 3 1 0 3 3 1 0 3 0 1 0 3 0 1 0 3 0 1 1 3 0 1 1 0 0 1 1 0 2 1 1 0 2 1 1 0 2 1 2 0 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 2 1 1 1 2 1 1 3 2 1 1 3 1 1 1 3 1 0 1 3 1 0 3 3 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 0 2 1 0 0 1 1 0 0 1 0 0 0 1 0 3 0 1 0 3 3 1 0 3 3 0 0 3 3 0 0 3 3 0 0 2 3 0 0 2 1 0 0 2 1 2 0 2 1 2 0 2 1 2 0 3 1 2 0 3 3 2 0 3 3 0 0 3 3 0 1 3 3 0 1 0 3 0 1 0 2 0 1 0 2 2 1 0 2 2 1 0 2 2 1 1 2 2 1 1 0 2 1 1 0 2 1 1 0 2 2 1 0 2 2 0 0 2 2 0 0 2 2 0 0 0 2 0 0 0 3 0 0 0 3 1 0 0 3 1 1 0 3 1 1 0 3 1 1 0 0 1 1 0 0 0 1 0 0 0 2 0 0 0 2 3 0 0 2 3 0 0 2 3 0 2 2 3 0 2 2 3 0 2 2 0 0 2 2 0 2 2 2 0 2 0 2 0 2 0 3 0 2 0 3 2 2 0 3 2 2 0 3 2 2 1 3 2 2 1 0 2 2 1 0 2 2 1 0 2 3 1 0 2 3 0 0 2 3 0 0 2 3 0 0 3 3 0 0 3 1 0 0 3 1 2 0 3 1 2 2 3 1 2 2 0 1 2 2 0 3 2 2 0 3 0 2 0 3 0 3 0 3 0 3 3 3 0 3 3 0 0 3 3 0 2 3 3 0 2 0 3 0 2 0 2 0 2 0 2 1 2 0 2 1 3 0 2 1 3 2 2 1 3 2 1 1 3 2 1 1 3 2 1 1 1 2 1 1 1 3 1 1 1 3 1 1 1 3 1 2 1 3 1 2 3 3 1 2 3 1 1 2 3 1 3 2 3 1 3 0 3 1 3 0 0 1 3 0 0 1 3 0 0 1 2 0 0 1 2 0 0 1 2 0 1 1 2 0 1 1 2 0 1 1 2 0 1 1 2 2 1 1 2 2 0 1 2 2 0 2 2 2 0 2 2 2 0 2 2 3 0 2 2 3 0 2 2 3 0 0 2 3 0 0 0 3 0 0 0 3 0 0 0 3 3 0 0 3 3 1 0 3 3 1 0 3 3 1 0 0 3 1 0 0 2 1 0 0 2 3 0 0 2 3 1 0 2 3 1 3 2 3 1 3 1 3 1 3 1 2 1 3 1 2 2 3 1 2 2 1 1 2 2 1 3 2 2 1 3 2 2 1 3 2 3 1 3 2 3 0 3 2 3 0 1 2 3 0 1 3 3 0 1 3 1 0 1 3 1 2 1 3 1 2 1 3 1 2 1 1 1 2 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 2 2 1 1 2 2 3 1 2 2 3 2 2 2 3 2 1 2 3 2 1 1 3 2 1 1 0 2 1 1 0 3 1 1 0 3 3 1 0 3 3 1 0 3 3 1 1 3 3 1 1 0 3 1 1 0 2 1 1 0 2 0 1 0 2 0 3 0 2 0 3 0 2 0 3 0 2 0 3 0 2 3 3 0 2 3 1 0 2 3 1 2 2 3 1 2 0 3 1 2 0 2 1 2 0 2 2 2 0 2 2 1 0 2 2 1 3 2 2 1 3 0 2 1 3 0 3 1 3 0 3 3 3 0 3 3 1 0 3 3 1 2 3 3 1 2 0 3 1 2 0 1 1 2 0 1 3 2 0 1 3 1 0 1 3 1 3 1 3 1 3 1 3 1 3 1 1 1 3 1 1 3 3 1 1 3 1 1 1 3 1 3 1 3 1 3 2 3 1 3 2 1 1 3 2 1 3 3 2 1 3 1 2 1 3 1 3 1 3 1 3 0 3 1 3 0 1 1 3 0 1 2 3 0 1 2 2 0 1 2 2 0 1 2 2 0 0 2 2 0 0 3 2 0 0 3 3 0 0 3 3 0 0 3 3 0 3 3 3 0 3 0 3 0 3 0 3 0 3 0 3 0 3 0 3 0 0 0 3 0 0 3 3 0 0 3 3 0 0 3 3 2 0 3 3 2 1 3 3 2 1 0 3 2 1 0 1 2 1 0 1 2 1 0 1 2 3 0 1 2 3 1 1 2 3 1 0 2 3 1 0 1 3 1 0 1 3 1 0 1 3 2 0 1 3 2 0 1 3 2 0 3 3 2 0 3 2 2 0 3 2 0 0 3 2 0 0 3 2 0 0 0 2 0 0 0 2 0 0 0 2 1 0 0 2 1 1 0 2 1 1 2 2 1 1 2 0 1 1 2 0 3 1 2 0 3 1 2 0 3 1 1 0 3 1 1 2 3 1 1 2 0 1 1 2 0 1 1 2 0 1 0 2 0 1 0 1 0 1 0 1 0 1 0 1 0 3 0 1 0 3 0 1 0 3 0 0 0 3 0 0 0 3 0 0 0 2 0 0 0 2 2 0 0 2 2 3 0 2 2 3 1 2 2 3 1 1 2 3 1 1 1 3 1 1 1 2 1 1 1 2 0 1 1 2 0 0 1 2 0 0 1 2 0 0 1 3 0 0 1 3 3 0 1 3 3 0 1 3 3 0 0 3 3 0 0 1 3 0 0 1 3 0 0 1 3 2 0 1 3 2 1 1 3 2 1 0 3 2 1 0 2 2 1 0 2 2 1 0 2 2 2 0 2 2 2 3 2 2 2 3 2 2 2 3 2 0 2 3 2 0 3 3 2 0 3 3 2 0 3 3 1 0 3 3 1 3 3 3 1 3 0 3 1 3 0 3 1 3 0 3 2 3 0 3 2 2 0 3 2 2 2 3 2 2 2 1 2 2 2 1 2 2 2 1 2 1 2 1 2 1 3 1 2 1 3 2 2 1 3 2 0 1 3 2 0 2 3 2 0 2 3 2 0 2 3 1 0 2 3 1 1 2 3 1 1 0 3 1 1 0 3 1 1 0 3 2 1 0 3 2 2 0 3 2 2 0 3 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 2 0 2 2 2 1 2 2 2 1 0 2 2 1 0 1 2 1 0 1 1 1 0 1 1 2 0 1 1 2 3 1 1 2 3 0 1 2 3 0 0 2 3 0 0 1 3 0 0 1 1 0 0 1 1 3 0 1 1 3 0 1 1 3 0 0 1 3 0 0 2 3 0 0 2 2 0 0 2 2 0 0 2 2 0 3 2 2 0 3 1 2 0 3 1 3 0 3 1 3 3 3 1 3 3 0 1 3 3 0 2 3 3 0 2 1 3 0 2 1 3 0 2 1 3 3 2 1 3 3 0 1 3 3 0 3 3 3 0 3 1 3 0 3 1 1 0 3 1 1 1 3 1 1 1 1 1 1 1 1 3 1 1 1 3 3 1 1 3 3 0 1 3 3 0 1 3 3 0 1 1 3 0 1 1 3 0 1 1 3 2 1 1 3 2 0 1 3 2 0 1 3 2 0 1 1 2 0 1 1 1 0 1 1 1 0 1 1 1 0 2 1 1 0 2 3 1 0 2 3 2 0 2 3 2 1 2 3 2 1 2 3 2 1 2 1 2 1 2 1 0 1 2 1 0 1 2 1 0 1 3 1 0 1 3 3 0 1 3 3 1 1 3 3 1 0 3 3 1 0 1 3 1 0 1 1 1 0 1 1 3 0 1 1 3 3 1 1 3 3 1 1 3 3 1 1 3 3 1 1 1 3 1 1 1 3 1 1 1 3 2 1 1 3 2 3 1 3 2 3 2 3 2 3 2 2 2 3 2 2 3 3 2 2 3 0 2 2 3 0 1 2 3 0 1 1 3 0 1 1 2 0 1 1 2 1 1 1 2 1 2 1 2 1 2 3 2 1 2 3 2 1 2 3 2 2 2 3 2 2 2 3 2 2 2 2 2 2 2 2 1 2 2 2 1 3 2 2 1 3 3 2 1 3 3 1 1 3 3 1 3 3 3 1 3 1 3 1 3 1 3 1 3 1 3 3 3 1 3 3 1 1 3 3 1 2 3 3 1 2 2 3 1 2 2 2 1 2 2 2 1 2 2 2 1 1 2 2 1 1 3 2 1 1 3 2 1 1 3 2 1 1 3 2 1 2 3 2 1 2 2 2 1 2 2 0 1 2 2 0 1 2 2 0 1 3 2 0 1 3 3 0 1 3 3 2 1 3 3 2 1 3 3 2 1 1 3 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 3 2 2 2 3 0 2 2 3 0 2 2 3 0 2 3 3 0 2 3 2 0 2 3 2 3 2 3 2 3 1 3 2 3 1 1 2 3 1 1 3 3 1 1 3 3 1 1 3 3 2 1 3 3 2 2 3 3 2 2 3 3 2 2 3 2 2 2 3 2 3 2 3 2 3 2 3 2 3 2 0 2 3 2 0 0 3 2 0 0 2 2 0 0 2 3 0 0 2 3 3 0 2 3 3 0 2 3 3 0 0 3 3 0 0 3 3 0 0 3 2 0 0 3 2 3 0 3 2 3 0 3 2 3 0 0 2 3 0 0 2 3 0 0 2 3 0 0 2 3 2 0 2 3 2 0 2 3 2 0 1 3 2 0 1 2 2 0 1 2 3 0 1 2 3 3 1 2 3 3 0 2 3 3 0 1 3 3 0 1 3 3 0 1 3 2 0 1 3 2 3 1 3 2 3 1 3 2 3 1 0 2 3 1 0 3 3 1 0 3 3 1 0 3 3 2 0 3 3 2 2 3 3 2 2 0 3 2 2 0 2 2 2 0 2 3 2 0 2 3 2 0 2 3 2 2 2 3 2 2 0 3 2 2 0 1 2 2 0 1 2 2 0 1 2 2 0 1 2 2 2 1 2 2 2 0 2 2 2 0 2 2 2 0 2 1 2 0 2 1 0 0 2 1 0 3 2 1 0 3 2 1 0 3 2 3 0 3 2 3 3 3 2 3 3 0 2 3 3 0 2 3 3 0 2 2 3 0 2 2 3 0 2 2 3 3 2 2 3 3 0 2 3 3 0 3 3 3 0 3 2 3 0 3 2 3 0 3 2 3 1 3 2 3 1 2 2 3 1 2 3 3 1 2 3 2 1 2 3 2 3 2 3 2 3 0 3 2 3 0 2 2 3 0 2 0 3 0 2 0 3 0 2 0 3 3 2 0 3 3 2 0 3 3 2 3 3 3 2 3 0 3 2 3 0 3 2 3 0 3 1 3 0 3 1 3 0 3 1 3 0 3 1 3 0 2 1 3 0 2 3 3 0 2 3 3 0 2 3 3 1 2 3 3 1 0 3 3 1 0 2 3 1 0 2 2 1 0 2 2 3 0 2 2 3 2 2 2 3 2 2 2 3 2 2 1 3 2 2 1 2 2 2 1 2 3 2 1 2 3 1 1 2 3 1 1 2 3 1 1 2 3 1 1 2 3 1 1 2 3 3 1 2 3 3 1 2 3 3 1 1 3 3 1 1 3 3 1 1 3 2 1 1 3 2 2 1 3 2 2 3 3 2 2 3 1 2 2 3 1 0 2 3 1 0 2 3 1 0 2 3 1 0 2 3 3 0 2 3 3 2 2 3 3 2 0 3 3 2 0 1 3 2 0 1 3 2 0 1 3 2 0 1 3 2 2 1 3 2 2 1 3 2 2 1 1 2 2 1 1 2 2 1 1 2 3 1 1 2 3 1 1 2 3 1 2 2 3 1 2 1 3 1 2 1 2 1 2 1 2 2 2 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 3 2 2 3 3 1 2 3 3 1 3 3 3 1 3 3 3 1 3 3 2 1 3 3 2 0 3 3 2 0 2 3 2 0 2 1 2 0 2 1 2 0 2 1 2 3 2 1 2 3 3 1 2 3 3 2 2 3 3 2 2 3 3 2 2 1 3 2 2 1 3 2 2 1 3 1 2 1 3 1 0 1 3 1 0 0 3 1 0 0 3 1 0 0 3 3 0 0 3 3 3 0 3 3 3 0 3 3 3 0 1 3 3 0 1 2 3 0 1 2 3 0 1 2 3 2 1 2 3 2 1 2 3 2 1 3 3 2 1 3 3 2 1 3 3 2 1 3 3 2 3 3 3 2 3 2 3 2 3 2 1 2 3 2 1 0 3 2 1 0 3 2 1 0 3 3 1 0 3 3 3 0 3 3 3 1 3 3 3 1 0 3 3 1 0 3 3 1 0 3 1 1 0 3 1 0 0 3 1 0 1 3 1 0 1 2 1 0 1 2 2 0 1 2 2 3 1 2 2 3 0 2 2 3 0 3 2 3 0 3 3 3 0 3 3 3 0 3 3 3 2 3 3 3 2 0 3 3 2 0 3 3 2 0 3 0 2 0 3 0 1 0 3 0 1 3 3 0 1 3 3 0 1 3 3 3 1 3 3 3 0 3 3 3 0 2 3 3 0 2 3 3 0 2 3 0 0 2 3 0 3 2 3 0 3 2 3 0 3 2 1 0 3 2 1 1 3 2 1 1 3 2 1 1 3 3 1 1 3 3 3 1 3 3 3 1 3 3 3 1 1 3 3 1 1 2 3 1 1 2 2 1 1 2 2 2 1 2 2 2 2 2 2 2 2 3 2 2 2 3 1 2 2 3 1 3 2 3 1 3 3 3 1 3 3 3 1 3 3 3 2 3 3 3 2 1 3 3 2 1 2 3 2 1 2 0 2 1 2 0 2 1 2 0 2 3 2 0 2 3 3 0 2 3 3 3 2 3 3 3 0 3 3 3 0 3 3 3 0 3 3 3 0 3 3 2 0 3 3 2 0 3 3 2 0 0 3 2 0 0 3 2 0 0 3 2 0 0 3 2 2 0 3 2 2 3 3 2 2 3 3 2 2 3 3 2 2 3 3 2 3 3 3 2 3 1 3 2 3 1 3 2 3 1 3 2 3 1 3 2 3 1 3 2 3 3 3 2 3 3 1 2 3 3 1 2 3 3 1 2 3 3 1 2 3 3 1 2 3 3 3 2 3 3 3 1 3 3 3 1 3 3 3 1 3 2 3 1 3 2 2 1 3 2 2 0 3 2 2 0 3 2 2 0 3 2 2 0 3 2 3 0 3 2 3 2 3 2 3 2 3 2 3 2 3 3 3 2 3 3 3 2 3 3 3 2 3 3 3 2 2 3 3 2 2 2 3 2 2 2 0 2 2 2 0 3 2 2 0 3 3 2 0 3 3 3 0 3 3 3 3 3 3 3 3 1 3 3 3 1 2 3 3 1 2 1 3 1 2 1 3 1 2 1 3 3 2 1 3 3 3 1 3 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 2 3 3 3 2 3 3 3 2 3 3 2 2 3 3 2 1 3 3 2 1 3 3 2 1 3 2 2 1 3 2 2 1 3 2 2 2 3 2 2 2 3 2 2 2 3 3 2 2 3 3 3 2 3 3 3 3 3 3 3 3 0 3 3 3 0 0 3 3 0 0 0 3 0 0 0 0 256 256 256 256 
123.70/47.10	v 	</values>
123.70/47.10	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285124-1503429200/watcher-4285124-1503429200 -o /tmp/evaluation-result-4285124-1503429200/solver-4285124-1503429200 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503423187-5645 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1708244916 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285124-1503429200.xml 

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

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

solver pid=7021, runsolver pid=7018

[startup+0.100119 s]*
/proc/loadavg: 5.92 7.93 8.17 2/198 7041
/proc/meminfo: memFree=23708508/32770624 swapFree=67108860/67108860
[pid=7021] ppid=7018 vsize=26000852 memory=32608 CPUtime=0.12 cores=0-7
/proc/7021/stat : 7021 (java) S 7018 7021 5618 0 -1 1077944320 8567 0 0 0 10 2 0 0 20 0 20 0 176008119 26624872448 8152 33554432000 4194304 4196468 140729741531840 140729741514384 140191649287927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
/proc/7021/statm: 6500213 8152 3404 1 0 6487932 0
[pid=7021/tid=7023] ppid=7018 vsize=26000852 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7021/task/7023/stat : 7023 (java) R 7018 7021 5618 0 -1 4202560 6503 0 0 0 7 1 0 0 20 0 20 0 176008119 26624872448 8152 33554432000 4194304 4196468 140729741531840 140191653485072 140191633331557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7024] ppid=7018 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7021/task/7024/stat : 7024 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 8152 33554432000 4194304 4196468 140729741531840 140191571868176 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7025] ppid=7018 vsize=26000852 memory=139787805927040 CPUtime=0 cores=0-7
/proc/7021/task/7025/stat : 7025 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 8152 33554432000 4194304 4196468 140729741531840 140191570815632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7026] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7026/stat : 7026 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 8152 33554432000 4194304 4196468 140729741531840 140191569762576 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7027] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7027/stat : 7027 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 8152 33554432000 4194304 4196468 140729741531840 140191568710032 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7028] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7028/stat : 7028 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 8152 33554432000 4194304 4196468 140729741531840 140191567658000 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7029] ppid=7018 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7021/task/7029/stat : 7029 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 8152 33554432000 4194304 4196468 140729741531840 140191566605456 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7030] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7030/stat : 7030 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 8152 33554432000 4194304 4196468 140729741531840 140191565552400 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7031] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7031/stat : 7031 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 8152 33554432000 4194304 4196468 140729741531840 140191564499856 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7032] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7032/stat : 7032 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008121 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190123190512 140191649299074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7033] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7033/stat : 7033 (java) S 7018 7021 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176008122 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190122136736 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7034] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7034/stat : 7034 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176008122 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190121083632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7035] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7035/stat : 7035 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008124 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190120032208 140191649306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7036] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7036/stat : 7036 (java) S 7018 7021 5618 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 176008124 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190118980336 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7037] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7037/stat : 7037 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176008124 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190117927792 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7038] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7038/stat : 7038 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008125 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190116874736 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7039] ppid=7018 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/7021/task/7039/stat : 7039 (java) S 7018 7021 5618 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 20 0 176008125 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190115822192 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7040] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7040/stat : 7040 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176008125 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190114769376 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7041] ppid=7018 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7021/task/7041/stat : 7041 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008125 26624872448 8152 33554432000 4194304 4196468 140729741531840 140190113716912 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32608 KiB

[startup+0.21033 s]*
/proc/loadavg: 5.92 7.93 8.17 3/198 7041
/proc/meminfo: memFree=23698436/32770624 swapFree=67108860/67108860
[pid=7021] ppid=7018 vsize=26000852 memory=41500 CPUtime=0.3 cores=0-7
/proc/7021/stat : 7021 (java) S 7018 7021 5618 0 -1 1077944320 9581 0 0 0 27 3 0 0 20 0 20 0 176008119 26624872448 10375 33554432000 4194304 4196468 140729741531840 140729741514384 140191649287927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
/proc/7021/statm: 6500213 10375 3585 1 0 6487932 0
[pid=7021/tid=7023] ppid=7018 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/7021/task/7023/stat : 7023 (java) R 7018 7021 5618 0 -1 4202560 7145 0 0 0 18 2 0 0 20 0 20 0 176008119 26624872448 10375 33554432000 4194304 4196468 140729741531840 140191653502192 140191649309853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7024] ppid=7018 vsize=26000852 memory=9275 CPUtime=0 cores=0-7
/proc/7021/task/7024/stat : 7024 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 10375 33554432000 4194304 4196468 140729741531840 140191571868176 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7025] ppid=7018 vsize=26000852 memory=139787805932942 CPUtime=0 cores=0-7
/proc/7021/task/7025/stat : 7025 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 10375 33554432000 4194304 4196468 140729741531840 140191570815632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7026] ppid=7018 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7021/task/7026/stat : 7026 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 10375 33554432000 4194304 4196468 140729741531840 140191569762576 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7027] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7027/stat : 7027 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 10375 33554432000 4194304 4196468 140729741531840 140191568710032 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7028] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7028/stat : 7028 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 10375 33554432000 4194304 4196468 140729741531840 140191567658000 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7029] ppid=7018 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7021/task/7029/stat : 7029 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 10375 33554432000 4194304 4196468 140729741531840 140191566605456 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7030] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7030/stat : 7030 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 10375 33554432000 4194304 4196468 140729741531840 140191565552400 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7031] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7031/stat : 7031 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624872448 10375 33554432000 4194304 4196468 140729741531840 140191564499856 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7032] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7032/stat : 7032 (java) S 7018 7021 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176008121 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190123190512 140191649299074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7033] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7033/stat : 7033 (java) S 7018 7021 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176008122 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190122136736 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7034] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7034/stat : 7034 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176008122 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190121083632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7035] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7035/stat : 7035 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008124 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190120032208 140191649306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7036] ppid=7018 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/7021/task/7036/stat : 7036 (java) S 7018 7021 5618 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 20 0 176008124 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190118980336 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7037] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7037/stat : 7037 (java) S 7018 7021 5618 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 176008124 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190117927792 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7038] ppid=7018 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/7021/task/7038/stat : 7038 (java) S 7018 7021 5618 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 176008125 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190116874736 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7039] ppid=7018 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/7021/task/7039/stat : 7039 (java) R 7018 7021 5618 0 -1 4202560 383 0 0 0 5 0 0 0 20 0 20 0 176008125 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190115822192 140191633837600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7040] ppid=7018 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7040/stat : 7040 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176008125 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190114769376 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7041] ppid=7018 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7021/task/7041/stat : 7041 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008125 26624872448 10375 33554432000 4194304 4196468 140729741531840 140190113716912 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41500 KiB

[startup+0.310245 s]*
/proc/loadavg: 5.92 7.93 8.17 2/198 7041
/proc/meminfo: memFree=23691612/32770624 swapFree=67108860/67108860
[pid=7021] ppid=7018 vsize=26000872 memory=49416 CPUtime=0.48 cores=0-7
/proc/7021/stat : 7021 (java) S 7018 7021 5618 0 -1 1077944320 10567 0 0 0 44 4 0 0 20 0 20 0 176008119 26624892928 12354 33554432000 4194304 4196468 140729741531840 140729741514384 140191649287927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
/proc/7021/statm: 6500218 12354 3719 1 0 6487932 0
[pid=7021/tid=7023] ppid=7018 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7021/task/7023/stat : 7023 (java) R 7018 7021 5618 0 -1 4202560 7730 0 0 0 26 3 0 0 20 0 20 0 176008119 26624892928 12354 33554432000 4194304 4196468 140729741531840 140191653517376 140191649299862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7024] ppid=7018 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7024/stat : 7024 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624892928 12354 33554432000 4194304 4196468 140729741531840 140191571868176 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7025] ppid=7018 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7025/stat : 7025 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176008120 26624892928 12354 33554432000 4194304 4196468 140729741531840 140191570815632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7026] ppid=7018 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7026/stat : 7026 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624892928 12354 33554432000 4194304 4196468 140729741531840 140191569762576 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7027] ppid=7018 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7027/stat : 7027 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008120 26624892928 12354 33554432000 4194304 4196468 140729741531840 140191568710032 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7028] ppid=7018 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/7021/task/7028/stat : 7028 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624892928 12354 33554432000 4194304 4196468 140729741531840 140191567658000 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7029] ppid=7018 vsize=26000872 memory=139787696698287 CPUtime=0 cores=0-7
/proc/7021/task/7029/stat : 7029 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624892928 12354 33554432000 4194304 4196468 140729741531840 140191566605456 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7030] ppid=7018 vsize=26000872 memory=139787696700592 CPUtime=0 cores=0-7
/proc/7021/task/7030/stat : 7030 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008120 26624892928 12354 33554432000 4194304 4196468 140729741531840 140191565552400 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7031] ppid=7018 vsize=26000872 memory=139787696702896 CPUtime=0 cores=0-7
/proc/7021/task/7031/stat : 7031 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26624892928 12354 33554432000 4194304 4196468 140729741531840 140191564499856 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7032] ppid=7018 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7032/stat : 7032 (java) S 7018 7021 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176008121 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190123190512 140191649299074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7033] ppid=7018 vsize=26000872 memory=279575393412752 CPUtime=0 cores=0-7
/proc/7021/task/7033/stat : 7033 (java) S 7018 7021 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176008122 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190122136736 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7034] ppid=7018 vsize=26000872 memory=279575393419664 CPUtime=0 cores=0-7
/proc/7021/task/7034/stat : 7034 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176008122 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190121083632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7035] ppid=7018 vsize=26000872 memory=279575393360944 CPUtime=0 cores=0-7
/proc/7021/task/7035/stat : 7035 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008124 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190120032208 140191649306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7036] ppid=7018 vsize=26000872 memory=279575393433488 CPUtime=0.03 cores=0-7
/proc/7021/task/7036/stat : 7036 (java) S 7018 7021 5618 0 -1 1077944384 533 0 0 0 3 0 0 0 20 0 20 0 176008124 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190118980336 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7037] ppid=7018 vsize=26000872 memory=279575393440400 CPUtime=0.03 cores=0-7
/proc/7021/task/7037/stat : 7037 (java) R 7018 7021 5618 0 -1 1077944384 403 0 0 0 3 0 0 0 20 0 20 0 176008124 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190117927792 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7038] ppid=7018 vsize=26000872 memory=279575393438096 CPUtime=0.02 cores=0-7
/proc/7021/task/7038/stat : 7038 (java) S 7018 7021 5618 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 176008125 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190116874736 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7039] ppid=7018 vsize=26000872 memory=279575393454704 CPUtime=0.08 cores=0-7
/proc/7021/task/7039/stat : 7039 (java) R 7018 7021 5618 0 -1 4202560 411 0 0 0 8 0 0 0 20 0 20 0 176008125 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190115822192 140191633368414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7040] ppid=7018 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7040/stat : 7040 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176008125 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190114769376 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7041] ppid=7018 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/7021/task/7041/stat : 7041 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008125 26624892928 12354 33554432000 4194304 4196468 140729741531840 140190113716912 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49416 KiB

[startup+0.70089 s]
/proc/loadavg: 5.92 7.93 8.17 6/198 7041
/proc/meminfo: memFree=23675376/32770624 swapFree=67108860/67108860
[pid=7021] ppid=7018 vsize=26002920 memory=96748 CPUtime=1.62 cores=0-7
/proc/7021/stat : 7021 (java) S 7018 7021 5618 0 -1 1077944320 15257 0 0 0 156 6 0 0 20 0 20 0 176008119 26626990080 24187 33554432000 4194304 4196468 140729741531840 140729741514384 140191649287927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
/proc/7021/statm: 6500730 24187 3777 1 0 6488444 0
[pid=7021/tid=7023] ppid=7018 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/7021/task/7023/stat : 7023 (java) R 7018 7021 5618 0 -1 4202560 8545 0 0 0 64 3 0 0 20 0 20 0 176008119 26626990080 24187 33554432000 4194304 4196468 140729741531840 140191653519248 140191240118383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7024] ppid=7018 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7024/stat : 7024 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26626990080 24187 33554432000 4194304 4196468 140729741531840 140191571868176 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7025] ppid=7018 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7025/stat : 7025 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176008120 26626990080 24187 33554432000 4194304 4196468 140729741531840 140191570815632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7026] ppid=7018 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7026/stat : 7026 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26626990080 24187 33554432000 4194304 4196468 140729741531840 140191569762576 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7027] ppid=7018 vsize=26002920 memory=1224 CPUtime=0 cores=0-7
/proc/7021/task/7027/stat : 7027 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008120 26626990080 24187 33554432000 4194304 4196468 140729741531840 140191568710032 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7028] ppid=7018 vsize=26002920 memory=5792 CPUtime=0 cores=0-7
/proc/7021/task/7028/stat : 7028 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26626990080 24187 33554432000 4194304 4196468 140729741531840 140191567658000 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7029] ppid=7018 vsize=26002920 memory=4620 CPUtime=0 cores=0-7
/proc/7021/task/7029/stat : 7029 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26626990080 24187 33554432000 4194304 4196468 140729741531840 140191566605456 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7030] ppid=7018 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/7021/task/7030/stat : 7030 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176008120 26626990080 24187 33554432000 4194304 4196468 140729741531840 140191565552400 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7031] ppid=7018 vsize=26002920 memory=15880 CPUtime=0 cores=0-7
/proc/7021/task/7031/stat : 7031 (java) S 7018 7021 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176008120 26626990080 24187 33554432000 4194304 4196468 140729741531840 140191564499856 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7032] ppid=7018 vsize=26002920 memory=16236 CPUtime=0 cores=0-7
/proc/7021/task/7032/stat : 7032 (java) S 7018 7021 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176008121 26626990080 24187 33554432000 4194304 4196468 140729741531840 140190123190512 140191649299074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0

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

[pid=7021/tid=7047] ppid=7018 vsize=27211348 memory=4044 CPUtime=7.19 cores=0-7
/proc/7021/task/7047/stat : 7047 (java) R 7018 7021 5618 0 -1 4202560 1650 0 0 0 680 39 0 0 20 0 38 0 176011793 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190093962024 140191239316650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7048] ppid=7018 vsize=27211348 memory=27436 CPUtime=7.32 cores=0-7
/proc/7021/task/7048/stat : 7048 (java) R 7018 7021 5618 0 -1 4202560 1446 0 0 0 687 45 0 0 20 0 38 0 176011793 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190092909560 140191241222403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7049] ppid=7018 vsize=27211348 memory=1232 CPUtime=7.27 cores=0-7
/proc/7021/task/7049/stat : 7049 (java) R 7018 7021 5618 0 -1 4202560 2522 0 0 0 721 6 0 0 20 0 38 0 176011793 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190091856728 140191244979492 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7050] ppid=7018 vsize=27211348 memory=648 CPUtime=0 cores=0-7
/proc/7021/task/7050/stat : 7050 (java) S 7018 7021 5618 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 38 0 176011794 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190090810032 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7051] ppid=7018 vsize=27211348 memory=1796 CPUtime=7.17 cores=0-7
/proc/7021/task/7051/stat : 7051 (java) R 7018 7021 5618 0 -1 4202560 1566 0 0 0 668 49 0 0 20 0 38 0 176011795 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190089751296 140191249347925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7052] ppid=7018 vsize=27211348 memory=956 CPUtime=1.08 cores=0-7
/proc/7021/task/7052/stat : 7052 (java) S 7018 7021 5618 0 -1 1077944384 179 0 0 0 108 0 0 0 20 0 38 0 176011795 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190088705456 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7053] ppid=7018 vsize=27211348 memory=2468 CPUtime=6.21 cores=0-7
/proc/7021/task/7053/stat : 7053 (java) R 7018 7021 5618 0 -1 4202560 1836 0 0 0 613 8 0 0 20 0 38 0 176011795 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190087649568 140191250632108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7054] ppid=7018 vsize=27211348 memory=928 CPUtime=0 cores=0-7
/proc/7021/task/7054/stat : 7054 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190086599856 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7055] ppid=7018 vsize=27211348 memory=1576 CPUtime=6.36 cores=0-7
/proc/7021/task/7055/stat : 7055 (java) R 7018 7021 5618 0 -1 4202560 1412 0 0 0 595 41 0 0 20 0 38 0 176012079 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190085541240 140191244979421 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7056] ppid=7018 vsize=27211348 memory=2236 CPUtime=0 cores=0-7
/proc/7021/task/7056/stat : 7056 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190084494256 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7057] ppid=7018 vsize=27211348 memory=4316 CPUtime=0 cores=0-7
/proc/7021/task/7057/stat : 7057 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190083441712 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7058] ppid=7018 vsize=27211348 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7058/stat : 7058 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190014235312 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7059] ppid=7018 vsize=27211348 memory=26660 CPUtime=0 cores=0-7
/proc/7021/task/7059/stat : 7059 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987090 33554432000 4194304 4196468 140729741531840 140190013182768 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
Current children cumulated CPU time: 122.04 s
Current children cumulated vsize: 27211348 KiB
Current children cumulated memory: 7948360 KiB

[startup+47.0021 s]*
/proc/loadavg: 4.22 7.09 7.87 10/216 7059
/proc/meminfo: memFree=15779780/32770624 swapFree=67108860/67108860
[pid=7021] ppid=7018 vsize=27211348 memory=7948364 CPUtime=123.7 cores=0-7
/proc/7021/stat : 7021 (java) S 7018 7021 5618 0 -1 1077944320 140721 0 0 0 11850 520 0 0 20 0 38 0 176008119 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140729741514384 140191649287927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
/proc/7021/statm: 6802837 1987091 3867 1 0 6790030 0
[pid=7021/tid=7023] ppid=7018 vsize=27211348 memory=1152 CPUtime=36.4 cores=0-7
/proc/7021/task/7023/stat : 7023 (java) S 7018 7021 5618 0 -1 1077944384 20634 0 0 0 3554 86 0 0 20 0 38 0 176008119 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140191653525632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7024] ppid=7018 vsize=27211348 memory=0 CPUtime=2.14 cores=0-7
/proc/7021/task/7024/stat : 7024 (java) S 7018 7021 5618 0 -1 1077944384 6348 0 0 0 189 25 0 0 20 0 38 0 176008120 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140191571868176 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7025] ppid=7018 vsize=27211348 memory=3762396136235884465 CPUtime=2.14 cores=0-7
/proc/7021/task/7025/stat : 7025 (java) S 7018 7021 5618 0 -1 1077944384 6144 0 0 0 188 26 0 0 20 0 38 0 176008120 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140191570815632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7026] ppid=7018 vsize=27211348 memory=2211 CPUtime=2.14 cores=0-7
/proc/7021/task/7026/stat : 7026 (java) S 7018 7021 5618 0 -1 1077944384 7318 0 0 0 188 26 0 0 20 0 38 0 176008120 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140191569762576 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7027] ppid=7018 vsize=27211348 memory=0 CPUtime=2.15 cores=0-7
/proc/7021/task/7027/stat : 7027 (java) S 7018 7021 5618 0 -1 1077944384 6752 0 0 0 189 26 0 0 20 0 38 0 176008120 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140191568710032 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7028] ppid=7018 vsize=27211348 memory=0 CPUtime=2.18 cores=0-7
/proc/7021/task/7028/stat : 7028 (java) S 7018 7021 5618 0 -1 1077944384 7000 0 0 0 190 28 0 0 20 0 38 0 176008120 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140191567658000 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7029] ppid=7018 vsize=27211348 memory=0 CPUtime=2.13 cores=0-7
/proc/7021/task/7029/stat : 7029 (java) S 7018 7021 5618 0 -1 1077944384 6529 0 0 0 185 28 0 0 20 0 38 0 176008120 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140191566605456 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7030] ppid=7018 vsize=27211348 memory=3472328296227680264 CPUtime=2.16 cores=0-7
/proc/7021/task/7030/stat : 7030 (java) S 7018 7021 5618 0 -1 1077944384 6895 0 0 0 191 25 0 0 20 0 38 0 176008120 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140191565552400 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7031] ppid=7018 vsize=27211348 memory=279575393206512 CPUtime=2.14 cores=0-7
/proc/7021/task/7031/stat : 7031 (java) S 7018 7021 5618 0 -1 1077944384 6560 0 0 0 188 26 0 0 20 0 38 0 176008120 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140191564499856 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7032] ppid=7018 vsize=27211348 memory=0 CPUtime=0.19 cores=0-7
/proc/7021/task/7032/stat : 7032 (java) S 7018 7021 5618 0 -1 1077944384 8099 0 0 0 17 2 0 0 20 0 38 0 176008121 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190123190512 140191649299074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7033] ppid=7018 vsize=27211348 memory=67 CPUtime=0 cores=0-7
/proc/7021/task/7033/stat : 7033 (java) S 7018 7021 5618 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 38 0 176008122 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190122136800 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7034] ppid=7018 vsize=27211348 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7034/stat : 7034 (java) S 7018 7021 5618 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 38 0 176008122 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190121083648 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7035] ppid=7018 vsize=27211348 memory=3605477179624788689 CPUtime=0 cores=0-7
/proc/7021/task/7035/stat : 7035 (java) S 7018 7021 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 176008124 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190120032208 140191649306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7036] ppid=7018 vsize=27211348 memory=0 CPUtime=2.98 cores=0-7
/proc/7021/task/7036/stat : 7036 (java) S 7018 7021 5618 0 -1 1077944384 11415 0 0 0 295 3 0 0 20 0 38 0 176008124 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190118980336 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7037] ppid=7018 vsize=27211348 memory=0 CPUtime=3 cores=0-7
/proc/7021/task/7037/stat : 7037 (java) R 7018 7021 5618 0 -1 1077944384 9500 0 0 0 298 2 0 0 20 0 38 0 176008124 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190117927792 140191649299074 0 4 0 16800975 0 0 0 -1 3 0 0 47 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7038] ppid=7018 vsize=27211348 memory=-8452003588848010429 CPUtime=2.72 cores=0-7
/proc/7021/task/7038/stat : 7038 (java) R 7018 7021 5618 0 -1 4202560 10289 0 0 0 270 2 0 0 20 0 38 0 176008125 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190116874736 140191628642784 0 4 0 16800975 0 0 0 -1 3 0 0 54 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7039] ppid=7018 vsize=27211348 memory=7019467087990173751 CPUtime=1.26 cores=0-7
/proc/7021/task/7039/stat : 7039 (java) S 7018 7021 5618 0 -1 1077944384 8265 0 0 0 124 2 0 0 20 0 38 0 176008125 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190115822192 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 55 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7040] ppid=7018 vsize=27211348 memory=3539882221984821280 CPUtime=0 cores=0-7
/proc/7021/task/7040/stat : 7040 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 176008125 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190114769376 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7041] ppid=7018 vsize=27211348 memory=0 CPUtime=0.02 cores=0-7
/proc/7021/task/7041/stat : 7041 (java) S 7018 7021 5618 0 -1 1077944384 88 0 0 0 1 1 0 0 20 0 38 0 176008125 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190113716912 140191649299074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7042] ppid=7018 vsize=27211348 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7042/stat : 7042 (java) S 7018 7021 5618 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 38 0 176011768 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190103425536 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7043] ppid=7018 vsize=27211348 memory=0 CPUtime=0.05 cores=0-7
/proc/7021/task/7043/stat : 7043 (java) R 7018 7021 5618 0 -1 1077944384 855 0 0 0 1 4 0 0 20 0 38 0 176011780 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190100275984 140191649299074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7044] ppid=7018 vsize=27211348 memory=0 CPUtime=7.36 cores=0-7
/proc/7021/task/7044/stat : 7044 (java) R 7018 7021 5618 0 -1 4202560 2046 0 0 0 730 6 0 0 20 0 38 0 176011790 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190097118928 140191250232312 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7045] ppid=7018 vsize=27211348 memory=3763099673816014896 CPUtime=7.42 cores=0-7
/proc/7021/task/7045/stat : 7045 (java) R 7018 7021 5618 0 -1 4202560 3177 0 0 0 738 4 0 0 20 0 38 0 176011791 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190096067088 140191241222065 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7046] ppid=7018 vsize=27211348 memory=0 CPUtime=1.05 cores=0-7
/proc/7021/task/7046/stat : 7046 (java) S 7018 7021 5618 0 -1 1077944384 91 0 0 0 105 0 0 0 20 0 38 0 176011791 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190095021232 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7047] ppid=7018 vsize=27211348 memory=5787221541176299600 CPUtime=7.39 cores=0-7
/proc/7021/task/7047/stat : 7047 (java) R 7018 7021 5618 0 -1 4202560 1755 0 0 0 700 39 0 0 20 0 38 0 176011793 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190093963440 140191244979464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7048] ppid=7018 vsize=27211348 memory=3617289026180043886 CPUtime=7.53 cores=0-7
/proc/7021/task/7048/stat : 7048 (java) R 7018 7021 5618 0 -1 4202560 1555 0 0 0 708 45 0 0 20 0 38 0 176011793 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190092910256 140191249347940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7049] ppid=7018 vsize=27211348 memory=0 CPUtime=7.47 cores=0-7
/proc/7021/task/7049/stat : 7049 (java) R 7018 7021 5618 0 -1 4202560 2545 0 0 0 741 6 0 0 20 0 38 0 176011793 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190091856632 140191248381629 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7050] ppid=7018 vsize=27211348 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7050/stat : 7050 (java) S 7018 7021 5618 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 38 0 176011794 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190090810032 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7051] ppid=7018 vsize=27211348 memory=198 CPUtime=7.38 cores=0-7
/proc/7021/task/7051/stat : 7051 (java) R 7018 7021 5618 0 -1 4202560 1676 0 0 0 689 49 0 0 20 0 38 0 176011795 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190089751296 140191241222116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7052] ppid=7018 vsize=27211348 memory=2110138304871700 CPUtime=1.08 cores=0-7
/proc/7021/task/7052/stat : 7052 (java) S 7018 7021 5618 0 -1 1077944384 179 0 0 0 108 0 0 0 20 0 38 0 176011795 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190088705456 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7053] ppid=7018 vsize=27211348 memory=2241 CPUtime=6.42 cores=0-7
/proc/7021/task/7053/stat : 7053 (java) R 7018 7021 5618 0 -1 4202560 1871 0 0 0 634 8 0 0 20 0 38 0 176011795 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190087645536 140191250232295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7054] ppid=7018 vsize=27211348 memory=2241 CPUtime=0 cores=0-7
/proc/7021/task/7054/stat : 7054 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190086599856 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7055] ppid=7018 vsize=27211348 memory=2241 CPUtime=6.56 cores=0-7
/proc/7021/task/7055/stat : 7055 (java) R 7018 7021 5618 0 -1 4202560 1514 0 0 0 615 41 0 0 20 0 38 0 176012079 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190085540240 140191244982638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7056] ppid=7018 vsize=27211348 memory=7593724724894132323 CPUtime=0 cores=0-7
/proc/7021/task/7056/stat : 7056 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190084494256 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7057] ppid=7018 vsize=27211348 memory=0 CPUtime=0 cores=0-7
/proc/7021/task/7057/stat : 7057 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190083441712 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7058] ppid=7018 vsize=27211348 memory=2319690465737193520 CPUtime=0 cores=0-7
/proc/7021/task/7058/stat : 7058 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190014235312 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7059] ppid=7018 vsize=27211348 memory=5793971644670777767 CPUtime=0 cores=0-7
/proc/7021/task/7059/stat : 7059 (java) S 7018 7021 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 176012079 27864420352 1987091 33554432000 4194304 4196468 140729741531840 140190013182768 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
Current children cumulated CPU time: 123.7 s
Current children cumulated vsize: 27211348 KiB
Current children cumulated memory: 7948364 KiB

[startup+47.111 s]
/proc/loadavg: 4.22 7.09 7.87 10/216 7059
/proc/meminfo: memFree=15779780/32770624 swapFree=67108860/67108860
[pid=7021] ppid=7018 vsize=27344476 memory=7948692 CPUtime=124.32 cores=0-7
/proc/7021/stat : 7021 (java) S 7018 7021 5618 0 -1 1077944320 146141 0 0 0 11911 521 0 0 20 0 19 0 176008119 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140729741514384 140191649287927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
/proc/7021/statm: 6836119 1987173 3872 1 0 6823312 0
[pid=7021/tid=7023] ppid=7018 vsize=27344476 memory=5977560 CPUtime=36.41 cores=0-7
/proc/7021/task/7023/stat : 7023 (java) S 7018 7021 5618 0 -1 1077944384 20768 0 0 0 3555 86 0 0 20 0 19 0 176008119 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140191653530768 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7024] ppid=7018 vsize=27344476 memory=7058872 CPUtime=2.14 cores=0-7
/proc/7021/task/7024/stat : 7024 (java) S 7018 7021 5618 0 -1 1077944384 6348 0 0 0 189 25 0 0 20 0 19 0 176008120 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140191571868176 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7025] ppid=7018 vsize=27344476 memory=6130852 CPUtime=2.14 cores=0-7
/proc/7021/task/7025/stat : 7025 (java) S 7018 7021 5618 0 -1 1077944384 6144 0 0 0 188 26 0 0 20 0 19 0 176008120 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140191570815632 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7026] ppid=7018 vsize=27344476 memory=7948364 CPUtime=2.14 cores=0-7
/proc/7021/task/7026/stat : 7026 (java) S 7018 7021 5618 0 -1 1077944384 7318 0 0 0 188 26 0 0 20 0 19 0 176008120 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140191569762576 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7027] ppid=7018 vsize=27344476 memory=5808336 CPUtime=2.15 cores=0-7
/proc/7021/task/7027/stat : 7027 (java) S 7018 7021 5618 0 -1 1077944384 6752 0 0 0 189 26 0 0 20 0 19 0 176008120 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140191568710032 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7028] ppid=7018 vsize=27344476 memory=1576 CPUtime=2.18 cores=0-7
/proc/7021/task/7028/stat : 7028 (java) S 7018 7021 5618 0 -1 1077944384 7000 0 0 0 190 28 0 0 20 0 19 0 176008120 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140191567658000 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7029] ppid=7018 vsize=27344476 memory=2236 CPUtime=2.13 cores=0-7
/proc/7021/task/7029/stat : 7029 (java) S 7018 7021 5618 0 -1 1077944384 6529 0 0 0 185 28 0 0 20 0 19 0 176008120 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140191566605456 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7030] ppid=7018 vsize=27344476 memory=5327788 CPUtime=2.16 cores=0-7
/proc/7021/task/7030/stat : 7030 (java) S 7018 7021 5618 0 -1 1077944384 6895 0 0 0 191 25 0 0 20 0 19 0 176008120 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140191565552400 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7031] ppid=7018 vsize=27344476 memory=928 CPUtime=2.14 cores=0-7
/proc/7021/task/7031/stat : 7031 (java) S 7018 7021 5618 0 -1 1077944384 6560 0 0 0 188 26 0 0 20 0 19 0 176008120 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140191564499856 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7032] ppid=7018 vsize=27344476 memory=5327788 CPUtime=0.19 cores=0-7
/proc/7021/task/7032/stat : 7032 (java) S 7018 7021 5618 0 -1 1077944384 8117 0 0 0 17 2 0 0 20 0 19 0 176008121 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140190123190720 140191649299074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7033] ppid=7018 vsize=27344476 memory=5327788 CPUtime=0 cores=0-7
/proc/7021/task/7033/stat : 7033 (java) S 7018 7021 5618 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 176008122 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140190122136800 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7034] ppid=7018 vsize=27344476 memory=4136 CPUtime=0 cores=0-7
/proc/7021/task/7034/stat : 7034 (java) S 7018 7021 5618 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 176008122 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140190121083648 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7035] ppid=7018 vsize=27344476 memory=48720 CPUtime=0 cores=0-7
/proc/7021/task/7035/stat : 7035 (java) S 7018 7021 5618 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 176008124 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140190120030976 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7036] ppid=7018 vsize=27344476 memory=0 CPUtime=3.03 cores=0-7
/proc/7021/task/7036/stat : 7036 (java) S 7018 7021 5618 0 -1 1077944384 11625 0 0 0 300 3 0 0 20 0 19 0 176008124 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140190118967936 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7037] ppid=7018 vsize=27344476 memory=796 CPUtime=3.04 cores=0-7
/proc/7021/task/7037/stat : 7037 (java) S 7018 7021 5618 0 -1 1077944384 10215 0 0 0 302 2 0 0 20 0 19 0 176008124 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140190117912752 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7038] ppid=7018 vsize=27344476 memory=1004 CPUtime=2.8 cores=0-7
/proc/7021/task/7038/stat : 7038 (java) S 7018 7021 5618 0 -1 1077944384 11135 0 0 0 278 2 0 0 20 0 19 0 176008125 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140190116859248 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7039] ppid=7018 vsize=27344476 memory=8171622521647551598 CPUtime=1.28 cores=0-7
/proc/7021/task/7039/stat : 7039 (java) S 7018 7021 5618 0 -1 1077944384 9611 0 0 0 126 2 0 0 20 0 19 0 176008125 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140190115818064 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
[pid=7021/tid=7040] ppid=7018 vsize=27344476 memory=6935652554312077392 CPUtime=0 cores=0-7
/proc/7021/task/7040/stat : 7040 (java) S 7018 7021 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176008125 28000743424 1987173 33554432000 4194304 4196468 140729741531840 140190114769376 140191649298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140729741538401 140729741538587 140729741538587 140729741541327 0
Current children cumulated CPU time: 124.32 s
Current children cumulated vsize: 27344476 KiB
Current children cumulated memory: 7948692 KiB

Child status: 0
Real time (s): 47.163
CPU time (s): 124.386
CPU user time (s): 119.121
CPU system time (s): 5.26573
CPU usage (%): 263.737
Max. virtual memory (cumulated for all children) (KiB): 27344476
Max. memory (cumulated for all children) (KiB): 7948692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.121
system time used= 5.26572
maximum resident set size= 7949696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146169
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11913
involuntary context switches= 2293


# summary of solver processes directly reported to runsolver:
#   pid: 7021
#   total CPU time (s): 124.386
#   total CPU user time (s): 119.121
#   total CPU system time (s): 5.26573

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.366762 second user time and 0.575777 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-22 20:58:59
IDJOB=4285124
IDBENCH=125565
IDSOLVER=2681
FILE ID=node102/4285124-1503429200
RUNJOBID= node102-1503423187-5645
PBS_JOBID= 20632129
Free space on /tmp= 61048 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-04-05.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285124-1503429200/watcher-4285124-1503429200 -o /tmp/evaluation-result-4285124-1503429200/solver-4285124-1503429200 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503423187-5645 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1708244916 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285124-1503429200.xml

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

MD5SUM BENCH= 7198b26315477549e19a49cdd0865ba2
RANDOM SEED=1708244916

node102.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.35
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.35
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.35
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.35
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:        23726712 kB
MemAvailable:   31951124 kB
Buffers:          252864 kB
Cached:          8260120 kB
SwapCached:            0 kB
Active:          1798628 kB
Inactive:        6766312 kB
Active(anon):       5140 kB
Inactive(anon):    91260 kB
Active(file):    1793488 kB
Inactive(file):  6675052 kB
Unevictable:        7484 kB
Mlocked:            7484 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42852 kB
Writeback:             4 kB
AnonPages:         59112 kB
Mapped:            54256 kB
Shmem:             41612 kB
Slab:             171536 kB
SReclaimable:     143416 kB
SUnreclaim:        28120 kB
KernelStack:        3232 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     342632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61008 MiB
End job on node102 at 2017-08-22 20:59:47