Trace number 4246456

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
R1: OscaR - Conflict Ordering 2017-06-30SAT 200.376 192.146

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246456-1500711128/watcher-4246456-1500711128 -o /tmp/evaluation-result-4246456-1500711128/solver-4246456-1500711128 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500697134-6764 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1090528267 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246456-1500711128.xml 

pid=9821
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.11 1.58 1.51 5/262 9824
/proc/meminfo: memFree=31618260/32770624 swapFree=5872/311256
[pid=9824] ppid=9821 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 6380590 369864704 1413 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 90299 1413 1072 1 0 79210 0
[pid=9824/tid=9825] ppid=9821 vsize=10621200 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) R 9821 9824 8571 0 -1 4202560 529 0 0 0 0 0 0 0 20 0 2 0 6380590 10876108800 1592 33554432000 4194304 4196468 140726074811760 140509825911200 140509813958560 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0

[startup+0.100162 s]
/proc/loadavg: 2.11 1.58 1.51 5/262 9824
/proc/meminfo: memFree=31618260/32770624 swapFree=5872/311256
[pid=9824] ppid=9821 vsize=13194476 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 4685 0 0 0 7 1 0 0 20 0 19 0 6380590 13511143424 4781 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3298619 4781 2592 1 0 3287057 0
[pid=9824/tid=9825] ppid=9821 vsize=13194476 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) D 9821 9824 8571 0 -1 1077944384 2764 0 0 0 7 0 0 0 20 0 19 0 6380590 13511143424 4781 33554432000 4194304 4196468 140726074811760 140509825906496 140509821692989 0 4 0 16800975 18446744072101649956 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13194476

[startup+0.200393 s]
/proc/loadavg: 2.11 1.58 1.51 5/262 9824
/proc/meminfo: memFree=31618260/32770624 swapFree=5872/311256
[pid=9824] ppid=9821 vsize=13194476 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 4685 0 0 0 7 1 0 0 20 0 19 0 6380590 13511143424 4781 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3298619 4781 2592 1 0 3287057 0
[pid=9824/tid=9825] ppid=9821 vsize=13194476 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) D 9821 9824 8571 0 -1 1077944384 2764 0 0 0 7 0 0 0 20 0 19 0 6380590 13511143424 4781 33554432000 4194304 4196468 140726074811760 140509825906496 140509821692989 0 4 0 16800975 18446744072101649956 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13194476

[startup+0.300297 s]
/proc/loadavg: 2.11 1.58 1.51 5/262 9824
/proc/meminfo: memFree=31618260/32770624 swapFree=5872/311256
[pid=9824] ppid=9821 vsize=13263912 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 6509 0 0 0 11 1 0 0 20 0 20 0 6380590 13582245888 6740 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3315978 6740 3339 1 0 3303698 0
[pid=9824/tid=9825] ppid=9821 vsize=13263912 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) R 9821 9824 8571 0 -1 4202560 4558 0 0 0 10 1 0 0 20 0 20 0 6380590 13582245888 6740 33554432000 4194304 4196468 140726074811760 140509825907120 140509821691037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13263912

[startup+0.700209 s]
/proc/loadavg: 2.11 1.58 1.51 5/262 9824
/proc/meminfo: memFree=31618260/32770624 swapFree=5872/311256
[pid=9824] ppid=9821 vsize=13263932 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 11257 0 0 0 84 3 0 0 20 0 20 0 6380590 13582266368 14481 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3315983 14481 3736 1 0 3303698 0
[pid=9824/tid=9825] ppid=9821 vsize=13263932 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) R 9821 9824 8571 0 -1 4202560 7747 0 0 0 48 2 0 0 20 0 20 0 6380590 13582266368 14481 33554432000 4194304 4196468 140726074811760 140509825905800 140509821691037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 13263932

[startup+1.50096 s]
/proc/loadavg: 2.11 1.58 1.51 6/282 9844
/proc/meminfo: memFree=31429328/32770624 swapFree=5872/311656
[pid=9824] ppid=9821 vsize=13268028 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 22128 0 0 0 398 6 0 0 20 0 20 0 6380590 13586460672 40268 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3317007 40268 3793 1 0 3304722 0
[pid=9824/tid=9825] ppid=9821 vsize=13268028 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) R 9821 9824 8571 0 -1 4202560 9402 0 0 0 126 4 0 0 20 0 20 0 6380590 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509825904664 140509821681046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9827] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9827/stat : 9827 (java) S 9821 9824 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6380591 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509789228176 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9828] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9828/stat : 9828 (java) S 9821 9824 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6380591 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509420129296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9829] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9829/stat : 9829 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380591 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509419076496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9830] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9830/stat : 9830 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380591 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509418023696 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9831] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9831/stat : 9831 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380591 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509416970896 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9832] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9832/stat : 9832 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380591 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509415918096 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9833] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9833/stat : 9833 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380591 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509414865296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9834] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9834/stat : 9834 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380591 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509413812496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9835] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9835/stat : 9835 (java) S 9821 9824 8571 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 6380593 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509150342000 140509821680258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9836] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9836/stat : 9836 (java) S 9821 9824 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6380594 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509149287968 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9837] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9837/stat : 9837 (java) S 9821 9824 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6380594 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509148235120 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9838] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9838/stat : 9838 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380598 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509147183440 140509821687707 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9839] ppid=9821 vsize=13268028 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9839/stat : 9839 (java) S 9821 9824 8571 0 -1 1077944384 3091 0 0 0 68 0 0 0 20 0 20 0 6380598 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509146130800 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9840] ppid=9821 vsize=13268028 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9840/stat : 9840 (java) R 9821 9824 8571 0 -1 4202560 2154 0 0 0 68 0 0 0 20 0 20 0 6380598 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509145062768 140509803190551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9841] ppid=9821 vsize=13268028 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9841/stat : 9841 (java) R 9821 9824 8571 0 -1 4202560 2806 0 0 0 68 0 0 0 20 0 20 0 6380598 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509144025496 140509805083549 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9842] ppid=9821 vsize=13268028 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9842/stat : 9842 (java) S 9821 9824 8571 0 -1 1077944384 3266 0 0 0 66 0 0 0 20 0 20 0 6380598 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509142972400 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9843] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9843/stat : 9843 (java) S 9821 9824 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6380599 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509141920864 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9844] ppid=9821 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9844/stat : 9844 (java) S 9821 9824 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6380617 13586460672 40268 33554432000 4194304 4196468 140726074811760 140509140868144 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 13268028

[startup+3.10072 s]
/proc/loadavg: 2.42 1.65 1.54 3/282 9844
/proc/meminfo: memFree=31200160/32770624 swapFree=5872/311664
[pid=9824] ppid=9821 vsize=13270076 CPUtime=9.56 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 32028 0 0 0 904 52 0 0 20 0 20 0 6380590 13588557824 78891 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3317519 78891 3828 1 0 3305234 0
[pid=9824/tid=9825] ppid=9821 vsize=13270076 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) R 9821 9824 8571 0 -1 4202560 12320 0 0 0 266 7 0 0 20 0 20 0 6380590 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509825904344 140509469704211 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9827] ppid=9821 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9827/stat : 9827 (java) S 9821 9824 8571 0 -1 1077944384 56 0 0 0 7 4 0 0 20 0 20 0 6380591 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509789228176 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9828] ppid=9821 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9828/stat : 9828 (java) S 9821 9824 8571 0 -1 1077944384 77 0 0 0 8 4 0 0 20 0 20 0 6380591 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509420129296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9829] ppid=9821 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9829/stat : 9829 (java) S 9821 9824 8571 0 -1 1077944384 68 0 0 0 7 5 0 0 20 0 20 0 6380591 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509419076496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9830] ppid=9821 vsize=13270076 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9830/stat : 9830 (java) S 9821 9824 8571 0 -1 1077944384 66 0 0 0 8 5 0 0 20 0 20 0 6380591 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509418023696 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9831] ppid=9821 vsize=13270076 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9831/stat : 9831 (java) S 9821 9824 8571 0 -1 1077944384 66 0 0 0 8 5 0 0 20 0 20 0 6380591 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509416970896 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9832] ppid=9821 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9832/stat : 9832 (java) S 9821 9824 8571 0 -1 1077944384 126 0 0 0 7 4 0 0 20 0 20 0 6380591 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509415918096 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9833] ppid=9821 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9833/stat : 9833 (java) S 9821 9824 8571 0 -1 1077944384 158 0 0 0 8 4 0 0 20 0 20 0 6380591 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509414865296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9834] ppid=9821 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9834/stat : 9834 (java) S 9821 9824 8571 0 -1 1077944384 1174 0 0 0 8 4 0 0 20 0 20 0 6380591 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509413812496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9835] ppid=9821 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9835/stat : 9835 (java) S 9821 9824 8571 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 6380593 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509150342000 140509821680258 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9836] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9836/stat : 9836 (java) S 9821 9824 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509149288032 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9837] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9837/stat : 9837 (java) S 9821 9824 8571 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509148235136 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9838] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9838/stat : 9838 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380598 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509147183440 140509821687707 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9839] ppid=9821 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9839/stat : 9839 (java) R 9821 9824 8571 0 -1 4202560 3727 0 0 0 152 1 0 0 20 0 20 0 6380598 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509146118336 140509802042247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9840] ppid=9821 vsize=13270076 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9840/stat : 9840 (java) S 9821 9824 8571 0 -1 1077944384 2921 0 0 0 150 0 0 0 20 0 20 0 6380598 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509145078000 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9841] ppid=9821 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9841/stat : 9841 (java) R 9821 9824 8571 0 -1 4202560 3107 0 0 0 153 0 0 0 20 0 20 0 6380598 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509144025496 140509806061098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9842] ppid=9821 vsize=13270076 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9842/stat : 9842 (java) S 9821 9824 8571 0 -1 1077944384 6502 0 0 0 113 1 0 0 20 0 20 0 6380598 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509142972400 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9843] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9843/stat : 9843 (java) S 9821 9824 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6380599 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509141920864 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9844] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9844/stat : 9844 (java) S 9821 9824 8571 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 6380617 13588557824 78891 33554432000 4194304 4196468 140726074811760 140509140868144 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 13270076

[startup+6.30077 s]
/proc/loadavg: 2.42 1.65 1.54 3/282 9844
/proc/meminfo: memFree=31175208/32770624 swapFree=5872/311672
[pid=9824] ppid=9821 vsize=13270076 CPUtime=13.47 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 32333 0 0 0 1294 53 0 0 20 0 20 0 6380590 13588557824 79098 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3317519 79098 3831 1 0 3305234 0
[pid=9824/tid=9825] ppid=9821 vsize=13270076 CPUtime=5.92 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) R 9821 9824 8571 0 -1 4202560 12360 0 0 0 585 7 0 0 20 0 20 0 6380590 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509825904952 140509470121277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9827] ppid=9821 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9827/stat : 9827 (java) S 9821 9824 8571 0 -1 1077944384 56 0 0 0 7 4 0 0 20 0 20 0 6380591 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509789228176 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9828] ppid=9821 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9828/stat : 9828 (java) S 9821 9824 8571 0 -1 1077944384 77 0 0 0 8 4 0 0 20 0 20 0 6380591 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509420129296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9829] ppid=9821 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9829/stat : 9829 (java) S 9821 9824 8571 0 -1 1077944384 68 0 0 0 7 5 0 0 20 0 20 0 6380591 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509419076496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9830] ppid=9821 vsize=13270076 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9830/stat : 9830 (java) S 9821 9824 8571 0 -1 1077944384 66 0 0 0 8 5 0 0 20 0 20 0 6380591 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509418023696 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9831] ppid=9821 vsize=13270076 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9831/stat : 9831 (java) S 9821 9824 8571 0 -1 1077944384 66 0 0 0 8 5 0 0 20 0 20 0 6380591 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509416970896 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9832] ppid=9821 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9832/stat : 9832 (java) S 9821 9824 8571 0 -1 1077944384 126 0 0 0 7 4 0 0 20 0 20 0 6380591 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509415918096 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9833] ppid=9821 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9833/stat : 9833 (java) S 9821 9824 8571 0 -1 1077944384 158 0 0 0 8 4 0 0 20 0 20 0 6380591 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509414865296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9834] ppid=9821 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9834/stat : 9834 (java) S 9821 9824 8571 0 -1 1077944384 1174 0 0 0 8 4 0 0 20 0 20 0 6380591 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509413812496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9835] ppid=9821 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9835/stat : 9835 (java) S 9821 9824 8571 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 6380593 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509150342000 140509821680258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9836] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9836/stat : 9836 (java) S 9821 9824 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509149288032 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9837] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9837/stat : 9837 (java) S 9821 9824 8571 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 79098 33554432000 4194304 4196468 140726074811760 140509148235136 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9838] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=9824/tid=9833] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9833/stat : 9833 (java) S 9821 9824 8571 0 -1 1077944384 2046 0 0 0 13 8 0 0 20 0 20 0 6380591 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509414865296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9834] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9834/stat : 9834 (java) S 9821 9824 8571 0 -1 1077944384 1256 0 0 0 13 8 0 0 20 0 20 0 6380591 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509413812496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9835] ppid=9821 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9835/stat : 9835 (java) S 9821 9824 8571 0 -1 1077944384 923 0 0 0 3 0 0 0 20 0 20 0 6380593 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509150342000 140509821680258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9836] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9836/stat : 9836 (java) S 9821 9824 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509149288032 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9837] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9837/stat : 9837 (java) S 9821 9824 8571 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509148235136 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9838] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9838/stat : 9838 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380598 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509147183440 140509821687707 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9839] ppid=9821 vsize=13270076 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9839/stat : 9839 (java) S 9821 9824 8571 0 -1 1077944384 4783 0 0 0 176 2 0 0 20 0 20 0 6380598 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509146130800 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9840] ppid=9821 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9840/stat : 9840 (java) S 9821 9824 8571 0 -1 1077944384 6858 0 0 0 183 0 0 0 20 0 20 0 6380598 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509145078000 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9841] ppid=9821 vsize=13270076 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9841/stat : 9841 (java) S 9821 9824 8571 0 -1 1077944384 4402 0 0 0 183 0 0 0 20 0 20 0 6380598 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509144025200 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9842] ppid=9821 vsize=13270076 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9842/stat : 9842 (java) S 9821 9824 8571 0 -1 1077944384 8436 0 0 0 119 1 0 0 20 0 20 0 6380598 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509142972400 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9843] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9843/stat : 9843 (java) S 9821 9824 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6380599 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509141920864 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9844] ppid=9821 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9844/stat : 9844 (java) S 9821 9824 8571 0 -1 1077944384 308 0 0 0 1 2 0 0 20 0 20 0 6380617 13588557824 141080 33554432000 4194304 4196468 140726074811760 140509140868144 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 199.26
Current children cumulated vsize (KiB) 13270076

[startup+191.601 s]
/proc/loadavg: 1.79 1.74 1.59 3/281 9847
/proc/meminfo: memFree=30994468/32770624 swapFree=5872/311832
[pid=9824] ppid=9821 vsize=13270076 CPUtime=199.67 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 50826 0 0 0 19877 90 0 0 20 0 20 0 6380590 13588557824 141595 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3317519 141595 3834 1 0 3305234 0
[pid=9824/tid=9825] ppid=9821 vsize=13270076 CPUtime=191.08 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) R 9821 9824 8571 0 -1 4202560 15404 0 0 0 19098 10 0 0 20 0 20 0 6380590 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509825904456 140509469679553 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9827] ppid=9821 vsize=13270076 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9827/stat : 9827 (java) S 9821 9824 8571 0 -1 1077944384 393 0 0 0 12 8 0 0 20 0 20 0 6380591 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509789228176 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9828] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9828/stat : 9828 (java) S 9821 9824 8571 0 -1 1077944384 2034 0 0 0 12 9 0 0 20 0 20 0 6380591 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509420129296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9829] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9829/stat : 9829 (java) S 9821 9824 8571 0 -1 1077944384 463 0 0 0 12 9 0 0 20 0 20 0 6380591 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509419076496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9830] ppid=9821 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9830/stat : 9830 (java) S 9821 9824 8571 0 -1 1077944384 344 0 0 0 14 9 0 0 20 0 20 0 6380591 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509418023696 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9831] ppid=9821 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9831/stat : 9831 (java) S 9821 9824 8571 0 -1 1077944384 150 0 0 0 14 9 0 0 20 0 20 0 6380591 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509416970896 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9832] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9832/stat : 9832 (java) S 9821 9824 8571 0 -1 1077944384 268 0 0 0 12 9 0 0 20 0 20 0 6380591 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509415918096 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9833] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9833/stat : 9833 (java) S 9821 9824 8571 0 -1 1077944384 2046 0 0 0 13 8 0 0 20 0 20 0 6380591 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509414865296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9834] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9834/stat : 9834 (java) S 9821 9824 8571 0 -1 1077944384 1256 0 0 0 13 8 0 0 20 0 20 0 6380591 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509413812496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9835] ppid=9821 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9835/stat : 9835 (java) S 9821 9824 8571 0 -1 1077944384 923 0 0 0 3 0 0 0 20 0 20 0 6380593 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509150342000 140509821680258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9836] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9836/stat : 9836 (java) S 9821 9824 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509149288032 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9837] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9837/stat : 9837 (java) S 9821 9824 8571 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509148235136 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9838] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9838/stat : 9838 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380598 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509147183440 140509821687707 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9839] ppid=9821 vsize=13270076 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9839/stat : 9839 (java) S 9821 9824 8571 0 -1 1077944384 5072 0 0 0 177 2 0 0 20 0 20 0 6380598 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509146130800 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9840] ppid=9821 vsize=13270076 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9840/stat : 9840 (java) S 9821 9824 8571 0 -1 1077944384 7154 0 0 0 184 0 0 0 20 0 20 0 6380598 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509145078000 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9841] ppid=9821 vsize=13270076 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9841/stat : 9841 (java) S 9821 9824 8571 0 -1 1077944384 4456 0 0 0 184 0 0 0 20 0 20 0 6380598 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509144025200 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9842] ppid=9821 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9842/stat : 9842 (java) S 9821 9824 8571 0 -1 1077944384 9136 0 0 0 120 1 0 0 20 0 20 0 6380598 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509142972400 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9843] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9843/stat : 9843 (java) S 9821 9824 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6380599 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509141920864 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9844] ppid=9821 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9844/stat : 9844 (java) S 9821 9824 8571 0 -1 1077944384 308 0 0 0 1 2 0 0 20 0 20 0 6380617 13588557824 141595 33554432000 4194304 4196468 140726074811760 140509140868144 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 199.67
Current children cumulated vsize (KiB) 13270076

[startup+192.001 s]
/proc/loadavg: 1.79 1.74 1.59 3/281 9847
/proc/meminfo: memFree=30994468/32770624 swapFree=5872/311832
[pid=9824] ppid=9821 vsize=13270076 CPUtime=200.16 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 52561 0 0 0 19926 90 0 0 20 0 20 0 6380590 13588557824 141891 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3317519 141891 3834 1 0 3305234 0
[pid=9824/tid=9825] ppid=9821 vsize=13270076 CPUtime=191.48 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) R 9821 9824 8571 0 -1 4202560 15406 0 0 0 19138 10 0 0 20 0 20 0 6380590 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509825904904 140509469564211 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9827] ppid=9821 vsize=13270076 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9827/stat : 9827 (java) S 9821 9824 8571 0 -1 1077944384 393 0 0 0 12 8 0 0 20 0 20 0 6380591 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509789228176 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9828] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9828/stat : 9828 (java) S 9821 9824 8571 0 -1 1077944384 2034 0 0 0 12 9 0 0 20 0 20 0 6380591 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509420129296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9829] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9829/stat : 9829 (java) S 9821 9824 8571 0 -1 1077944384 463 0 0 0 12 9 0 0 20 0 20 0 6380591 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509419076496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9830] ppid=9821 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9830/stat : 9830 (java) S 9821 9824 8571 0 -1 1077944384 344 0 0 0 14 9 0 0 20 0 20 0 6380591 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509418023696 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9831] ppid=9821 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9831/stat : 9831 (java) S 9821 9824 8571 0 -1 1077944384 150 0 0 0 14 9 0 0 20 0 20 0 6380591 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509416970896 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9832] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9832/stat : 9832 (java) S 9821 9824 8571 0 -1 1077944384 268 0 0 0 12 9 0 0 20 0 20 0 6380591 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509415918096 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9833] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9833/stat : 9833 (java) S 9821 9824 8571 0 -1 1077944384 2046 0 0 0 13 8 0 0 20 0 20 0 6380591 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509414865296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9834] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9834/stat : 9834 (java) S 9821 9824 8571 0 -1 1077944384 1256 0 0 0 13 8 0 0 20 0 20 0 6380591 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509413812496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9835] ppid=9821 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9835/stat : 9835 (java) S 9821 9824 8571 0 -1 1077944384 923 0 0 0 3 0 0 0 20 0 20 0 6380593 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509150342000 140509821680258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9836] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9836/stat : 9836 (java) S 9821 9824 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509149288032 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9837] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9837/stat : 9837 (java) S 9821 9824 8571 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509148235136 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9838] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9838/stat : 9838 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380598 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509147183440 140509821687707 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9839] ppid=9821 vsize=13270076 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9839/stat : 9839 (java) S 9821 9824 8571 0 -1 1077944384 5072 0 0 0 177 2 0 0 20 0 20 0 6380598 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509146130800 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9840] ppid=9821 vsize=13270076 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9840/stat : 9840 (java) S 9821 9824 8571 0 -1 1077944384 7154 0 0 0 184 0 0 0 20 0 20 0 6380598 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509145078000 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9841] ppid=9821 vsize=13270076 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9841/stat : 9841 (java) S 9821 9824 8571 0 -1 1077944384 6189 0 0 0 192 1 0 0 20 0 20 0 6380598 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509144025200 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9842] ppid=9821 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9842/stat : 9842 (java) S 9821 9824 8571 0 -1 1077944384 9136 0 0 0 120 1 0 0 20 0 20 0 6380598 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509142972400 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9843] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9843/stat : 9843 (java) S 9821 9824 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6380599 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509141920864 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9844] ppid=9821 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9844/stat : 9844 (java) S 9821 9824 8571 0 -1 1077944384 308 0 0 0 1 2 0 0 20 0 20 0 6380617 13588557824 141891 33554432000 4194304 4196468 140726074811760 140509140868144 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 200.16
Current children cumulated vsize (KiB) 13270076

[startup+192.101 s]
/proc/loadavg: 1.79 1.74 1.59 3/281 9847
/proc/meminfo: memFree=30994468/32770624 swapFree=5872/311832
[pid=9824] ppid=9821 vsize=13270076 CPUtime=200.31 cores=0,2,4,6,8,10,12,14
/proc/9824/stat : 9824 (java) S 9821 9824 8571 0 -1 1077944320 54866 0 0 0 19940 91 0 0 20 0 20 0 6380590 13588557824 154713 33554432000 4194304 4196468 140726074811760 140726074794304 140509821669111 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
/proc/9824/statm: 3317519 154713 3834 1 0 3305234 0
[pid=9824/tid=9825] ppid=9821 vsize=13270076 CPUtime=191.57 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9825/stat : 9825 (java) R 9821 9824 8571 0 -1 4202560 16269 0 0 0 19147 10 0 0 20 0 20 0 6380590 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509825904616 140509459334303 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9827] ppid=9821 vsize=13270076 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9827/stat : 9827 (java) S 9821 9824 8571 0 -1 1077944384 393 0 0 0 12 8 0 0 20 0 20 0 6380591 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509789228176 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9828] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9828/stat : 9828 (java) S 9821 9824 8571 0 -1 1077944384 2034 0 0 0 12 9 0 0 20 0 20 0 6380591 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509420129296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9829] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9829/stat : 9829 (java) S 9821 9824 8571 0 -1 1077944384 463 0 0 0 12 9 0 0 20 0 20 0 6380591 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509419076496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9830] ppid=9821 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9830/stat : 9830 (java) S 9821 9824 8571 0 -1 1077944384 344 0 0 0 14 9 0 0 20 0 20 0 6380591 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509418023696 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9831] ppid=9821 vsize=13270076 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9831/stat : 9831 (java) S 9821 9824 8571 0 -1 1077944384 150 0 0 0 14 9 0 0 20 0 20 0 6380591 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509416970896 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9832] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9832/stat : 9832 (java) S 9821 9824 8571 0 -1 1077944384 268 0 0 0 12 9 0 0 20 0 20 0 6380591 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509415918096 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9833] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9833/stat : 9833 (java) S 9821 9824 8571 0 -1 1077944384 2046 0 0 0 13 8 0 0 20 0 20 0 6380591 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509414865296 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9834] ppid=9821 vsize=13270076 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9834/stat : 9834 (java) S 9821 9824 8571 0 -1 1077944384 1256 0 0 0 13 8 0 0 20 0 20 0 6380591 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509413812496 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9835] ppid=9821 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9835/stat : 9835 (java) S 9821 9824 8571 0 -1 1077944384 924 0 0 0 3 0 0 0 20 0 20 0 6380593 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509150342000 140509821680258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9836] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9836/stat : 9836 (java) S 9821 9824 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509149288032 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9837] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9837/stat : 9837 (java) S 9821 9824 8571 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 6380594 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509148235136 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9838] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9838/stat : 9838 (java) S 9821 9824 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6380598 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509147183440 140509821687707 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9839] ppid=9821 vsize=13270076 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9839/stat : 9839 (java) S 9821 9824 8571 0 -1 1077944384 5302 0 0 0 178 2 0 0 20 0 20 0 6380598 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509146130800 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9840] ppid=9821 vsize=13270076 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9840/stat : 9840 (java) S 9821 9824 8571 0 -1 1077944384 7194 0 0 0 185 0 0 0 20 0 20 0 6380598 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509145078000 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9841] ppid=9821 vsize=13270076 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9841/stat : 9841 (java) S 9821 9824 8571 0 -1 1077944384 6212 0 0 0 194 1 0 0 20 0 20 0 6380598 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509144025200 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9842] ppid=9821 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9842/stat : 9842 (java) S 9821 9824 8571 0 -1 1077944384 10284 0 0 0 120 1 0 0 20 0 20 0 6380598 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509142972400 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9843] ppid=9821 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9843/stat : 9843 (java) S 9821 9824 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6380599 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509141920864 140509821679317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
[pid=9824/tid=9844] ppid=9821 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/9824/task/9844/stat : 9844 (java) S 9821 9824 8571 0 -1 1077944384 308 0 0 0 1 2 0 0 20 0 20 0 6380617 13588557824 154713 33554432000 4194304 4196468 140726074811760 140509140868144 140509821680258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26112000 140726074815625 140726074815812 140726074815812 140726074818511 0
Current children cumulated CPU time (s) 200.31
Current children cumulated vsize (KiB) 13270076

Child status: 0
Real time (s): 192.146
CPU time (s): 200.376
CPU user time (s): 199.442
CPU system time (s): 0.934388
CPU usage (%): 104.283
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.442
system time used= 0.934388
maximum resident set size= 641772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9323
involuntary context switches= 10427

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16981 second user time and 1.31794 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-22 10:12:08
IDJOB=4246456
IDBENCH=125565
IDSOLVER=2628
FILE ID=node126/4246456-1500711128
RUNJOBID= node126-1500697134-6764
PBS_JOBID= 20623339
Free space on /tmp= 61940 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-04-05.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246456-1500711128/watcher-4246456-1500711128 -o /tmp/evaluation-result-4246456-1500711128/solver-4246456-1500711128 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500697134-6764 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1090528267 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246456-1500711128.xml

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

MD5SUM BENCH= 7198b26315477549e19a49cdd0865ba2
RANDOM SEED=1090528267

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

/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		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.50
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.50
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.50
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.50
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31620840 kB
MemAvailable:   31926436 kB
Buffers:          130380 kB
Cached:           456708 kB
SwapCached:            0 kB
Active:           395056 kB
Inactive:         319924 kB
Active(anon):     131604 kB
Inactive(anon):     8668 kB
Active(file):     263452 kB
Inactive(file):   311256 kB
Unevictable:        5872 kB
Mlocked:            5872 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             84480 kB
Writeback:             0 kB
AnonPages:        137388 kB
Mapped:            43900 kB
Shmem:              8840 kB
Slab:             127608 kB
SReclaimable:      93448 kB
SUnreclaim:        34160 kB
KernelStack:        4768 kB
PageTables:         5788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1253988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 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= 61900 MiB
End job on node126 at 2017-07-22 10:15:20