Trace number 4285123

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22SAT 98.423698 30.882299

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-03-06.xml
MD5SUMa0d270dd535955910725fddfcfa0cde8
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 benchmark3.1519499
Satisfiable
(Un)Satisfiability was proved
Number of variables5106
Number of constraints4377
Number of domains3
Minimum domain size3
Maximum domain size730
Distribution of domain sizes[{"size":3,"count":4374},{"size":729,"count":729},{"size":730,"count":3}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":729},{"degree":3,"count":4374}]
Minimum constraint arity2
Maximum constraint arity732
Distribution of constraint arities[{"arity":2,"count":3645},{"arity":7,"count":729},{"arity":729,"count":2},{"arity":732,"count":1}]
Number of extensional constraints0
Number of intensional constraints3645
Distribution of constraint types[{"type":"intension","count":3645},{"type":"allDifferent","count":1},{"type":"sum","count":729},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 1650300289
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 22000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
2.84/1.02	c Parsing done, starting search...
98.27/30.83	s SATISFIABLE
98.27/30.83	v <instantiation>
98.27/30.83	v 	<list>
98.27/30.83	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] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[0][5] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[1][5] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[2][5] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[3][5] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[4][5] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[5][5] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[6][5] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[7][5] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[8][5] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[9][5] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[10][5] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[11][5] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[12][5] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[13][5] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[14][5] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[15][5] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[16][5] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[17][5] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[18][5] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[19][5] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[20][5] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[21][5] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[22][5] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[23][5] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[24][5] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[25][5] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[26][5] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[27][5] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[28][5] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[29][5] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[30][5] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[31][5] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[32][5] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[33][5] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[34][5] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[35][5] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[36][5] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[37][5] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[38][5] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[39][5] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[40][5] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[41][5] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[42][5] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[43][5] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[44][5] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[45][5] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[46][5] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[47][5] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[48][5] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[49][5] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[50][5] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[51][5] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[52][5] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[53][5] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[54][5] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[55][5] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[56][5] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[57][5] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[58][5] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[59][5] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[60][5] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[61][5] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[62][5] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[63][5] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[64][5] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[65][5] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[66][5] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[67][5] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[68][5] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[69][5] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[70][5] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[71][5] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[72][5] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[73][5] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[74][5] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[75][5] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[76][5] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[77][5] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[78][5] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[79][5] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[80][5] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[81][5] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[82][5] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[83][5] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[84][5] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[85][5] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[86][5] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[87][5] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[88][5] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[89][5] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[90][5] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[91][5] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[92][5] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[93][5] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[94][5] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[95][5] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[96][5] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[97][5] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[98][5] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[99][5] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[100][5] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[101][5] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[102][5] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[103][5] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[104][5] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[105][5] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[106][5] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[107][5] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[108][5] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[109][5] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[110][5] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[111][5] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[112][5] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[113][5] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[114][5] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[115][5] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[116][5] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[117][5] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[118][5] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[119][5] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[120][5] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[121][5] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[122][5] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[123][5] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[124][5] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[125][5] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[126][5] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[127][5] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[128][5] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[129][5] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[130][5] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[131][5] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[132][5] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[133][5] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[134][5] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[135][5] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[136][5] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[137][5] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[138][5] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[139][5] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[140][5] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[141][5] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[142][5] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[143][5] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[144][5] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[145][5] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[146][5] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[147][5] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[148][5] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[149][5] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[150][5] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[151][5] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[152][5] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[153][5] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[154][5] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[155][5] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[156][5] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[157][5] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[158][5] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[159][5] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[160][5] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[161][5] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[162][5] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[163][5] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[164][5] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[165][5] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[166][5] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[167][5] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[168][5] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[169][5] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[170][5] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[171][5] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[172][5] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[173][5] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[174][5] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[175][5] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[176][5] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[177][5] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[178][5] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[179][5] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[180][5] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[181][5] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[182][5] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[183][5] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[184][5] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[185][5] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[186][5] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[187][5] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[188][5] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[189][5] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[190][5] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[191][5] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[192][5] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[193][5] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[194][5] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[195][5] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[196][5] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[197][5] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[198][5] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[199][5] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[200][5] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[201][5] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[202][5] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[203][5] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[204][5] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[205][5] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[206][5] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[207][5] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[208][5] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[209][5] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[210][5] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[211][5] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[212][5] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[213][5] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[214][5] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[215][5] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[216][5] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[217][5] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[218][5] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[219][5] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[220][5] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[221][5] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[222][5] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[223][5] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[224][5] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[225][5] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[226][5] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[227][5] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[228][5] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[229][5] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[230][5] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[231][5] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[232][5] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[233][5] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[234][5] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[235][5] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[236][5] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[237][5] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[238][5] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[239][5] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[240][5] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[241][5] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] bi[242][5] bi[243][0] bi[243][1] bi[243][2] bi[243][3] bi[243][4] bi[243][5] bi[244][0] bi[244][1] bi[244][2] bi[244][3] bi[244][4] bi[244][5] bi[245][0] bi[245][1] bi[245][2] bi[245][3] bi[245][4] bi[245][5] bi[246][0] bi[246][1] bi[246][2] bi[246][3] bi[246][4] bi[246][5] bi[247][0] bi[247][1] bi[247][2] bi[247][3] bi[247][4] bi[247][5] bi[248][0] bi[248][1] bi[248][2] bi[248][3] bi[248][4] bi[248][5] bi[249][0] bi[249][1] bi[249][2] bi[249][3] bi[249][4] bi[249][5] bi[250][0] bi[250][1] bi[250][2] bi[250][3] bi[250][4] bi[250][5] bi[251][0] bi[251][1] bi[251][2] bi[251][3] bi[251][4] bi[251][5] bi[252][0] bi[252][1] bi[252][2] bi[252][3] bi[252][4] bi[252][5] bi[253][0] bi[253][1] bi[253][2] bi[253][3] bi[253][4] bi[253][5] bi[254][0] bi[254][1] bi[254][2] bi[254][3] bi[254][4] bi[254][5] bi[255][0] bi[255][1] bi[255][2] bi[255][3] bi[255][4] bi[255][5] bi[256][0] bi[256][1] bi[256][2] bi[256][3] bi[256][4] bi[256][5] bi[257][0] bi[257][1] bi[257][2] bi[257][3] bi[257][4] bi[257][5] bi[258][0] bi[258][1] bi[258][2] bi[258][3] bi[258][4] bi[258][5] bi[259][0] bi[259][1] bi[259][2] bi[259][3] bi[259][4] bi[259][5] bi[260][0] bi[260][1] bi[260][2] bi[260][3] bi[260][4] bi[260][5] bi[261][0] bi[261][1] bi[261][2] bi[261][3] bi[261][4] bi[261][5] bi[262][0] bi[262][1] bi[262][2] bi[262][3] bi[262][4] bi[262][5] bi[263][0] bi[263][1] bi[263][2] bi[263][3] bi[263][4] bi[263][5] bi[264][0] bi[264][1] bi[264][2] bi[264][3] bi[264][4] bi[264][5] bi[265][0] bi[265][1] bi[265][2] bi[265][3] bi[265][4] bi[265][5] bi[266][0] bi[266][1] bi[266][2] bi[266][3] bi[266][4] bi[266][5] bi[267][0] bi[267][1] bi[267][2] bi[267][3] bi[267][4] bi[267][5] bi[268][0] bi[268][1] bi[268][2] bi[268][3] bi[268][4] bi[268][5] bi[269][0] bi[269][1] bi[269][2] bi[269][3] bi[269][4] bi[269][5] bi[270][0] bi[270][1] bi[270][2] bi[270][3] bi[270][4] bi[270][5] bi[271][0] bi[271][1] bi[271][2] bi[271][3] bi[271][4] bi[271][5] bi[272][0] bi[272][1] bi[272][2] bi[272][3] bi[272][4] bi[272][5] bi[273][0] bi[273][1] bi[273][2] bi[273][3] bi[273][4] bi[273][5] bi[274][0] bi[274][1] bi[274][2] bi[274][3] bi[274][4] bi[274][5] bi[275][0] bi[275][1] bi[275][2] bi[275][3] bi[275][4] bi[275][5] bi[276][0] bi[276][1] bi[276][2] bi[276][3] bi[276][4] bi[276][5] bi[277][0] bi[277][1] bi[277][2] bi[277][3] bi[277][4] bi[277][5] bi[278][0] bi[278][1] bi[278][2] bi[278][3] bi[278][4] bi[278][5] bi[279][0] bi[279][1] bi[279][2] bi[279][3] bi[279][4] bi[279][5] bi[280][0] bi[280][1] bi[280][2] bi[280][3] bi[280][4] bi[280][5] bi[281][0] bi[281][1] bi[281][2] bi[281][3] bi[281][4] bi[281][5] bi[282][0] bi[282][1] bi[282][2] bi[282][3] bi[282][4] bi[282][5] bi[283][0] bi[283][1] bi[283][2] bi[283][3] bi[283][4] bi[283][5] bi[284][0] bi[284][1] bi[284][2] bi[284][3] bi[284][4] bi[284][5] bi[285][0] bi[285][1] bi[285][2] bi[285][3] bi[285][4] bi[285][5] bi[286][0] bi[286][1] bi[286][2] bi[286][3] bi[286][4] bi[286][5] bi[287][0] bi[287][1] bi[287][2] bi[287][3] bi[287][4] bi[287][5] bi[288][0] bi[288][1] bi[288][2] bi[288][3] bi[288][4] bi[288][5] bi[289][0] bi[289][1] bi[289][2] bi[289][3] bi[289][4] bi[289][5] bi[290][0] bi[290][1] bi[290][2] bi[290][3] bi[290][4] bi[290][5] bi[291][0] bi[291][1] bi[291][2] bi[291][3] bi[291][4] bi[291][5] bi[292][0] bi[292][1] bi[292][2] bi[292][3] bi[292][4] bi[292][5] bi[293][0] bi[293][1] bi[293][2] bi[293][3] bi[293][4] bi[293][5] bi[294][0] bi[294][1] bi[294][2] bi[294][3] bi[294][4] bi[294][5] bi[295][0] bi[295][1] bi[295][2] bi[295][3] bi[295][4] bi[295][5] bi[296][0] bi[296][1] bi[296][2] bi[296][3] bi[296][4] bi[296][5] bi[297][0] bi[297][1] bi[297][2] bi[297][3] bi[297][4] bi[297][5] bi[298][0] bi[298][1] bi[298][2] bi[298][3] bi[298][4] bi[298][5] bi[299][0] bi[299][1] bi[299][2] bi[299][3] bi[299][4] bi[299][5] bi[300][0] bi[300][1] bi[300][2] bi[300][3] bi[300][4] bi[300][5] bi[301][0] bi[301][1] bi[301][2] bi[301][3] bi[301][4] bi[301][5] bi[302][0] bi[302][1] bi[302][2] bi[302][3] bi[302][4] bi[302][5] bi[303][0] bi[303][1] bi[303][2] bi[303][3] bi[303][4] bi[303][5] bi[304][0] bi[304][1] bi[304][2] bi[304][3] bi[304][4] bi[304][5] bi[305][0] bi[305][1] bi[305][2] bi[305][3] bi[305][4] bi[305][5] bi[306][0] bi[306][1] bi[306][2] bi[306][3] bi[306][4] bi[306][5] bi[307][0] bi[307][1] bi[307][2] bi[307][3] bi[307][4] bi[307][5] bi[308][0] bi[308][1] bi[308][2] bi[308][3] bi[308][4] bi[308][5] bi[309][0] bi[309][1] bi[309][2] bi[309][3] bi[309][4] bi[309][5] bi[310][0] bi[310][1] bi[310][2] bi[310][3] bi[310][4] bi[310][5] bi[311][0] bi[311][1] bi[311][2] bi[311][3] bi[311][4] bi[311][5] bi[312][0] bi[312][1] bi[312][2] bi[312][3] bi[312][4] bi[312][5] bi[313][0] bi[313][1] bi[313][2] bi[313][3] bi[313][4] bi[313][5] bi[314][0] bi[314][1] bi[314][2] bi[314][3] bi[314][4] bi[314][5] bi[315][0] bi[315][1] bi[315][2] bi[315][3] bi[315][4] bi[315][5] bi[316][0] bi[316][1] bi[316][2] bi[316][3] bi[316][4] bi[316][5] bi[317][0] bi[317][1] bi[317][2] bi[317][3] bi[317][4] bi[317][5] bi[318][0] bi[318][1] bi[318][2] bi[318][3] bi[318][4] bi[318][5] bi[319][0] bi[319][1] bi[319][2] bi[319][3] bi[319][4] bi[319][5] bi[320][0] bi[320][1] bi[320][2] bi[320][3] bi[320][4] bi[320][5] bi[321][0] bi[321][1] bi[321][2] bi[321][3] bi[321][4] bi[321][5] bi[322][0] bi[322][1] bi[322][2] bi[322][3] bi[322][4] bi[322][5] bi[323][0] bi[323][1] bi[323][2] bi[323][3] bi[323][4] bi[323][5] bi[324][0] bi[324][1] bi[324][2] bi[324][3] bi[324][4] bi[324][5] bi[325][0] bi[325][1] bi[325][2] bi[325][3] bi[325][4] bi[325][5] bi[326][0] bi[326][1] bi[326][2] bi[326][3] bi[326][4] bi[326][5] bi[327][0] bi[327][1] bi[327][2] bi[327][3] bi[327][4] bi[327][5] bi[328][0] bi[328][1] bi[328][2] bi[328][3] bi[328][4] bi[328][5] bi[329][0] bi[329][1] bi[329][2] bi[329][3] bi[329][4] bi[329][5] bi[330][0] bi[330][1] bi[330][2] bi[330][3] bi[330][4] bi[330][5] bi[331][0] bi[331][1] bi[331][2] bi[331][3] bi[331][4] bi[331][5] bi[332][0] bi[332][1] bi[332][2] bi[332][3] bi[332][4] bi[332][5] bi[333][0] bi[333][1] bi[333][2] bi[333][3] bi[333][4] bi[333][5] bi[334][0] bi[334][1] bi[334][2] bi[334][3] bi[334][4] bi[334][5] bi[335][0] bi[335][1] bi[335][2] bi[335][3] bi[335][4] bi[335][5] bi[336][0] bi[336][1] bi[336][2] bi[336][3] bi[336][4] bi[336][5] bi[337][0] bi[337][1] bi[337][2] bi[337][3] bi[337][4] bi[337][5] bi[338][0] bi[338][1] bi[338][2] bi[338][3] bi[338][4] bi[338][5] bi[339][0] bi[339][1] bi[339][2] bi[339][3] bi[339][4] bi[339][5] bi[340][0] bi[340][1] bi[340][2] bi[340][3] bi[340][4] bi[340][5] bi[341][0] bi[341][1] bi[341][2] bi[341][3] bi[341][4] bi[341][5] bi[342][0] bi[342][1] bi[342][2] bi[342][3] bi[342][4] bi[342][5] bi[343][0] bi[343][1] bi[343][2] bi[343][3] bi[343][4] bi[343][5] bi[344][0] bi[344][1] bi[344][2] bi[344][3] bi[344][4] bi[344][5] bi[345][0] bi[345][1] bi[345][2] bi[345][3] bi[345][4] bi[345][5] bi[346][0] bi[346][1] bi[346][2] bi[346][3] bi[346][4] bi[346][5] bi[347][0] bi[347][1] bi[347][2] bi[347][3] bi[347][4] bi[347][5] bi[348][0] bi[348][1] bi[348][2] bi[348][3] bi[348][4] bi[348][5] bi[349][0] bi[349][1] bi[349][2] bi[349][3] bi[349][4] bi[349][5] bi[350][0] bi[350][1] bi[350][2] bi[350][3] bi[350][4] bi[350][5] bi[351][0] bi[351][1] bi[351][2] bi[351][3] bi[351][4] bi[351][5] bi[352][0] bi[352][1] bi[352][2] bi[352][3] bi[352][4] bi[352][5] bi[353][0] bi[353][1] bi[353][2] bi[353][3] bi[353][4] bi[353][5] bi[354][0] bi[354][1] bi[354][2] bi[354][3] bi[354][4] bi[354][5] bi[355][0] bi[355][1] bi[355][2] bi[355][3] bi[355][4] bi[355][5] bi[356][0] bi[356][1] bi[356][2] bi[356][3] bi[356][4] bi[356][5] bi[357][0] bi[357][1] bi[357][2] bi[357][3] bi[357][4] bi[357][5] bi[358][0] bi[358][1] bi[358][2] bi[358][3] bi[358][4] bi[358][5] bi[359][0] bi[359][1] bi[359][2] bi[359][3] bi[359][4] bi[359][5] bi[360][0] bi[360][1] bi[360][2] bi[360][3] bi[360][4] bi[360][5] bi[361][0] bi[361][1] bi[361][2] bi[361][3] bi[361][4] bi[361][5] bi[362][0] bi[362][1] bi[362][2] bi[362][3] bi[362][4] bi[362][5] bi[363][0] bi[363][1] bi[363][2] bi[363][3] bi[363][4] bi[363][5] bi[364][0] bi[364][1] bi[364][2] bi[364][3] bi[364][4] bi[364][5] bi[365][0] bi[365][1] bi[365][2] bi[365][3] bi[365][4] bi[365][5] bi[366][0] bi[366][1] bi[366][2] bi[366][3] bi[366][4] bi[366][5] bi[367][0] bi[367][1] bi[367][2] bi[367][3] bi[367][4] bi[367][5] bi[368][0] bi[368][1] bi[368][2] bi[368][3] bi[368][4] bi[368][5] bi[369][0] bi[369][1] bi[369][2] bi[369][3] bi[369][4] bi[369][5] bi[370][0] bi[370][1] bi[370][2] bi[370][3] bi[370][4] bi[370][5] bi[371][0] bi[371][1] bi[371][2] bi[371][3] bi[371][4] bi[371][5] bi[372][0] bi[372][1] bi[372][2] bi[372][3] bi[372][4] bi[372][5] bi[373][0] bi[373][1] bi[373][2] bi[373][3] bi[373][4] bi[373][5] bi[374][0] bi[374][1] bi[374][2] bi[374][3] bi[374][4] bi[374][5] bi[375][0] bi[375][1] bi[375][2] bi[375][3] bi[375][4] bi[375][5] bi[376][0] bi[376][1] bi[376][2] bi[376][3] bi[376][4] bi[376][5] bi[377][0] bi[377][1] bi[377][2] bi[377][3] bi[377][4] bi[377][5] bi[378][0] bi[378][1] bi[378][2] bi[378][3] bi[378][4] bi[378][5] bi[379][0] bi[379][1] bi[379][2] bi[379][3] bi[379][4] bi[379][5] bi[380][0] bi[380][1] bi[380][2] bi[380][3] bi[380][4] bi[380][5] bi[381][0] bi[381][1] bi[381][2] bi[381][3] bi[381][4] bi[381][5] bi[382][0] bi[382][1] bi[382][2] bi[382][3] bi[382][4] bi[382][5] bi[383][0] bi[383][1] bi[383][2] bi[383][3] bi[383][4] bi[383][5] bi[384][0] bi[384][1] bi[384][2] bi[384][3] bi[384][4] bi[384][5] bi[385][0] bi[385][1] bi[385][2] bi[385][3] bi[385][4] bi[385][5] bi[386][0] bi[386][1] bi[386][2] bi[386][3] bi[386][4] bi[386][5] bi[387][0] bi[387][1] bi[387][2] bi[387][3] bi[387][4] bi[387][5] bi[388][0] bi[388][1] bi[388][2] bi[388][3] bi[388][4] bi[388][5] bi[389][0] bi[389][1] bi[389][2] bi[389][3] bi[389][4] bi[389][5] bi[390][0] bi[390][1] bi[390][2] bi[390][3] bi[390][4] bi[390][5] bi[391][0] bi[391][1] bi[391][2] bi[391][3] bi[391][4] bi[391][5] bi[392][0] bi[392][1] bi[392][2] bi[392][3] bi[392][4] bi[392][5] bi[393][0] bi[393][1] bi[393][2] bi[393][3] bi[393][4] bi[393][5] bi[394][0] bi[394][1] bi[394][2] bi[394][3] bi[394][4] bi[394][5] bi[395][0] bi[395][1] bi[395][2] bi[395][3] bi[395][4] bi[395][5] bi[396][0] bi[396][1] bi[396][2] bi[396][3] bi[396][4] bi[396][5] bi[397][0] bi[397][1] bi[397][2] bi[397][3] bi[397][4] bi[397][5] bi[398][0] bi[398][1] bi[398][2] bi[398][3] bi[398][4] bi[398][5] bi[399][0] bi[399][1] bi[399][2] bi[399][3] bi[399][4] bi[399][5] bi[400][0] bi[400][1] bi[400][2] bi[400][3] bi[400][4] bi[400][5] bi[401][0] bi[401][1] bi[401][2] bi[401][3] bi[401][4] bi[401][5] bi[402][0] bi[402][1] bi[402][2] bi[402][3] bi[402][4] bi[402][5] bi[403][0] bi[403][1] bi[403][2] bi[403][3] bi[403][4] bi[403][5] bi[404][0] bi[404][1] bi[404][2] bi[404][3] bi[404][4] bi[404][5] bi[405][0] bi[405][1] bi[405][2] bi[405][3] bi[405][4] bi[405][5] bi[406][0] bi[406][1] bi[406][2] bi[406][3] bi[406][4] bi[406][5] bi[407][0] bi[407][1] bi[407][2] bi[407][3] bi[407][4] bi[407][5] bi[408][0] bi[408][1] bi[408][2] bi[408][3] bi[408][4] bi[408][5] bi[409][0] bi[409][1] bi[409][2] bi[409][3] bi[409][4] bi[409][5] bi[410][0] bi[410][1] bi[410][2] bi[410][3] bi[410][4] bi[410][5] bi[411][0] bi[411][1] bi[411][2] bi[411][3] bi[411][4] bi[411][5] bi[412][0] bi[412][1] bi[412][2] bi[412][3] bi[412][4] bi[412][5] bi[413][0] bi[413][1] bi[413][2] bi[413][3] bi[413][4] bi[413][5] bi[414][0] bi[414][1] bi[414][2] bi[414][3] bi[414][4] bi[414][5] bi[415][0] bi[415][1] bi[415][2] bi[415][3] bi[415][4] bi[415][5] bi[416][0] bi[416][1] bi[416][2] bi[416][3] bi[416][4] bi[416][5] bi[417][0] bi[417][1] bi[417][2] bi[417][3] bi[417][4] bi[417][5] bi[418][0] bi[418][1] bi[418][2] bi[418][3] bi[418][4] bi[418][5] bi[419][0] bi[419][1] bi[419][2] bi[419][3] bi[419][4] bi[419][5] bi[420][0] bi[420][1] bi[420][2] bi[420][3] bi[420][4] bi[420][5] bi[421][0] bi[421][1] bi[421][2] bi[421][3] bi[421][4] bi[421][5] bi[422][0] bi[422][1] bi[422][2] bi[422][3] bi[422][4] bi[422][5] bi[423][0] bi[423][1] bi[423][2] bi[423][3] bi[423][4] bi[423][5] bi[424][0] bi[424][1] bi[424][2] bi[424][3] bi[424][4] bi[424][5] bi[425][0] bi[425][1] bi[425][2] bi[425][3] bi[425][4] bi[425][5] bi[426][0] bi[426][1] bi[426][2] bi[426][3] bi[426][4] bi[426][5] bi[427][0] bi[427][1] bi[427][2] bi[427][3] bi[427][4] bi[427][5] bi[428][0] bi[428][1] bi[428][2] bi[428][3] bi[428][4] bi[428][5] bi[429][0] bi[429][1] bi[429][2] bi[429][3] bi[429][4] bi[429][5] bi[430][0] bi[430][1] bi[430][2] bi[430][3] bi[430][4] bi[430][5] bi[431][0] bi[431][1] bi[431][2] bi[431][3] bi[431][4] bi[431][5] bi[432][0] bi[432][1] bi[432][2] bi[432][3] bi[432][4] bi[432][5] bi[433][0] bi[433][1] bi[433][2] bi[433][3] bi[433][4] bi[433][5] bi[434][0] bi[434][1] bi[434][2] bi[434][3] bi[434][4] bi[434][5] bi[435][0] bi[435][1] bi[435][2] bi[435][3] bi[435][4] bi[435][5] bi[436][0] bi[436][1] bi[436][2] bi[436][3] bi[436][4] bi[436][5] bi[437][0] bi[437][1] bi[437][2] bi[437][3] bi[437][4] bi[437][5] bi[438][0] bi[438][1] bi[438][2] bi[438][3] bi[438][4] bi[438][5] bi[439][0] bi[439][1] bi[439][2] bi[439][3] bi[439][4] bi[439][5] bi[440][0] bi[440][1] bi[440][2] bi[440][3] bi[440][4] bi[440][5] bi[441][0] bi[441][1] bi[441][2] bi[441][3] bi[441][4] bi[441][5] bi[442][0] bi[442][1] bi[442][2] bi[442][3] bi[442][4] bi[442][5] bi[443][0] bi[443][1] bi[443][2] bi[443][3] bi[443][4] bi[443][5] bi[444][0] bi[444][1] bi[444][2] bi[444][3] bi[444][4] bi[444][5] bi[445][0] bi[445][1] bi[445][2] bi[445][3] bi[445][4] bi[445][5] bi[446][0] bi[446][1] bi[446][2] bi[446][3] bi[446][4] bi[446][5] bi[447][0] bi[447][1] bi[447][2] bi[447][3] bi[447][4] bi[447][5] bi[448][0] bi[448][1] bi[448][2] bi[448][3] bi[448][4] bi[448][5] bi[449][0] bi[449][1] bi[449][2] bi[449][3] bi[449][4] bi[449][5] bi[450][0] bi[450][1] bi[450][2] bi[450][3] bi[450][4] bi[450][5] bi[451][0] bi[451][1] bi[451][2] bi[451][3] bi[451][4] bi[451][5] bi[452][0] bi[452][1] bi[452][2] bi[452][3] bi[452][4] bi[452][5] bi[453][0] bi[453][1] bi[453][2] bi[453][3] bi[453][4] bi[453][5] bi[454][0] bi[454][1] bi[454][2] bi[454][3] bi[454][4] bi[454][5] bi[455][0] bi[455][1] bi[455][2] bi[455][3] bi[455][4] bi[455][5] bi[456][0] bi[456][1] bi[456][2] bi[456][3] bi[456][4] bi[456][5] bi[457][0] bi[457][1] bi[457][2] bi[457][3] bi[457][4] bi[457][5] bi[458][0] bi[458][1] bi[458][2] bi[458][3] bi[458][4] bi[458][5] bi[459][0] bi[459][1] bi[459][2] bi[459][3] bi[459][4] bi[459][5] bi[460][0] bi[460][1] bi[460][2] bi[460][3] bi[460][4] bi[460][5] bi[461][0] bi[461][1] bi[461][2] bi[461][3] bi[461][4] bi[461][5] bi[462][0] bi[462][1] bi[462][2] bi[462][3] bi[462][4] bi[462][5] bi[463][0] bi[463][1] bi[463][2] bi[463][3] bi[463][4] bi[463][5] bi[464][0] bi[464][1] bi[464][2] bi[464][3] bi[464][4] bi[464][5] bi[465][0] bi[465][1] bi[465][2] bi[465][3] bi[465][4] bi[465][5] bi[466][0] bi[466][1] bi[466][2] bi[466][3] bi[466][4] bi[466][5] bi[467][0] bi[467][1] bi[467][2] bi[467][3] bi[467][4] bi[467][5] bi[468][0] bi[468][1] bi[468][2] bi[468][3] bi[468][4] bi[468][5] bi[469][0] bi[469][1] bi[469][2] bi[469][3] bi[469][4] bi[469][5] bi[470][0] bi[470][1] bi[470][2] bi[470][3] bi[470][4] bi[470][5] bi[471][0] bi[471][1] bi[471][2] bi[471][3] bi[471][4] bi[471][5] bi[472][0] bi[472][1] bi[472][2] bi[472][3] bi[472][4] bi[472][5] bi[473][0] bi[473][1] bi[473][2] bi[473][3] bi[473][4] bi[473][5] bi[474][0] bi[474][1] bi[474][2] bi[474][3] bi[474][4] bi[474][5] bi[475][0] bi[475][1] bi[475][2] bi[475][3] bi[475][4] bi[475][5] bi[476][0] bi[476][1] bi[476][2] bi[476][3] bi[476][4] bi[476][5] bi[477][0] bi[477][1] bi[477][2] bi[477][3] bi[477][4] bi[477][5] bi[478][0] bi[478][1] bi[478][2] bi[478][3] bi[478][4] bi[478][5] bi[479][0] bi[479][1] bi[479][2] bi[479][3] bi[479][4] bi[479][5] bi[480][0] bi[480][1] bi[480][2] bi[480][3] bi[480][4] bi[480][5] bi[481][0] bi[481][1] bi[481][2] bi[481][3] bi[481][4] bi[481][5] bi[482][0] bi[482][1] bi[482][2] bi[482][3] bi[482][4] bi[482][5] bi[483][0] bi[483][1] bi[483][2] bi[483][3] bi[483][4] bi[483][5] bi[484][0] bi[484][1] bi[484][2] bi[484][3] bi[484][4] bi[484][5] bi[485][0] bi[485][1] bi[485][2] bi[485][3] bi[485][4] bi[485][5] bi[486][0] bi[486][1] bi[486][2] bi[486][3] bi[486][4] bi[486][5] bi[487][0] bi[487][1] bi[487][2] bi[487][3] bi[487][4] bi[487][5] bi[488][0] bi[488][1] bi[488][2] bi[488][3] bi[488][4] bi[488][5] bi[489][0] bi[489][1] bi[489][2] bi[489][3] bi[489][4] bi[489][5] bi[490][0] bi[490][1] bi[490][2] bi[490][3] bi[490][4] bi[490][5] bi[491][0] bi[491][1] bi[491][2] bi[491][3] bi[491][4] bi[491][5] bi[492][0] bi[492][1] bi[492][2] bi[492][3] bi[492][4] bi[492][5] bi[493][0] bi[493][1] bi[493][2] bi[493][3] bi[493][4] bi[493][5] bi[494][0] bi[494][1] bi[494][2] bi[494][3] bi[494][4] bi[494][5] bi[495][0] bi[495][1] bi[495][2] bi[495][3] bi[495][4] bi[495][5] bi[496][0] bi[496][1] bi[496][2] bi[496][3] bi[496][4] bi[496][5] bi[497][0] bi[497][1] bi[497][2] bi[497][3] bi[497][4] bi[497][5] bi[498][0] bi[498][1] bi[498][2] bi[498][3] bi[498][4] bi[498][5] bi[499][0] bi[499][1] bi[499][2] bi[499][3] bi[499][4] bi[499][5] bi[500][0] bi[500][1] bi[500][2] bi[500][3] bi[500][4] bi[500][5] bi[501][0] bi[501][1] bi[501][2] bi[501][3] bi[501][4] bi[501][5] bi[502][0] bi[502][1] bi[502][2] bi[502][3] bi[502][4] bi[502][5] bi[503][0] bi[503][1] bi[503][2] bi[503][3] bi[503][4] bi[503][5] bi[504][0] bi[504][1] bi[504][2] bi[504][3] bi[504][4] bi[504][5] bi[505][0] bi[505][1] bi[505][2] bi[505][3] bi[505][4] bi[505][5] bi[506][0] bi[506][1] bi[506][2] bi[506][3] bi[506][4] bi[506][5] bi[507][0] bi[507][1] bi[507][2] bi[507][3] bi[507][4] bi[507][5] bi[508][0] bi[508][1] bi[508][2] bi[508][3] bi[508][4] bi[508][5] bi[509][0] bi[509][1] bi[509][2] bi[509][3] bi[509][4] bi[509][5] bi[510][0] bi[510][1] bi[510][2] bi[510][3] bi[510][4] bi[510][5] bi[511][0] bi[511][1] bi[511][2] bi[511][3] bi[511][4] bi[511][5] bi[512][0] bi[512][1] bi[512][2] bi[512][3] bi[512][4] bi[512][5] bi[513][0] bi[513][1] bi[513][2] bi[513][3] bi[513][4] bi[513][5] bi[514][0] bi[514][1] bi[514][2] bi[514][3] bi[514][4] bi[514][5] bi[515][0] bi[515][1] bi[515][2] bi[515][3] bi[515][4] bi[515][5] bi[516][0] bi[516][1] bi[516][2] bi[516][3] bi[516][4] bi[516][5] bi[517][0] bi[517][1] bi[517][2] bi[517][3] bi[517][4] bi[517][5] bi[518][0] bi[518][1] bi[518][2] bi[518][3] bi[518][4] bi[518][5] bi[519][0] bi[519][1] bi[519][2] bi[519][3] bi[519][4] bi[519][5] bi[520][0] bi[520][1] bi[520][2] bi[520][3] bi[520][4] bi[520][5] bi[521][0] bi[521][1] bi[521][2] bi[521][3] bi[521][4] bi[521][5] bi[522][0] bi[522][1] bi[522][2] bi[522][3] bi[522][4] bi[522][5] bi[523][0] bi[523][1] bi[523][2] bi[523][3] bi[523][4] bi[523][5] bi[524][0] bi[524][1] bi[524][2] bi[524][3] bi[524][4] bi[524][5] bi[525][0] bi[525][1] bi[525][2] bi[525][3] bi[525][4] bi[525][5] bi[526][0] bi[526][1] bi[526][2] bi[526][3] bi[526][4] bi[526][5] bi[527][0] bi[527][1] bi[527][2] bi[527][3] bi[527][4] bi[527][5] bi[528][0] bi[528][1] bi[528][2] bi[528][3] bi[528][4] bi[528][5] bi[529][0] bi[529][1] bi[529][2] bi[529][3] bi[529][4] bi[529][5] bi[530][0] bi[530][1] bi[530][2] bi[530][3] bi[530][4] bi[530][5] bi[531][0] bi[531][1] bi[531][2] bi[531][3] bi[531][4] bi[531][5] bi[532][0] bi[532][1] bi[532][2] bi[532][3] bi[532][4] bi[532][5] bi[533][0] bi[533][1] bi[533][2] bi[533][3] bi[533][4] bi[533][5] bi[534][0] bi[534][1] bi[534][2] bi[534][3] bi[534][4] bi[534][5] bi[535][0] bi[535][1] bi[535][2] bi[535][3] bi[535][4] bi[535][5] bi[536][0] bi[536][1] bi[536][2] bi[536][3] bi[536][4] bi[536][5] bi[537][0] bi[537][1] bi[537][2] bi[537][3] bi[537][4] bi[537][5] bi[538][0] bi[538][1] bi[538][2] bi[538][3] bi[538][4] bi[538][5] bi[539][0] bi[539][1] bi[539][2] bi[539][3] bi[539][4] bi[539][5] bi[540][0] bi[540][1] bi[540][2] bi[540][3] bi[540][4] bi[540][5] bi[541][0] bi[541][1] bi[541][2] bi[541][3] bi[541][4] bi[541][5] bi[542][0] bi[542][1] bi[542][2] bi[542][3] bi[542][4] bi[542][5] bi[543][0] bi[543][1] bi[543][2] bi[543][3] bi[543][4] bi[543][5] bi[544][0] bi[544][1] bi[544][2] bi[544][3] bi[544][4] bi[544][5] bi[545][0] bi[545][1] bi[545][2] bi[545][3] bi[545][4] bi[545][5] bi[546][0] bi[546][1] bi[546][2] bi[546][3] bi[546][4] bi[546][5] bi[547][0] bi[547][1] bi[547][2] bi[547][3] bi[547][4] bi[547][5] bi[548][0] bi[548][1] bi[548][2] bi[548][3] bi[548][4] bi[548][5] bi[549][0] bi[549][1] bi[549][2] bi[549][3] bi[549][4] bi[549][5] bi[550][0] bi[550][1] bi[550][2] bi[550][3] bi[550][4] bi[550][5] bi[551][0] bi[551][1] bi[551][2] bi[551][3] bi[551][4] bi[551][5] bi[552][0] bi[552][1] bi[552][2] bi[552][3] bi[552][4] bi[552][5] bi[553][0] bi[553][1] bi[553][2] bi[553][3] bi[553][4] bi[553][5] bi[554][0] bi[554][1] bi[554][2] bi[554][3] bi[554][4] bi[554][5] bi[555][0] bi[555][1] bi[555][2] bi[555][3] bi[555][4] bi[555][5] bi[556][0] bi[556][1] bi[556][2] bi[556][3] bi[556][4] bi[556][5] bi[557][0] bi[557][1] bi[557][2] bi[557][3] bi[557][4] bi[557][5] bi[558][0] bi[558][1] bi[558][2] bi[558][3] bi[558][4] bi[558][5] bi[559][0] bi[559][1] bi[559][2] bi[559][3] bi[559][4] bi[559][5] bi[560][0] bi[560][1] bi[560][2] bi[560][3] bi[560][4] bi[560][5] bi[561][0] bi[561][1] bi[561][2] bi[561][3] bi[561][4] bi[561][5] bi[562][0] bi[562][1] bi[562][2] bi[562][3] bi[562][4] bi[562][5] bi[563][0] bi[563][1] bi[563][2] bi[563][3] bi[563][4] bi[563][5] bi[564][0] bi[564][1] bi[564][2] bi[564][3] bi[564][4] bi[564][5] bi[565][0] bi[565][1] bi[565][2] bi[565][3] bi[565][4] bi[565][5] bi[566][0] bi[566][1] bi[566][2] bi[566][3] bi[566][4] bi[566][5] bi[567][0] bi[567][1] bi[567][2] bi[567][3] bi[567][4] bi[567][5] bi[568][0] bi[568][1] bi[568][2] bi[568][3] bi[568][4] bi[568][5] bi[569][0] bi[569][1] bi[569][2] bi[569][3] bi[569][4] bi[569][5] bi[570][0] bi[570][1] bi[570][2] bi[570][3] bi[570][4] bi[570][5] bi[571][0] bi[571][1] bi[571][2] bi[571][3] bi[571][4] bi[571][5] bi[572][0] bi[572][1] bi[572][2] bi[572][3] bi[572][4] bi[572][5] bi[573][0] bi[573][1] bi[573][2] bi[573][3] bi[573][4] bi[573][5] bi[574][0] bi[574][1] bi[574][2] bi[574][3] bi[574][4] bi[574][5] bi[575][0] bi[575][1] bi[575][2] bi[575][3] bi[575][4] bi[575][5] bi[576][0] bi[576][1] bi[576][2] bi[576][3] bi[576][4] bi[576][5] bi[577][0] bi[577][1] bi[577][2] bi[577][3] bi[577][4] bi[577][5] bi[578][0] bi[578][1] bi[578][2] bi[578][3] bi[578][4] bi[578][5] bi[579][0] bi[579][1] bi[579][2] bi[579][3] bi[579][4] bi[579][5] bi[580][0] bi[580][1] bi[580][2] bi[580][3] bi[580][4] bi[580][5] bi[581][0] bi[581][1] bi[581][2] bi[581][3] bi[581][4] bi[581][5] bi[582][0] bi[582][1] bi[582][2] bi[582][3] bi[582][4] bi[582][5] bi[583][0] bi[583][1] bi[583][2] bi[583][3] bi[583][4] bi[583][5] bi[584][0] bi[584][1] bi[584][2] bi[584][3] bi[584][4] bi[584][5] bi[585][0] bi[585][1] bi[585][2] bi[585][3] bi[585][4] bi[585][5] bi[586][0] bi[586][1] bi[586][2] bi[586][3] bi[586][4] bi[586][5] bi[587][0] bi[587][1] bi[587][2] bi[587][3] bi[587][4] bi[587][5] bi[588][0] bi[588][1] bi[588][2] bi[588][3] bi[588][4] bi[588][5] bi[589][0] bi[589][1] bi[589][2] bi[589][3] bi[589][4] bi[589][5] bi[590][0] bi[590][1] bi[590][2] bi[590][3] bi[590][4] bi[590][5] bi[591][0] bi[591][1] bi[591][2] bi[591][3] bi[591][4] bi[591][5] bi[592][0] bi[592][1] bi[592][2] bi[592][3] bi[592][4] bi[592][5] bi[593][0] bi[593][1] bi[593][2] bi[593][3] bi[593][4] bi[593][5] bi[594][0] bi[594][1] bi[594][2] bi[594][3] bi[594][4] bi[594][5] bi[595][0] bi[595][1] bi[595][2] bi[595][3] bi[595][4] bi[595][5] bi[596][0] bi[596][1] bi[596][2] bi[596][3] bi[596][4] bi[596][5] bi[597][0] bi[597][1] bi[597][2] bi[597][3] bi[597][4] bi[597][5] bi[598][0] bi[598][1] bi[598][2] bi[598][3] bi[598][4] bi[598][5] bi[599][0] bi[599][1] bi[599][2] bi[599][3] bi[599][4] bi[599][5] bi[600][0] bi[600][1] bi[600][2] bi[600][3] bi[600][4] bi[600][5] bi[601][0] bi[601][1] bi[601][2] bi[601][3] bi[601][4] bi[601][5] bi[602][0] bi[602][1] bi[602][2] bi[602][3] bi[602][4] bi[602][5] bi[603][0] bi[603][1] bi[603][2] bi[603][3] bi[603][4] bi[603][5] bi[604][0] bi[604][1] bi[604][2] bi[604][3] bi[604][4] bi[604][5] bi[605][0] bi[605][1] bi[605][2] bi[605][3] bi[605][4] bi[605][5] bi[606][0] bi[606][1] bi[606][2] bi[606][3] bi[606][4] bi[606][5] bi[607][0] bi[607][1] bi[607][2] bi[607][3] bi[607][4] bi[607][5] bi[608][0] bi[608][1] bi[608][2] bi[608][3] bi[608][4] bi[608][5] bi[609][0] bi[609][1] bi[609][2] bi[609][3] bi[609][4] bi[609][5] bi[610][0] bi[610][1] bi[610][2] bi[610][3] bi[610][4] bi[610][5] bi[611][0] bi[611][1] bi[611][2] bi[611][3] bi[611][4] bi[611][5] bi[612][0] bi[612][1] bi[612][2] bi[612][3] bi[612][4] bi[612][5] bi[613][0] bi[613][1] bi[613][2] bi[613][3] bi[613][4] bi[613][5] bi[614][0] bi[614][1] bi[614][2] bi[614][3] bi[614][4] bi[614][5] bi[615][0] bi[615][1] bi[615][2] bi[615][3] bi[615][4] bi[615][5] bi[616][0] bi[616][1] bi[616][2] bi[616][3] bi[616][4] bi[616][5] bi[617][0] bi[617][1] bi[617][2] bi[617][3] bi[617][4] bi[617][5] bi[618][0] bi[618][1] bi[618][2] bi[618][3] bi[618][4] bi[618][5] bi[619][0] bi[619][1] bi[619][2] bi[619][3] bi[619][4] bi[619][5] bi[620][0] bi[620][1] bi[620][2] bi[620][3] bi[620][4] bi[620][5] bi[621][0] bi[621][1] bi[621][2] bi[621][3] bi[621][4] bi[621][5] bi[622][0] bi[622][1] bi[622][2] bi[622][3] bi[622][4] bi[622][5] bi[623][0] bi[623][1] bi[623][2] bi[623][3] bi[623][4] bi[623][5] bi[624][0] bi[624][1] bi[624][2] bi[624][3] bi[624][4] bi[624][5] bi[625][0] bi[625][1] bi[625][2] bi[625][3] bi[625][4] bi[625][5] bi[626][0] bi[626][1] bi[626][2] bi[626][3] bi[626][4] bi[626][5] bi[627][0] bi[627][1] bi[627][2] bi[627][3] bi[627][4] bi[627][5] bi[628][0] bi[628][1] bi[628][2] bi[628][3] bi[628][4] bi[628][5] bi[629][0] bi[629][1] bi[629][2] bi[629][3] bi[629][4] bi[629][5] bi[630][0] bi[630][1] bi[630][2] bi[630][3] bi[630][4] bi[630][5] bi[631][0] bi[631][1] bi[631][2] bi[631][3] bi[631][4] bi[631][5] bi[632][0] bi[632][1] bi[632][2] bi[632][3] bi[632][4] bi[632][5] bi[633][0] bi[633][1] bi[633][2] bi[633][3] bi[633][4] bi[633][5] bi[634][0] bi[634][1] bi[634][2] bi[634][3] bi[634][4] bi[634][5] bi[635][0] bi[635][1] bi[635][2] bi[635][3] bi[635][4] bi[635][5] bi[636][0] bi[636][1] bi[636][2] bi[636][3] bi[636][4] bi[636][5] bi[637][0] bi[637][1] bi[637][2] bi[637][3] bi[637][4] bi[637][5] bi[638][0] bi[638][1] bi[638][2] bi[638][3] bi[638][4] bi[638][5] bi[639][0] bi[639][1] bi[639][2] bi[639][3] bi[639][4] bi[639][5] bi[640][0] bi[640][1] bi[640][2] bi[640][3] bi[640][4] bi[640][5] bi[641][0] bi[641][1] bi[641][2] bi[641][3] bi[641][4] bi[641][5] bi[642][0] bi[642][1] bi[642][2] bi[642][3] bi[642][4] bi[642][5] bi[643][0] bi[643][1] bi[643][2] bi[643][3] bi[643][4] bi[643][5] bi[644][0] bi[644][1] bi[644][2] bi[644][3] bi[644][4] bi[644][5] bi[645][0] bi[645][1] bi[645][2] bi[645][3] bi[645][4] bi[645][5] bi[646][0] bi[646][1] bi[646][2] bi[646][3] bi[646][4] bi[646][5] bi[647][0] bi[647][1] bi[647][2] bi[647][3] bi[647][4] bi[647][5] bi[648][0] bi[648][1] bi[648][2] bi[648][3] bi[648][4] bi[648][5] bi[649][0] bi[649][1] bi[649][2] bi[649][3] bi[649][4] bi[649][5] bi[650][0] bi[650][1] bi[650][2] bi[650][3] bi[650][4] bi[650][5] bi[651][0] bi[651][1] bi[651][2] bi[651][3] bi[651][4] bi[651][5] bi[652][0] bi[652][1] bi[652][2] bi[652][3] bi[652][4] bi[652][5] bi[653][0] bi[653][1] bi[653][2] bi[653][3] bi[653][4] bi[653][5] bi[654][0] bi[654][1] bi[654][2] bi[654][3] bi[654][4] bi[654][5] bi[655][0] bi[655][1] bi[655][2] bi[655][3] bi[655][4] bi[655][5] bi[656][0] bi[656][1] bi[656][2] bi[656][3] bi[656][4] bi[656][5] bi[657][0] bi[657][1] bi[657][2] bi[657][3] bi[657][4] bi[657][5] bi[658][0] bi[658][1] bi[658][2] bi[658][3] bi[658][4] bi[658][5] bi[659][0] bi[659][1] bi[659][2] bi[659][3] bi[659][4] bi[659][5] bi[660][0] bi[660][1] bi[660][2] bi[660][3] bi[660][4] bi[660][5] bi[661][0] bi[661][1] bi[661][2] bi[661][3] bi[661][4] bi[661][5] bi[662][0] bi[662][1] bi[662][2] bi[662][3] bi[662][4] bi[662][5] bi[663][0] bi[663][1] bi[663][2] bi[663][3] bi[663][4] bi[663][5] bi[664][0] bi[664][1] bi[664][2] bi[664][3] bi[664][4] bi[664][5] bi[665][0] bi[665][1] bi[665][2] bi[665][3] bi[665][4] bi[665][5] bi[666][0] bi[666][1] bi[666][2] bi[666][3] bi[666][4] bi[666][5] bi[667][0] bi[667][1] bi[667][2] bi[667][3] bi[667][4] bi[667][5] bi[668][0] bi[668][1] bi[668][2] bi[668][3] bi[668][4] bi[668][5] bi[669][0] bi[669][1] bi[669][2] bi[669][3] bi[669][4] bi[669][5] bi[670][0] bi[670][1] bi[670][2] bi[670][3] bi[670][4] bi[670][5] bi[671][0] bi[671][1] bi[671][2] bi[671][3] bi[671][4] bi[671][5] bi[672][0] bi[672][1] bi[672][2] bi[672][3] bi[672][4] bi[672][5] bi[673][0] bi[673][1] bi[673][2] bi[673][3] bi[673][4] bi[673][5] bi[674][0] bi[674][1] bi[674][2] bi[674][3] bi[674][4] bi[674][5] bi[675][0] bi[675][1] bi[675][2] bi[675][3] bi[675][4] bi[675][5] bi[676][0] bi[676][1] bi[676][2] bi[676][3] bi[676][4] bi[676][5] bi[677][0] bi[677][1] bi[677][2] bi[677][3] bi[677][4] bi[677][5] bi[678][0] bi[678][1] bi[678][2] bi[678][3] bi[678][4] bi[678][5] bi[679][0] bi[679][1] bi[679][2] bi[679][3] bi[679][4] bi[679][5] bi[680][0] bi[680][1] bi[680][2] bi[680][3] bi[680][4] bi[680][5] bi[681][0] bi[681][1] bi[681][2] bi[681][3] bi[681][4] bi[681][5] bi[682][0] bi[682][1] bi[682][2] bi[682][3] bi[682][4] bi[682][5] bi[683][0] bi[683][1] bi[683][2] bi[683][3] bi[683][4] bi[683][5] bi[684][0] bi[684][1] bi[684][2] bi[684][3] bi[684][4] bi[684][5] bi[685][0] bi[685][1] bi[685][2] bi[685][3] bi[685][4] bi[685][5] bi[686][0] bi[686][1] bi[686][2] bi[686][3] bi[686][4] bi[686][5] bi[687][0] bi[687][1] bi[687][2] bi[687][3] bi[687][4] bi[687][5] bi[688][0] bi[688][1] bi[688][2] bi[688][3] bi[688][4] bi[688][5] bi[689][0] bi[689][1] bi[689][2] bi[689][3] bi[689][4] bi[689][5] bi[690][0] bi[690][1] bi[690][2] bi[690][3] bi[690][4] bi[690][5] bi[691][0] bi[691][1] bi[691][2] bi[691][3] bi[691][4] bi[691][5] bi[692][0] bi[692][1] bi[692][2] bi[692][3] bi[692][4] bi[692][5] bi[693][0] bi[693][1] bi[693][2] bi[693][3] bi[693][4] bi[693][5] bi[694][0] bi[694][1] bi[694][2] bi[694][3] bi[694][4] bi[694][5] bi[695][0] bi[695][1] bi[695][2] bi[695][3] bi[695][4] bi[695][5] bi[696][0] bi[696][1] bi[696][2] bi[696][3] bi[696][4] bi[696][5] bi[697][0] bi[697][1] bi[697][2] bi[697][3] bi[697][4] bi[697][5] bi[698][0] bi[698][1] bi[698][2] bi[698][3] bi[698][4] bi[698][5] bi[699][0] bi[699][1] bi[699][2] bi[699][3] bi[699][4] bi[699][5] bi[700][0] bi[700][1] bi[700][2] bi[700][3] bi[700][4] bi[700][5] bi[701][0] bi[701][1] bi[701][2] bi[701][3] bi[701][4] bi[701][5] bi[702][0] bi[702][1] bi[702][2] bi[702][3] bi[702][4] bi[702][5] bi[703][0] bi[703][1] bi[703][2] bi[703][3] bi[703][4] bi[703][5] bi[704][0] bi[704][1] bi[704][2] bi[704][3] bi[704][4] bi[704][5] bi[705][0] bi[705][1] bi[705][2] bi[705][3] bi[705][4] bi[705][5] bi[706][0] bi[706][1] bi[706][2] bi[706][3] bi[706][4] bi[706][5] bi[707][0] bi[707][1] bi[707][2] bi[707][3] bi[707][4] bi[707][5] bi[708][0] bi[708][1] bi[708][2] bi[708][3] bi[708][4] bi[708][5] bi[709][0] bi[709][1] bi[709][2] bi[709][3] bi[709][4] bi[709][5] bi[710][0] bi[710][1] bi[710][2] bi[710][3] bi[710][4] bi[710][5] bi[711][0] bi[711][1] bi[711][2] bi[711][3] bi[711][4] bi[711][5] bi[712][0] bi[712][1] bi[712][2] bi[712][3] bi[712][4] bi[712][5] bi[713][0] bi[713][1] bi[713][2] bi[713][3] bi[713][4] bi[713][5] bi[714][0] bi[714][1] bi[714][2] bi[714][3] bi[714][4] bi[714][5] bi[715][0] bi[715][1] bi[715][2] bi[715][3] bi[715][4] bi[715][5] bi[716][0] bi[716][1] bi[716][2] bi[716][3] bi[716][4] bi[716][5] bi[717][0] bi[717][1] bi[717][2] bi[717][3] bi[717][4] bi[717][5] bi[718][0] bi[718][1] bi[718][2] bi[718][3] bi[718][4] bi[718][5] bi[719][0] bi[719][1] bi[719][2] bi[719][3] bi[719][4] bi[719][5] bi[720][0] bi[720][1] bi[720][2] bi[720][3] bi[720][4] bi[720][5] bi[721][0] bi[721][1] bi[721][2] bi[721][3] bi[721][4] bi[721][5] bi[722][0] bi[722][1] bi[722][2] bi[722][3] bi[722][4] bi[722][5] bi[723][0] bi[723][1] bi[723][2] bi[723][3] bi[723][4] bi[723][5] bi[724][0] bi[724][1] bi[724][2] bi[724][3] bi[724][4] bi[724][5] bi[725][0] bi[725][1] bi[725][2] bi[725][3] bi[725][4] bi[725][5] bi[726][0] bi[726][1] bi[726][2] bi[726][3] bi[726][4] bi[726][5] bi[727][0] bi[727][1] bi[727][2] bi[727][3] bi[727][4] bi[727][5] bi[728][0] bi[728][1] bi[728][2] bi[728][3] bi[728][4] bi[728][5] g[0] g[1] g[2]
98.27/30.83	v 	</list>
98.27/30.83	v 	<values>
98.27/30.83	v 		0 2 8 25 76 229 687 603 353 330 262 57 172 518 96 288 135 405 487 3 9 27 82 247 13 40 120 360 351 325 246 11 35 105 315 216 648 488 6 20 61 185 555 207 623 411 504 56 168 505 59 177 533 141 425 546 180 541 167 501 46 140 421 534 145 435 576 271 84 254 33 100 300 173 520 103 309 199 597 334 274 95 286 129 387 433 571 255 37 112 336 280 113 339 289 139 418 527 123 369 378 407 494 24 73 219 658 516 92 277 102 306 191 573 263 62 186 558 218 654 506 60 181 543 171 515 89 267 74 222 668 547 183 549 190 572 259 50 151 453 630 432 568 248 16 49 148 446 610 372 388 436 579 281 116 348 317 223 669 550 192 577 275 97 293 150 451 625 417 522 109 329 258 45 136 409 498 36 108 326 250 22 66 198 595 327 253 30 91 273 90 270 81 243 1 4 14 42 128 384 423 542 170 510 72 217 653 502 48 146 438 585 298 165 496 31 94 283 122 366 371 385 427 552 200 601 347 312 209 629 429 560 224 672 559 220 660 524 115 345 308 195 586 301 176 528 126 379 408 495 29 87 261 54 163 490 12 38 114 342 297 164 493 21 63 189 569 249 19 58 175 526 121 364 363 361 354 333 272 88 265 68 204 613 381 414 514 85 256 39 119 358 346 311 205 616 391 444 604 356 340 292 149 448 615 389 440 591 316 221 663 532 138 415 517 93 279 110 332 268 75 226 678 578 276 99 299 169 507 65 197 592 318 227 681 587 304 184 553 201 605 359 349 320 231 694 624 416 519 101 303 182 548 187 561 225 676 570 252 28 86 260 51 153 459 650 492 18 55 166 500 43 131 393 450 622 410 503 52 158 474 695 627 424 544 174 523 111 335 278 106 319 230 691 617 394 454 633 442 598 337 282 117 352 328 257 44 132 397 463 662 529 130 390 441 596 331 264 64 194 584 294 155 467 673 562 228 684 594 324 244 5 15 47 143 430 563 232 696 632 439 589 310 203 611 375 396 461 655 509 70 210 631 437 582 290 142 428 557 213 640 464 664 535 147 443 600 343 302 179 538 157 472 689 609 370 382 419 530 133 399 470 682 590 313 212 636 452 628 426 551 196 588 307 193 581 285 127 383 422 539 161 483 720 703 651 497 34 104 314 215 646 482 718 697 634 445 608 368 377 403 480 713 683 593 323 240 721 705 657 513 83 251 26 79 239 717 693 621 406 489 10 32 98 296 160 481 716 692 618 398 466 670 554 206 620 404 484 724 714 686 602 350 322 238 715 688 606 362 357 344 305 188 565 237 712 679 580 284 124 373 392 447 614 386 431 564 236 709 671 556 211 635 449 619 400 473 690 612 380 413 512 80 242 728 727 723 711 677 575 269 78 234 702 649 491 17 53 159 478 707 665 537 154 462 659 521 107 321 235 706 661 525 118 355 338 287 134 402 477 704 656 511 77 233 699 641 465 667 545 178 536 152 456 639 460 652 499 41 125 376 401 475 698 637 455 638 457 643 471 685 599 341 295 156 468 675 567 245 7 23 71 214 642 469 680 583 291 144 434 574 266 69 208 626 420 531 137 412 508 67 202 607 365 367 374 395 458 645 479 710 674 566 241 725 719 700 644 476 701 647 485 726 722 708 666 540 162 486 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 1 0 0 2 2 1 1 0 2 2 1 1 1 2 2 1 1 1 0 2 1 1 1 0 0 1 1 1 0 0 2 1 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 2 0 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 2 0 0 2 0 2 1 0 2 0 2 1 2 2 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 0 2 0 0 2 0 0 0 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 1 0 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 2 2 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 1 0 2 0 0 1 2 2 0 0 1 2 0 0 0 1 2 0 1 0 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 0 0 1 2 1 0 1 1 2 1 0 1 0 2 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 1 1 0 2 0 1 0 0 2 0 1 0 2 2 0 1 0 2 1 0 1 0 2 1 1 1 0 2 1 1 0 0 2 1 1 0 1 2 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 2 1 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 0 1 1 2 0 0 0 1 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 1 2 0 1 0 1 0 0 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 0 0 2 1 0 0 2 2 1 0 0 2 0 1 0 0 2 0 2 0 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 0 0 2 2 0 0 2 2 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 1 2 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 2 1 0 0 2 2 0 0 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 0 0 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 2 0 1 2 1 2 1 1 2 1 2 1 0 2 1 2 1 0 0 1 2 1 0 0 0 2 1 0 0 0 1 1 0 0 0 1 2 0 0 0 1 2 1 0 0 1 2 1 1 0 1 2 1 1 1 1 2 1 1 1 2 2 1 1 1 2 1 1 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 0 1 0 1 1 0 2 0 1 1 0 2 2 1 1 0 2 2 0 1 0 2 2 0 2 0 2 2 0 2 1 2 2 0 2 1 0 2 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 1 1 0 1 0 1 2 0 1 0 1 2 1 1 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 1 1 2 0 1 1 0 2 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 2 1 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 2 1 1 2 0 2 0 1 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 2 2 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 2 1 2 1 0 2 0 2 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 2 1 1 1 1 2 0 1 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 0 0 2 1 1 0 2 2 1 1 0 2 1 1 1 0 2 1 2 1 0 2 1 2 0 0 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 2 2 2 0 2 2 0 2 0 2 2 0 1 0 2 2 0 1 1 2 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 1 1 1 0 2 1 0 1 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 2 2 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 0 2 0 0 1 0 0 0 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 0 1 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 0 0 0 0 2 0 1 0 0 2 0 1 1 0 2 0 1 1 1 2 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 2 0 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 1 1 1 2 0 1 0 1 2 0 1 0 0 2 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 2 0 2 1 1 2 1 2 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 0 2 1 1 1 0 1 1 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 0 1 1 2 1 0 2 1 2 1 0 2 2 2 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 2 2 2 0 1 2 0 2 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 2 1 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 1 2 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 2 0 2 0 0 2 1 2 0 0 2 1 0 0 0 2 1 0 2 0 2 1 0 2 2 2 1 0 2 2 1 1 0 2 2 1 0 0 2 2 1 0 2 2 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 1 2 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 1 2 1 2 0 1 0 1 2 0 1 0 2 2 0 1 0 2 0 0 1 0 2 0 2 1 0 2 0 2 0 0 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 1 2 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 1 2 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 2 1 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 1 0 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 1 0 1 1 2 1 2 1 1 2 1 2 0 1 2 1 2 0 0 2 1 2 0 0 1 1 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 1 0 1 2 2 1 2 1 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 2 1 0 1 0 2 2 0 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 2 2 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 2 0 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 1 0 1 1 2 1 1 1 1 2 1 1 0 1 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 0 0 0 2 1 0 1 0 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 0 0 1 2 2 0 2 1 2 2 0 2 2 2 2 0 2 2 1 2 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 0 2 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 2 0 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 1 2 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 0 1 1 2 2 0 0 1 2 2 0 0 2 2 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 1 1 2 1 0 1 2 2 1 0 1 2 0 1 0 1 2 0 2 0 1 2 0 2 1 1 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 1 1 2 2 0 1 2 2 2 0 1 2 1 2 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 2 2 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 2 0 2 0 1 2 2 2 0 1 2 2 1 0 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 1 1 1 2 2 1 0 1 2 2 1 0 2 2 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 2 2 1 2 1 2 0 1 2 1 2 0 2 2 1 2 0 2 1 1 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 1 2 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 0 0 1 1 2 0 1 1 1 2 0 1 2 1 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 2 1 2 2 2 2 0 2 2 2 2 0 0 2 2 2 0 0 1 2 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 1 0 1 0 2 1 2 1 0 2 1 2 2 0 2 1 2 2 2 2 1 2 2 2 1 1 2 2 2 1 2 2 2 2 1 2 1 2 2 1 2 1 1 2 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 2 1 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 1 2 2 2 0 1 0 2 2 0 1 0 0 2 0 1 0 0 0 0 1 0 0 0 2 1 0 0 0 2 2 0 0 0 2 2 2 0 0 2 2 2 1 0 2 2 2 1 2 2 2 2 1 2 0 2 2 1 2 0 0 2 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 2 0 1 0 1 2 2 1 0 1 2 2 2 0 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 0 1 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 1 2 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 1 2 2 2 1 1 1 2 2 1 1 1 1 2 1 1 1 1 0 1 1 1 1 0 2 1 1 1 0 2 0 1 1 0 2 0 2 1 0 2 0 2 2 0 2 0 2 2 2 2 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 1 2 2 1 0 1 1 2 1 0 1 1 1 1 0 1 1 1 2 0 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 2 1 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 2 1 2 0 2 2 2 2 0 2 2 2 0 0 2 2 2 0 2 2 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 1 0 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 2 2 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 2 2 2 1 1 2 0 2 1 1 2 0 0 1 1 2 0 0 2 1 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 0 2 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 0 2 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 2 0 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 0 0 1 2 2 0 1 1 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 2 1 0 2 2 2 0 0 2 2 2 0 1 2 2 2 0 1 1 2 2 0 1 1 1 2 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 2 1 0 1 1 2 2 0 1 1 2 2 2 1 1 2 2 2 0 1 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 1 0 0 2 2 1 2 0 2 2 1 2 2 2 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 0 2 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 2 1 2 1 2 2 0 2 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 1 2 0 0 1 1 1 0 0 1 1 1 2 0 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 1 1 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 1 1 2 2 1 1 0 2 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 0 2 2 1 0 0 0 2 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 2 1 0 0 0 2 1 2 0 0 2 1 2 2 0 2 1 2 2 1 2 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 1 1 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 2 2 1 0 0 2 1 1 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 0 2 0 1 2 0 0 0 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 1 0 0 2 1 1 1 0 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 2 1 1 2 1 2 2 1 2 1 2 2 2 2 1 2 2 2 0 1 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 0 2 2 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 243 243 243 
98.27/30.83	v 	</values>
98.27/30.83	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 (8933 MiB free)
  memory of node 1: 16384 MiB (9840 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285123-1503429336/watcher-4285123-1503429336 -o /tmp/evaluation-result-4285123-1503429336/solver-4285123-1503429336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503428475-6978 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1650300289 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285123-1503429336.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=6995, runsolver pid=6992

[startup+0.100141 s]*
/proc/loadavg: 9.21 8.68 8.30 2/199 7015
/proc/meminfo: memFree=19206736/32770624 swapFree=67108860/67108860
[pid=6995] ppid=6992 vsize=26000852 memory=32228 CPUtime=0.13 cores=0-7
/proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 8482 0 0 0 12 1 0 0 20 0 20 0 176004973 26624872448 8057 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
/proc/6995/statm: 6500213 8057 3406 1 0 6487932 0
[pid=6995/tid=6997] ppid=6992 vsize=26000852 memory=4788340645954745244 CPUtime=0.09 cores=0-7
/proc/6995/task/6997/stat : 6997 (java) R 6992 6995 6951 0 -1 4202560 6416 0 0 0 9 0 0 0 20 0 20 0 176004973 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493887184032 140493882999965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6998] ppid=6992 vsize=26000852 memory=732370367325088741 CPUtime=0 cores=0-7
/proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6999] ppid=6992 vsize=26000852 memory=140228987635328 CPUtime=0 cores=0-7
/proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7000] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7001] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7002] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7003] ppid=6992 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7004] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7005] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 8057 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7006] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7006/stat : 7006 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492875487728 140493882989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7007] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492874433952 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7008] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492873381360 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7009] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7010] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492871276528 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7011] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492870223984 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7012] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492869171440 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7013] ppid=6992 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/6995/task/7013/stat : 7013 (java) S 6992 6995 6951 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492868118896 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7014] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7015] ppid=6992 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 8057 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32228 KiB

[startup+0.2097 s]*
/proc/loadavg: 9.21 8.68 8.30 3/199 7015
/proc/meminfo: memFree=19198608/32770624 swapFree=67108860/67108860
[pid=6995] ppid=6992 vsize=26000852 memory=41640 CPUtime=0.29 cores=0-7
/proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 9497 0 0 0 28 1 0 0 20 0 20 0 176004973 26624872448 10410 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
/proc/6995/statm: 6500213 10410 3631 1 0 6487932 0
[pid=6995/tid=6997] ppid=6992 vsize=26000852 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/6995/task/6997/stat : 6997 (java) R 6992 6995 6951 0 -1 4202560 7038 0 0 0 18 1 0 0 20 0 20 0 176004973 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493887183344 140493882999965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6998] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6999] ppid=6992 vsize=26000852 memory=140228988483869 CPUtime=0 cores=0-7
/proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7000] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7001] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7002] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7003] ppid=6992 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7004] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7005] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004974 26624872448 10410 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7006] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7006/stat : 7006 (java) S 6992 6995 6951 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492875487728 140493882989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7007] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492874433952 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7008] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004976 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492873381360 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7009] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7010] ppid=6992 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492871276528 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7011] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492870223984 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7012] ppid=6992 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492869171440 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7013] ppid=6992 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/6995/task/7013/stat : 7013 (java) R 6992 6995 6951 0 -1 4202560 406 0 0 0 5 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492868118896 140493861590769 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7014] ppid=6992 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7015] ppid=6992 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624872448 10410 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41640 KiB

[startup+0.309421 s]*
/proc/loadavg: 9.21 8.68 8.30 3/199 7015
/proc/meminfo: memFree=19190964/32770624 swapFree=67108860/67108860
[pid=6995] ppid=6992 vsize=26000872 memory=49588 CPUtime=0.48 cores=0-7
/proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 10645 0 0 0 46 2 0 0 20 0 20 0 176004973 26624892928 12397 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
/proc/6995/statm: 6500218 12397 3696 1 0 6487932 0
[pid=6995/tid=6997] ppid=6992 vsize=26000872 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/6995/task/6997/stat : 6997 (java) R 6992 6995 6951 0 -1 4202560 7714 0 0 0 27 1 0 0 20 0 20 0 176004973 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493887195008 140493867021669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6998] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6999] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7000] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7001] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7002] ppid=6992 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7003] ppid=6992 vsize=26000872 memory=140228870370223 CPUtime=0 cores=0-7
/proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7004] ppid=6992 vsize=26000872 memory=140228870372528 CPUtime=0 cores=0-7
/proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7005] ppid=6992 vsize=26000872 memory=140228870374832 CPUtime=0 cores=0-7
/proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004974 26624892928 12397 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7006] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7006/stat : 7006 (java) S 6992 6995 6951 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004976 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492875487728 140493882989186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7007] ppid=6992 vsize=26000872 memory=280457740756624 CPUtime=0 cores=0-7
/proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004976 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492874433952 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7008] ppid=6992 vsize=26000872 memory=280457740763536 CPUtime=0 cores=0-7
/proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004976 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492873381360 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7009] ppid=6992 vsize=26000872 memory=280457740704816 CPUtime=0 cores=0-7
/proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7010] ppid=6992 vsize=26000872 memory=280457740777360 CPUtime=0.03 cores=0-7
/proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492871276528 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7011] ppid=6992 vsize=26000872 memory=280457740784272 CPUtime=0.01 cores=0-7
/proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492870223984 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7012] ppid=6992 vsize=26000872 memory=280457740781968 CPUtime=0.04 cores=0-7
/proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 469 0 0 0 4 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492869171440 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7013] ppid=6992 vsize=26000872 memory=280457740798528 CPUtime=0.08 cores=0-7
/proc/6995/task/7013/stat : 7013 (java) S 6992 6995 6951 0 -1 1077944384 541 0 0 0 8 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492868118896 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7014] ppid=6992 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7015] ppid=6992 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004979 26624892928 12397 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49588 KiB

[startup+0.700808 s]
/proc/loadavg: 9.21 8.68 8.30 4/199 7015
/proc/meminfo: memFree=19174500/32770624 swapFree=67108860/67108860
[pid=6995] ppid=6992 vsize=26002920 memory=98924 CPUtime=1.62 cores=0-7
/proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 15292 0 0 0 158 4 0 0 20 0 20 0 176004973 26626990080 24731 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
/proc/6995/statm: 6500730 24731 3777 1 0 6488444 0
[pid=6995/tid=6997] ppid=6992 vsize=26002920 memory=7086247164461474644 CPUtime=0.67 cores=0-7
/proc/6995/task/6997/stat : 6997 (java) R 6992 6995 6951 0 -1 4202560 8464 0 0 0 65 2 0 0 20 0 20 0 176004973 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493887212064 140493500404731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6998] ppid=6992 vsize=26002920 memory=30124900628172 CPUtime=0 cores=0-7
/proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6999] ppid=6992 vsize=26002920 memory=140228870379404 CPUtime=0 cores=0-7
/proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7000] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7001] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7002] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7003] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7004] ppid=6992 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7005] ppid=6992 vsize=26002920 memory=1840 CPUtime=0 cores=0-7
/proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004974 26626990080 24731 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7006] ppid=6992 vsize=26002920 memory=12136 CPUtime=0 cores=0-7
/proc/6995/task/7006/stat : 7006 (java) S 6992 6995 6951 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004976 26626990080 24731 33554432000 4194304 4196468 140726707770176 140492875487728 140493882989186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0

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

[pid=6995/tid=6998] ppid=6992 vsize=27411040 memory=0 CPUtime=0.37 cores=0-7
/proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 890 0 0 0 26 11 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6999] ppid=6992 vsize=27411040 memory=0 CPUtime=0.38 cores=0-7
/proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 661 0 0 0 24 14 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7000] ppid=6992 vsize=27411040 memory=0 CPUtime=0.38 cores=0-7
/proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 630 0 0 0 26 12 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7001] ppid=6992 vsize=27411040 memory=6919736 CPUtime=0.4 cores=0-7
/proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 690 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7002] ppid=6992 vsize=27411040 memory=6919524 CPUtime=0.4 cores=0-7
/proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1067 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7003] ppid=6992 vsize=27411040 memory=0 CPUtime=0.38 cores=0-7
/proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 2295 0 0 0 25 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7004] ppid=6992 vsize=27411040 memory=0 CPUtime=0.4 cores=0-7
/proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 678 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7005] ppid=6992 vsize=27411040 memory=0 CPUtime=0.39 cores=0-7
/proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 867 0 0 0 27 12 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7006] ppid=6992 vsize=27411040 memory=0 CPUtime=0.07 cores=0-7
/proc/6995/task/7006/stat : 7006 (java) R 6992 6995 6951 0 -1 4202560 7599 0 0 0 5 2 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492875486240 140493867678672 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7007] ppid=6992 vsize=27411040 memory=32 CPUtime=0 cores=0-7
/proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492874434016 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7008] ppid=6992 vsize=27411040 memory=2 CPUtime=0 cores=0-7
/proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492873381376 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7009] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7010] ppid=6992 vsize=27411040 memory=0 CPUtime=2.45 cores=0-7
/proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 6147 0 0 0 243 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492871261520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7011] ppid=6992 vsize=27411040 memory=0 CPUtime=2.88 cores=0-7
/proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 7992 0 0 0 287 1 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492870205552 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7012] ppid=6992 vsize=27411040 memory=0 CPUtime=2.71 cores=0-7
/proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 6094 0 0 0 269 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492869161152 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7013] ppid=6992 vsize=27411040 memory=19 CPUtime=1.17 cores=0-7
/proc/6995/task/7013/stat : 7013 (java) S 6992 6995 6951 0 -1 1077944384 9766 0 0 0 115 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492868112928 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7014] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7015] ppid=6992 vsize=27411040 memory=6919524 CPUtime=0 cores=0-7
/proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7016] ppid=6992 vsize=27411040 memory=5784 CPUtime=0 cores=0-7
/proc/6995/task/7016/stat : 7016 (java) S 6992 6995 6951 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 41 0 176007137 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492855719984 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7017] ppid=6992 vsize=27411040 memory=4616 CPUtime=0.02 cores=0-7
/proc/6995/task/7017/stat : 7017 (java) S 6992 6995 6951 0 -1 1077944384 865 0 0 0 1 1 0 0 20 0 41 0 176007149 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492852573408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7018] ppid=6992 vsize=27411040 memory=1928 CPUtime=7.97 cores=0-7
/proc/6995/task/7018/stat : 7018 (java) S 6992 6995 6951 0 -1 1077944384 1303 0 0 0 788 9 0 0 20 0 41 0 176007158 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492849423024 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7019] ppid=6992 vsize=27411040 memory=1428 CPUtime=7.93 cores=0-7
/proc/6995/task/7019/stat : 7019 (java) S 6992 6995 6951 0 -1 1077944384 1290 0 0 0 784 9 0 0 20 0 41 0 176007159 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492848365440 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7020] ppid=6992 vsize=27411040 memory=1196 CPUtime=0.48 cores=0-7
/proc/6995/task/7020/stat : 7020 (java) S 6992 6995 6951 0 -1 1077944384 229 0 0 0 48 0 0 0 20 0 41 0 176007159 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492847313856 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7021] ppid=6992 vsize=27411040 memory=10836 CPUtime=8.23 cores=0-7
/proc/6995/task/7021/stat : 7021 (java) S 6992 6995 6951 0 -1 1077944384 1084 0 0 0 805 18 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492846265392 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7022] ppid=6992 vsize=27411040 memory=15880 CPUtime=0.48 cores=0-7
/proc/6995/task/7022/stat : 7022 (java) S 6992 6995 6951 0 -1 1077944384 38 0 0 0 48 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492845212368 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7023] ppid=6992 vsize=27411040 memory=26528 CPUtime=8.06 cores=0-7
/proc/6995/task/7023/stat : 7023 (java) S 6992 6995 6951 0 -1 1077944384 2938 0 0 0 796 10 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492844153696 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7024] ppid=6992 vsize=27411040 memory=16432 CPUtime=8.11 cores=0-7
/proc/6995/task/7024/stat : 7024 (java) S 6992 6995 6951 0 -1 1077944384 1220 0 0 0 787 24 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492843107760 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7025] ppid=6992 vsize=27411040 memory=4040 CPUtime=0.45 cores=0-7
/proc/6995/task/7025/stat : 7025 (java) S 6992 6995 6951 0 -1 1077944384 140 0 0 0 45 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492842052704 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7026] ppid=6992 vsize=27411040 memory=280457742628112 CPUtime=7.33 cores=0-7
/proc/6995/task/7026/stat : 7026 (java) S 6992 6995 6951 0 -1 1077944384 1171 0 0 0 720 13 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492841001648 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7027] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7027/stat : 7027 (java) S 6992 6995 6951 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492839938800 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7028] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7028/stat : 7028 (java) S 6992 6995 6951 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492838896560 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7029] ppid=6992 vsize=27411040 memory=0 CPUtime=7.51 cores=0-7
/proc/6995/task/7029/stat : 7029 (java) S 6992 6995 6951 0 -1 1077944384 1155 0 0 0 741 10 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492837844016 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7030] ppid=6992 vsize=27411040 memory=0 CPUtime=7.3 cores=0-7
/proc/6995/task/7030/stat : 7030 (java) S 6992 6995 6951 0 -1 1077944384 981 0 0 0 713 17 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492836791472 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7031] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7031/stat : 7031 (java) S 6992 6995 6951 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492835738928 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7032] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7032/stat : 7032 (java) S 6992 6995 6951 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492834681008 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7033] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7033/stat : 7033 (java) S 6992 6995 6951 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492833633840 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
Current children cumulated CPU time: 98.17 s
Current children cumulated vsize: 27411040 KiB
Current children cumulated memory: 7003456 KiB

[startup+30.8014 s]
/proc/loadavg: 7.37 8.26 8.16 10/217 7033
/proc/meminfo: memFree=12308436/32770624 swapFree=67108860/67108860
[pid=6995] ppid=6992 vsize=27411040 memory=7003456 CPUtime=98.27 cores=0-7
/proc/6995/stat : 6995 (java) S 6992 6995 6951 0 -1 1077944320 78037 0 0 0 9531 296 0 0 20 0 41 0 176004973 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140726707752720 140493882978039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
/proc/6995/statm: 6852760 1750864 3865 1 0 6839953 0
[pid=6995/tid=6997] ppid=6992 vsize=27411040 memory=6919520 CPUtime=21.64 cores=0-7
/proc/6995/task/6997/stat : 6997 (java) S 6992 6995 6951 0 -1 1077944384 17728 0 0 0 2100 64 0 0 20 0 41 0 176004973 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493887215744 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6998] ppid=6992 vsize=27411040 memory=6986756 CPUtime=0.37 cores=0-7
/proc/6995/task/6998/stat : 6998 (java) S 6992 6995 6951 0 -1 1077944384 890 0 0 0 26 11 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493835598608 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=6999] ppid=6992 vsize=27411040 memory=27 CPUtime=0.38 cores=0-7
/proc/6995/task/6999/stat : 6999 (java) S 6992 6995 6951 0 -1 1077944384 661 0 0 0 24 14 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493834546064 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7000] ppid=6992 vsize=27411040 memory=0 CPUtime=0.38 cores=0-7
/proc/6995/task/7000/stat : 7000 (java) S 6992 6995 6951 0 -1 1077944384 630 0 0 0 26 12 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493833493520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7001] ppid=6992 vsize=27411040 memory=0 CPUtime=0.4 cores=0-7
/proc/6995/task/7001/stat : 7001 (java) S 6992 6995 6951 0 -1 1077944384 690 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493832440976 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7002] ppid=6992 vsize=27411040 memory=6919520 CPUtime=0.4 cores=0-7
/proc/6995/task/7002/stat : 7002 (java) S 6992 6995 6951 0 -1 1077944384 1067 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493831387408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7003] ppid=6992 vsize=27411040 memory=6919520 CPUtime=0.38 cores=0-7
/proc/6995/task/7003/stat : 7003 (java) S 6992 6995 6951 0 -1 1077944384 2295 0 0 0 25 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493830334864 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7004] ppid=6992 vsize=27411040 memory=4525008 CPUtime=0.4 cores=0-7
/proc/6995/task/7004/stat : 7004 (java) S 6992 6995 6951 0 -1 1077944384 678 0 0 0 27 13 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493829282320 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7005] ppid=6992 vsize=27411040 memory=2103 CPUtime=0.39 cores=0-7
/proc/6995/task/7005/stat : 7005 (java) S 6992 6995 6951 0 -1 1077944384 867 0 0 0 27 12 0 0 20 0 41 0 176004974 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140493828229776 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7006] ppid=6992 vsize=27411040 memory=809 CPUtime=0.17 cores=0-7
/proc/6995/task/7006/stat : 7006 (java) R 6992 6995 6951 0 -1 4202560 7608 0 0 0 15 2 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492875486240 140493867678696 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7007] ppid=6992 vsize=27411040 memory=0 CPUtime=0 cores=0-7
/proc/6995/task/7007/stat : 7007 (java) S 6992 6995 6951 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492874434016 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7008] ppid=6992 vsize=27411040 memory=280457741085952 CPUtime=0 cores=0-7
/proc/6995/task/7008/stat : 7008 (java) S 6992 6995 6951 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 41 0 176004976 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492873381376 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7009] ppid=6992 vsize=27411040 memory=-4866526891258710369 CPUtime=0 cores=0-7
/proc/6995/task/7009/stat : 7009 (java) S 6992 6995 6951 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492872329936 140493882996635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7010] ppid=6992 vsize=27411040 memory=-6948055166404804227 CPUtime=2.45 cores=0-7
/proc/6995/task/7010/stat : 7010 (java) S 6992 6995 6951 0 -1 1077944384 6147 0 0 0 243 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492871261520 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7011] ppid=6992 vsize=27411040 memory=48480 CPUtime=2.88 cores=0-7
/proc/6995/task/7011/stat : 7011 (java) S 6992 6995 6951 0 -1 1077944384 7992 0 0 0 287 1 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492870205552 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7012] ppid=6992 vsize=27411040 memory=1296 CPUtime=2.71 cores=0-7
/proc/6995/task/7012/stat : 7012 (java) S 6992 6995 6951 0 -1 1077944384 6094 0 0 0 269 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492869161152 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7013] ppid=6992 vsize=27411040 memory=2400 CPUtime=1.17 cores=0-7
/proc/6995/task/7013/stat : 7013 (java) S 6992 6995 6951 0 -1 1077944384 9766 0 0 0 115 2 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492868112928 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7014] ppid=6992 vsize=27411040 memory=1840 CPUtime=0 cores=0-7
/proc/6995/task/7014/stat : 7014 (java) S 6992 6995 6951 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492867066592 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7015] ppid=6992 vsize=27411040 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6995/task/7015/stat : 7015 (java) S 6992 6995 6951 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 41 0 176004979 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492866014128 140493882989186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7016] ppid=6992 vsize=27411040 memory=1428 CPUtime=0 cores=0-7
/proc/6995/task/7016/stat : 7016 (java) S 6992 6995 6951 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 41 0 176007137 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492855719984 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7017] ppid=6992 vsize=27411040 memory=1196 CPUtime=0.02 cores=0-7
/proc/6995/task/7017/stat : 7017 (java) S 6992 6995 6951 0 -1 1077944384 865 0 0 0 1 1 0 0 20 0 41 0 176007149 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492852573408 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7018] ppid=6992 vsize=27411040 memory=10836 CPUtime=7.97 cores=0-7
/proc/6995/task/7018/stat : 7018 (java) S 6992 6995 6951 0 -1 1077944384 1303 0 0 0 788 9 0 0 20 0 41 0 176007158 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492849423024 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7019] ppid=6992 vsize=27411040 memory=4369128 CPUtime=7.93 cores=0-7
/proc/6995/task/7019/stat : 7019 (java) S 6992 6995 6951 0 -1 1077944384 1290 0 0 0 784 9 0 0 20 0 41 0 176007159 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492848365440 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7020] ppid=6992 vsize=27411040 memory=4365512 CPUtime=0.48 cores=0-7
/proc/6995/task/7020/stat : 7020 (java) S 6992 6995 6951 0 -1 1077944384 229 0 0 0 48 0 0 0 20 0 41 0 176007159 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492847313856 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7021] ppid=6992 vsize=27411040 memory=6919520 CPUtime=8.23 cores=0-7
/proc/6995/task/7021/stat : 7021 (java) S 6992 6995 6951 0 -1 1077944384 1084 0 0 0 805 18 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492846265392 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7022] ppid=6992 vsize=27411040 memory=6 CPUtime=0.48 cores=0-7
/proc/6995/task/7022/stat : 7022 (java) S 6992 6995 6951 0 -1 1077944384 38 0 0 0 48 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492845212368 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7023] ppid=6992 vsize=27411040 memory=0 CPUtime=8.06 cores=0-7
/proc/6995/task/7023/stat : 7023 (java) S 6992 6995 6951 0 -1 1077944384 2938 0 0 0 796 10 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492844153696 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7024] ppid=6992 vsize=27411040 memory=140228870700673 CPUtime=8.11 cores=0-7
/proc/6995/task/7024/stat : 7024 (java) S 6992 6995 6951 0 -1 1077944384 1220 0 0 0 787 24 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492843107760 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7025] ppid=6992 vsize=27411040 memory=6944652177228980320 CPUtime=0.45 cores=0-7
/proc/6995/task/7025/stat : 7025 (java) S 6992 6995 6951 0 -1 1077944384 140 0 0 0 45 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492842052704 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7026] ppid=6992 vsize=27411040 memory=6656426216303648864 CPUtime=7.33 cores=0-7
/proc/6995/task/7026/stat : 7026 (java) S 6992 6995 6951 0 -1 1077944384 1171 0 0 0 720 13 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492841001648 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7027] ppid=6992 vsize=27411040 memory=7512114543601282100 CPUtime=0 cores=0-7
/proc/6995/task/7027/stat : 7027 (java) S 6992 6995 6951 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 41 0 176007162 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492839938800 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7028] ppid=6992 vsize=27411040 memory=4639939496134862132 CPUtime=0 cores=0-7
/proc/6995/task/7028/stat : 7028 (java) S 6992 6995 6951 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492838896560 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7029] ppid=6992 vsize=27411040 memory=6919736 CPUtime=7.51 cores=0-7
/proc/6995/task/7029/stat : 7029 (java) S 6992 6995 6951 0 -1 1077944384 1155 0 0 0 741 10 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492837844016 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7030] ppid=6992 vsize=27411040 memory=4012 CPUtime=7.3 cores=0-7
/proc/6995/task/7030/stat : 7030 (java) S 6992 6995 6951 0 -1 1077944384 981 0 0 0 713 17 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492836791472 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7031] ppid=6992 vsize=27411040 memory=48480 CPUtime=0 cores=0-7
/proc/6995/task/7031/stat : 7031 (java) S 6992 6995 6951 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492835738928 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7032] ppid=6992 vsize=27411040 memory=1296 CPUtime=0 cores=0-7
/proc/6995/task/7032/stat : 7032 (java) S 6992 6995 6951 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492834681008 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
[pid=6995/tid=7033] ppid=6992 vsize=27411040 memory=2400 CPUtime=0 cores=0-7
/proc/6995/task/7033/stat : 7033 (java) S 6992 6995 6951 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 41 0 176007236 28068904960 1750864 33554432000 4194304 4196468 140726707770176 140492833633840 140493882988245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140726707778657 140726707778843 140726707778843 140726707781583 0
Current children cumulated CPU time: 98.27 s
Current children cumulated vsize: 27411040 KiB
Current children cumulated memory: 7003456 KiB

Child status: 0
Real time (s): 30.8823
CPU time (s): 98.4237
CPU user time (s): 95.4137
CPU system time (s): 3.00999
CPU usage (%): 318.706
Max. virtual memory (cumulated for all children) (KiB): 27411040
Max. memory (cumulated for all children) (KiB): 7003456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.4137
system time used= 3.00999
maximum resident set size= 7003940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78932
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9945
involuntary context switches= 1867


# summary of solver processes directly reported to runsolver:
#   pid: 6995
#   total CPU time (s): 98.4237
#   total CPU user time (s): 95.4137
#   total CPU system time (s): 3.00999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.260619 second user time and 0.346673 second system time

The end

Launcher Data

Begin job on node105 at 2017-08-22 21:01:15
IDJOB=4285123
IDBENCH=125571
IDSOLVER=2681
FILE ID=node105/4285123-1503429336
RUNJOBID= node105-1503428475-6978
PBS_JOBID= 20632140
Free space on /tmp= 60032 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285123-1503429336/watcher-4285123-1503429336 -o /tmp/evaluation-result-4285123-1503429336/solver-4285123-1503429336 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503428475-6978 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1650300289 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285123-1503429336.xml

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

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=1650300289

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19225048 kB
MemAvailable:   31932488 kB
Buffers:          252300 kB
Cached:         12724312 kB
SwapCached:            0 kB
Active:          3246380 kB
Inactive:        9784052 kB
Active(anon):       3912 kB
Inactive(anon):    94016 kB
Active(file):    3242468 kB
Inactive(file):  9690036 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42312 kB
Writeback:             0 kB
AnonPages:         60612 kB
Mapped:            54820 kB
Shmem:             41612 kB
Slab:             208364 kB
SReclaimable:     181544 kB
SUnreclaim:        26820 kB
KernelStack:        3104 kB
PageTables:         5200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     340476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 59988 MiB
End job on node105 at 2017-08-22 21:01:46