Trace number 4275314

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OscaR - Parallel with EPS 2017-07-26SAT (TO) 19766.199 2520.1599

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275314-1502716121/watcher-4275314-1502716121 -o /tmp/evaluation-result-4275314-1502716121/solver-4275314-1502716121 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502715151-32092 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1735539834 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275314-1502716121.xml 

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

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

solver pid=451, runsolver pid=447

[startup+0.100118 s]*
/proc/loadavg: 7.60 8.14 8.51 2/199 471
/proc/meminfo: memFree=27086116/32770624 swapFree=67108860/67108860
[pid=451] ppid=447 vsize=14325320 memory=34196 CPUtime=0.11 cores=0-7
/proc/451/stat : 451 (java) S 447 451 32065 0 -1 1077944320 8430 0 0 0 9 2 0 0 20 0 20 0 104693260 14669127680 8549 33554432000 4194304 4196468 140734862182080 140734862164624 140557852749559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
/proc/451/statm: 3581330 8549 3411 1 0 3569050 0
[pid=451/tid=453] ppid=447 vsize=14325320 memory=8316850467074736180 CPUtime=0.09 cores=0-7
/proc/451/task/453/stat : 453 (java) R 447 451 32065 0 -1 4202560 6399 0 0 0 8 1 0 0 20 0 20 0 104693261 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557856966240 140557852771485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=454] ppid=447 vsize=14325320 memory=9342 CPUtime=0 cores=0-7
/proc/451/task/454/stat : 454 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557782838032 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=455] ppid=447 vsize=14325320 memory=140228795990674 CPUtime=0 cores=0-7
/proc/451/task/455/stat : 455 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557781785488 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=456] ppid=447 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/451/task/456/stat : 456 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557780732944 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=457] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/457/stat : 457 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557779680400 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=458] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/458/stat : 458 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557778626832 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=459] ppid=447 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/451/task/459/stat : 459 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557777574288 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=460] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/460/stat : 460 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557776521744 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=461] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/461/stat : 461 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557775469200 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=462] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/462/stat : 462 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693263 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557309872624 140557852760706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=463] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/463/stat : 463 (java) S 447 451 32065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104693263 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557308818848 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=464] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/464/stat : 464 (java) S 447 451 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104693264 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557307766256 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=465] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/465/stat : 465 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693266 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557306714832 140557852768155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=466] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/466/stat : 466 (java) S 447 451 32065 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 104693266 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557305661424 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=467] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/467/stat : 467 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693266 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557304608880 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=468] ppid=447 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/451/task/468/stat : 468 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104693266 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557303556336 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=469] ppid=447 vsize=14325320 memory=-1 CPUtime=0.01 cores=0-7
/proc/451/task/469/stat : 469 (java) S 447 451 32065 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 20 0 104693266 14669127680 8555 33554432000 4194304 4196468 140734862182080 140557302503792 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=470] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/470/stat : 470 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104693266 14669127680 8555 33554432000 4194304 4196468 140734862182080 140556965505760 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=471] ppid=447 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/451/task/471/stat : 471 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693267 14669127680 8555 33554432000 4194304 4196468 140734862182080 140556964453296 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34196 KiB

[startup+0.211831 s]*
/proc/loadavg: 7.60 8.14 8.51 2/199 471
/proc/meminfo: memFree=27076664/32770624 swapFree=67108860/67108860
[pid=451] ppid=447 vsize=14325320 memory=43108 CPUtime=0.29 cores=0-7
/proc/451/stat : 451 (java) S 447 451 32065 0 -1 1077944320 9436 0 0 0 26 3 0 0 20 0 20 0 104693260 14669127680 10777 33554432000 4194304 4196468 140734862182080 140734862164624 140557852749559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
/proc/451/statm: 3581330 10777 3601 1 0 3569050 0
[pid=451/tid=453] ppid=447 vsize=14325320 memory=7882827048052850738 CPUtime=0.2 cores=0-7
/proc/451/task/453/stat : 453 (java) R 447 451 32065 0 -1 4202560 7071 0 0 0 18 2 0 0 20 0 20 0 104693261 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557856952480 140557852770906 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=454] ppid=447 vsize=14325320 memory=329 CPUtime=0 cores=0-7
/proc/451/task/454/stat : 454 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557782838032 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=455] ppid=447 vsize=14325320 memory=140228795988831 CPUtime=0 cores=0-7
/proc/451/task/455/stat : 455 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557781785488 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=456] ppid=447 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/451/task/456/stat : 456 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557780732944 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=457] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/457/stat : 457 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557779680400 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=458] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/458/stat : 458 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557778626832 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=459] ppid=447 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/451/task/459/stat : 459 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557777574288 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=460] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/460/stat : 460 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557776521744 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=461] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/461/stat : 461 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557775469200 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=462] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/462/stat : 462 (java) S 447 451 32065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104693263 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557309872624 140557852760706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=463] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/463/stat : 463 (java) S 447 451 32065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104693263 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557308818848 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=464] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/464/stat : 464 (java) S 447 451 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104693264 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557307766256 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=465] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/465/stat : 465 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693266 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557306714832 140557852768155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=466] ppid=447 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/451/task/466/stat : 466 (java) S 447 451 32065 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 20 0 104693266 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557305661424 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=467] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/467/stat : 467 (java) R 447 451 32065 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 20 0 104693266 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557304608880 140557852770906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=468] ppid=447 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/451/task/468/stat : 468 (java) S 447 451 32065 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 20 0 104693266 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557303556336 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=469] ppid=447 vsize=14325320 memory=-1 CPUtime=0.05 cores=0-7
/proc/451/task/469/stat : 469 (java) S 447 451 32065 0 -1 1077944384 392 0 0 0 5 0 0 0 20 0 20 0 104693266 14669127680 10822 33554432000 4194304 4196468 140734862182080 140557302503792 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=470] ppid=447 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/451/task/470/stat : 470 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104693266 14669127680 10822 33554432000 4194304 4196468 140734862182080 140556965505760 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=471] ppid=447 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/451/task/471/stat : 471 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693267 14669127680 10822 33554432000 4194304 4196468 140734862182080 140556964453296 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43108 KiB

[startup+0.309834 s]*
/proc/loadavg: 7.60 8.14 8.51 3/199 471
/proc/meminfo: memFree=27070672/32770624 swapFree=67108860/67108860
[pid=451] ppid=447 vsize=14325340 memory=51296 CPUtime=0.48 cores=0-7
/proc/451/stat : 451 (java) S 447 451 32065 0 -1 1077944320 10535 0 0 0 44 4 0 0 20 0 20 0 104693260 14669148160 12824 33554432000 4194304 4196468 140734862182080 140734862164624 140557852749559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
/proc/451/statm: 3581335 12824 3721 1 0 3569050 0
[pid=451/tid=453] ppid=447 vsize=14325340 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/451/task/453/stat : 453 (java) R 447 451 32065 0 -1 4202560 7618 0 0 0 27 2 0 0 20 0 20 0 104693261 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557856977392 140557852771485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=454] ppid=447 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/451/task/454/stat : 454 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557782838032 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=455] ppid=447 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/451/task/455/stat : 455 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557781785488 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=456] ppid=447 vsize=14325340 memory=2240 CPUtime=0 cores=0-7
/proc/451/task/456/stat : 456 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557780732944 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=457] ppid=447 vsize=14325340 memory=2241 CPUtime=0 cores=0-7
/proc/451/task/457/stat : 457 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104693262 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557779680400 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=458] ppid=447 vsize=14325340 memory=2241 CPUtime=0 cores=0-7
/proc/451/task/458/stat : 458 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557778626832 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=459] ppid=447 vsize=14325340 memory=140228669046031 CPUtime=0 cores=0-7
/proc/451/task/459/stat : 459 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557777574288 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=460] ppid=447 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/451/task/460/stat : 460 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557776521744 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=461] ppid=447 vsize=14325340 memory=280457338101280 CPUtime=0 cores=0-7
/proc/451/task/461/stat : 461 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557775469200 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=462] ppid=447 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/451/task/462/stat : 462 (java) S 447 451 32065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104693263 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557309872624 140557852760706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=463] ppid=447 vsize=14325340 memory=263 CPUtime=0 cores=0-7
/proc/451/task/463/stat : 463 (java) S 447 451 32065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104693263 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557308818848 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=464] ppid=447 vsize=14325340 memory=55 CPUtime=0 cores=0-7
/proc/451/task/464/stat : 464 (java) S 447 451 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104693264 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557307766256 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=465] ppid=447 vsize=14325340 memory=72 CPUtime=0 cores=0-7
/proc/451/task/465/stat : 465 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693266 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557306714832 140557852768155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=466] ppid=447 vsize=14325340 memory=13082 CPUtime=0.02 cores=0-7
/proc/451/task/466/stat : 466 (java) S 447 451 32065 0 -1 1077944384 552 0 0 0 2 0 0 0 20 0 20 0 104693266 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557305661424 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=467] ppid=447 vsize=14325340 memory=1 CPUtime=0.03 cores=0-7
/proc/451/task/467/stat : 467 (java) S 447 451 32065 0 -1 1077944384 213 0 0 0 3 0 0 0 20 0 20 0 104693266 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557304608880 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=468] ppid=447 vsize=14325340 memory=0 CPUtime=0.03 cores=0-7
/proc/451/task/468/stat : 468 (java) S 447 451 32065 0 -1 1077944384 282 0 0 0 3 0 0 0 20 0 20 0 104693266 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557303556336 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=469] ppid=447 vsize=14325340 memory=0 CPUtime=0.08 cores=0-7
/proc/451/task/469/stat : 469 (java) R 447 451 32065 0 -1 4202560 506 0 0 0 8 0 0 0 20 0 20 0 104693266 14669148160 12824 33554432000 4194304 4196468 140734862182080 140557302503792 140557831376336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=470] ppid=447 vsize=14325340 memory=3467825727391412274 CPUtime=0 cores=0-7
/proc/451/task/470/stat : 470 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104693266 14669148160 12824 33554432000 4194304 4196468 140734862182080 140556965505760 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=471] ppid=447 vsize=14325340 memory=2319684899342136629 CPUtime=0 cores=0-7
/proc/451/task/471/stat : 471 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693267 14669148160 12824 33554432000 4194304 4196468 140734862182080 140556964453296 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51296 KiB

[startup+0.700888 s]
/proc/loadavg: 7.60 8.14 8.51 5/199 471
/proc/meminfo: memFree=27052804/32770624 swapFree=67108860/67108860
[pid=451] ppid=447 vsize=14327388 memory=99740 CPUtime=1.62 cores=0-7
/proc/451/stat : 451 (java) S 447 451 32065 0 -1 1077944320 14939 0 0 0 156 6 0 0 20 0 20 0 104693260 14671245312 24935 33554432000 4194304 4196468 140734862182080 140734862164624 140557852749559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
/proc/451/statm: 3581847 24935 3777 1 0 3569562 0
[pid=451/tid=453] ppid=447 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/451/task/453/stat : 453 (java) R 447 451 32065 0 -1 4202560 8346 0 0 0 64 3 0 0 20 0 20 0 104693261 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557856982512 140557455702334 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=454] ppid=447 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/451/task/454/stat : 454 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557782838032 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=455] ppid=447 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/451/task/455/stat : 455 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557781785488 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=456] ppid=447 vsize=14327388 memory=280457338495888 CPUtime=0 cores=0-7
/proc/451/task/456/stat : 456 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557780732944 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=457] ppid=447 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/451/task/457/stat : 457 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104693262 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557779680400 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=458] ppid=447 vsize=14327388 memory=4616 CPUtime=0 cores=0-7
/proc/451/task/458/stat : 458 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557778626832 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=459] ppid=447 vsize=14327388 memory=792 CPUtime=0 cores=0-7
/proc/451/task/459/stat : 459 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104693262 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557777574288 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=460] ppid=447 vsize=14327388 memory=1424 CPUtime=0 cores=0-7
/proc/451/task/460/stat : 460 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557776521744 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=461] ppid=447 vsize=14327388 memory=1936 CPUtime=0 cores=0-7
/proc/451/task/461/stat : 461 (java) S 447 451 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104693262 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557775469200 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=462] ppid=447 vsize=14327388 memory=1224 CPUtime=0 cores=0-7
/proc/451/task/462/stat : 462 (java) S 447 451 32065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104693263 14671245312 24935 33554432000 4194304 4196468 140734862182080 140557309872624 140557852760706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0

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

/proc/451/task/455/stat : 455 (java) S 447 451 32065 0 -1 1077944384 18369 0 0 0 278 35 0 0 20 0 36 0 104693262 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557781785488 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=456] ppid=447 vsize=15402688 memory=636 CPUtime=3.14 cores=0-7
/proc/451/task/456/stat : 456 (java) S 447 451 32065 0 -1 1077944384 13216 0 0 0 276 38 0 0 20 0 36 0 104693262 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557780732944 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=457] ppid=447 vsize=15402688 memory=960 CPUtime=3.16 cores=0-7
/proc/451/task/457/stat : 457 (java) S 447 451 32065 0 -1 1077944384 15003 0 0 0 283 33 0 0 20 0 36 0 104693262 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557779680400 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=458] ppid=447 vsize=15402688 memory=1236 CPUtime=3.17 cores=0-7
/proc/451/task/458/stat : 458 (java) S 447 451 32065 0 -1 1077944384 18053 0 0 0 279 38 0 0 20 0 36 0 104693262 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557778626832 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=459] ppid=447 vsize=15402688 memory=2424 CPUtime=3.16 cores=0-7
/proc/451/task/459/stat : 459 (java) S 447 451 32065 0 -1 1077944384 16125 0 0 0 286 30 0 0 20 0 36 0 104693262 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557777574288 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=460] ppid=447 vsize=15402688 memory=1580 CPUtime=3.15 cores=0-7
/proc/451/task/460/stat : 460 (java) S 447 451 32065 0 -1 1077944384 13832 0 0 0 278 37 0 0 20 0 36 0 104693262 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557776521744 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=461] ppid=447 vsize=15402688 memory=928 CPUtime=3.16 cores=0-7
/proc/451/task/461/stat : 461 (java) S 447 451 32065 0 -1 1077944384 16867 0 0 0 284 32 0 0 20 0 36 0 104693262 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557775469200 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=462] ppid=447 vsize=15402688 memory=2244 CPUtime=0.22 cores=0-7
/proc/451/task/462/stat : 462 (java) S 447 451 32065 0 -1 1077944384 17399 0 0 0 18 4 0 0 20 0 36 0 104693263 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557309872624 140557852760706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=463] ppid=447 vsize=15402688 memory=4124 CPUtime=0 cores=0-7
/proc/451/task/463/stat : 463 (java) S 447 451 32065 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 36 0 104693263 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557308818912 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=464] ppid=447 vsize=15402688 memory=3520664 CPUtime=0 cores=0-7
/proc/451/task/464/stat : 464 (java) S 447 451 32065 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 36 0 104693264 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557307766272 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=465] ppid=447 vsize=15402688 memory=1296 CPUtime=0 cores=0-7
/proc/451/task/465/stat : 465 (java) S 447 451 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 36 0 104693266 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557306714832 140557852768155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=466] ppid=447 vsize=15402688 memory=1156 CPUtime=2.95 cores=0-7
/proc/451/task/466/stat : 466 (java) S 447 451 32065 0 -1 1077944384 22674 0 0 0 290 5 0 0 20 0 36 0 104693266 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557305661424 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=467] ppid=447 vsize=15402688 memory=4176 CPUtime=2.99 cores=0-7
/proc/451/task/467/stat : 467 (java) S 447 451 32065 0 -1 1077944384 21626 0 0 0 295 4 0 0 20 0 36 0 104693266 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557304608880 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=468] ppid=447 vsize=15402688 memory=2396 CPUtime=2.87 cores=0-7
/proc/451/task/468/stat : 468 (java) S 447 451 32065 0 -1 1077944384 24759 0 0 0 281 6 0 0 20 0 36 0 104693266 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557303556336 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=469] ppid=447 vsize=15402688 memory=3513756 CPUtime=1.41 cores=0-7
/proc/451/task/469/stat : 469 (java) S 447 451 32065 0 -1 1077944384 23744 0 0 0 135 6 0 0 20 0 36 0 104693266 15772352512 880166 33554432000 4194304 4196468 140734862182080 140557302503792 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=470] ppid=447 vsize=15402688 memory=1728 CPUtime=0 cores=0-7
/proc/451/task/470/stat : 470 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 36 0 104693266 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556965505760 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=471] ppid=447 vsize=15402688 memory=1580 CPUtime=0.36 cores=0-7
/proc/451/task/471/stat : 471 (java) S 447 451 32065 0 -1 1077944384 3717 0 0 0 22 14 0 0 20 0 36 0 104693267 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556964453296 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=473] ppid=447 vsize=15402688 memory=928 CPUtime=0.37 cores=0-7
/proc/451/task/473/stat : 473 (java) S 447 451 32065 0 -1 1077944384 7285 0 0 0 16 21 0 0 20 0 36 0 104698194 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556954166800 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=474] ppid=447 vsize=15402688 memory=2244 CPUtime=1.56 cores=0-7
/proc/451/task/474/stat : 474 (java) R 447 451 32065 0 -1 1077944384 10138 0 0 0 70 86 0 0 20 0 36 0 104698206 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556951017120 140557852760706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=475] ppid=447 vsize=15402688 memory=4140 CPUtime=2454.61 cores=0-7
/proc/451/task/475/stat : 475 (java) R 447 451 32065 0 -1 4202560 26074 0 0 0 245379 82 0 0 20 0 36 0 104698215 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556947864424 140557458734810 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=476] ppid=447 vsize=15402688 memory=30324 CPUtime=2457.82 cores=0-7
/proc/451/task/476/stat : 476 (java) R 447 451 32065 0 -1 4202560 30881 0 0 0 245714 68 0 0 20 0 36 0 104698216 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556946811880 140557458735248 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=477] ppid=447 vsize=15402688 memory=1296 CPUtime=1.07 cores=0-7
/proc/451/task/477/stat : 477 (java) S 447 451 32065 0 -1 1077944384 73 0 0 0 107 0 0 0 20 0 36 0 104698217 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556945761200 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=478] ppid=447 vsize=15402688 memory=1156 CPUtime=0.99 cores=0-7
/proc/451/task/478/stat : 478 (java) S 447 451 32065 0 -1 1077944384 679 0 0 0 99 0 0 0 20 0 36 0 104698219 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556944708880 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=479] ppid=447 vsize=15402688 memory=3520664 CPUtime=2455 cores=0-7
/proc/451/task/479/stat : 479 (java) R 447 451 32065 0 -1 4202560 21852 0 0 0 245430 70 0 0 20 0 36 0 104698219 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556943654248 140557462961679 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=480] ppid=447 vsize=15402688 memory=3520664 CPUtime=2464.72 cores=0-7
/proc/451/task/480/stat : 480 (java) R 447 451 32065 0 -1 4202560 23427 0 0 0 246416 56 0 0 20 0 36 0 104698219 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556942601704 140557463164721 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=481] ppid=447 vsize=15402688 memory=13855157297350081 CPUtime=2453.69 cores=0-7
/proc/451/task/481/stat : 481 (java) R 447 451 32065 0 -1 4202560 33969 0 0 0 245268 101 0 0 20 0 36 0 104698219 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556941549160 140557463164754 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=482] ppid=447 vsize=15402688 memory=6947385649911455296 CPUtime=0.91 cores=0-7
/proc/451/task/482/stat : 482 (java) S 447 451 32065 0 -1 1077944384 60 0 0 0 91 0 0 0 20 0 36 0 104698219 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556940498480 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=483] ppid=447 vsize=15402688 memory=16444 CPUtime=2464.69 cores=0-7
/proc/451/task/483/stat : 483 (java) R 447 451 32065 0 -1 4202560 27075 0 0 0 246419 50 0 0 20 0 36 0 104698219 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556939443048 140557462961633 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=484] ppid=447 vsize=15402688 memory=17912 CPUtime=2463.15 cores=0-7
/proc/451/task/484/stat : 484 (java) R 447 451 32065 0 -1 4202560 19491 0 0 0 246251 64 0 0 20 0 36 0 104698219 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556938386152 140557453154546 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=485] ppid=447 vsize=15402688 memory=1796 CPUtime=0 cores=0-7
/proc/451/task/485/stat : 485 (java) S 447 451 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 36 0 104698219 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556937339824 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=486] ppid=447 vsize=15402688 memory=636 CPUtime=2460.68 cores=0-7
/proc/451/task/486/stat : 486 (java) R 447 451 32065 0 -1 4202560 22307 0 0 0 246015 53 0 0 20 0 36 0 104698220 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556936285416 140557463164770 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=488] ppid=447 vsize=15402688 memory=960 CPUtime=0 cores=0-7
/proc/451/task/488/stat : 488 (java) S 447 451 32065 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 36 0 104698220 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556935234736 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=489] ppid=447 vsize=15402688 memory=1236 CPUtime=0.3 cores=0-7
/proc/451/task/489/stat : 489 (java) S 447 451 32065 0 -1 1077944384 4800 0 0 0 13 17 0 0 20 0 36 0 104698500 15772352512 880166 33554432000 4194304 4196468 140734862182080 140556934182416 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
Current children cumulated CPU time: 19765.1 s
Current children cumulated vsize: 15402688 KiB
Current children cumulated memory: 3520664 KiB

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

[startup+2520.16 s]
# the end of solver process 451 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19757 s, system=9.20194 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.12 s]
/proc/loadavg: 8.96 8.93 8.87 10/214 553
/proc/meminfo: memFree=23593256/32770624 swapFree=67108860/67108860
[pid=451] ppid=447 vsize=15535816 memory=3520948 CPUtime=19766 cores=0-7
/proc/451/stat : 451 (java) S 447 451 32065 0 -1 1077944320 494943 0 0 0 1975681 918 0 0 20 0 38 0 104693260 15908675584 880237 33554432000 4194304 4196468 140734862182080 140734862164624 140557852749559 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
/proc/451/statm: 3883954 880237 3873 1 0 3871148 0
[pid=451/tid=453] ppid=447 vsize=15535816 memory=3520664 CPUtime=49.25 cores=0-7
/proc/451/task/453/stat : 453 (java) S 447 451 32065 0 -1 1077944384 24788 0 0 0 4864 61 0 0 20 0 38 0 104693261 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557856987264 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=454] ppid=447 vsize=15535816 memory=33 CPUtime=3.17 cores=0-7
/proc/451/task/454/stat : 454 (java) S 447 451 32065 0 -1 1077944384 13777 0 0 0 284 33 0 0 20 0 38 0 104693262 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557782838032 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=455] ppid=447 vsize=15535816 memory=3520664 CPUtime=3.13 cores=0-7
/proc/451/task/455/stat : 455 (java) S 447 451 32065 0 -1 1077944384 18369 0 0 0 278 35 0 0 20 0 38 0 104693262 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557781785488 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=456] ppid=447 vsize=15535816 memory=3520664 CPUtime=3.14 cores=0-7
/proc/451/task/456/stat : 456 (java) S 447 451 32065 0 -1 1077944384 13216 0 0 0 276 38 0 0 20 0 38 0 104693262 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557780732944 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=457] ppid=447 vsize=15535816 memory=3520664 CPUtime=3.16 cores=0-7
/proc/451/task/457/stat : 457 (java) S 447 451 32065 0 -1 1077944384 15003 0 0 0 283 33 0 0 20 0 38 0 104693262 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557779680400 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=458] ppid=447 vsize=15535816 memory=3520664 CPUtime=3.17 cores=0-7
/proc/451/task/458/stat : 458 (java) S 447 451 32065 0 -1 1077944384 18053 0 0 0 279 38 0 0 20 0 38 0 104693262 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557778626832 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=459] ppid=447 vsize=15535816 memory=3520664 CPUtime=3.16 cores=0-7
/proc/451/task/459/stat : 459 (java) S 447 451 32065 0 -1 1077944384 16125 0 0 0 286 30 0 0 20 0 38 0 104693262 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557777574288 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=460] ppid=447 vsize=15535816 memory=0 CPUtime=3.15 cores=0-7
/proc/451/task/460/stat : 460 (java) S 447 451 32065 0 -1 1077944384 13832 0 0 0 278 37 0 0 20 0 38 0 104693262 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557776521744 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=461] ppid=447 vsize=15535816 memory=1728 CPUtime=3.16 cores=0-7
/proc/451/task/461/stat : 461 (java) S 447 451 32065 0 -1 1077944384 16867 0 0 0 284 32 0 0 20 0 38 0 104693262 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557775469200 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=462] ppid=447 vsize=15535816 memory=1004 CPUtime=0.22 cores=0-7
/proc/451/task/462/stat : 462 (java) S 447 451 32065 0 -1 1077944384 17399 0 0 0 18 4 0 0 20 0 38 0 104693263 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557309872624 140557852760706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=463] ppid=447 vsize=15535816 memory=280457341219584 CPUtime=0 cores=0-7
/proc/451/task/463/stat : 463 (java) S 447 451 32065 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 38 0 104693263 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557308818912 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=464] ppid=447 vsize=15535816 memory=-7233780906022726806 CPUtime=0 cores=0-7
/proc/451/task/464/stat : 464 (java) S 447 451 32065 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 38 0 104693264 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557307766272 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=465] ppid=447 vsize=15535816 memory=287 CPUtime=0 cores=0-7
/proc/451/task/465/stat : 465 (java) S 447 451 32065 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 38 0 104693266 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557306714832 140557852768155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=466] ppid=447 vsize=15535816 memory=141 CPUtime=2.95 cores=0-7
/proc/451/task/466/stat : 466 (java) S 447 451 32065 0 -1 1077944384 22674 0 0 0 290 5 0 0 20 0 38 0 104693266 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557305661424 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=467] ppid=447 vsize=15535816 memory=3520664 CPUtime=2.99 cores=0-7
/proc/451/task/467/stat : 467 (java) S 447 451 32065 0 -1 1077944384 21626 0 0 0 295 4 0 0 20 0 38 0 104693266 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557304608880 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=468] ppid=447 vsize=15535816 memory=3520664 CPUtime=2.87 cores=0-7
/proc/451/task/468/stat : 468 (java) S 447 451 32065 0 -1 1077944384 24759 0 0 0 281 6 0 0 20 0 38 0 104693266 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557303556336 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=469] ppid=447 vsize=15535816 memory=4140 CPUtime=1.41 cores=0-7
/proc/451/task/469/stat : 469 (java) S 447 451 32065 0 -1 1077944384 24569 0 0 0 135 6 0 0 20 0 38 0 104693266 15908675584 880237 33554432000 4194304 4196468 140734862182080 140557302503792 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=470] ppid=447 vsize=15535816 memory=2196 CPUtime=0 cores=0-7
/proc/451/task/470/stat : 470 (java) S 447 451 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 104693266 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556965505760 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=471] ppid=447 vsize=15535816 memory=6508 CPUtime=0.36 cores=0-7
/proc/451/task/471/stat : 471 (java) S 447 451 32065 0 -1 1077944384 3717 0 0 0 22 14 0 0 20 0 38 0 104693267 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556964453296 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=473] ppid=447 vsize=15535816 memory=840 CPUtime=0.37 cores=0-7
/proc/451/task/473/stat : 473 (java) S 447 451 32065 0 -1 1077944384 7285 0 0 0 16 21 0 0 20 0 38 0 104698194 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556954166800 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=474] ppid=447 vsize=15535816 memory=3520664 CPUtime=1.56 cores=0-7
/proc/451/task/474/stat : 474 (java) S 447 451 32065 0 -1 1077944384 10138 0 0 0 70 86 0 0 20 0 38 0 104698206 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556951017120 140557852760706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=475] ppid=447 vsize=15535816 memory=1236 CPUtime=2454.7 cores=0-7
/proc/451/task/475/stat : 475 (java) R 447 451 32065 0 -1 4202560 26074 0 0 0 245388 82 0 0 20 0 38 0 104698215 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556947864424 140557463390587 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=476] ppid=447 vsize=15535816 memory=3520664 CPUtime=2457.93 cores=0-7
/proc/451/task/476/stat : 476 (java) R 447 451 32065 0 -1 4202560 30881 0 0 0 245725 68 0 0 20 0 38 0 104698216 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556946811880 140557463164792 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=477] ppid=447 vsize=15535816 memory=3520664 CPUtime=1.07 cores=0-7
/proc/451/task/477/stat : 477 (java) S 447 451 32065 0 -1 1077944384 73 0 0 0 107 0 0 0 20 0 38 0 104698217 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556945761200 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=478] ppid=447 vsize=15535816 memory=3520664 CPUtime=0.99 cores=0-7
/proc/451/task/478/stat : 478 (java) S 447 451 32065 0 -1 1077944384 679 0 0 0 99 0 0 0 20 0 38 0 104698219 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556944708880 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=479] ppid=447 vsize=15535816 memory=3520664 CPUtime=2455.11 cores=0-7
/proc/451/task/479/stat : 479 (java) R 447 451 32065 0 -1 4202560 21854 0 0 0 245441 70 0 0 20 0 38 0 104698219 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556943654248 140557458734565 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=480] ppid=447 vsize=15535816 memory=3520664 CPUtime=2464.83 cores=0-7
/proc/451/task/480/stat : 480 (java) R 447 451 32065 0 -1 4202560 23429 0 0 0 246427 56 0 0 20 0 38 0 104698219 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556942601704 140557463164770 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=481] ppid=447 vsize=15535816 memory=10592 CPUtime=2453.8 cores=0-7
/proc/451/task/481/stat : 481 (java) R 447 451 32065 0 -1 4202560 33969 0 0 0 245279 101 0 0 20 0 38 0 104698219 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556941549160 140557464059481 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=482] ppid=447 vsize=15535816 memory=1200 CPUtime=0.91 cores=0-7
/proc/451/task/482/stat : 482 (java) S 447 451 32065 0 -1 1077944384 60 0 0 0 91 0 0 0 20 0 38 0 104698219 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556940498480 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=483] ppid=447 vsize=15535816 memory=6947385649911455296 CPUtime=2464.8 cores=0-7
/proc/451/task/483/stat : 483 (java) R 447 451 32065 0 -1 4202560 27077 0 0 0 246430 50 0 0 20 0 38 0 104698219 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556939443048 140557462961677 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=484] ppid=447 vsize=15535816 memory=916 CPUtime=2463.26 cores=0-7
/proc/451/task/484/stat : 484 (java) R 447 451 32065 0 -1 4202560 19491 0 0 0 246262 64 0 0 20 0 38 0 104698219 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556938386152 140557458734629 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=485] ppid=447 vsize=15535816 memory=4384 CPUtime=0 cores=0-7
/proc/451/task/485/stat : 485 (java) S 447 451 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 38 0 104698219 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556937339824 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=486] ppid=447 vsize=15535816 memory=4176 CPUtime=2460.79 cores=0-7
/proc/451/task/486/stat : 486 (java) R 447 451 32065 0 -1 4202560 22307 0 0 0 246026 53 0 0 20 0 38 0 104698220 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556936285416 140557463164754 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=488] ppid=447 vsize=15535816 memory=2396 CPUtime=0 cores=0-7
/proc/451/task/488/stat : 488 (java) S 447 451 32065 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 38 0 104698220 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556935234736 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
[pid=451/tid=489] ppid=447 vsize=15535816 memory=3520664 CPUtime=0.3 cores=0-7
/proc/451/task/489/stat : 489 (java) S 447 451 32065 0 -1 1077944384 4800 0 0 0 13 17 0 0 20 0 38 0 104698500 15908675584 880237 33554432000 4194304 4196468 140734862182080 140556934182416 140557852759765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140734862189665 140734862189851 140734862189851 140734862192591 0
Current children cumulated CPU time: 19766 s
Current children cumulated vsize: 15535816 KiB
Current children cumulated memory: 3520948 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 19766.2
CPU user time (s): 19757
CPU system time (s): 9.20194
CPU usage (%): 784.322
Max. virtual memory (cumulated for all children) (KiB): 15535816
Max. memory (cumulated for all children) (KiB): 4448288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19757
system time used= 9.20194
maximum resident set size= 4448288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 333275
involuntary context switches= 445515


# summary of solver processes directly reported to runsolver:
#   pid: 451
#   total CPU time (s): 19766.2
#   total CPU user time (s): 19757
#   total CPU system time (s): 9.20194

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8675 second user time and 29.9344 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-14 14:54:23
IDJOB=4275314
IDBENCH=125565
IDSOLVER=2668
FILE ID=node150/4275314-1502716121
RUNJOBID= node150-1502715151-32092
PBS_JOBID= 20629031
Free space on /tmp= 61636 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-04-05.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275314-1502716121/watcher-4275314-1502716121 -o /tmp/evaluation-result-4275314-1502716121/solver-4275314-1502716121 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502715151-32092 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1735539834 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275314-1502716121.xml

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

MD5SUM BENCH= 7198b26315477549e19a49cdd0865ba2
RANDOM SEED=1735539834

node150.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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        27105100 kB
MemAvailable:   31972800 kB
Buffers:          273232 kB
Cached:          4870456 kB
SwapCached:            0 kB
Active:           767360 kB
Inactive:        4430020 kB
Active(anon):      56716 kB
Inactive(anon):    25068 kB
Active(file):     710644 kB
Inactive(file):  4404952 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42816 kB
Writeback:             0 kB
AnonPages:        147256 kB
Mapped:            45252 kB
Shmem:             25224 kB
Slab:             162168 kB
SReclaimable:     135876 kB
SUnreclaim:        26292 kB
KernelStack:        3536 kB
PageTables:         5724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61596 MiB
End job on node150 at 2017-08-14 15:36:23