Trace number 4273844

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26SAT 193.271 187.592

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.36/0.42	c version: 2017-07-26
0.36/0.42	c seed: 391029143
0.36/0.43	c timeout: 2520
0.36/0.43	c memlimit: 11000
0.36/0.43	c nbcore: 4
0.36/0.45	c Parsing instance...
5.38/2.27	c Parsing done, starting search...
193.12/187.56	s SATISFIABLE
193.12/187.57	v <instantiation>
193.12/187.57	v 	<list>
193.12/187.57	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]
193.12/187.57	v 	</list>
193.12/187.57	v 	<values>
193.12/187.57	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 
193.12/187.57	v 	</values>
193.12/187.57	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14411 MiB free)
  memory of node 1: 16384 MiB (15367 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273844-1502764630/watcher-4273844-1502764630 -o /tmp/evaluation-result-4273844-1502764630/solver-4273844-1502764630 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 391029143 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273844-1502764630.xml 

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

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


[startup+0.100138 s]*
/proc/loadavg: 1.51 1.48 1.44 3/201 24827
/proc/meminfo: memFree=30492484/32770624 swapFree=67108860/67108860
[pid=24825] ppid=24822 vsize=13358552 memory=14864 CPUtime=0 cores=1,3,5,7
/proc/24825/stat : 24825 (java) S 24822 24825 8289 0 -1 1077944320 3009 0 0 0 0 0 0 0 20 0 6 0 124278150 13679157248 3650 18446744073709551615 4194304 4196468 140720866004000 140720865986544 140537793359607 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
/proc/24825/statm: 3339638 3716 1644 1 0 3329135 0
[pid=24825/tid=24827] ppid=24822 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24827/stat : 24827 (java) R 24822 24825 8289 0 -1 4202560 1754 0 0 0 0 0 0 0 20 0 6 0 124278160 13679157248 3716 18446744073709551615 4194304 4196468 140720866004000 140537797595728 140537754340931 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24828] ppid=24822 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24828/stat : 24828 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124278161 13679157248 3782 18446744073709551615 4194304 4196468 140720866004000 140537712774160 140537793369813 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24829] ppid=24822 vsize=13358552 memory=140045879240320 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24829/stat : 24829 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124278161 13679157248 3782 18446744073709551615 4194304 4196468 140720866004000 140537711721616 140537793369813 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24830] ppid=24822 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24830/stat : 24830 (java) S 24822 24825 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 124278161 13679157248 3782 18446744073709551615 4194304 4196468 140720866004000 140537710668560 140537793369813 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24831] ppid=24822 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24831/stat : 24831 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124278161 13679157248 3782 18446744073709551615 4194304 4196468 140720866004000 140537709616016 140537793369813 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14864 KiB

[startup+0.210183 s]*
/proc/loadavg: 1.51 1.48 1.44 2/213 24839
/proc/meminfo: memFree=30483108/32770624 swapFree=67108860/67108860
[pid=24825] ppid=24822 vsize=13906484 memory=20696 CPUtime=0.05 cores=1,3,5,7
/proc/24825/stat : 24825 (java) S 24822 24825 8289 0 -1 1077944320 4637 0 0 0 5 0 0 0 20 0 14 0 124278150 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140720865986544 140537793359607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
/proc/24825/statm: 3476621 5174 2588 1 0 3466118 0
[pid=24825/tid=24827] ppid=24822 vsize=13906484 memory=7077796292425249400 CPUtime=0.04 cores=1,3,5,7
/proc/24825/task/24827/stat : 24827 (java) D 24822 24825 8289 0 -1 4202560 2727 0 0 0 4 0 0 0 20 0 14 0 124278160 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537797597088 140537793381629 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24828] ppid=24822 vsize=13906484 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24828/stat : 24828 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 124278161 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537712774160 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24829] ppid=24822 vsize=13906484 memory=140045879240320 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24829/stat : 24829 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 124278161 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537711721616 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24830] ppid=24822 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24830/stat : 24830 (java) S 24822 24825 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 124278161 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537710668560 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24831] ppid=24822 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24831/stat : 24831 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 124278161 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537709616016 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24832] ppid=24822 vsize=13906484 memory=140045879240320 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24832/stat : 24832 (java) S 24822 24825 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 124278162 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537137441008 140537793370754 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24833] ppid=24822 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24833/stat : 24833 (java) S 24822 24825 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 124278163 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537136387232 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24834] ppid=24822 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24834/stat : 24834 (java) S 24822 24825 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 124278163 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537135334128 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24835] ppid=24822 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24835/stat : 24835 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 124278165 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537134282704 140537793378203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24836] ppid=24822 vsize=13906484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24836/stat : 24836 (java) S 24822 24825 8289 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 14 0 124278165 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537133230832 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24837] ppid=24822 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24837/stat : 24837 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 124278165 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537132178288 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24838] ppid=24822 vsize=13906484 memory=140045879240320 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24838/stat : 24838 (java) S 24822 24825 8289 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 14 0 124278165 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537131125232 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24839] ppid=24822 vsize=13906484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24839/stat : 24839 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 124278165 14240239616 5174 18446744073709551615 4194304 4196468 140720866004000 140537130072928 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20696 KiB

[startup+0.310051 s]*
/proc/loadavg: 1.51 1.48 1.44 4/214 24840
/proc/meminfo: memFree=30467740/32770624 swapFree=67108860/67108860
[pid=24825] ppid=24822 vsize=13975920 memory=37624 CPUtime=0.19 cores=1,3,5,7
/proc/24825/stat : 24825 (java) S 24822 24825 8289 0 -1 1077944320 9551 0 0 0 17 2 0 0 20 0 15 0 124278150 14311342080 9406 18446744073709551615 4194304 4196468 140720866004000 140720865986544 140537793359607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
/proc/24825/statm: 3493980 9406 3478 1 0 3482759 0
[pid=24825/tid=24827] ppid=24822 vsize=13975920 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/24825/task/24827/stat : 24827 (java) R 24822 24825 8289 0 -1 4202560 7304 0 0 0 11 2 0 0 20 0 15 0 124278160 14311342080 9406 18446744073709551615 4194304 4196468 140720866004000 140537797587984 140537777440094 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24828] ppid=24822 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24828/stat : 24828 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278161 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537712774160 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24829] ppid=24822 vsize=13975920 memory=140045879247313 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24829/stat : 24829 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278161 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537711721616 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24830] ppid=24822 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24830/stat : 24830 (java) S 24822 24825 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124278161 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537710668560 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24831] ppid=24822 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24831/stat : 24831 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278161 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537709616016 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24832] ppid=24822 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24832/stat : 24832 (java) S 24822 24825 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124278162 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537137441008 140537793370754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24833] ppid=24822 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24833/stat : 24833 (java) S 24822 24825 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124278163 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537136387232 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24834] ppid=24822 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24834/stat : 24834 (java) S 24822 24825 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124278163 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537135334128 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24835] ppid=24822 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24835/stat : 24835 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537134282704 140537793378203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24836] ppid=24822 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24825/task/24836/stat : 24836 (java) R 24822 24825 8289 0 -1 4202560 464 0 0 0 1 0 0 0 20 0 15 0 124278165 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537133230832 140537770620272 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24837] ppid=24822 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24837/stat : 24837 (java) R 24822 24825 8289 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 124278165 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537132178288 140537793370754 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24838] ppid=24822 vsize=13975920 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24825/task/24838/stat : 24838 (java) R 24822 24825 8289 0 -1 4202560 372 0 0 0 3 0 0 0 20 0 15 0 124278165 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537131125232 140537772233520 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24839] ppid=24822 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24839/stat : 24839 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537130072928 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24840] ppid=24822 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24840/stat : 24840 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278173 14311342080 9472 18446744073709551615 4194304 4196468 140720866004000 140537129019952 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 37624 KiB

[startup+0.701036 s]
/proc/loadavg: 1.51 1.48 1.44 5/214 24840
/proc/meminfo: memFree=30454628/32770624 swapFree=67108860/67108860
[pid=24825] ppid=24822 vsize=13977988 memory=70232 CPUtime=0.99 cores=1,3,5,7
/proc/24825/stat : 24825 (java) S 24822 24825 8289 0 -1 1077944320 13203 0 0 0 95 4 0 0 20 0 15 0 124278150 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140720865986544 140537793359607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
/proc/24825/statm: 3494497 17558 3731 1 0 3483271 0
[pid=24825/tid=24827] ppid=24822 vsize=13977988 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/24825/task/24827/stat : 24827 (java) R 24822 24825 8289 0 -1 4202560 9772 0 0 0 48 3 0 0 20 0 15 0 124278160 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537797596032 140537793371542 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24828] ppid=24822 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24828/stat : 24828 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278161 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537712774160 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24829] ppid=24822 vsize=13977988 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24829/stat : 24829 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278161 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537711721616 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24830] ppid=24822 vsize=13977988 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24830/stat : 24830 (java) S 24822 24825 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124278161 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537710668560 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24831] ppid=24822 vsize=13977988 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24831/stat : 24831 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278161 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537709616016 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24832] ppid=24822 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24832/stat : 24832 (java) S 24822 24825 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124278162 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537137441008 140537793370754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24833] ppid=24822 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24833/stat : 24833 (java) S 24822 24825 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124278163 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537136387232 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24834] ppid=24822 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24834/stat : 24834 (java) S 24822 24825 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124278163 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537135334128 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24835] ppid=24822 vsize=13977988 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24835/stat : 24835 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537134282704 140537793378203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24836] ppid=24822 vsize=13977988 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/24825/task/24836/stat : 24836 (java) R 24822 24825 8289 0 -1 4202560 958 0 0 0 15 0 0 0 20 0 15 0 124278165 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537133220944 140537779041046 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24837] ppid=24822 vsize=13977988 memory=7524860340579717849 CPUtime=0.14 cores=1,3,5,7
/proc/24825/task/24837/stat : 24837 (java) R 24822 24825 8289 0 -1 4202560 397 0 0 0 14 0 0 0 20 0 15 0 124278165 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537132164512 140537774880789 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24838] ppid=24822 vsize=13977988 memory=6944656592387989600 CPUtime=0.18 cores=1,3,5,7
/proc/24825/task/24838/stat : 24838 (java) R 24822 24825 8289 0 -1 4202560 696 0 0 0 18 0 0 0 20 0 15 0 124278165 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537131125232 140537793371542 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24839] ppid=24822 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24839/stat : 24839 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537130072928 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24840] ppid=24822 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24840/stat : 24840 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278173 14313459712 17558 18446744073709551615 4194304 4196468 140720866004000 140537129019952 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 70232 KiB

[startup+1.50108 s]
/proc/loadavg: 1.51 1.48 1.44 6/214 24840
/proc/meminfo: memFree=30383856/32770624 swapFree=67108860/67108860
[pid=24825] ppid=24822 vsize=13980036 memory=178164 CPUtime=3.46 cores=1,3,5,7
/proc/24825/stat : 24825 (java) S 24822 24825 8289 0 -1 1077944320 24262 0 0 0 338 8 0 0 20 0 15 0 124278150 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140720865986544 140537793359607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
/proc/24825/statm: 3495009 44541 3775 1 0 3483783 0
[pid=24825/tid=24827] ppid=24822 vsize=13980036 memory=6933690330692294553 CPUtime=1.31 cores=1,3,5,7
/proc/24825/task/24827/stat : 24827 (java) R 24822 24825 8289 0 -1 4202560 12272 0 0 0 125 6 0 0 20 0 15 0 124278160 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537797596784 140537793371542 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24828] ppid=24822 vsize=13980036 memory=7882538962976532310 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24828/stat : 24828 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278161 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537712774160 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24829] ppid=24822 vsize=13980036 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24829/stat : 24829 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278161 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537711721616 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24830] ppid=24822 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24830/stat : 24830 (java) S 24822 24825 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124278161 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537710668560 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24831] ppid=24822 vsize=13980036 memory=140045730421824 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24831/stat : 24831 (java) S 24822 24825 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124278161 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537709616016 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24832] ppid=24822 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24832/stat : 24832 (java) S 24822 24825 8289 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 124278162 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537137441008 140537793370754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24833] ppid=24822 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24833/stat : 24833 (java) S 24822 24825 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124278163 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537136387232 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24834] ppid=24822 vsize=13980036 memory=-8458152057954563772 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24834/stat : 24834 (java) S 24822 24825 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124278163 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537135334128 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24835] ppid=24822 vsize=13980036 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24835/stat : 24835 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537134282704 140537793378203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24836] ppid=24822 vsize=13980036 memory=-9001728533042062950 CPUtime=0.76 cores=1,3,5,7
/proc/24825/task/24836/stat : 24836 (java) R 24822 24825 8289 0 -1 4202560 3964 0 0 0 76 0 0 0 20 0 15 0 124278165 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537133212224 140537776856391 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24837] ppid=24822 vsize=13980036 memory=-8774313645642428999 CPUtime=0.77 cores=1,3,5,7
/proc/24825/task/24837/stat : 24837 (java) R 24822 24825 8289 0 -1 4202560 3686 0 0 0 77 0 0 0 20 0 15 0 124278165 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537132164168 140537774903706 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24838] ppid=24822 vsize=13980036 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/24825/task/24838/stat : 24838 (java) R 24822 24825 8289 0 -1 4202560 2671 0 0 0 58 0 0 0 20 0 15 0 124278165 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537131125232 140537771351459 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24839] ppid=24822 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24839/stat : 24839 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537130072928 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24840] ppid=24822 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24840/stat : 24840 (java) S 24822 24825 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 124278173 14315556864 44541 18446744073709551615 4194304 4196468 140720866004000 140537129019952 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 3.46 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 178164 KiB


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

[pid=24825/tid=24839] ppid=24822 vsize=13982084 memory=14356 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24839/stat : 24839 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14317654016 139305 18446744073709551615 4194304 4196468 140720866004000 140537130072928 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24840] ppid=24822 vsize=13982084 memory=1008 CPUtime=0.03 cores=1,3,5,7
/proc/24825/task/24840/stat : 24840 (java) S 24822 24825 8289 0 -1 1077944384 290 0 0 0 1 2 0 0 20 0 15 0 124278173 14317654016 139305 18446744073709551615 4194304 4196468 140720866004000 140537129019952 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 191.11 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 557220 KiB

[startup+186.401 s]
/proc/loadavg: 1.66 1.63 1.51 3/214 24848
/proc/meminfo: memFree=29936924/32770624 swapFree=67108860/67108860
[pid=24825] ppid=24822 vsize=13982084 memory=559268 CPUtime=191.91 cores=1,3,5,7
/proc/24825/stat : 24825 (java) S 24822 24825 8289 0 -1 1077944320 51562 0 0 0 19155 36 0 0 20 0 15 0 124278150 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140720865986544 140537793359607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
/proc/24825/statm: 3495521 139817 3810 1 0 3484295 0
[pid=24825/tid=24827] ppid=24822 vsize=13982084 memory=557220 CPUtime=185.97 cores=1,3,5,7
/proc/24825/task/24827/stat : 24827 (java) R 24822 24825 8289 0 -1 4202560 20392 0 0 0 18586 11 0 0 20 0 15 0 124278160 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537797597864 140537398191366 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24828] ppid=24822 vsize=13982084 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24828/stat : 24828 (java) S 24822 24825 8289 0 -1 1077944384 2041 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537712774160 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24829] ppid=24822 vsize=13982084 memory=792 CPUtime=0.19 cores=1,3,5,7
/proc/24825/task/24829/stat : 24829 (java) S 24822 24825 8289 0 -1 1077944384 2012 0 0 0 15 4 0 0 20 0 15 0 124278161 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537711721616 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24830] ppid=24822 vsize=13982084 memory=1716 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24830/stat : 24830 (java) S 24822 24825 8289 0 -1 1077944384 993 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537710668560 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24831] ppid=24822 vsize=13982084 memory=1228 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24831/stat : 24831 (java) S 24822 24825 8289 0 -1 1077944384 331 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537709616016 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24832] ppid=24822 vsize=13982084 memory=-8774313645642428999 CPUtime=0.02 cores=1,3,5,7
/proc/24825/task/24832/stat : 24832 (java) S 24822 24825 8289 0 -1 1077944384 1163 0 0 0 2 0 0 0 20 0 15 0 124278162 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537137441008 140537793370754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24833] ppid=24822 vsize=13982084 memory=928 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24833/stat : 24833 (java) S 24822 24825 8289 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 124278163 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537136387296 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24834] ppid=24822 vsize=13982084 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24834/stat : 24834 (java) S 24822 24825 8289 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 124278163 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537135334144 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24835] ppid=24822 vsize=13982084 memory=844 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24835/stat : 24835 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537134282704 140537793378203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24836] ppid=24822 vsize=13982084 memory=18484 CPUtime=1.98 cores=1,3,5,7
/proc/24825/task/24836/stat : 24836 (java) S 24822 24825 8289 0 -1 1077944384 6283 0 0 0 198 0 0 0 20 0 15 0 124278165 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537133230832 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24837] ppid=24822 vsize=13982084 memory=-8774313645642428999 CPUtime=2.05 cores=1,3,5,7
/proc/24825/task/24837/stat : 24837 (java) S 24822 24825 8289 0 -1 1077944384 7972 0 0 0 204 1 0 0 20 0 15 0 124278165 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537132178288 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24838] ppid=24822 vsize=13982084 memory=36804 CPUtime=0.98 cores=1,3,5,7
/proc/24825/task/24838/stat : 24838 (java) S 24822 24825 8289 0 -1 1077944384 8669 0 0 0 96 2 0 0 20 0 15 0 124278165 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537131125232 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24839] ppid=24822 vsize=13982084 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24839/stat : 24839 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537130072928 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24840] ppid=24822 vsize=13982084 memory=640 CPUtime=0.03 cores=1,3,5,7
/proc/24825/task/24840/stat : 24840 (java) S 24822 24825 8289 0 -1 1077944384 290 0 0 0 1 2 0 0 20 0 15 0 124278173 14317654016 139817 18446744073709551615 4194304 4196468 140720866004000 140537129019952 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 191.91 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 559268 KiB

[startup+187.201 s]
/proc/loadavg: 1.66 1.63 1.51 3/214 24848
/proc/meminfo: memFree=29932828/32770624 swapFree=67108860/67108860
[pid=24825] ppid=24822 vsize=13982084 memory=563380 CPUtime=192.77 cores=1,3,5,7
/proc/24825/stat : 24825 (java) S 24822 24825 8289 0 -1 1077944320 54768 0 0 0 19240 37 0 0 20 0 15 0 124278150 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140720865986544 140537793359607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
/proc/24825/statm: 3495521 140845 3810 1 0 3484295 0
[pid=24825/tid=24827] ppid=24822 vsize=13982084 memory=561316 CPUtime=186.78 cores=1,3,5,7
/proc/24825/task/24827/stat : 24827 (java) R 24822 24825 8289 0 -1 4202560 20508 0 0 0 18666 12 0 0 20 0 15 0 124278160 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537797595400 140537397583264 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24828] ppid=24822 vsize=13982084 memory=561316 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24828/stat : 24828 (java) S 24822 24825 8289 0 -1 1077944384 2041 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537712774160 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24829] ppid=24822 vsize=13982084 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/24825/task/24829/stat : 24829 (java) S 24822 24825 8289 0 -1 1077944384 2012 0 0 0 15 4 0 0 20 0 15 0 124278161 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537711721616 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24830] ppid=24822 vsize=13982084 memory=2440 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24830/stat : 24830 (java) S 24822 24825 8289 0 -1 1077944384 993 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537710668560 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24831] ppid=24822 vsize=13982084 memory=1840 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24831/stat : 24831 (java) S 24822 24825 8289 0 -1 1077944384 331 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537709616016 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24832] ppid=24822 vsize=13982084 memory=792 CPUtime=0.02 cores=1,3,5,7
/proc/24825/task/24832/stat : 24832 (java) S 24822 24825 8289 0 -1 1077944384 1193 0 0 0 2 0 0 0 20 0 15 0 124278162 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537137441008 140537793370754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24833] ppid=24822 vsize=13982084 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24833/stat : 24833 (java) S 24822 24825 8289 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 124278163 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537136387296 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24834] ppid=24822 vsize=13982084 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24834/stat : 24834 (java) S 24822 24825 8289 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 124278163 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537135334144 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24835] ppid=24822 vsize=13982084 memory=14356 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24835/stat : 24835 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537134282704 140537793378203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24836] ppid=24822 vsize=13982084 memory=1008 CPUtime=1.99 cores=1,3,5,7
/proc/24825/task/24836/stat : 24836 (java) S 24822 24825 8289 0 -1 1077944384 6659 0 0 0 199 0 0 0 20 0 15 0 124278165 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537133230832 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24837] ppid=24822 vsize=13982084 memory=2012 CPUtime=2.1 cores=1,3,5,7
/proc/24825/task/24837/stat : 24837 (java) R 24822 24825 8289 0 -1 4202560 9536 0 0 0 209 1 0 0 20 0 15 0 124278165 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537132178288 140537774903330 0 4 1 16800974 0 0 0 -1 3 0 0 40 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24838] ppid=24822 vsize=13982084 memory=11156 CPUtime=0.98 cores=1,3,5,7
/proc/24825/task/24838/stat : 24838 (java) S 24822 24825 8289 0 -1 1077944384 9809 0 0 0 96 2 0 0 20 0 15 0 124278165 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537131125232 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24839] ppid=24822 vsize=13982084 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24839/stat : 24839 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537130072928 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24840] ppid=24822 vsize=13982084 memory=4612 CPUtime=0.03 cores=1,3,5,7
/proc/24825/task/24840/stat : 24840 (java) S 24822 24825 8289 0 -1 1077944384 290 0 0 0 1 2 0 0 20 0 15 0 124278173 14317654016 140845 18446744073709551615 4194304 4196468 140720866004000 140537129019952 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 192.77 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 563380 KiB

[startup+187.401 s]
/proc/loadavg: 1.66 1.63 1.51 3/214 24848
/proc/meminfo: memFree=29932828/32770624 swapFree=67108860/67108860
[pid=24825] ppid=24822 vsize=13982084 memory=563832 CPUtime=193.02 cores=1,3,5,7
/proc/24825/stat : 24825 (java) S 24822 24825 8289 0 -1 1077944320 55057 0 0 0 19265 37 0 0 20 0 15 0 124278150 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140720865986544 140537793359607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
/proc/24825/statm: 3495521 140958 3810 1 0 3484295 0
[pid=24825/tid=24827] ppid=24822 vsize=13982084 memory=1200 CPUtime=186.98 cores=1,3,5,7
/proc/24825/task/24827/stat : 24827 (java) R 24822 24825 8289 0 -1 4202560 20508 0 0 0 18686 12 0 0 20 0 15 0 124278160 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537797595400 140537398191426 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24828] ppid=24822 vsize=13982084 memory=15880 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24828/stat : 24828 (java) S 24822 24825 8289 0 -1 1077944384 2041 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537712774160 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24829] ppid=24822 vsize=13982084 memory=4040 CPUtime=0.19 cores=1,3,5,7
/proc/24825/task/24829/stat : 24829 (java) S 24822 24825 8289 0 -1 1077944384 2012 0 0 0 15 4 0 0 20 0 15 0 124278161 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537711721616 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24830] ppid=24822 vsize=13982084 memory=36804 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24830/stat : 24830 (java) S 24822 24825 8289 0 -1 1077944384 993 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537710668560 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24831] ppid=24822 vsize=13982084 memory=1232 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24831/stat : 24831 (java) S 24822 24825 8289 0 -1 1077944384 331 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537709616016 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24832] ppid=24822 vsize=13982084 memory=640 CPUtime=0.02 cores=1,3,5,7
/proc/24825/task/24832/stat : 24832 (java) S 24822 24825 8289 0 -1 1077944384 1193 0 0 0 2 0 0 0 20 0 15 0 124278162 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537137441008 140537793370754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24833] ppid=24822 vsize=13982084 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24833/stat : 24833 (java) S 24822 24825 8289 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 124278163 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537136387296 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24834] ppid=24822 vsize=13982084 memory=956 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24834/stat : 24834 (java) S 24822 24825 8289 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 124278163 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537135334144 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24835] ppid=24822 vsize=13982084 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24835/stat : 24835 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537134282704 140537793378203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24836] ppid=24822 vsize=13982084 memory=4288 CPUtime=1.99 cores=1,3,5,7
/proc/24825/task/24836/stat : 24836 (java) S 24822 24825 8289 0 -1 1077944384 6659 0 0 0 199 0 0 0 20 0 15 0 124278165 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537133230832 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24837] ppid=24822 vsize=13982084 memory=2164 CPUtime=2.14 cores=1,3,5,7
/proc/24825/task/24837/stat : 24837 (java) S 24822 24825 8289 0 -1 1077944384 9805 0 0 0 213 1 0 0 20 0 15 0 124278165 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537132178288 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24838] ppid=24822 vsize=13982084 memory=928 CPUtime=0.98 cores=1,3,5,7
/proc/24825/task/24838/stat : 24838 (java) S 24822 24825 8289 0 -1 1077944384 9809 0 0 0 96 2 0 0 20 0 15 0 124278165 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537131125232 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24839] ppid=24822 vsize=13982084 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24839/stat : 24839 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537130072928 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24840] ppid=24822 vsize=13982084 memory=844 CPUtime=0.03 cores=1,3,5,7
/proc/24825/task/24840/stat : 24840 (java) S 24822 24825 8289 0 -1 1077944384 290 0 0 0 1 2 0 0 20 0 15 0 124278173 14317654016 140958 18446744073709551615 4194304 4196468 140720866004000 140537129019952 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 193.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 563832 KiB

[startup+187.502 s]
/proc/loadavg: 1.66 1.63 1.51 3/214 24848
/proc/meminfo: memFree=29932828/32770624 swapFree=67108860/67108860
[pid=24825] ppid=24822 vsize=13982084 memory=565956 CPUtime=193.12 cores=1,3,5,7
/proc/24825/stat : 24825 (java) S 24822 24825 8289 0 -1 1077944320 56099 0 0 0 19275 37 0 0 20 0 15 0 124278150 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140720865986544 140537793359607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
/proc/24825/statm: 3495521 141489 3810 1 0 3484295 0
[pid=24825/tid=24827] ppid=24822 vsize=13982084 memory=555172 CPUtime=187.08 cores=1,3,5,7
/proc/24825/task/24827/stat : 24827 (java) R 24822 24825 8289 0 -1 4202560 21242 0 0 0 18696 12 0 0 20 0 15 0 124278160 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537797594160 140537793381533 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24828] ppid=24822 vsize=13982084 memory=510116 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24828/stat : 24828 (java) S 24822 24825 8289 0 -1 1077944384 2041 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537712774160 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24829] ppid=24822 vsize=13982084 memory=532644 CPUtime=0.19 cores=1,3,5,7
/proc/24825/task/24829/stat : 24829 (java) S 24822 24825 8289 0 -1 1077944384 2012 0 0 0 15 4 0 0 20 0 15 0 124278161 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537711721616 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24830] ppid=24822 vsize=13982084 memory=546980 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24830/stat : 24830 (java) S 24822 24825 8289 0 -1 1077944384 993 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537710668560 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24831] ppid=24822 vsize=13982084 memory=553124 CPUtime=0.2 cores=1,3,5,7
/proc/24825/task/24831/stat : 24831 (java) S 24822 24825 8289 0 -1 1077944384 331 0 0 0 16 4 0 0 20 0 15 0 124278161 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537709616016 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24832] ppid=24822 vsize=13982084 memory=549028 CPUtime=0.02 cores=1,3,5,7
/proc/24825/task/24832/stat : 24832 (java) S 24822 24825 8289 0 -1 1077944384 1193 0 0 0 2 0 0 0 20 0 15 0 124278162 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537137441008 140537793370754 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24833] ppid=24822 vsize=13982084 memory=557220 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24833/stat : 24833 (java) S 24822 24825 8289 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 124278163 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537136387296 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24834] ppid=24822 vsize=13982084 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24834/stat : 24834 (java) S 24822 24825 8289 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 124278163 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537135334144 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24835] ppid=24822 vsize=13982084 memory=563832 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24835/stat : 24835 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537134282704 140537793378203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24836] ppid=24822 vsize=13982084 memory=559268 CPUtime=1.99 cores=1,3,5,7
/proc/24825/task/24836/stat : 24836 (java) R 24822 24825 8289 0 -1 4202560 6662 0 0 0 199 0 0 0 20 0 15 0 124278165 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537133230832 140537777255619 0 4 1 16800974 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24837] ppid=24822 vsize=13982084 memory=561316 CPUtime=2.14 cores=1,3,5,7
/proc/24825/task/24837/stat : 24837 (java) R 24822 24825 8289 0 -1 4202560 9812 0 0 0 213 1 0 0 20 0 15 0 124278165 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537132165968 140537777265725 0 4 1 16800974 0 0 0 -1 3 0 0 40 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24838] ppid=24822 vsize=13982084 memory=792 CPUtime=0.98 cores=1,3,5,7
/proc/24825/task/24838/stat : 24838 (java) R 24822 24825 8289 0 -1 1077944384 10114 0 0 0 96 2 0 0 20 0 15 0 124278165 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537131125232 140537793370754 0 4 1 16800974 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24839] ppid=24822 vsize=13982084 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/24825/task/24839/stat : 24839 (java) S 24822 24825 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124278165 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537130072928 140537793369813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
[pid=24825/tid=24840] ppid=24822 vsize=13982084 memory=60224 CPUtime=0.03 cores=1,3,5,7
/proc/24825/task/24840/stat : 24840 (java) S 24822 24825 8289 0 -1 1077944384 290 0 0 0 1 2 0 0 20 0 15 0 124278173 14317654016 141489 18446744073709551615 4194304 4196468 140720866004000 140537129019952 140537793370754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 27848704 140720866005359 140720866005545 140720866005545 140720866009039 0
Current children cumulated CPU time: 193.12 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 565956 KiB

Child status: 0
Real time (s): 187.592
CPU time (s): 193.271
CPU user time (s): 192.881
CPU system time (s): 0.390255
CPU usage (%): 103.027
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 565956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.881
system time used= 0.390255
maximum resident set size= 637996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57005
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= 7739
involuntary context switches= 195


# summary of solver processes directly reported to runsolver:
#   pid: 24825
#   total CPU time (s): 193.271
#   total CPU user time (s): 192.881
#   total CPU system time (s): 0.390255

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23777 second user time and 1.4419 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-15 04:23:02
IDJOB=4273844
IDBENCH=125565
IDSOLVER=2666
FILE ID=node133/4273844-1502764630
RUNJOBID= node133-1502652501-6259
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-04-05.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273844-1502764630/watcher-4273844-1502764630 -o /tmp/evaluation-result-4273844-1502764630/solver-4273844-1502764630 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 391029143 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273844-1502764630.xml

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

MD5SUM BENCH= 7198b26315477549e19a49cdd0865ba2
RANDOM SEED=391029143

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30493820 kB
MemAvailable:   31250452 kB
Buffers:          267936 kB
Cached:           781072 kB
SwapCached:            0 kB
Active:          1575944 kB
Inactive:         244320 kB
Active(anon):     712412 kB
Inactive(anon):   100764 kB
Active(file):     863532 kB
Inactive(file):   143556 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42776 kB
Writeback:             0 kB
AnonPages:        754564 kB
Mapped:            74404 kB
Shmem:             41660 kB
Slab:             157928 kB
SReclaimable:     130756 kB
SUnreclaim:        27172 kB
KernelStack:        3504 kB
PageTables:         6552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1759584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    665600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61948 MiB
End job on node133 at 2017-08-15 04:26:09