Trace number 4402605

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
Concrete 3.12.3SAT 83.3605 57.9239

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-02-09.xml
MD5SUM51af40833062bacbe569ad61b7e4d8a4
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 benchmark2.88246
Satisfiable
(Un)Satisfiability was proved
Number of variables5122
Number of constraints4611
Number of domains3
Minimum domain size2
Maximum domain size513
Distribution of domain sizes[{"size":2,"count":4608},{"size":512,"count":512},{"size":513,"count":2}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":512},{"degree":3,"count":4608}]
Minimum constraint arity2
Maximum constraint arity514
Distribution of constraint arities[{"arity":2,"count":4096},{"arity":10,"count":512},{"arity":512,"count":2},{"arity":514,"count":1}]
Number of extensional constraints0
Number of intensional constraints4096
Distribution of constraint types[{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":512},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.79/0.60	c Concrete v3.12.3.1568965526260 running
83.11/57.89	v <instantiation
83.11/57.89	v         >
83.11/57.89	v       <list>
83.11/57.89	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] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[0][5] bi[0][6] bi[0][7] bi[0][8] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[1][5] bi[1][6] bi[1][7] bi[1][8] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[2][5] bi[2][6] bi[2][7] bi[2][8] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[3][5] bi[3][6] bi[3][7] bi[3][8] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[4][5] bi[4][6] bi[4][7] bi[4][8] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[5][5] bi[5][6] bi[5][7] bi[5][8] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[6][5] bi[6][6] bi[6][7] bi[6][8] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[7][5] bi[7][6] bi[7][7] bi[7][8] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[8][5] bi[8][6] bi[8][7] bi[8][8] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[9][5] bi[9][6] bi[9][7] bi[9][8] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[10][5] bi[10][6] bi[10][7] bi[10][8] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[11][5] bi[11][6] bi[11][7] bi[11][8] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[12][5] bi[12][6] bi[12][7] bi[12][8] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[13][5] bi[13][6] bi[13][7] bi[13][8] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[14][5] bi[14][6] bi[14][7] bi[14][8] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[15][5] bi[15][6] bi[15][7] bi[15][8] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[16][5] bi[16][6] bi[16][7] bi[16][8] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[17][5] bi[17][6] bi[17][7] bi[17][8] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[18][5] bi[18][6] bi[18][7] bi[18][8] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[19][5] bi[19][6] bi[19][7] bi[19][8] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[20][5] bi[20][6] bi[20][7] bi[20][8] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[21][5] bi[21][6] bi[21][7] bi[21][8] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[22][5] bi[22][6] bi[22][7] bi[22][8] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[23][5] bi[23][6] bi[23][7] bi[23][8] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[24][5] bi[24][6] bi[24][7] bi[24][8] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[25][5] bi[25][6] bi[25][7] bi[25][8] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[26][5] bi[26][6] bi[26][7] bi[26][8] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[27][5] bi[27][6] bi[27][7] bi[27][8] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[28][5] bi[28][6] bi[28][7] bi[28][8] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[29][5] bi[29][6] bi[29][7] bi[29][8] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[30][5] bi[30][6] bi[30][7] bi[30][8] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[31][5] bi[31][6] bi[31][7] bi[31][8] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[32][5] bi[32][6] bi[32][7] bi[32][8] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[33][5] bi[33][6] bi[33][7] bi[33][8] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[34][5] bi[34][6] bi[34][7] bi[34][8] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[35][5] bi[35][6] bi[35][7] bi[35][8] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[36][5] bi[36][6] bi[36][7] bi[36][8] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[37][5] bi[37][6] bi[37][7] bi[37][8] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[38][5] bi[38][6] bi[38][7] bi[38][8] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[39][5] bi[39][6] bi[39][7] bi[39][8] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[40][5] bi[40][6] bi[40][7] bi[40][8] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[41][5] bi[41][6] bi[41][7] bi[41][8] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[42][5] bi[42][6] bi[42][7] bi[42][8] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[43][5] bi[43][6] bi[43][7] bi[43][8] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[44][5] bi[44][6] bi[44][7] bi[44][8] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[45][5] bi[45][6] bi[45][7] bi[45][8] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[46][5] bi[46][6] bi[46][7] bi[46][8] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[47][5] bi[47][6] bi[47][7] bi[47][8] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[48][5] bi[48][6] bi[48][7] bi[48][8] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[49][5] bi[49][6] bi[49][7] bi[49][8] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[50][5] bi[50][6] bi[50][7] bi[50][8] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[51][5] bi[51][6] bi[51][7] bi[51][8] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[52][5] bi[52][6] bi[52][7] bi[52][8] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[53][5] bi[53][6] bi[53][7] bi[53][8] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[54][5] bi[54][6] bi[54][7] bi[54][8] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[55][5] bi[55][6] bi[55][7] bi[55][8] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[56][5] bi[56][6] bi[56][7] bi[56][8] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[57][5] bi[57][6] bi[57][7] bi[57][8] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[58][5] bi[58][6] bi[58][7] bi[58][8] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[59][5] bi[59][6] bi[59][7] bi[59][8] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[60][5] bi[60][6] bi[60][7] bi[60][8] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[61][5] bi[61][6] bi[61][7] bi[61][8] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[62][5] bi[62][6] bi[62][7] bi[62][8] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[63][5] bi[63][6] bi[63][7] bi[63][8] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[64][5] bi[64][6] bi[64][7] bi[64][8] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[65][5] bi[65][6] bi[65][7] bi[65][8] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[66][5] bi[66][6] bi[66][7] bi[66][8] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[67][5] bi[67][6] bi[67][7] bi[67][8] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[68][5] bi[68][6] bi[68][7] bi[68][8] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[69][5] bi[69][6] bi[69][7] bi[69][8] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[70][5] bi[70][6] bi[70][7] bi[70][8] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[71][5] bi[71][6] bi[71][7] bi[71][8] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[72][5] bi[72][6] bi[72][7] bi[72][8] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[73][5] bi[73][6] bi[73][7] bi[73][8] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[74][5] bi[74][6] bi[74][7] bi[74][8] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[75][5] bi[75][6] bi[75][7] bi[75][8] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[76][5] bi[76][6] bi[76][7] bi[76][8] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[77][5] bi[77][6] bi[77][7] bi[77][8] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[78][5] bi[78][6] bi[78][7] bi[78][8] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[79][5] bi[79][6] bi[79][7] bi[79][8] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[80][5] bi[80][6] bi[80][7] bi[80][8] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[81][5] bi[81][6] bi[81][7] bi[81][8] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[82][5] bi[82][6] bi[82][7] bi[82][8] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[83][5] bi[83][6] bi[83][7] bi[83][8] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[84][5] bi[84][6] bi[84][7] bi[84][8] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[85][5] bi[85][6] bi[85][7] bi[85][8] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[86][5] bi[86][6] bi[86][7] bi[86][8] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[87][5] bi[87][6] bi[87][7] bi[87][8] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[88][5] bi[88][6] bi[88][7] bi[88][8] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[89][5] bi[89][6] bi[89][7] bi[89][8] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[90][5] bi[90][6] bi[90][7] bi[90][8] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[91][5] bi[91][6] bi[91][7] bi[91][8] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[92][5] bi[92][6] bi[92][7] bi[92][8] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[93][5] bi[93][6] bi[93][7] bi[93][8] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[94][5] bi[94][6] bi[94][7] bi[94][8] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[95][5] bi[95][6] bi[95][7] bi[95][8] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[96][5] bi[96][6] bi[96][7] bi[96][8] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[97][5] bi[97][6] bi[97][7] bi[97][8] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[98][5] bi[98][6] bi[98][7] bi[98][8] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[99][5] bi[99][6] bi[99][7] bi[99][8] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[100][5] bi[100][6] bi[100][7] bi[100][8] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[101][5] bi[101][6] bi[101][7] bi[101][8] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[102][5] bi[102][6] bi[102][7] bi[102][8] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[103][5] bi[103][6] bi[103][7] bi[103][8] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[104][5] bi[104][6] bi[104][7] bi[104][8] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[105][5] bi[105][6] bi[105][7] bi[105][8] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[106][5] bi[106][6] bi[106][7] bi[106][8] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[107][5] bi[107][6] bi[107][7] bi[107][8] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[108][5] bi[108][6] bi[108][7] bi[108][8] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[109][5] bi[109][6] bi[109][7] bi[109][8] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[110][5] bi[110][6] bi[110][7] bi[110][8] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[111][5] bi[111][6] bi[111][7] bi[111][8] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[112][5] bi[112][6] bi[112][7] bi[112][8] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[113][5] bi[113][6] bi[113][7] bi[113][8] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[114][5] bi[114][6] bi[114][7] bi[114][8] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[115][5] bi[115][6] bi[115][7] bi[115][8] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[116][5] bi[116][6] bi[116][7] bi[116][8] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[117][5] bi[117][6] bi[117][7] bi[117][8] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[118][5] bi[118][6] bi[118][7] bi[118][8] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[119][5] bi[119][6] bi[119][7] bi[119][8] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[120][5] bi[120][6] bi[120][7] bi[120][8] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[121][5] bi[121][6] bi[121][7] bi[121][8] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[122][5] bi[122][6] bi[122][7] bi[122][8] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[123][5] bi[123][6] bi[123][7] bi[123][8] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[124][5] bi[124][6] bi[124][7] bi[124][8] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[125][5] bi[125][6] bi[125][7] bi[125][8] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[126][5] bi[126][6] bi[126][7] bi[126][8] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[127][5] bi[127][6] bi[127][7] bi[127][8] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[128][5] bi[128][6] bi[128][7] bi[128][8] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[129][5] bi[129][6] bi[129][7] bi[129][8] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[130][5] bi[130][6] bi[130][7] bi[130][8] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[131][5] bi[131][6] bi[131][7] bi[131][8] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[132][5] bi[132][6] bi[132][7] bi[132][8] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[133][5] bi[133][6] bi[133][7] bi[133][8] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[134][5] bi[134][6] bi[134][7] bi[134][8] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[135][5] bi[135][6] bi[135][7] bi[135][8] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[136][5] bi[136][6] bi[136][7] bi[136][8] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[137][5] bi[137][6] bi[137][7] bi[137][8] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[138][5] bi[138][6] bi[138][7] bi[138][8] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[139][5] bi[139][6] bi[139][7] bi[139][8] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[140][5] bi[140][6] bi[140][7] bi[140][8] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[141][5] bi[141][6] bi[141][7] bi[141][8] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[142][5] bi[142][6] bi[142][7] bi[142][8] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[143][5] bi[143][6] bi[143][7] bi[143][8] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[144][5] bi[144][6] bi[144][7] bi[144][8] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[145][5] bi[145][6] bi[145][7] bi[145][8] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[146][5] bi[146][6] bi[146][7] bi[146][8] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[147][5] bi[147][6] bi[147][7] bi[147][8] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[148][5] bi[148][6] bi[148][7] bi[148][8] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[149][5] bi[149][6] bi[149][7] bi[149][8] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[150][5] bi[150][6] bi[150][7] bi[150][8] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[151][5] bi[151][6] bi[151][7] bi[151][8] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[152][5] bi[152][6] bi[152][7] bi[152][8] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[153][5] bi[153][6] bi[153][7] bi[153][8] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[154][5] bi[154][6] bi[154][7] bi[154][8] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[155][5] bi[155][6] bi[155][7] bi[155][8] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[156][5] bi[156][6] bi[156][7] bi[156][8] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[157][5] bi[157][6] bi[157][7] bi[157][8] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[158][5] bi[158][6] bi[158][7] bi[158][8] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[159][5] bi[159][6] bi[159][7] bi[159][8] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[160][5] bi[160][6] bi[160][7] bi[160][8] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[161][5] bi[161][6] bi[161][7] bi[161][8] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[162][5] bi[162][6] bi[162][7] bi[162][8] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[163][5] bi[163][6] bi[163][7] bi[163][8] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[164][5] bi[164][6] bi[164][7] bi[164][8] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[165][5] bi[165][6] bi[165][7] bi[165][8] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[166][5] bi[166][6] bi[166][7] bi[166][8] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[167][5] bi[167][6] bi[167][7] bi[167][8] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[168][5] bi[168][6] bi[168][7] bi[168][8] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[169][5] bi[169][6] bi[169][7] bi[169][8] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[170][5] bi[170][6] bi[170][7] bi[170][8] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[171][5] bi[171][6] bi[171][7] bi[171][8] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[172][5] bi[172][6] bi[172][7] bi[172][8] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[173][5] bi[173][6] bi[173][7] bi[173][8] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[174][5] bi[174][6] bi[174][7] bi[174][8] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[175][5] bi[175][6] bi[175][7] bi[175][8] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[176][5] bi[176][6] bi[176][7] bi[176][8] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[177][5] bi[177][6] bi[177][7] bi[177][8] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[178][5] bi[178][6] bi[178][7] bi[178][8] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[179][5] bi[179][6] bi[179][7] bi[179][8] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[180][5] bi[180][6] bi[180][7] bi[180][8] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[181][5] bi[181][6] bi[181][7] bi[181][8] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[182][5] bi[182][6] bi[182][7] bi[182][8] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[183][5] bi[183][6] bi[183][7] bi[183][8] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[184][5] bi[184][6] bi[184][7] bi[184][8] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[185][5] bi[185][6] bi[185][7] bi[185][8] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[186][5] bi[186][6] bi[186][7] bi[186][8] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[187][5] bi[187][6] bi[187][7] bi[187][8] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[188][5] bi[188][6] bi[188][7] bi[188][8] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[189][5] bi[189][6] bi[189][7] bi[189][8] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[190][5] bi[190][6] bi[190][7] bi[190][8] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[191][5] bi[191][6] bi[191][7] bi[191][8] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[192][5] bi[192][6] bi[192][7] bi[192][8] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[193][5] bi[193][6] bi[193][7] bi[193][8] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[194][5] bi[194][6] bi[194][7] bi[194][8] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[195][5] bi[195][6] bi[195][7] bi[195][8] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[196][5] bi[196][6] bi[196][7] bi[196][8] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[197][5] bi[197][6] bi[197][7] bi[197][8] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[198][5] bi[198][6] bi[198][7] bi[198][8] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[199][5] bi[199][6] bi[199][7] bi[199][8] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[200][5] bi[200][6] bi[200][7] bi[200][8] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[201][5] bi[201][6] bi[201][7] bi[201][8] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[202][5] bi[202][6] bi[202][7] bi[202][8] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[203][5] bi[203][6] bi[203][7] bi[203][8] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[204][5] bi[204][6] bi[204][7] bi[204][8] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[205][5] bi[205][6] bi[205][7] bi[205][8] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[206][5] bi[206][6] bi[206][7] bi[206][8] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[207][5] bi[207][6] bi[207][7] bi[207][8] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[208][5] bi[208][6] bi[208][7] bi[208][8] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[209][5] bi[209][6] bi[209][7] bi[209][8] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[210][5] bi[210][6] bi[210][7] bi[210][8] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[211][5] bi[211][6] bi[211][7] bi[211][8] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[212][5] bi[212][6] bi[212][7] bi[212][8] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[213][5] bi[213][6] bi[213][7] bi[213][8] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[214][5] bi[214][6] bi[214][7] bi[214][8] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[215][5] bi[215][6] bi[215][7] bi[215][8] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[216][5] bi[216][6] bi[216][7] bi[216][8] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[217][5] bi[217][6] bi[217][7] bi[217][8] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[218][5] bi[218][6] bi[218][7] bi[218][8] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[219][5] bi[219][6] bi[219][7] bi[219][8] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[220][5] bi[220][6] bi[220][7] bi[220][8] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[221][5] bi[221][6] bi[221][7] bi[221][8] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[222][5] bi[222][6] bi[222][7] bi[222][8] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[223][5] bi[223][6] bi[223][7] bi[223][8] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[224][5] bi[224][6] bi[224][7] bi[224][8] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[225][5] bi[225][6] bi[225][7] bi[225][8] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[226][5] bi[226][6] bi[226][7] bi[226][8] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[227][5] bi[227][6] bi[227][7] bi[227][8] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[228][5] bi[228][6] bi[228][7] bi[228][8] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[229][5] bi[229][6] bi[229][7] bi[229][8] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[230][5] bi[230][6] bi[230][7] bi[230][8] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[231][5] bi[231][6] bi[231][7] bi[231][8] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[232][5] bi[232][6] bi[232][7] bi[232][8] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[233][5] bi[233][6] bi[233][7] bi[233][8] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[234][5] bi[234][6] bi[234][7] bi[234][8] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[235][5] bi[235][6] bi[235][7] bi[235][8] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[236][5] bi[236][6] bi[236][7] bi[236][8] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[237][5] bi[237][6] bi[237][7] bi[237][8] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[238][5] bi[238][6] bi[238][7] bi[238][8] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[239][5] bi[239][6] bi[239][7] bi[239][8] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[240][5] bi[240][6] bi[240][7] bi[240][8] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[241][5] bi[241][6] bi[241][7] bi[241][8] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] bi[242][5] bi[242][6] bi[242][7] bi[242][8] bi[243][0] bi[243][1] bi[243][2] bi[243][3] bi[243][4] bi[243][5] bi[243][6] bi[243][7] bi[243][8] bi[244][0] bi[244][1] bi[244][2] bi[244][3] bi[244][4] bi[244][5] bi[244][6] bi[244][7] bi[244][8] bi[245][0] bi[245][1] bi[245][2] bi[245][3] bi[245][4] bi[245][5] bi[245][6] bi[245][7] bi[245][8] bi[246][0] bi[246][1] bi[246][2] bi[246][3] bi[246][4] bi[246][5] bi[246][6] bi[246][7] bi[246][8] bi[247][0] bi[247][1] bi[247][2] bi[247][3] bi[247][4] bi[247][5] bi[247][6] bi[247][7] bi[247][8] bi[248][0] bi[248][1] bi[248][2] bi[248][3] bi[248][4] bi[248][5] bi[248][6] bi[248][7] bi[248][8] bi[249][0] bi[249][1] bi[249][2] bi[249][3] bi[249][4] bi[249][5] bi[249][6] bi[249][7] bi[249][8] bi[250][0] bi[250][1] bi[250][2] bi[250][3] bi[250][4] bi[250][5] bi[250][6] bi[250][7] bi[250][8] bi[251][0] bi[251][1] bi[251][2] bi[251][3] bi[251][4] bi[251][5] bi[251][6] bi[251][7] bi[251][8] bi[252][0] bi[252][1] bi[252][2] bi[252][3] bi[252][4] bi[252][5] bi[252][6] bi[252][7] bi[252][8] bi[253][0] bi[253][1] bi[253][2] bi[253][3] bi[253][4] bi[253][5] bi[253][6] bi[253][7] bi[253][8] bi[254][0] bi[254][1] bi[254][2] bi[254][3] bi[254][4] bi[254][5] bi[254][6] bi[254][7] bi[254][8] bi[255][0] bi[255][1] bi[255][2] bi[255][3] bi[255][4] bi[255][5] bi[255][6] bi[255][7] bi[255][8] bi[256][0] bi[256][1] bi[256][2] bi[256][3] bi[256][4] bi[256][5] bi[256][6] bi[256][7] bi[256][8] bi[257][0] bi[257][1] bi[257][2] bi[257][3] bi[257][4] bi[257][5] bi[257][6] bi[257][7] bi[257][8] bi[258][0] bi[258][1] bi[258][2] bi[258][3] bi[258][4] bi[258][5] bi[258][6] bi[258][7] bi[258][8] bi[259][0] bi[259][1] bi[259][2] bi[259][3] bi[259][4] bi[259][5] bi[259][6] bi[259][7] bi[259][8] bi[260][0] bi[260][1] bi[260][2] bi[260][3] bi[260][4] bi[260][5] bi[260][6] bi[260][7] bi[260][8] bi[261][0] bi[261][1] bi[261][2] bi[261][3] bi[261][4] bi[261][5] bi[261][6] bi[261][7] bi[261][8] bi[262][0] bi[262][1] bi[262][2] bi[262][3] bi[262][4] bi[262][5] bi[262][6] bi[262][7] bi[262][8] bi[263][0] bi[263][1] bi[263][2] bi[263][3] bi[263][4] bi[263][5] bi[263][6] bi[263][7] bi[263][8] bi[264][0] bi[264][1] bi[264][2] bi[264][3] bi[264][4] bi[264][5] bi[264][6] bi[264][7] bi[264][8] bi[265][0] bi[265][1] bi[265][2] bi[265][3] bi[265][4] bi[265][5] bi[265][6] bi[265][7] bi[265][8] bi[266][0] bi[266][1] bi[266][2] bi[266][3] bi[266][4] bi[266][5] bi[266][6] bi[266][7] bi[266][8] bi[267][0] bi[267][1] bi[267][2] bi[267][3] bi[267][4] bi[267][5] bi[267][6] bi[267][7] bi[267][8] bi[268][0] bi[268][1] bi[268][2] bi[268][3] bi[268][4] bi[268][5] bi[268][6] bi[268][7] bi[268][8] bi[269][0] bi[269][1] bi[269][2] bi[269][3] bi[269][4] bi[269][5] bi[269][6] bi[269][7] bi[269][8] bi[270][0] bi[270][1] bi[270][2] bi[270][3] bi[270][4] bi[270][5] bi[270][6] bi[270][7] bi[270][8] bi[271][0] bi[271][1] bi[271][2] bi[271][3] bi[271][4] bi[271][5] bi[271][6] bi[271][7] bi[271][8] bi[272][0] bi[272][1] bi[272][2] bi[272][3] bi[272][4] bi[272][5] bi[272][6] bi[272][7] bi[272][8] bi[273][0] bi[273][1] bi[273][2] bi[273][3] bi[273][4] bi[273][5] bi[273][6] bi[273][7] bi[273][8] bi[274][0] bi[274][1] bi[274][2] bi[274][3] bi[274][4] bi[274][5] bi[274][6] bi[274][7] bi[274][8] bi[275][0] bi[275][1] bi[275][2] bi[275][3] bi[275][4] bi[275][5] bi[275][6] bi[275][7] bi[275][8] bi[276][0] bi[276][1] bi[276][2] bi[276][3] bi[276][4] bi[276][5] bi[276][6] bi[276][7] bi[276][8] bi[277][0] bi[277][1] bi[277][2] bi[277][3] bi[277][4] bi[277][5] bi[277][6] bi[277][7] bi[277][8] bi[278][0] bi[278][1] bi[278][2] bi[278][3] bi[278][4] bi[278][5] bi[278][6] bi[278][7] bi[278][8] bi[279][0] bi[279][1] bi[279][2] bi[279][3] bi[279][4] bi[279][5] bi[279][6] bi[279][7] bi[279][8] bi[280][0] bi[280][1] bi[280][2] bi[280][3] bi[280][4] bi[280][5] bi[280][6] bi[280][7] bi[280][8] bi[281][0] bi[281][1] bi[281][2] bi[281][3] bi[281][4] bi[281][5] bi[281][6] bi[281][7] bi[281][8] bi[282][0] bi[282][1] bi[282][2] bi[282][3] bi[282][4] bi[282][5] bi[282][6] bi[282][7] bi[282][8] bi[283][0] bi[283][1] bi[283][2] bi[283][3] bi[283][4] bi[283][5] bi[283][6] bi[283][7] bi[283][8] bi[284][0] bi[284][1] bi[284][2] bi[284][3] bi[284][4] bi[284][5] bi[284][6] bi[284][7] bi[284][8] bi[285][0] bi[285][1] bi[285][2] bi[285][3] bi[285][4] bi[285][5] bi[285][6] bi[285][7] bi[285][8] bi[286][0] bi[286][1] bi[286][2] bi[286][3] bi[286][4] bi[286][5] bi[286][6] bi[286][7] bi[286][8] bi[287][0] bi[287][1] bi[287][2] bi[287][3] bi[287][4] bi[287][5] bi[287][6] bi[287][7] bi[287][8] bi[288][0] bi[288][1] bi[288][2] bi[288][3] bi[288][4] bi[288][5] bi[288][6] bi[288][7] bi[288][8] bi[289][0] bi[289][1] bi[289][2] bi[289][3] bi[289][4] bi[289][5] bi[289][6] bi[289][7] bi[289][8] bi[290][0] bi[290][1] bi[290][2] bi[290][3] bi[290][4] bi[290][5] bi[290][6] bi[290][7] bi[290][8] bi[291][0] bi[291][1] bi[291][2] bi[291][3] bi[291][4] bi[291][5] bi[291][6] bi[291][7] bi[291][8] bi[292][0] bi[292][1] bi[292][2] bi[292][3] bi[292][4] bi[292][5] bi[292][6] bi[292][7] bi[292][8] bi[293][0] bi[293][1] bi[293][2] bi[293][3] bi[293][4] bi[293][5] bi[293][6] bi[293][7] bi[293][8] bi[294][0] bi[294][1] bi[294][2] bi[294][3] bi[294][4] bi[294][5] bi[294][6] bi[294][7] bi[294][8] bi[295][0] bi[295][1] bi[295][2] bi[295][3] bi[295][4] bi[295][5] bi[295][6] bi[295][7] bi[295][8] bi[296][0] bi[296][1] bi[296][2] bi[296][3] bi[296][4] bi[296][5] bi[296][6] bi[296][7] bi[296][8] bi[297][0] bi[297][1] bi[297][2] bi[297][3] bi[297][4] bi[297][5] bi[297][6] bi[297][7] bi[297][8] bi[298][0] bi[298][1] bi[298][2] bi[298][3] bi[298][4] bi[298][5] bi[298][6] bi[298][7] bi[298][8] bi[299][0] bi[299][1] bi[299][2] bi[299][3] bi[299][4] bi[299][5] bi[299][6] bi[299][7] bi[299][8] bi[300][0] bi[300][1] bi[300][2] bi[300][3] bi[300][4] bi[300][5] bi[300][6] bi[300][7] bi[300][8] bi[301][0] bi[301][1] bi[301][2] bi[301][3] bi[301][4] bi[301][5] bi[301][6] bi[301][7] bi[301][8] bi[302][0] bi[302][1] bi[302][2] bi[302][3] bi[302][4] bi[302][5] bi[302][6] bi[302][7] bi[302][8] bi[303][0] bi[303][1] bi[303][2] bi[303][3] bi[303][4] bi[303][5] bi[303][6] bi[303][7] bi[303][8] bi[304][0] bi[304][1] bi[304][2] bi[304][3] bi[304][4] bi[304][5] bi[304][6] bi[304][7] bi[304][8] bi[305][0] bi[305][1] bi[305][2] bi[305][3] bi[305][4] bi[305][5] bi[305][6] bi[305][7] bi[305][8] bi[306][0] bi[306][1] bi[306][2] bi[306][3] bi[306][4] bi[306][5] bi[306][6] bi[306][7] bi[306][8] bi[307][0] bi[307][1] bi[307][2] bi[307][3] bi[307][4] bi[307][5] bi[307][6] bi[307][7] bi[307][8] bi[308][0] bi[308][1] bi[308][2] bi[308][3] bi[308][4] bi[308][5] bi[308][6] bi[308][7] bi[308][8] bi[309][0] bi[309][1] bi[309][2] bi[309][3] bi[309][4] bi[309][5] bi[309][6] bi[309][7] bi[309][8] bi[310][0] bi[310][1] bi[310][2] bi[310][3] bi[310][4] bi[310][5] bi[310][6] bi[310][7] bi[310][8] bi[311][0] bi[311][1] bi[311][2] bi[311][3] bi[311][4] bi[311][5] bi[311][6] bi[311][7] bi[311][8] bi[312][0] bi[312][1] bi[312][2] bi[312][3] bi[312][4] bi[312][5] bi[312][6] bi[312][7] bi[312][8] bi[313][0] bi[313][1] bi[313][2] bi[313][3] bi[313][4] bi[313][5] bi[313][6] bi[313][7] bi[313][8] bi[314][0] bi[314][1] bi[314][2] bi[314][3] bi[314][4] bi[314][5] bi[314][6] bi[314][7] bi[314][8] bi[315][0] bi[315][1] bi[315][2] bi[315][3] bi[315][4] bi[315][5] bi[315][6] bi[315][7] bi[315][8] bi[316][0] bi[316][1] bi[316][2] bi[316][3] bi[316][4] bi[316][5] bi[316][6] bi[316][7] bi[316][8] bi[317][0] bi[317][1] bi[317][2] bi[317][3] bi[317][4] bi[317][5] bi[317][6] bi[317][7] bi[317][8] bi[318][0] bi[318][1] bi[318][2] bi[318][3] bi[318][4] bi[318][5] bi[318][6] bi[318][7] bi[318][8] bi[319][0] bi[319][1] bi[319][2] bi[319][3] bi[319][4] bi[319][5] bi[319][6] bi[319][7] bi[319][8] bi[320][0] bi[320][1] bi[320][2] bi[320][3] bi[320][4] bi[320][5] bi[320][6] bi[320][7] bi[320][8] bi[321][0] bi[321][1] bi[321][2] bi[321][3] bi[321][4] bi[321][5] bi[321][6] bi[321][7] bi[321][8] bi[322][0] bi[322][1] bi[322][2] bi[322][3] bi[322][4] bi[322][5] bi[322][6] bi[322][7] bi[322][8] bi[323][0] bi[323][1] bi[323][2] bi[323][3] bi[323][4] bi[323][5] bi[323][6] bi[323][7] bi[323][8] bi[324][0] bi[324][1] bi[324][2] bi[324][3] bi[324][4] bi[324][5] bi[324][6] bi[324][7] bi[324][8] bi[325][0] bi[325][1] bi[325][2] bi[325][3] bi[325][4] bi[325][5] bi[325][6] bi[325][7] bi[325][8] bi[326][0] bi[326][1] bi[326][2] bi[326][3] bi[326][4] bi[326][5] bi[326][6] bi[326][7] bi[326][8] bi[327][0] bi[327][1] bi[327][2] bi[327][3] bi[327][4] bi[327][5] bi[327][6] bi[327][7] bi[327][8] bi[328][0] bi[328][1] bi[328][2] bi[328][3] bi[328][4] bi[328][5] bi[328][6] bi[328][7] bi[328][8] bi[329][0] bi[329][1] bi[329][2] bi[329][3] bi[329][4] bi[329][5] bi[329][6] bi[329][7] bi[329][8] bi[330][0] bi[330][1] bi[330][2] bi[330][3] bi[330][4] bi[330][5] bi[330][6] bi[330][7] bi[330][8] bi[331][0] bi[331][1] bi[331][2] bi[331][3] bi[331][4] bi[331][5] bi[331][6] bi[331][7] bi[331][8] bi[332][0] bi[332][1] bi[332][2] bi[332][3] bi[332][4] bi[332][5] bi[332][6] bi[332][7] bi[332][8] bi[333][0] bi[333][1] bi[333][2] bi[333][3] bi[333][4] bi[333][5] bi[333][6] bi[333][7] bi[333][8] bi[334][0] bi[334][1] bi[334][2] bi[334][3] bi[334][4] bi[334][5] bi[334][6] bi[334][7] bi[334][8] bi[335][0] bi[335][1] bi[335][2] bi[335][3] bi[335][4] bi[335][5] bi[335][6] bi[335][7] bi[335][8] bi[336][0] bi[336][1] bi[336][2] bi[336][3] bi[336][4] bi[336][5] bi[336][6] bi[336][7] bi[336][8] bi[337][0] bi[337][1] bi[337][2] bi[337][3] bi[337][4] bi[337][5] bi[337][6] bi[337][7] bi[337][8] bi[338][0] bi[338][1] bi[338][2] bi[338][3] bi[338][4] bi[338][5] bi[338][6] bi[338][7] bi[338][8] bi[339][0] bi[339][1] bi[339][2] bi[339][3] bi[339][4] bi[339][5] bi[339][6] bi[339][7] bi[339][8] bi[340][0] bi[340][1] bi[340][2] bi[340][3] bi[340][4] bi[340][5] bi[340][6] bi[340][7] bi[340][8] bi[341][0] bi[341][1] bi[341][2] bi[341][3] bi[341][4] bi[341][5] bi[341][6] bi[341][7] bi[341][8] bi[342][0] bi[342][1] bi[342][2] bi[342][3] bi[342][4] bi[342][5] bi[342][6] bi[342][7] bi[342][8] bi[343][0] bi[343][1] bi[343][2] bi[343][3] bi[343][4] bi[343][5] bi[343][6] bi[343][7] bi[343][8] bi[344][0] bi[344][1] bi[344][2] bi[344][3] bi[344][4] bi[344][5] bi[344][6] bi[344][7] bi[344][8] bi[345][0] bi[345][1] bi[345][2] bi[345][3] bi[345][4] bi[345][5] bi[345][6] bi[345][7] bi[345][8] bi[346][0] bi[346][1] bi[346][2] bi[346][3] bi[346][4] bi[346][5] bi[346][6] bi[346][7] bi[346][8] bi[347][0] bi[347][1] bi[347][2] bi[347][3] bi[347][4] bi[347][5] bi[347][6] bi[347][7] bi[347][8] bi[348][0] bi[348][1] bi[348][2] bi[348][3] bi[348][4] bi[348][5] bi[348][6] bi[348][7] bi[348][8] bi[349][0] bi[349][1] bi[349][2] bi[349][3] bi[349][4] bi[349][5] bi[349][6] bi[349][7] bi[349][8] bi[350][0] bi[350][1] bi[350][2] bi[350][3] bi[350][4] bi[350][5] bi[350][6] bi[350][7] bi[350][8] bi[351][0] bi[351][1] bi[351][2] bi[351][3] bi[351][4] bi[351][5] bi[351][6] bi[351][7] bi[351][8] bi[352][0] bi[352][1] bi[352][2] bi[352][3] bi[352][4] bi[352][5] bi[352][6] bi[352][7] bi[352][8] bi[353][0] bi[353][1] bi[353][2] bi[353][3] bi[353][4] bi[353][5] bi[353][6] bi[353][7] bi[353][8] bi[354][0] bi[354][1] bi[354][2] bi[354][3] bi[354][4] bi[354][5] bi[354][6] bi[354][7] bi[354][8] bi[355][0] bi[355][1] bi[355][2] bi[355][3] bi[355][4] bi[355][5] bi[355][6] bi[355][7] bi[355][8] bi[356][0] bi[356][1] bi[356][2] bi[356][3] bi[356][4] bi[356][5] bi[356][6] bi[356][7] bi[356][8] bi[357][0] bi[357][1] bi[357][2] bi[357][3] bi[357][4] bi[357][5] bi[357][6] bi[357][7] bi[357][8] bi[358][0] bi[358][1] bi[358][2] bi[358][3] bi[358][4] bi[358][5] bi[358][6] bi[358][7] bi[358][8] bi[359][0] bi[359][1] bi[359][2] bi[359][3] bi[359][4] bi[359][5] bi[359][6] bi[359][7] bi[359][8] bi[360][0] bi[360][1] bi[360][2] bi[360][3] bi[360][4] bi[360][5] bi[360][6] bi[360][7] bi[360][8] bi[361][0] bi[361][1] bi[361][2] bi[361][3] bi[361][4] bi[361][5] bi[361][6] bi[361][7] bi[361][8] bi[362][0] bi[362][1] bi[362][2] bi[362][3] bi[362][4] bi[362][5] bi[362][6] bi[362][7] bi[362][8] bi[363][0] bi[363][1] bi[363][2] bi[363][3] bi[363][4] bi[363][5] bi[363][6] bi[363][7] bi[363][8] bi[364][0] bi[364][1] bi[364][2] bi[364][3] bi[364][4] bi[364][5] bi[364][6] bi[364][7] bi[364][8] bi[365][0] bi[365][1] bi[365][2] bi[365][3] bi[365][4] bi[365][5] bi[365][6] bi[365][7] bi[365][8] bi[366][0] bi[366][1] bi[366][2] bi[366][3] bi[366][4] bi[366][5] bi[366][6] bi[366][7] bi[366][8] bi[367][0] bi[367][1] bi[367][2] bi[367][3] bi[367][4] bi[367][5] bi[367][6] bi[367][7] bi[367][8] bi[368][0] bi[368][1] bi[368][2] bi[368][3] bi[368][4] bi[368][5] bi[368][6] bi[368][7] bi[368][8] bi[369][0] bi[369][1] bi[369][2] bi[369][3] bi[369][4] bi[369][5] bi[369][6] bi[369][7] bi[369][8] bi[370][0] bi[370][1] bi[370][2] bi[370][3] bi[370][4] bi[370][5] bi[370][6] bi[370][7] bi[370][8] bi[371][0] bi[371][1] bi[371][2] bi[371][3] bi[371][4] bi[371][5] bi[371][6] bi[371][7] bi[371][8] bi[372][0] bi[372][1] bi[372][2] bi[372][3] bi[372][4] bi[372][5] bi[372][6] bi[372][7] bi[372][8] bi[373][0] bi[373][1] bi[373][2] bi[373][3] bi[373][4] bi[373][5] bi[373][6] bi[373][7] bi[373][8] bi[374][0] bi[374][1] bi[374][2] bi[374][3] bi[374][4] bi[374][5] bi[374][6] bi[374][7] bi[374][8] bi[375][0] bi[375][1] bi[375][2] bi[375][3] bi[375][4] bi[375][5] bi[375][6] bi[375][7] bi[375][8] bi[376][0] bi[376][1] bi[376][2] bi[376][3] bi[376][4] bi[376][5] bi[376][6] bi[376][7] bi[376][8] bi[377][0] bi[377][1] bi[377][2] bi[377][3] bi[377][4] bi[377][5] bi[377][6] bi[377][7] bi[377][8] bi[378][0] bi[378][1] bi[378][2] bi[378][3] bi[378][4] bi[378][5] bi[378][6] bi[378][7] bi[378][8] bi[379][0] bi[379][1] bi[379][2] bi[379][3] bi[379][4] bi[379][5] bi[379][6] bi[379][7] bi[379][8] bi[380][0] bi[380][1] bi[380][2] bi[380][3] bi[380][4] bi[380][5] bi[380][6] bi[380][7] bi[380][8] bi[381][0] bi[381][1] bi[381][2] bi[381][3] bi[381][4] bi[381][5] bi[381][6] bi[381][7] bi[381][8] bi[382][0] bi[382][1] bi[382][2] bi[382][3] bi[382][4] bi[382][5] bi[382][6] bi[382][7] bi[382][8] bi[383][0] bi[383][1] bi[383][2] bi[383][3] bi[383][4] bi[383][5] bi[383][6] bi[383][7] bi[383][8] bi[384][0] bi[384][1] bi[384][2] bi[384][3] bi[384][4] bi[384][5] bi[384][6] bi[384][7] bi[384][8] bi[385][0] bi[385][1] bi[385][2] bi[385][3] bi[385][4] bi[385][5] bi[385][6] bi[385][7] bi[385][8] bi[386][0] bi[386][1] bi[386][2] bi[386][3] bi[386][4] bi[386][5] bi[386][6] bi[386][7] bi[386][8] bi[387][0] bi[387][1] bi[387][2] bi[387][3] bi[387][4] bi[387][5] bi[387][6] bi[387][7] bi[387][8] bi[388][0] bi[388][1] bi[388][2] bi[388][3] bi[388][4] bi[388][5] bi[388][6] bi[388][7] bi[388][8] bi[389][0] bi[389][1] bi[389][2] bi[389][3] bi[389][4] bi[389][5] bi[389][6] bi[389][7] bi[389][8] bi[390][0] bi[390][1] bi[390][2] bi[390][3] bi[390][4] bi[390][5] bi[390][6] bi[390][7] bi[390][8] bi[391][0] bi[391][1] bi[391][2] bi[391][3] bi[391][4] bi[391][5] bi[391][6] bi[391][7] bi[391][8] bi[392][0] bi[392][1] bi[392][2] bi[392][3] bi[392][4] bi[392][5] bi[392][6] bi[392][7] bi[392][8] bi[393][0] bi[393][1] bi[393][2] bi[393][3] bi[393][4] bi[393][5] bi[393][6] bi[393][7] bi[393][8] bi[394][0] bi[394][1] bi[394][2] bi[394][3] bi[394][4] bi[394][5] bi[394][6] bi[394][7] bi[394][8] bi[395][0] bi[395][1] bi[395][2] bi[395][3] bi[395][4] bi[395][5] bi[395][6] bi[395][7] bi[395][8] bi[396][0] bi[396][1] bi[396][2] bi[396][3] bi[396][4] bi[396][5] bi[396][6] bi[396][7] bi[396][8] bi[397][0] bi[397][1] bi[397][2] bi[397][3] bi[397][4] bi[397][5] bi[397][6] bi[397][7] bi[397][8] bi[398][0] bi[398][1] bi[398][2] bi[398][3] bi[398][4] bi[398][5] bi[398][6] bi[398][7] bi[398][8] bi[399][0] bi[399][1] bi[399][2] bi[399][3] bi[399][4] bi[399][5] bi[399][6] bi[399][7] bi[399][8] bi[400][0] bi[400][1] bi[400][2] bi[400][3] bi[400][4] bi[400][5] bi[400][6] bi[400][7] bi[400][8] bi[401][0] bi[401][1] bi[401][2] bi[401][3] bi[401][4] bi[401][5] bi[401][6] bi[401][7] bi[401][8] bi[402][0] bi[402][1] bi[402][2] bi[402][3] bi[402][4] bi[402][5] bi[402][6] bi[402][7] bi[402][8] bi[403][0] bi[403][1] bi[403][2] bi[403][3] bi[403][4] bi[403][5] bi[403][6] bi[403][7] bi[403][8] bi[404][0] bi[404][1] bi[404][2] bi[404][3] bi[404][4] bi[404][5] bi[404][6] bi[404][7] bi[404][8] bi[405][0] bi[405][1] bi[405][2] bi[405][3] bi[405][4] bi[405][5] bi[405][6] bi[405][7] bi[405][8] bi[406][0] bi[406][1] bi[406][2] bi[406][3] bi[406][4] bi[406][5] bi[406][6] bi[406][7] bi[406][8] bi[407][0] bi[407][1] bi[407][2] bi[407][3] bi[407][4] bi[407][5] bi[407][6] bi[407][7] bi[407][8] bi[408][0] bi[408][1] bi[408][2] bi[408][3] bi[408][4] bi[408][5] bi[408][6] bi[408][7] bi[408][8] bi[409][0] bi[409][1] bi[409][2] bi[409][3] bi[409][4] bi[409][5] bi[409][6] bi[409][7] bi[409][8] bi[410][0] bi[410][1] bi[410][2] bi[410][3] bi[410][4] bi[410][5] bi[410][6] bi[410][7] bi[410][8] bi[411][0] bi[411][1] bi[411][2] bi[411][3] bi[411][4] bi[411][5] bi[411][6] bi[411][7] bi[411][8] bi[412][0] bi[412][1] bi[412][2] bi[412][3] bi[412][4] bi[412][5] bi[412][6] bi[412][7] bi[412][8] bi[413][0] bi[413][1] bi[413][2] bi[413][3] bi[413][4] bi[413][5] bi[413][6] bi[413][7] bi[413][8] bi[414][0] bi[414][1] bi[414][2] bi[414][3] bi[414][4] bi[414][5] bi[414][6] bi[414][7] bi[414][8] bi[415][0] bi[415][1] bi[415][2] bi[415][3] bi[415][4] bi[415][5] bi[415][6] bi[415][7] bi[415][8] bi[416][0] bi[416][1] bi[416][2] bi[416][3] bi[416][4] bi[416][5] bi[416][6] bi[416][7] bi[416][8] bi[417][0] bi[417][1] bi[417][2] bi[417][3] bi[417][4] bi[417][5] bi[417][6] bi[417][7] bi[417][8] bi[418][0] bi[418][1] bi[418][2] bi[418][3] bi[418][4] bi[418][5] bi[418][6] bi[418][7] bi[418][8] bi[419][0] bi[419][1] bi[419][2] bi[419][3] bi[419][4] bi[419][5] bi[419][6] bi[419][7] bi[419][8] bi[420][0] bi[420][1] bi[420][2] bi[420][3] bi[420][4] bi[420][5] bi[420][6] bi[420][7] bi[420][8] bi[421][0] bi[421][1] bi[421][2] bi[421][3] bi[421][4] bi[421][5] bi[421][6] bi[421][7] bi[421][8] bi[422][0] bi[422][1] bi[422][2] bi[422][3] bi[422][4] bi[422][5] bi[422][6] bi[422][7] bi[422][8] bi[423][0] bi[423][1] bi[423][2] bi[423][3] bi[423][4] bi[423][5] bi[423][6] bi[423][7] bi[423][8] bi[424][0] bi[424][1] bi[424][2] bi[424][3] bi[424][4] bi[424][5] bi[424][6] bi[424][7] bi[424][8] bi[425][0] bi[425][1] bi[425][2] bi[425][3] bi[425][4] bi[425][5] bi[425][6] bi[425][7] bi[425][8] bi[426][0] bi[426][1] bi[426][2] bi[426][3] bi[426][4] bi[426][5] bi[426][6] bi[426][7] bi[426][8] bi[427][0] bi[427][1] bi[427][2] bi[427][3] bi[427][4] bi[427][5] bi[427][6] bi[427][7] bi[427][8] bi[428][0] bi[428][1] bi[428][2] bi[428][3] bi[428][4] bi[428][5] bi[428][6] bi[428][7] bi[428][8] bi[429][0] bi[429][1] bi[429][2] bi[429][3] bi[429][4] bi[429][5] bi[429][6] bi[429][7] bi[429][8] bi[430][0] bi[430][1] bi[430][2] bi[430][3] bi[430][4] bi[430][5] bi[430][6] bi[430][7] bi[430][8] bi[431][0] bi[431][1] bi[431][2] bi[431][3] bi[431][4] bi[431][5] bi[431][6] bi[431][7] bi[431][8] bi[432][0] bi[432][1] bi[432][2] bi[432][3] bi[432][4] bi[432][5] bi[432][6] bi[432][7] bi[432][8] bi[433][0] bi[433][1] bi[433][2] bi[433][3] bi[433][4] bi[433][5] bi[433][6] bi[433][7] bi[433][8] bi[434][0] bi[434][1] bi[434][2] bi[434][3] bi[434][4] bi[434][5] bi[434][6] bi[434][7] bi[434][8] bi[435][0] bi[435][1] bi[435][2] bi[435][3] bi[435][4] bi[435][5] bi[435][6] bi[435][7] bi[435][8] bi[436][0] bi[436][1] bi[436][2] bi[436][3] bi[436][4] bi[436][5] bi[436][6] bi[436][7] bi[436][8] bi[437][0] bi[437][1] bi[437][2] bi[437][3] bi[437][4] bi[437][5] bi[437][6] bi[437][7] bi[437][8] bi[438][0] bi[438][1] bi[438][2] bi[438][3] bi[438][4] bi[438][5] bi[438][6] bi[438][7] bi[438][8] bi[439][0] bi[439][1] bi[439][2] bi[439][3] bi[439][4] bi[439][5] bi[439][6] bi[439][7] bi[439][8] bi[440][0] bi[440][1] bi[440][2] bi[440][3] bi[440][4] bi[440][5] bi[440][6] bi[440][7] bi[440][8] bi[441][0] bi[441][1] bi[441][2] bi[441][3] bi[441][4] bi[441][5] bi[441][6] bi[441][7] bi[441][8] bi[442][0] bi[442][1] bi[442][2] bi[442][3] bi[442][4] bi[442][5] bi[442][6] bi[442][7] bi[442][8] bi[443][0] bi[443][1] bi[443][2] bi[443][3] bi[443][4] bi[443][5] bi[443][6] bi[443][7] bi[443][8] bi[444][0] bi[444][1] bi[444][2] bi[444][3] bi[444][4] bi[444][5] bi[444][6] bi[444][7] bi[444][8] bi[445][0] bi[445][1] bi[445][2] bi[445][3] bi[445][4] bi[445][5] bi[445][6] bi[445][7] bi[445][8] bi[446][0] bi[446][1] bi[446][2] bi[446][3] bi[446][4] bi[446][5] bi[446][6] bi[446][7] bi[446][8] bi[447][0] bi[447][1] bi[447][2] bi[447][3] bi[447][4] bi[447][5] bi[447][6] bi[447][7] bi[447][8] bi[448][0] bi[448][1] bi[448][2] bi[448][3] bi[448][4] bi[448][5] bi[448][6] bi[448][7] bi[448][8] bi[449][0] bi[449][1] bi[449][2] bi[449][3] bi[449][4] bi[449][5] bi[449][6] bi[449][7] bi[449][8] bi[450][0] bi[450][1] bi[450][2] bi[450][3] bi[450][4] bi[450][5] bi[450][6] bi[450][7] bi[450][8] bi[451][0] bi[451][1] bi[451][2] bi[451][3] bi[451][4] bi[451][5] bi[451][6] bi[451][7] bi[451][8] bi[452][0] bi[452][1] bi[452][2] bi[452][3] bi[452][4] bi[452][5] bi[452][6] bi[452][7] bi[452][8] bi[453][0] bi[453][1] bi[453][2] bi[453][3] bi[453][4] bi[453][5] bi[453][6] bi[453][7] bi[453][8] bi[454][0] bi[454][1] bi[454][2] bi[454][3] bi[454][4] bi[454][5] bi[454][6] bi[454][7] bi[454][8] bi[455][0] bi[455][1] bi[455][2] bi[455][3] bi[455][4] bi[455][5] bi[455][6] bi[455][7] bi[455][8] bi[456][0] bi[456][1] bi[456][2] bi[456][3] bi[456][4] bi[456][5] bi[456][6] bi[456][7] bi[456][8] bi[457][0] bi[457][1] bi[457][2] bi[457][3] bi[457][4] bi[457][5] bi[457][6] bi[457][7] bi[457][8] bi[458][0] bi[458][1] bi[458][2] bi[458][3] bi[458][4] bi[458][5] bi[458][6] bi[458][7] bi[458][8] bi[459][0] bi[459][1] bi[459][2] bi[459][3] bi[459][4] bi[459][5] bi[459][6] bi[459][7] bi[459][8] bi[460][0] bi[460][1] bi[460][2] bi[460][3] bi[460][4] bi[460][5] bi[460][6] bi[460][7] bi[460][8] bi[461][0] bi[461][1] bi[461][2] bi[461][3] bi[461][4] bi[461][5] bi[461][6] bi[461][7] bi[461][8] bi[462][0] bi[462][1] bi[462][2] bi[462][3] bi[462][4] bi[462][5] bi[462][6] bi[462][7] bi[462][8] bi[463][0] bi[463][1] bi[463][2] bi[463][3] bi[463][4] bi[463][5] bi[463][6] bi[463][7] bi[463][8] bi[464][0] bi[464][1] bi[464][2] bi[464][3] bi[464][4] bi[464][5] bi[464][6] bi[464][7] bi[464][8] bi[465][0] bi[465][1] bi[465][2] bi[465][3] bi[465][4] bi[465][5] bi[465][6] bi[465][7] bi[465][8] bi[466][0] bi[466][1] bi[466][2] bi[466][3] bi[466][4] bi[466][5] bi[466][6] bi[466][7] bi[466][8] bi[467][0] bi[467][1] bi[467][2] bi[467][3] bi[467][4] bi[467][5] bi[467][6] bi[467][7] bi[467][8] bi[468][0] bi[468][1] bi[468][2] bi[468][3] bi[468][4] bi[468][5] bi[468][6] bi[468][7] bi[468][8] bi[469][0] bi[469][1] bi[469][2] bi[469][3] bi[469][4] bi[469][5] bi[469][6] bi[469][7] bi[469][8] bi[470][0] bi[470][1] bi[470][2] bi[470][3] bi[470][4] bi[470][5] bi[470][6] bi[470][7] bi[470][8] bi[471][0] bi[471][1] bi[471][2] bi[471][3] bi[471][4] bi[471][5] bi[471][6] bi[471][7] bi[471][8] bi[472][0] bi[472][1] bi[472][2] bi[472][3] bi[472][4] bi[472][5] bi[472][6] bi[472][7] bi[472][8] bi[473][0] bi[473][1] bi[473][2] bi[473][3] bi[473][4] bi[473][5] bi[473][6] bi[473][7] bi[473][8] bi[474][0] bi[474][1] bi[474][2] bi[474][3] bi[474][4] bi[474][5] bi[474][6] bi[474][7] bi[474][8] bi[475][0] bi[475][1] bi[475][2] bi[475][3] bi[475][4] bi[475][5] bi[475][6] bi[475][7] bi[475][8] bi[476][0] bi[476][1] bi[476][2] bi[476][3] bi[476][4] bi[476][5] bi[476][6] bi[476][7] bi[476][8] bi[477][0] bi[477][1] bi[477][2] bi[477][3] bi[477][4] bi[477][5] bi[477][6] bi[477][7] bi[477][8] bi[478][0] bi[478][1] bi[478][2] bi[478][3] bi[478][4] bi[478][5] bi[478][6] bi[478][7] bi[478][8] bi[479][0] bi[479][1] bi[479][2] bi[479][3] bi[479][4] bi[479][5] bi[479][6] bi[479][7] bi[479][8] bi[480][0] bi[480][1] bi[480][2] bi[480][3] bi[480][4] bi[480][5] bi[480][6] bi[480][7] bi[480][8] bi[481][0] bi[481][1] bi[481][2] bi[481][3] bi[481][4] bi[481][5] bi[481][6] bi[481][7] bi[481][8] bi[482][0] bi[482][1] bi[482][2] bi[482][3] bi[482][4] bi[482][5] bi[482][6] bi[482][7] bi[482][8] bi[483][0] bi[483][1] bi[483][2] bi[483][3] bi[483][4] bi[483][5] bi[483][6] bi[483][7] bi[483][8] bi[484][0] bi[484][1] bi[484][2] bi[484][3] bi[484][4] bi[484][5] bi[484][6] bi[484][7] bi[484][8] bi[485][0] bi[485][1] bi[485][2] bi[485][3] bi[485][4] bi[485][5] bi[485][6] bi[485][7] bi[485][8] bi[486][0] bi[486][1] bi[486][2] bi[486][3] bi[486][4] bi[486][5] bi[486][6] bi[486][7] bi[486][8] bi[487][0] bi[487][1] bi[487][2] bi[487][3] bi[487][4] bi[487][5] bi[487][6] bi[487][7] bi[487][8] bi[488][0] bi[488][1] bi[488][2] bi[488][3] bi[488][4] bi[488][5] bi[488][6] bi[488][7] bi[488][8] bi[489][0] bi[489][1] bi[489][2] bi[489][3] bi[489][4] bi[489][5] bi[489][6] bi[489][7] bi[489][8] bi[490][0] bi[490][1] bi[490][2] bi[490][3] bi[490][4] bi[490][5] bi[490][6] bi[490][7] bi[490][8] bi[491][0] bi[491][1] bi[491][2] bi[491][3] bi[491][4] bi[491][5] bi[491][6] bi[491][7] bi[491][8] bi[492][0] bi[492][1] bi[492][2] bi[492][3] bi[492][4] bi[492][5] bi[492][6] bi[492][7] bi[492][8] bi[493][0] bi[493][1] bi[493][2] bi[493][3] bi[493][4] bi[493][5] bi[493][6] bi[493][7] bi[493][8] bi[494][0] bi[494][1] bi[494][2] bi[494][3] bi[494][4] bi[494][5] bi[494][6] bi[494][7] bi[494][8] bi[495][0] bi[495][1] bi[495][2] bi[495][3] bi[495][4] bi[495][5] bi[495][6] bi[495][7] bi[495][8] bi[496][0] bi[496][1] bi[496][2] bi[496][3] bi[496][4] bi[496][5] bi[496][6] bi[496][7] bi[496][8] bi[497][0] bi[497][1] bi[497][2] bi[497][3] bi[497][4] bi[497][5] bi[497][6] bi[497][7] bi[497][8] bi[498][0] bi[498][1] bi[498][2] bi[498][3] bi[498][4] bi[498][5] bi[498][6] bi[498][7] bi[498][8] bi[499][0] bi[499][1] bi[499][2] bi[499][3] bi[499][4] bi[499][5] bi[499][6] bi[499][7] bi[499][8] bi[500][0] bi[500][1] bi[500][2] bi[500][3] bi[500][4] bi[500][5] bi[500][6] bi[500][7] bi[500][8] bi[501][0] bi[501][1] bi[501][2] bi[501][3] bi[501][4] bi[501][5] bi[501][6] bi[501][7] bi[501][8] bi[502][0] bi[502][1] bi[502][2] bi[502][3] bi[502][4] bi[502][5] bi[502][6] bi[502][7] bi[502][8] bi[503][0] bi[503][1] bi[503][2] bi[503][3] bi[503][4] bi[503][5] bi[503][6] bi[503][7] bi[503][8] bi[504][0] bi[504][1] bi[504][2] bi[504][3] bi[504][4] bi[504][5] bi[504][6] bi[504][7] bi[504][8] bi[505][0] bi[505][1] bi[505][2] bi[505][3] bi[505][4] bi[505][5] bi[505][6] bi[505][7] bi[505][8] bi[506][0] bi[506][1] bi[506][2] bi[506][3] bi[506][4] bi[506][5] bi[506][6] bi[506][7] bi[506][8] bi[507][0] bi[507][1] bi[507][2] bi[507][3] bi[507][4] bi[507][5] bi[507][6] bi[507][7] bi[507][8] bi[508][0] bi[508][1] bi[508][2] bi[508][3] bi[508][4] bi[508][5] bi[508][6] bi[508][7] bi[508][8] bi[509][0] bi[509][1] bi[509][2] bi[509][3] bi[509][4] bi[509][5] bi[509][6] bi[509][7] bi[509][8] bi[510][0] bi[510][1] bi[510][2] bi[510][3] bi[510][4] bi[510][5] bi[510][6] bi[510][7] bi[510][8] bi[511][0] bi[511][1] bi[511][2] bi[511][3] bi[511][4] bi[511][5] bi[511][6] bi[511][7] bi[511][8] g[0] g[1]
83.11/57.89	v       </list>
83.11/57.89	v       <values>
83.11/57.89	v         0 1 3 7 15 30 60 121 242 485 459 406 301 91 182 364 217 435 358 204 408 305 99 199 398 284 57 115 230 460 409 307 103 207 415 319 126 253 506 501 490 469 426 340 168 337 163 326 141 283 55 110 221 443 374 237 475 438 365 218 437 363 214 428 345 178 356 201 403 295 79 158 316 120 241 482 453 394 277 42 84 169 338 165 331 151 302 92 185 370 228 456 400 289 67 134 269 26 52 104 209 419 327 142 285 59 119 238 476 440 368 225 450 389 267 23 47 95 191 383 255 511 510 509 507 502 492 473 434 357 203 407 303 94 188 377 243 486 461 410 308 105 210 420 328 144 288 65 130 260 8 16 33 66 133 266 21 43 86 173 346 181 362 212 425 339 166 332 153 306 101 202 405 299 87 175 351 190 380 249 499 487 463 414 317 123 246 493 474 436 361 211 422 333 155 311 111 223 446 381 251 503 494 477 442 373 235 471 430 348 184 369 227 455 399 286 61 122 245 491 470 429 347 183 367 222 444 376 240 481 451 391 271 31 63 127 254 508 505 498 484 457 402 292 73 147 294 77 154 309 106 213 427 342 172 344 177 354 197 395 279 46 93 186 372 233 467 423 334 157 315 118 236 472 432 353 194 388 265 19 38 76 152 304 97 195 390 268 24 49 98 196 393 274 37 75 150 300 89 179 359 206 413 314 116 232 465 418 325 138 276 40 81 162 324 136 272 32 64 128 257 2 5 11 22 45 90 180 360 208 416 321 131 262 13 27 54 109 219 439 366 220 441 371 231 462 412 312 112 224 448 385 259 6 12 25 51 102 205 411 310 108 216 433 355 198 397 282 53 107 215 431 350 189 379 247 495 478 445 378 244 488 464 417 323 135 270 28 56 113 226 452 392 273 34 69 139 278 44 88 176 352 193 387 263 14 29 58 117 234 468 424 336 161 322 132 264 17 35 70 140 281 50 100 200 401 290 68 137 275 39 78 156 313 114 229 458 404 297 83 167 335 159 318 125 250 500 489 466 421 330 149 298 85 170 341 171 343 174 349 187 375 239 479 447 382 252 504 496 480 449 386 261 10 20 41 82 164 329 146 293 74 148 296 80 160 320 129 258 4 9 18 36 72 145 291 71 143 287 62 124 248 497 483 454 396 280 48 96 192 384 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 256 256
83.11/57.89	v       </values>
83.11/57.89	v     </instantiation>
83.11/57.89	s SATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402605-1568972694/watcher-4402605-1568972694 -o /tmp/evaluation-result-4402605-1568972694/solver-4402605-1568972694 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14013 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1202144846 HOME/instance-4402605-1568972694.xml 

running on 4 cores: 4-7

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


[startup+0.100088 s]*
/proc/loadavg: 1.29 1.63 1.57 2/215 15464
/proc/meminfo: memFree=3498368/32770688 swapFree=66927192/67108860
[pid=15411] ppid=15408 vsize=9972712 memory=18064 CPUtime=0.1 cores=4-7
/proc/15411/stat : 15411 (java) S 15408 15411 13981 0 -1 1077944320 4286 13159 0 0 1 1 5 3 20 0 6 0 473275640 10212057088 4516 33554432000 4194304 4196468 140726931348992 140726931331536 140505539428087 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
/proc/15411/statm: 2493178 4516 1896 1 0 2481616 0
[pid=15411/tid=15464] ppid=15408 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=4-7
/proc/15411/task/15464/stat : 15464 (java) R 15408 15411 13981 0 -1 4202560 2078 13159 0 0 0 0 5 3 20 0 6 0 473275650 10212057088 4582 33554432000 4194304 4196468 140726931348992 140505511264848 140505539450013 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15465] ppid=15408 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=4-7
/proc/15411/task/15465/stat : 15465 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 6 0 473275650 10212057088 4582 33554432000 4194304 4196468 140726931348992 140505543670544 140505539438293 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15466] ppid=15408 vsize=9972712 memory=140163951253120 CPUtime=0.08 cores=4-7
/proc/15411/task/15466/stat : 15466 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 6 0 473275650 10212057088 4582 33554432000 4194304 4196468 140726931348992 140505431944080 140505539438293 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15467] ppid=15408 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15467/stat : 15467 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 6 0 473275650 10212057088 4582 33554432000 4194304 4196468 140726931348992 140505430891536 140505539438293 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15468] ppid=15408 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7
/proc/15411/task/15468/stat : 15468 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 6 0 473275650 10212057088 4582 33554432000 4194304 4196468 140726931348992 140505429838992 140505539438293 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18064 KiB

[startup+0.211114 s]*
/proc/loadavg: 1.29 1.63 1.57 3/228 15477
/proc/meminfo: memFree=3476672/32770688 swapFree=66927192/67108860
[pid=15411] ppid=15408 vsize=10820196 memory=40704 CPUtime=0.26 cores=4-7
/proc/15411/stat : 15411 (java) S 15408 15411 13981 0 -1 1077944320 7032 13159 0 0 17 1 5 3 20 0 15 0 473275640 11079880704 10176 33554432000 4194304 4196468 140726931348992 140726931331536 140505539428087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
/proc/15411/statm: 2705049 10176 3287 1 0 2667149 0
[pid=15411/tid=15464] ppid=15408 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=4-7
/proc/15411/task/15464/stat : 15464 (java) R 15408 15411 13981 0 -1 4202560 3511 13159 0 0 10 1 5 3 20 0 15 0 473275650 11079880704 10176 33554432000 4194304 4196468 140726931348992 140505511242272 140505539450013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15465] ppid=15408 vsize=10820196 memory=364 CPUtime=0.08 cores=4-7
/proc/15411/task/15465/stat : 15465 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275650 11079880704 10176 33554432000 4194304 4196468 140726931348992 140505543670544 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15466] ppid=15408 vsize=10820196 memory=3473316200837699232 CPUtime=0.08 cores=4-7
/proc/15411/task/15466/stat : 15466 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275650 11079880704 10176 33554432000 4194304 4196468 140726931348992 140505431944080 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15467] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15467/stat : 15467 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275650 11079880704 10176 33554432000 4194304 4196468 140726931348992 140505430891536 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15468] ppid=15408 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/15411/task/15468/stat : 15468 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275650 11079880704 10176 33554432000 4194304 4196468 140726931348992 140505429838992 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15469] ppid=15408 vsize=10820196 memory=140163951253120 CPUtime=0.08 cores=4-7
/proc/15411/task/15469/stat : 15469 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275652 11079880704 10176 33554432000 4194304 4196468 140726931348992 140504998795248 140505539439234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15470] ppid=15408 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/15411/task/15470/stat : 15470 (java) S 15408 15411 13981 0 -1 1077944384 33 13159 0 0 0 0 5 3 20 0 15 0 473275652 11079880704 10176 33554432000 4194304 4196468 140726931348992 140504997741472 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15471] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15471/stat : 15471 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275653 11079880704 10176 33554432000 4194304 4196468 140726931348992 140504419263472 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15472] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15472/stat : 15472 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11079880704 10176 33554432000 4194304 4196468 140726931348992 140504111864016 140505539446683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15473] ppid=15408 vsize=10820196 memory=0 CPUtime=0.09 cores=4-7
/proc/15411/task/15473/stat : 15473 (java) S 15408 15411 13981 0 -1 1077944384 364 13159 0 0 1 0 5 3 20 0 15 0 473275656 11079880704 10176 33554432000 4194304 4196468 140726931348992 140504964184560 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15474] ppid=15408 vsize=10820196 memory=-1 CPUtime=0.09 cores=4-7
/proc/15411/task/15474/stat : 15474 (java) S 15408 15411 13981 0 -1 1077944384 295 13159 0 0 1 0 5 3 20 0 15 0 473275656 11079880704 10176 33554432000 4194304 4196468 140726931348992 140504963132016 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15475] ppid=15408 vsize=10820196 memory=140163951253120 CPUtime=0.11 cores=4-7
/proc/15411/task/15475/stat : 15475 (java) S 15408 15411 13981 0 -1 1077944384 603 13159 0 0 3 0 5 3 20 0 15 0 473275656 11079880704 10176 33554432000 4194304 4196468 140726931348992 140504962079472 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15476] ppid=15408 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/15411/task/15476/stat : 15476 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11079880704 10176 33554432000 4194304 4196468 140726931348992 140504078306400 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15477] ppid=15408 vsize=10820196 memory=140163951253120 CPUtime=0.08 cores=4-7
/proc/15411/task/15477/stat : 15477 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275656 11079880704 10176 33554432000 4194304 4196468 140726931348992 140504961026352 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40704 KiB

[startup+0.311537 s]*
/proc/loadavg: 1.29 1.63 1.57 4/228 15477
/proc/meminfo: memFree=3464276/32770688 swapFree=66927192/67108860
[pid=15411] ppid=15408 vsize=10820196 memory=50260 CPUtime=0.4 cores=4-7
/proc/15411/stat : 15411 (java) S 15408 15411 13981 0 -1 1077944320 10278 13159 0 0 29 3 5 3 20 0 15 0 473275640 11079880704 12565 33554432000 4194304 4196468 140726931348992 140726931331536 140505539428087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
/proc/15411/statm: 2705049 12565 3313 1 0 2667149 0
[pid=15411/tid=15464] ppid=15408 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=4-7
/proc/15411/task/15464/stat : 15464 (java) R 15408 15411 13981 0 -1 4202560 6747 13159 0 0 19 2 5 3 20 0 15 0 473275650 11079880704 12565 33554432000 4194304 4196468 140726931348992 140505511237008 140505522614896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15465] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15465/stat : 15465 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275650 11079880704 12565 33554432000 4194304 4196468 140726931348992 140505543670544 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15466] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15466/stat : 15466 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275650 11079880704 12565 33554432000 4194304 4196468 140726931348992 140505431944080 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15467] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15467/stat : 15467 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275650 11079880704 12565 33554432000 4194304 4196468 140726931348992 140505430891536 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15468] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15468/stat : 15468 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275650 11079880704 12565 33554432000 4194304 4196468 140726931348992 140505429838992 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15469] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15469/stat : 15469 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275652 11079880704 12565 33554432000 4194304 4196468 140726931348992 140504998795248 140505539439234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15470] ppid=15408 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/15411/task/15470/stat : 15470 (java) S 15408 15411 13981 0 -1 1077944384 33 13159 0 0 0 0 5 3 20 0 15 0 473275652 11079880704 12565 33554432000 4194304 4196468 140726931348992 140504997741472 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15471] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15471/stat : 15471 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275653 11079880704 12565 33554432000 4194304 4196468 140726931348992 140504419263472 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15472] ppid=15408 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15472/stat : 15472 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11079880704 12565 33554432000 4194304 4196468 140726931348992 140504111864016 140505539446683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15473] ppid=15408 vsize=10820196 memory=0 CPUtime=0.1 cores=4-7
/proc/15411/task/15473/stat : 15473 (java) S 15408 15411 13981 0 -1 1077944384 364 13159 0 0 2 0 5 3 20 0 15 0 473275656 11079880704 12565 33554432000 4194304 4196468 140726931348992 140504964184560 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15474] ppid=15408 vsize=10820196 memory=-1 CPUtime=0.1 cores=4-7
/proc/15411/task/15474/stat : 15474 (java) S 15408 15411 13981 0 -1 1077944384 296 13159 0 0 2 0 5 3 20 0 15 0 473275656 11079880704 12565 33554432000 4194304 4196468 140726931348992 140504963132016 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15475] ppid=15408 vsize=10820196 memory=140163951253120 CPUtime=0.13 cores=4-7
/proc/15411/task/15475/stat : 15475 (java) S 15408 15411 13981 0 -1 1077944384 613 13159 0 0 5 0 5 3 20 0 15 0 473275656 11079880704 12565 33554432000 4194304 4196468 140726931348992 140504962079472 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15476] ppid=15408 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/15411/task/15476/stat : 15476 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11079880704 12565 33554432000 4194304 4196468 140726931348992 140504078306400 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15477] ppid=15408 vsize=10820196 memory=140163951253120 CPUtime=0.08 cores=4-7
/proc/15411/task/15477/stat : 15477 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275656 11079880704 12565 33554432000 4194304 4196468 140726931348992 140504961026352 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50260 KiB

[startup+0.701472 s]
/proc/loadavg: 1.29 1.63 1.57 4/228 15477
/proc/meminfo: memFree=3452392/32770688 swapFree=66927192/67108860
[pid=15411] ppid=15408 vsize=10822316 memory=76856 CPUtime=1.11 cores=4-7
/proc/15411/stat : 15411 (java) S 15408 15411 13981 0 -1 1077944320 14035 13159 0 0 99 4 5 3 20 0 15 0 473275640 11082051584 19214 33554432000 4194304 4196468 140726931348992 140726931331536 140505539428087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
/proc/15411/statm: 2705579 19214 3486 1 0 2667661 0
[pid=15411/tid=15464] ppid=15408 vsize=10822316 memory=0 CPUtime=0.67 cores=4-7
/proc/15411/task/15464/stat : 15464 (java) R 15408 15411 13981 0 -1 4202560 9477 13159 0 0 55 4 5 3 20 0 15 0 473275650 11082051584 19214 33554432000 4194304 4196468 140726931348992 140505511256416 140505523508574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15465] ppid=15408 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15465/stat : 15465 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275650 11082051584 19214 33554432000 4194304 4196468 140726931348992 140505543670544 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15466] ppid=15408 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15466/stat : 15466 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275650 11082051584 19214 33554432000 4194304 4196468 140726931348992 140505431944080 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15467] ppid=15408 vsize=10822316 memory=140163841929424 CPUtime=0.08 cores=4-7
/proc/15411/task/15467/stat : 15467 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275650 11082051584 19214 33554432000 4194304 4196468 140726931348992 140505430891536 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15468] ppid=15408 vsize=10822316 memory=140166257705563 CPUtime=0.08 cores=4-7
/proc/15411/task/15468/stat : 15468 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275650 11082051584 19214 33554432000 4194304 4196468 140726931348992 140505429838992 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15469] ppid=15408 vsize=10822316 memory=980 CPUtime=0.08 cores=4-7
/proc/15411/task/15469/stat : 15469 (java) S 15408 15411 13981 0 -1 1077944384 6 13159 0 0 0 0 5 3 20 0 15 0 473275652 11082051584 19214 33554432000 4194304 4196468 140726931348992 140504998795248 140505539439234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15470] ppid=15408 vsize=10822316 memory=7014751519617144145 CPUtime=0.08 cores=4-7
/proc/15411/task/15470/stat : 15470 (java) S 15408 15411 13981 0 -1 1077944384 33 13159 0 0 0 0 5 3 20 0 15 0 473275652 11082051584 19214 33554432000 4194304 4196468 140726931348992 140504997741472 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15471] ppid=15408 vsize=10822316 memory=6081104596517153130 CPUtime=0.08 cores=4-7
/proc/15411/task/15471/stat : 15471 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275653 11082051584 19214 33554432000 4194304 4196468 140726931348992 140504419263472 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15472] ppid=15408 vsize=10822316 memory=33104 CPUtime=0.08 cores=4-7
/proc/15411/task/15472/stat : 15472 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11082051584 19214 33554432000 4194304 4196468 140726931348992 140504111864016 140505539446683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15473] ppid=15408 vsize=10822316 memory=2120 CPUtime=0.19 cores=4-7
/proc/15411/task/15473/stat : 15473 (java) R 15408 15411 13981 0 -1 4202560 726 13159 0 0 11 0 5 3 20 0 15 0 473275656 11082051584 19214 33554432000 4194304 4196468 140726931348992 140504964173152 140505531717536 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15474] ppid=15408 vsize=10822316 memory=496 CPUtime=0.21 cores=4-7
/proc/15411/task/15474/stat : 15474 (java) R 15408 15411 13981 0 -1 4202560 833 13159 0 0 13 0 5 3 20 0 15 0 473275656 11082051584 19214 33554432000 4194304 4196468 140726931348992 140504963118480 140505524554146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15475] ppid=15408 vsize=10822316 memory=1560 CPUtime=0.25 cores=4-7
/proc/15411/task/15475/stat : 15475 (java) S 15408 15411 13981 0 -1 1077944384 740 13159 0 0 17 0 5 3 20 0 15 0 473275656 11082051584 19214 33554432000 4194304 4196468 140726931348992 140504962079472 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15476] ppid=15408 vsize=10822316 memory=928 CPUtime=0.08 cores=4-7
/proc/15411/task/15476/stat : 15476 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11082051584 19214 33554432000 4194304 4196468 140726931348992 140504078306400 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15477] ppid=15408 vsize=10822316 memory=1724 CPUtime=0.08 cores=4-7
/proc/15411/task/15477/stat : 15477 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275656 11082051584 19214 33554432000 4194304 4196468 140726931348992 140504961026352 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 76856 KiB

[startup+1.50075 s]
/proc/loadavg: 1.29 1.63 1.57 6/228 15477
/proc/meminfo: memFree=3404692/32770688 swapFree=66927192/67108860
[pid=15411] ppid=15408 vsize=10830584 memory=184268 CPUtime=3.5 cores=4-7
/proc/15411/stat : 15411 (java) S 15408 15411 13981 0 -1 1077944320 26096 13159 0 0 333 9 5 3 20 0 15 0 473275640 11090518016 46067 33554432000 4194304 4196468 140726931348992 140726931331536 140505539428087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
/proc/15411/statm: 2707646 46067 3553 1 0 2669709 0
[pid=15411/tid=15464] ppid=15408 vsize=10830584 memory=163980 CPUtime=1.47 cores=4-7
/proc/15411/task/15464/stat : 15464 (java) R 15408 15411 13981 0 -1 4202560 13338 13159 0 0 132 7 5 3 20 0 15 0 473275650 11090518016 46067 33554432000 4194304 4196468 140726931348992 140505511243712 140505523508604 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15465] ppid=15408 vsize=10830584 memory=1444 CPUtime=0.08 cores=4-7
/proc/15411/task/15465/stat : 15465 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275650 11090518016 46067 33554432000 4194304 4196468 140726931348992 140505543670544 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15466] ppid=15408 vsize=10830584 memory=1764 CPUtime=0.08 cores=4-7
/proc/15411/task/15466/stat : 15466 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275650 11090518016 46067 33554432000 4194304 4196468 140726931348992 140505431944080 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15467] ppid=15408 vsize=10830584 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15467/stat : 15467 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275650 11090518016 46067 33554432000 4194304 4196468 140726931348992 140505430891536 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15468] ppid=15408 vsize=10830584 memory=-6154581634397065563 CPUtime=0.08 cores=4-7
/proc/15411/task/15468/stat : 15468 (java) S 15408 15411 13981 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 473275650 11090518016 46067 33554432000 4194304 4196468 140726931348992 140505429838992 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15469] ppid=15408 vsize=10830584 memory=3833724587141655355 CPUtime=0.08 cores=4-7
/proc/15411/task/15469/stat : 15469 (java) S 15408 15411 13981 0 -1 1077944384 19 13159 0 0 0 0 5 3 20 0 15 0 473275652 11090518016 46067 33554432000 4194304 4196468 140726931348992 140504998795248 140505539439234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15470] ppid=15408 vsize=10830584 memory=-6944103529398779036 CPUtime=0.08 cores=4-7
/proc/15411/task/15470/stat : 15470 (java) S 15408 15411 13981 0 -1 1077944384 33 13159 0 0 0 0 5 3 20 0 15 0 473275652 11090518016 46067 33554432000 4194304 4196468 140726931348992 140504997741472 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15471] ppid=15408 vsize=10830584 memory=-6005673638262905286 CPUtime=0.08 cores=4-7
/proc/15411/task/15471/stat : 15471 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275653 11090518016 46067 33554432000 4194304 4196468 140726931348992 140504419263472 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15472] ppid=15408 vsize=10830584 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15472/stat : 15472 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11090518016 46067 33554432000 4194304 4196468 140726931348992 140504111864016 140505539446683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15473] ppid=15408 vsize=10830584 memory=0 CPUtime=0.85 cores=4-7
/proc/15411/task/15473/stat : 15473 (java) S 15408 15411 13981 0 -1 1077944384 3662 13159 0 0 77 0 5 3 20 0 15 0 473275656 11090518016 46067 33554432000 4194304 4196468 140726931348992 140504964184560 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15474] ppid=15408 vsize=10830584 memory=4580 CPUtime=0.83 cores=4-7
/proc/15411/task/15474/stat : 15474 (java) S 15408 15411 13981 0 -1 1077944384 4394 13159 0 0 75 0 5 3 20 0 15 0 473275656 11090518016 46067 33554432000 4194304 4196468 140726931348992 140504963132016 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15475] ppid=15408 vsize=10830584 memory=6226880021414564432 CPUtime=0.55 cores=4-7
/proc/15411/task/15475/stat : 15475 (java) S 15408 15411 13981 0 -1 1077944384 2427 13159 0 0 47 0 5 3 20 0 15 0 473275656 11090518016 46067 33554432000 4194304 4196468 140726931348992 140504962079472 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15476] ppid=15408 vsize=10830584 memory=5792262883242299478 CPUtime=0.08 cores=4-7
/proc/15411/task/15476/stat : 15476 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11090518016 46067 33554432000 4194304 4196468 140726931348992 140504078306400 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15477] ppid=15408 vsize=10830584 memory=7596562590157988951 CPUtime=0.08 cores=4-7
/proc/15411/task/15477/stat : 15477 (java) S 15408 15411 13981 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 473275656 11090518016 46067 33554432000 4194304 4196468 140726931348992 140504961026352 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 10830584 KiB

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

[pid=15411/tid=15475] ppid=15408 vsize=10851096 memory=924 CPUtime=4.59 cores=4-7
/proc/15411/task/15475/stat : 15475 (java) S 15408 15411 13981 0 -1 1077944384 12068 13159 0 0 445 6 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504962079472 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15476] ppid=15408 vsize=10851096 memory=1444 CPUtime=0.08 cores=4-7
/proc/15411/task/15476/stat : 15476 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504078306400 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15477] ppid=15408 vsize=10851096 memory=1764 CPUtime=0.11 cores=4-7
/proc/15411/task/15477/stat : 15477 (java) S 15408 15411 13981 0 -1 1077944384 278 13159 0 0 1 2 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504961026352 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 81.31 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 2790192 KiB

[startup+56.8008 s]
/proc/loadavg: 1.68 1.70 1.60 3/227 15480
/proc/meminfo: memFree=736852/32770688 swapFree=66927192/67108860
[pid=15411] ppid=15408 vsize=10851096 memory=2790192 CPUtime=82.11 cores=4-7
/proc/15411/stat : 15411 (java) S 15408 15411 13981 0 -1 1077944320 98933 13159 0 0 8050 153 5 3 20 0 15 0 473275640 11111522304 697548 33554432000 4194304 4196468 140726931348992 140726931331536 140505539428087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
/proc/15411/statm: 2712774 697548 3647 1 0 2674829 0
[pid=15411/tid=15464] ppid=15408 vsize=10851096 memory=984 CPUtime=55.67 cores=4-7
/proc/15411/task/15464/stat : 15464 (java) R 15408 15411 13981 0 -1 4202560 30908 13159 0 0 5519 40 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505511260976 140505123875029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15465] ppid=15408 vsize=10851096 memory=2020 CPUtime=0.96 cores=4-7
/proc/15411/task/15465/stat : 15465 (java) S 15408 15411 13981 0 -1 1077944384 1267 13159 0 0 67 21 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505543670544 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15466] ppid=15408 vsize=10851096 memory=1420 CPUtime=1.01 cores=4-7
/proc/15411/task/15466/stat : 15466 (java) S 15408 15411 13981 0 -1 1077944384 3144 13159 0 0 71 22 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505431944080 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15467] ppid=15408 vsize=10851096 memory=776 CPUtime=1.01 cores=4-7
/proc/15411/task/15467/stat : 15467 (java) S 15408 15411 13981 0 -1 1077944384 972 13159 0 0 69 24 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505430891536 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15468] ppid=15408 vsize=10851096 memory=-7025448734505604476 CPUtime=0.98 cores=4-7
/proc/15411/task/15468/stat : 15468 (java) S 15408 15411 13981 0 -1 1077944384 1167 13159 0 0 69 21 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505429838992 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15469] ppid=15408 vsize=10851096 memory=-8707038579349950309 CPUtime=0.17 cores=4-7
/proc/15411/task/15469/stat : 15469 (java) S 15408 15411 13981 0 -1 1077944384 4494 13159 0 0 9 0 5 3 20 0 15 0 473275652 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504998795248 140505539439234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15470] ppid=15408 vsize=10851096 memory=8514726395714825349 CPUtime=0.08 cores=4-7
/proc/15411/task/15470/stat : 15470 (java) S 15408 15411 13981 0 -1 1077944384 51 13159 0 0 0 0 5 3 20 0 15 0 473275652 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504997741600 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15471] ppid=15408 vsize=10851096 memory=7822038051842261661 CPUtime=0.08 cores=4-7
/proc/15411/task/15471/stat : 15471 (java) S 15408 15411 13981 0 -1 1077944384 8 13159 0 0 0 0 5 3 20 0 15 0 473275653 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504419263488 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15472] ppid=15408 vsize=10851096 memory=4713745541279610410 CPUtime=0.08 cores=4-7
/proc/15411/task/15472/stat : 15472 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504111864016 140505539446683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15473] ppid=15408 vsize=10851096 memory=-6520471753822164382 CPUtime=9 cores=4-7
/proc/15411/task/15473/stat : 15473 (java) S 15408 15411 13981 0 -1 1077944384 14853 13159 0 0 887 5 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504964184560 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15474] ppid=15408 vsize=10851096 memory=8514701219730522529 CPUtime=9.21 cores=4-7
/proc/15411/task/15474/stat : 15474 (java) S 15408 15411 13981 0 -1 1077944384 27507 13159 0 0 907 6 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504963132016 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15475] ppid=15408 vsize=10851096 memory=0 CPUtime=4.59 cores=4-7
/proc/15411/task/15475/stat : 15475 (java) S 15408 15411 13981 0 -1 1077944384 12068 13159 0 0 445 6 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504962079472 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15476] ppid=15408 vsize=10851096 memory=0 CPUtime=0.08 cores=4-7
/proc/15411/task/15476/stat : 15476 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504078306400 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15477] ppid=15408 vsize=10851096 memory=0 CPUtime=0.11 cores=4-7
/proc/15411/task/15477/stat : 15477 (java) S 15408 15411 13981 0 -1 1077944384 278 13159 0 0 1 2 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504961026352 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 82.11 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 2790192 KiB

[startup+57.6008 s]
/proc/loadavg: 1.68 1.70 1.60 3/227 15480
/proc/meminfo: memFree=737684/32770688 swapFree=66927192/67108860
[pid=15411] ppid=15408 vsize=10851096 memory=2790192 CPUtime=82.91 cores=4-7
/proc/15411/stat : 15411 (java) S 15408 15411 13981 0 -1 1077944320 98949 13159 0 0 8130 153 5 3 20 0 15 0 473275640 11111522304 697548 33554432000 4194304 4196468 140726931348992 140726931331536 140505539428087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
/proc/15411/statm: 2712774 697548 3647 1 0 2674829 0
[pid=15411/tid=15464] ppid=15408 vsize=10851096 memory=2828 CPUtime=56.47 cores=4-7
/proc/15411/task/15464/stat : 15464 (java) R 15408 15411 13981 0 -1 4202560 30909 13159 0 0 5599 40 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505511260976 140505127736410 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15465] ppid=15408 vsize=10851096 memory=2783852 CPUtime=0.96 cores=4-7
/proc/15411/task/15465/stat : 15465 (java) S 15408 15411 13981 0 -1 1077944384 1267 13159 0 0 67 21 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505543670544 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15466] ppid=15408 vsize=10851096 memory=6791534058613427641 CPUtime=1.01 cores=4-7
/proc/15411/task/15466/stat : 15466 (java) S 15408 15411 13981 0 -1 1077944384 3144 13159 0 0 71 22 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505431944080 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15467] ppid=15408 vsize=10851096 memory=3467828033823651648 CPUtime=1.01 cores=4-7
/proc/15411/task/15467/stat : 15467 (java) S 15408 15411 13981 0 -1 1077944384 972 13159 0 0 69 24 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505430891536 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15468] ppid=15408 vsize=10851096 memory=6940156330051319616 CPUtime=0.98 cores=4-7
/proc/15411/task/15468/stat : 15468 (java) S 15408 15411 13981 0 -1 1077944384 1167 13159 0 0 69 21 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505429838992 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15469] ppid=15408 vsize=10851096 memory=-6881090927094253760 CPUtime=0.17 cores=4-7
/proc/15411/task/15469/stat : 15469 (java) S 15408 15411 13981 0 -1 1077944384 4494 13159 0 0 9 0 5 3 20 0 15 0 473275652 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504998795248 140505539439234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15470] ppid=15408 vsize=10851096 memory=63632 CPUtime=0.08 cores=4-7
/proc/15411/task/15470/stat : 15470 (java) S 15408 15411 13981 0 -1 1077944384 51 13159 0 0 0 0 5 3 20 0 15 0 473275652 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504997741600 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15471] ppid=15408 vsize=10851096 memory=984 CPUtime=0.08 cores=4-7
/proc/15411/task/15471/stat : 15471 (java) S 15408 15411 13981 0 -1 1077944384 8 13159 0 0 0 0 5 3 20 0 15 0 473275653 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504419263488 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15472] ppid=15408 vsize=10851096 memory=2020 CPUtime=0.08 cores=4-7
/proc/15411/task/15472/stat : 15472 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504111864016 140505539446683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15473] ppid=15408 vsize=10851096 memory=1420 CPUtime=9 cores=4-7
/proc/15411/task/15473/stat : 15473 (java) S 15408 15411 13981 0 -1 1077944384 14853 13159 0 0 887 5 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504964184560 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15474] ppid=15408 vsize=10851096 memory=776 CPUtime=9.21 cores=4-7
/proc/15411/task/15474/stat : 15474 (java) S 15408 15411 13981 0 -1 1077944384 27522 13159 0 0 907 6 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504963132016 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15475] ppid=15408 vsize=10851096 memory=280327684891328 CPUtime=4.59 cores=4-7
/proc/15411/task/15475/stat : 15475 (java) S 15408 15411 13981 0 -1 1077944384 12068 13159 0 0 445 6 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504962079472 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15476] ppid=15408 vsize=10851096 memory=317503989333885242 CPUtime=0.08 cores=4-7
/proc/15411/task/15476/stat : 15476 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504078306400 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15477] ppid=15408 vsize=10851096 memory=14132229966143655 CPUtime=0.11 cores=4-7
/proc/15411/task/15477/stat : 15477 (java) S 15408 15411 13981 0 -1 1077944384 278 13159 0 0 1 2 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504961026352 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 82.91 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 2790192 KiB

[startup+57.8008 s]
/proc/loadavg: 1.68 1.70 1.60 3/227 15480
/proc/meminfo: memFree=737684/32770688 swapFree=66927192/67108860
[pid=15411] ppid=15408 vsize=10851096 memory=2790192 CPUtime=83.11 cores=4-7
/proc/15411/stat : 15411 (java) S 15408 15411 13981 0 -1 1077944320 98949 13159 0 0 8150 153 5 3 20 0 15 0 473275640 11111522304 697548 33554432000 4194304 4196468 140726931348992 140726931331536 140505539428087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
/proc/15411/statm: 2712774 697548 3647 1 0 2674829 0
[pid=15411/tid=15464] ppid=15408 vsize=10851096 memory=7019239781846507857 CPUtime=56.67 cores=4-7
/proc/15411/task/15464/stat : 15464 (java) R 15408 15411 13981 0 -1 4202560 30909 13159 0 0 5619 40 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505511260976 140505121591172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15465] ppid=15408 vsize=10851096 memory=6791534058613427641 CPUtime=0.96 cores=4-7
/proc/15411/task/15465/stat : 15465 (java) S 15408 15411 13981 0 -1 1077944384 1267 13159 0 0 67 21 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505543670544 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15466] ppid=15408 vsize=10851096 memory=1556 CPUtime=1.01 cores=4-7
/proc/15411/task/15466/stat : 15466 (java) S 15408 15411 13981 0 -1 1077944384 3144 13159 0 0 71 22 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505431944080 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15467] ppid=15408 vsize=10851096 memory=9588 CPUtime=1.01 cores=4-7
/proc/15411/task/15467/stat : 15467 (java) S 15408 15411 13981 0 -1 1077944384 972 13159 0 0 69 24 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505430891536 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15468] ppid=15408 vsize=10851096 memory=1712 CPUtime=0.98 cores=4-7
/proc/15411/task/15468/stat : 15468 (java) S 15408 15411 13981 0 -1 1077944384 1167 13159 0 0 69 21 5 3 20 0 15 0 473275650 11111522304 697548 33554432000 4194304 4196468 140726931348992 140505429838992 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15469] ppid=15408 vsize=10851096 memory=6028 CPUtime=0.17 cores=4-7
/proc/15411/task/15469/stat : 15469 (java) S 15408 15411 13981 0 -1 1077944384 4494 13159 0 0 9 0 5 3 20 0 15 0 473275652 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504998795248 140505539439234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15470] ppid=15408 vsize=10851096 memory=4040 CPUtime=0.08 cores=4-7
/proc/15411/task/15470/stat : 15470 (java) S 15408 15411 13981 0 -1 1077944384 51 13159 0 0 0 0 5 3 20 0 15 0 473275652 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504997741600 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15471] ppid=15408 vsize=10851096 memory=280327683898976 CPUtime=0.08 cores=4-7
/proc/15411/task/15471/stat : 15471 (java) S 15408 15411 13981 0 -1 1077944384 8 13159 0 0 0 0 5 3 20 0 15 0 473275653 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504419263488 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15472] ppid=15408 vsize=10851096 memory=7594315140726943337 CPUtime=0.08 cores=4-7
/proc/15411/task/15472/stat : 15472 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504111864016 140505539446683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15473] ppid=15408 vsize=10851096 memory=7306643359665448558 CPUtime=9 cores=4-7
/proc/15411/task/15473/stat : 15473 (java) S 15408 15411 13981 0 -1 1077944384 14853 13159 0 0 887 5 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504964184560 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15474] ppid=15408 vsize=10851096 memory=7596837463735297646 CPUtime=9.21 cores=4-7
/proc/15411/task/15474/stat : 15474 (java) S 15408 15411 13981 0 -1 1077944384 27522 13159 0 0 907 6 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504963132016 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15475] ppid=15408 vsize=10851096 memory=7091596473298152301 CPUtime=4.59 cores=4-7
/proc/15411/task/15475/stat : 15475 (java) S 15408 15411 13981 0 -1 1077944384 12068 13159 0 0 445 6 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504962079472 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15476] ppid=15408 vsize=10851096 memory=8027496351257028697 CPUtime=0.08 cores=4-7
/proc/15411/task/15476/stat : 15476 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504078306400 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15477] ppid=15408 vsize=10851096 memory=33104 CPUtime=0.11 cores=4-7
/proc/15411/task/15477/stat : 15477 (java) S 15408 15411 13981 0 -1 1077944384 278 13159 0 0 1 2 5 3 20 0 15 0 473275656 11111522304 697548 33554432000 4194304 4196468 140726931348992 140504961026352 140505539439234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 83.11 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 2790192 KiB

[startup+57.9008 s]
/proc/loadavg: 1.68 1.70 1.60 3/227 15480
/proc/meminfo: memFree=737684/32770688 swapFree=66927192/67108860
[pid=15411] ppid=15408 vsize=10949404 memory=2792484 CPUtime=83.32 cores=4-7
/proc/15411/stat : 15411 (java) S 15408 15411 13981 0 -1 1077944320 104166 13159 0 0 8171 153 5 3 20 0 14 0 473275640 11212189696 698121 33554432000 4194304 4196468 140726931348992 140726931331536 140505539428087 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
/proc/15411/statm: 2737351 698121 3650 1 0 2699406 0
[pid=15411/tid=15464] ppid=15408 vsize=10949404 memory=288230574492221466 CPUtime=56.77 cores=4-7
/proc/15411/task/15464/stat : 15464 (java) S 15408 15411 13981 0 -1 1077944384 32628 13159 0 0 5628 41 5 3 20 0 14 0 473275650 11212189696 698121 33554432000 4194304 4196468 140726931348992 140505511271568 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15465] ppid=15408 vsize=10949404 memory=2790192 CPUtime=0.96 cores=4-7
/proc/15411/task/15465/stat : 15465 (java) S 15408 15411 13981 0 -1 1077944384 1267 13159 0 0 67 21 5 3 20 0 14 0 473275650 11212189696 698121 33554432000 4194304 4196468 140726931348992 140505543670544 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15466] ppid=15408 vsize=10949404 memory=2790192 CPUtime=1.01 cores=4-7
/proc/15411/task/15466/stat : 15466 (java) S 15408 15411 13981 0 -1 1077944384 3144 13159 0 0 71 22 5 3 20 0 14 0 473275650 11212189696 698121 33554432000 4194304 4196468 140726931348992 140505431944080 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15467] ppid=15408 vsize=10949404 memory=2790192 CPUtime=1.01 cores=4-7
/proc/15411/task/15467/stat : 15467 (java) S 15408 15411 13981 0 -1 1077944384 972 13159 0 0 69 24 5 3 20 0 14 0 473275650 11212189696 698121 33554432000 4194304 4196468 140726931348992 140505430891536 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15468] ppid=15408 vsize=10949404 memory=2790192 CPUtime=0.98 cores=4-7
/proc/15411/task/15468/stat : 15468 (java) S 15408 15411 13981 0 -1 1077944384 1167 13159 0 0 69 21 5 3 20 0 14 0 473275650 11212189696 698121 33554432000 4194304 4196468 140726931348992 140505429838992 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15469] ppid=15408 vsize=10949404 memory=3624 CPUtime=0.17 cores=4-7
/proc/15411/task/15469/stat : 15469 (java) S 15408 15411 13981 0 -1 1077944384 6310 13159 0 0 9 0 5 3 20 0 14 0 473275652 11212189696 698121 33554432000 4194304 4196468 140726931348992 140504998795456 140505539439234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15470] ppid=15408 vsize=10949404 memory=2071896 CPUtime=0.08 cores=4-7
/proc/15411/task/15470/stat : 15470 (java) S 15408 15411 13981 0 -1 1077944384 51 13159 0 0 0 0 5 3 20 0 14 0 473275652 11212189696 698121 33554432000 4194304 4196468 140726931348992 140504997741600 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15471] ppid=15408 vsize=10949404 memory=2790192 CPUtime=0.08 cores=4-7
/proc/15411/task/15471/stat : 15471 (java) S 15408 15411 13981 0 -1 1077944384 8 13159 0 0 0 0 5 3 20 0 14 0 473275653 11212189696 698121 33554432000 4194304 4196468 140726931348992 140504419263488 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15472] ppid=15408 vsize=10949404 memory=280327683885088 CPUtime=0.08 cores=4-7
/proc/15411/task/15472/stat : 15472 (java) S 15408 15411 13981 0 -1 1077944384 5 13159 0 0 0 0 5 3 20 0 14 0 473275656 11212189696 698121 33554432000 4194304 4196468 140726931348992 140504111863664 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15473] ppid=15408 vsize=10949404 memory=6944937900100196217 CPUtime=9.04 cores=4-7
/proc/15411/task/15473/stat : 15473 (java) S 15408 15411 13981 0 -1 1077944384 15368 13159 0 0 891 5 5 3 20 0 14 0 473275656 11212189696 698121 33554432000 4194304 4196468 140726931348992 140504964169104 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15474] ppid=15408 vsize=10949404 memory=8751464017575557432 CPUtime=9.26 cores=4-7
/proc/15411/task/15474/stat : 15474 (java) S 15408 15411 13981 0 -1 1077944384 27764 13159 0 0 912 6 5 3 20 0 14 0 473275656 11212189696 698121 33554432000 4194304 4196468 140726931348992 140504963116528 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15475] ppid=15408 vsize=10949404 memory=7526486018442277689 CPUtime=4.62 cores=4-7
/proc/15411/task/15475/stat : 15475 (java) S 15408 15411 13981 0 -1 1077944384 12929 13159 0 0 448 6 5 3 20 0 14 0 473275656 11212189696 698121 33554432000 4194304 4196468 140726931348992 140504962074272 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
[pid=15411/tid=15476] ppid=15408 vsize=10949404 memory=6791534058613427641 CPUtime=0.08 cores=4-7
/proc/15411/task/15476/stat : 15476 (java) S 15408 15411 13981 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 14 0 473275656 11212189696 698121 33554432000 4194304 4196468 140726931348992 140504078306400 140505539438293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39145472 140726931352303 140726931354821 140726931354821 140726931357647 0
Current children cumulated CPU time: 83.32 s
Current children cumulated vsize: 10949404 KiB
Current children cumulated memory: 2792484 KiB

Child status: 0
Real time (s): 57.9239
CPU time (s): 83.3605
CPU user time (s): 81.7646
CPU system time (s): 1.59585
CPU usage (%): 143.914
Max. virtual memory (cumulated for all children) (KiB): 10949404
Max. memory (cumulated for all children) (KiB): 2792484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.7646
system time used= 1.59585
maximum resident set size= 2794480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16419
involuntary context switches= 223


# summary of solver processes directly reported to runsolver:
#   pid: 15411
#   total CPU time (s): 83.3605
#   total CPU user time (s): 81.7646
#   total CPU system time (s): 1.59585

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.429802 second user time and 0.630048 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-21 18:05:16
IDJOB=4402605
IDBENCH=125570
IDSOLVER=2861
FILE ID=node120/4402605-1568972694
RUNJOBID= node120-1324482060-14013
PBS_JOBID= 21704627
Free space on /tmp= 23256 MiB

SOLVER NAME= Concrete 3.12.3
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4402605-1568972694/watcher-4402605-1568972694 -o /tmp/evaluation-result-4402605-1568972694/solver-4402605-1568972694 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324482060-14013 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1202144846 HOME/instance-4402605-1568972694.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=1202144846

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:         3503680 kB
MemAvailable:   30837652 kB
Buffers:          106876 kB
Cached:         27187564 kB
SwapCached:        68632 kB
Active:         14582292 kB
Inactive:       13724416 kB
Active(anon):     941552 kB
Inactive(anon):   126780 kB
Active(file):   13640740 kB
Inactive(file): 13597636 kB
Unevictable:      109204 kB
Mlocked:          109204 kB
SwapTotal:      67108860 kB
SwapFree:       66927192 kB
Dirty:             35840 kB
Writeback:             0 kB
AnonPages:       1070148 kB
Mapped:            71128 kB
Shmem:             47316 kB
Slab:             553096 kB
SReclaimable:     524056 kB
SUnreclaim:        29040 kB
KernelStack:        4000 kB
PageTables:         7772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    2231344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    892928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 23220 MiB
End job on node120 at 2011-12-21 18:06:14