Trace number 4246462

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: Concrete 3.4SAT 89.2496 34.7495

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 benchmark3.17786
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 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246462-1500715607/watcher-4246462-1500715607 -o /tmp/evaluation-result-4246462-1500715607/solver-4246462-1500715607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13813 --watchdog 2560 bin/concrete HOME/instance-4246462-1500715607.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.84 1.88 1.85 3/261 17711
/proc/meminfo: memFree=28525100/32770624 swapFree=5784/157200
[pid=17711] ppid=17708 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (bash) S 17708 17711 15196 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 6825823 9736192 350 33554432000 4194304 5098028 140736077541296 140736077538936 140385450130432 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 22568960 140736077546766 140736077546851 140736077546851 140736077549550 0
/proc/17711/statm: 2377 350 277 221 0 86 0

[startup+0.10013 s]
/proc/loadavg: 1.84 1.88 1.85 3/261 17711
/proc/meminfo: memFree=28525100/32770624 swapFree=5784/157200
[pid=17711] ppid=17708 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (bash) S 17708 17711 15196 0 -1 4202496 879 6423 0 0 0 0 0 1 20 0 1 0 6825823 9871360 378 33554432000 4194304 5098028 140736077541296 140736077535304 140385450130432 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 22568960 140736077546766 140736077546851 140736077546851 140736077549550 0
/proc/17711/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200352 s]
/proc/loadavg: 1.84 1.88 1.85 3/261 17711
/proc/meminfo: memFree=28525100/32770624 swapFree=5784/157200
[pid=17711] ppid=17708 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (java) S 17708 17711 15196 0 -1 1077944320 5114 12288 0 0 6 1 7 4 20 0 13 0 6825823 10686320640 5491 33554432000 4194304 4196468 140722938973328 140722938955872 140471913950967 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
/proc/17711/statm: 2608965 5491 2173 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300314 s]
/proc/loadavg: 1.84 1.88 1.85 3/261 17711
/proc/meminfo: memFree=28525100/32770624 swapFree=5784/157200
[pid=17711] ppid=17708 vsize=10902292 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (java) S 17708 17711 15196 0 -1 1077944320 8401 12288 0 0 22 2 7 4 20 0 20 0 6825823 11163947008 9476 33554432000 4194304 4196468 140722938973328 140722938955872 140471913950967 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
/proc/17711/statm: 2725573 9476 2971 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292

[startup+0.700241 s]
/proc/loadavg: 1.84 1.88 1.85 3/261 17711
/proc/meminfo: memFree=28525100/32770624 swapFree=5784/157200
[pid=17711] ppid=17708 vsize=10902720 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (java) S 17708 17711 15196 0 -1 1077944320 12692 12288 0 0 79 4 7 4 20 0 20 0 6825823 11164385280 15941 33554432000 4194304 4196468 140722938973328 140722938955872 140471913950967 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
/proc/17711/statm: 2725680 15941 3220 1 0 2713890 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 10902720

[startup+1.50069 s]
/proc/loadavg: 1.86 1.88 1.85 3/281 17784
/proc/meminfo: memFree=28420040/32770624 swapFree=5784/157824
[pid=17711] ppid=17708 vsize=10913344 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (java) S 17708 17711 15196 0 -1 1077944320 25948 12288 0 0 208 12 7 4 20 0 20 0 6825823 11175264256 44699 33554432000 4194304 4196468 140722938973328 140722938955872 140471913950967 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
/proc/17711/statm: 2728336 44699 3412 1 0 2716450 0
[pid=17711/tid=17766] ppid=17708 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17766/stat : 17766 (java) R 17708 17711 15196 0 -1 4202560 18787 12288 0 0 126 5 7 4 20 0 20 0 6825836 11175264256 44699 33554432000 4194304 4196468 140722938973328 140471918178176 140471899116606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17767] ppid=17708 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17767/stat : 17767 (java) S 17708 17711 15196 0 -1 1077944384 42 12288 0 0 1 0 7 4 20 0 20 0 6825836 11175264256 44699 33554432000 4194304 4196468 140722938973328 140471872710928 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17768] ppid=17708 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17768/stat : 17768 (java) S 17708 17711 15196 0 -1 1077944384 120 12288 0 0 1 0 7 4 20 0 20 0 6825836 11175264256 44699 33554432000 4194304 4196468 140722938973328 140471520012688 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17769] ppid=17708 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17769/stat : 17769 (java) S 17708 17711 15196 0 -1 1077944384 18 12288 0 0 1 0 7 4 20 0 20 0 6825836 11175264256 44699 33554432000 4194304 4196468 140722938973328 140471518960144 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17770] ppid=17708 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17770/stat : 17770 (java) S 17708 17711 15196 0 -1 1077944384 22 12288 0 0 1 0 7 4 20 0 20 0 6825836 11175264256 44699 33554432000 4194304 4196468 140722938973328 140471517907600 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17771] ppid=17708 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17771/stat : 17771 (java) S 17708 17711 15196 0 -1 1077944384 20 12288 0 0 1 0 7 4 20 0 20 0 6825836 11175264256 44699 33554432000 4194304 4196468 140722938973328 140471516855056 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17772] ppid=17708 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17772/stat : 17772 (java) S 17708 17711 15196 0 -1 1077944384 21 12288 0 0 1 0 7 4 20 0 20 0 6825836 11175264256 44699 33554432000 4194304 4196468 140722938973328 140471515802512 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17773] ppid=17708 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17773/stat : 17773 (java) S 17708 17711 15196 0 -1 1077944384 14 12288 0 0 0 0 7 4 20 0 20 0 6825836 11175264256 44699 33554432000 4194304 4196468 140722938973328 140471514749968 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17774] ppid=17708 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17774/stat : 17774 (java) S 17708 17711 15196 0 -1 1077944384 21 12288 0 0 0 0 7 4 20 0 20 0 6825837 11175264256 44699 33554432000 4194304 4196468 140722938973328 140471513697424 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17775] ppid=17708 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17775/stat : 17775 (java) S 17708 17711 15196 0 -1 1077944384 618 12288 0 0 1 0 7 4 20 0 20 0 6825839 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470663505904 140471913962114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17776] ppid=17708 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17776/stat : 17776 (java) S 17708 17711 15196 0 -1 1077944384 55 12288 0 0 0 0 7 4 20 0 20 0 6825840 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470662452192 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17777] ppid=17708 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17777/stat : 17777 (java) S 17708 17711 15196 0 -1 1077944384 43 12288 0 0 0 0 7 4 20 0 20 0 6825840 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470661399536 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17778] ppid=17708 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17778/stat : 17778 (java) S 17708 17711 15196 0 -1 1077944384 1 12288 0 0 0 0 7 4 20 0 20 0 6825844 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470660348112 140471913969563 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17779] ppid=17708 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17779/stat : 17779 (java) S 17708 17711 15196 0 -1 1077944384 883 12288 0 0 14 0 7 4 20 0 20 0 6825844 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470659295728 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17780] ppid=17708 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17780/stat : 17780 (java) S 17708 17711 15196 0 -1 1077944384 642 12288 0 0 14 0 7 4 20 0 20 0 6825844 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470658243184 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17781] ppid=17708 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17781/stat : 17781 (java) S 17708 17711 15196 0 -1 1077944384 1277 12288 0 0 13 0 7 4 20 0 20 0 6825844 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470657190640 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17782] ppid=17708 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17782/stat : 17782 (java) S 17708 17711 15196 0 -1 1077944384 1228 12288 0 0 26 0 7 4 20 0 20 0 6825844 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470656138096 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17783] ppid=17708 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17783/stat : 17783 (java) S 17708 17711 15196 0 -1 1077944384 3 12288 0 0 0 0 7 4 20 0 20 0 6825844 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470655084768 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17784] ppid=17708 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17784/stat : 17784 (java) S 17708 17711 15196 0 -1 1077944384 3 12288 0 0 0 0 7 4 20 0 20 0 6825844 11175264256 44699 33554432000 4194304 4196468 140722938973328 140470654032304 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10913344

[startup+3.10076 s]
/proc/loadavg: 1.86 1.88 1.85 4/281 17784
/proc/meminfo: memFree=28346644/32770624 swapFree=5784/157820
[pid=17711] ppid=17708 vsize=10923772 CPUtime=7.69 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (java) S 17708 17711 15196 0 -1 1077944320 38616 12288 0 0 740 18 7 4 20 0 20 0 6825823 11185942528 62854 33554432000 4194304 4196468 140722938973328 140722938955872 140471913950967 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
/proc/17711/statm: 2730943 62854 3484 1 0 2718498 0
[pid=17711/tid=17766] ppid=17708 vsize=10923772 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17766/stat : 17766 (java) R 17708 17711 15196 0 -1 4202560 23973 12288 0 0 282 8 7 4 20 0 20 0 6825836 11185942528 62854 33554432000 4194304 4196468 140722938973328 140471918180904 140471895815839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17767] ppid=17708 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17767/stat : 17767 (java) S 17708 17711 15196 0 -1 1077944384 42 12288 0 0 1 0 7 4 20 0 20 0 6825836 11185942528 62854 33554432000 4194304 4196468 140722938973328 140471872710928 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17768] ppid=17708 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17768/stat : 17768 (java) S 17708 17711 15196 0 -1 1077944384 120 12288 0 0 1 0 7 4 20 0 20 0 6825836 11185942528 62854 33554432000 4194304 4196468 140722938973328 140471520012688 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17769] ppid=17708 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17769/stat : 17769 (java) S 17708 17711 15196 0 -1 1077944384 18 12288 0 0 1 0 7 4 20 0 20 0 6825836 11185942528 62854 33554432000 4194304 4196468 140722938973328 140471518960144 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17770] ppid=17708 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17770/stat : 17770 (java) S 17708 17711 15196 0 -1 1077944384 22 12288 0 0 1 0 7 4 20 0 20 0 6825836 11185942528 62854 33554432000 4194304 4196468 140722938973328 140471517907600 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17771] ppid=17708 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17771/stat : 17771 (java) S 17708 17711 15196 0 -1 1077944384 20 12288 0 0 1 0 7 4 20 0 20 0 6825836 11185942528 62854 33554432000 4194304 4196468 140722938973328 140471516855056 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17772] ppid=17708 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17772/stat : 17772 (java) S 17708 17711 15196 0 -1 1077944384 21 12288 0 0 1 0 7 4 20 0 20 0 6825836 11185942528 62854 33554432000 4194304 4196468 140722938973328 140471515802512 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17773] ppid=17708 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17773/stat : 17773 (java) S 17708 17711 15196 0 -1 1077944384 14 12288 0 0 0 0 7 4 20 0 20 0 6825836 11185942528 62854 33554432000 4194304 4196468 140722938973328 140471514749968 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17774] ppid=17708 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17774/stat : 17774 (java) S 17708 17711 15196 0 -1 1077944384 21 12288 0 0 0 0 7 4 20 0 20 0 6825837 11185942528 62854 33554432000 4194304 4196468 140722938973328 140471513697424 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17775] ppid=17708 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17775/stat : 17775 (java) S 17708 17711 15196 0 -1 1077944384 955 12288 0 0 1 0 7 4 20 0 20 0 6825839 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470663505904 140471913962114 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17776] ppid=17708 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17776/stat : 17776 (java) S 17708 17711 15196 0 -1 1077944384 55 12288 0 0 0 0 7 4 20 0 20 0 6825840 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470662452192 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17777] ppid=17708 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17777/stat : 17777 (java) S 17708 17711 15196 0 -1 1077944384 43 12288 0 0 0 0 7 4 20 0 20 0 6825840 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470661399536 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17778] ppid=17708 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17778/stat : 17778 (java) S 17708 17711 15196 0 -1 1077944384 1 12288 0 0 0 0 7 4 20 0 20 0 6825844 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470660348112 140471913969563 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17779] ppid=17708 vsize=10923772 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17779/stat : 17779 (java) R 17708 17711 15196 0 -1 4202560 2384 12288 0 0 106 1 7 4 20 0 20 0 6825844 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470659281040 140471893605249 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17780] ppid=17708 vsize=10923772 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17780/stat : 17780 (java) R 17708 17711 15196 0 -1 4202560 1771 12288 0 0 106 1 7 4 20 0 20 0 6825844 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470658227936 140471897450328 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17781] ppid=17708 vsize=10923772 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17781/stat : 17781 (java) R 17708 17711 15196 0 -1 4202560 3724 12288 0 0 119 1 7 4 20 0 20 0 6825844 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470657175056 140471892395767 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17782] ppid=17708 vsize=10923772 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17782/stat : 17782 (java) R 17708 17711 15196 0 -1 4202560 3296 12288 0 0 111 2 7 4 20 0 20 0 6825844 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470656138096 140471906188094 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17783] ppid=17708 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17783/stat : 17783 (java) S 17708 17711 15196 0 -1 1077944384 3 12288 0 0 0 0 7 4 20 0 20 0 6825844 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470655084768 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17784] ppid=17708 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17784/stat : 17784 (java) S 17708 17711 15196 0 -1 1077944384 4 12288 0 0 0 0 7 4 20 0 20 0 6825844 11185942528 62854 33554432000 4194304 4196468 140722938973328 140470654032304 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 10923772

[startup+6.30113 s]
/proc/loadavg: 1.79 1.87 1.85 3/281 17784
/proc/meminfo: memFree=28171840/32770624 swapFree=5784/157832
[pid=17711] ppid=17708 vsize=10929916 CPUtime=19.19 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (java) S 17708 17711 15196 0 -1 1077944320 59520 12288 0 0 1854 54 7 4 20 0 20 0 6825823 11192233984 99940 33554432000 4194304 4196468 140722938973328 140722938955872 140471913950967 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
/proc/17711/statm: 2732479 99940 3506 1 0 2720034 0
[pid=17711/tid=17766] ppid=17708 vsize=10929916 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17766/stat : 17766 (java) R 17708 17711 15196 0 -1 4202560 26347 12288 0 0 582 11 7 4 20 0 20 0 6825836 11192233984 99940 33554432000 4194304 4196468 140722938973328 140471918182272 140471895769404 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17767] ppid=17708 vsize=10929916 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17767/stat : 17767 (java) S 17708 17711 15196 0 -1 1077944384 95 12288 0 0 7 3 7 4 20 0 20 0 6825836 11192233984 99940 33554432000 4194304 4196468 140722938973328 140471872710928 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17768] ppid=17708 vsize=10929916 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17768/stat : 17768 (java) S 17708 17711 15196 0 -1 1077944384 337 12288 0 0 9 3 7 4 20 0 20 0 6825836 11192233984 99940 33554432000 4194304 4196468 140722938973328 140471520012688 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17769] ppid=17708 vsize=10929916 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17769/stat : 17769 (java) S 17708 17711 15196 0 -1 1077944384 61 12288 0 0 7 3 7 4 20 0 20 0 6825836 11192233984 99940 33554432000 4194304 4196468 140722938973328 140471518960144 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17770] ppid=17708 vsize=10929916 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17770/stat : 17770 (java) S 17708 17711 15196 0 -1 1077944384 74 12288 0 0 7 3 7 4 20 0 20 0 6825836 11192233984 99940 33554432000 4194304 4196468 140722938973328 140471517907600 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17771] ppid=17708 vsize=10929916 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17771/stat : 17771 (java) S 17708 17711 15196 0 -1 1077944384 104 12288 0 0 8 3 7 4 20 0 20 0 6825836 11192233984 99940 33554432000 4194304 4196468 140722938973328 140471516855056 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17772] ppid=17708 vsize=10929916 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17772/stat : 17772 (java) S 17708 17711 15196 0 -1 1077944384 78 12288 0 0 7 4 7 4 20 0 20 0 6825836 11192233984 99940 33554432000 4194304 4196468 140722938973328 140471515802512 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17773] ppid=17708 vsize=10929916 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17773/stat : 17773 (java) S 17708 17711 15196 0 -1 1077944384 68 12288 0 0 7 4 7 4 20 0 20 0 6825836 11192233984 99940 33554432000 4194304 4196468 140722938973328 140471514749968 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17774] ppid=17708 vsize=10929916 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17774/stat : 17774 (java) S 17708 17711 15196 0 -1 1077944384 65 12288 0 0 7 3 7 4 20 0 20 0 6825837 11192233984 99940 33554432000 4194304 4196468 140722938973328 140471513697424 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17775] ppid=17708 vsize=10929916 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17775/stat : 17775 (java) S 17708 17711 15196 0 -1 1077944384 2294 12288 0 0 6 0 7 4 20 0 20 0 6825839 11192233984 99940 33554432000 4194304 4196468 140722938973328 140470663505904 140471913962114 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17776] ppid=17708 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17776/stat : 17776 (java) S 17708 17711 15196 0 -1 1077944384 56 12288 0 0 0 0 7 4 20 0 20 0 6825840 11192233984 99940 33554432000 4194304 4196468 140722938973328 140470662452192 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17777] ppid=17708 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17777/stat : 17777 (java) S 17708 17711 15196 0 -1 1077944384 44 12288 0 0 0 0 7 4 20 0 20 0 6825840 11192233984 99940 33554432000 4194304 4196468 140722938973328 140470661399552 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17778] ppid=17708 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17778/stat : 17778 (java) S 17708 17711 15196 0 -1 1077944384 1 12288 0 0 0 0 7 4 20 0 20 0 6825844 11192233984 99940 33554432000 4194304 4196468 140722938973328 140470660348112 140471913969563 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17779] ppid=17708 vsize=10929916 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17779/stat : 17779 (java) R 17708 17711 15196 0 -1 4202560 5023 12288 0 0 330 2 7 4 20 0 20 0 6825844 11192233984 99940 33554432000 4194304 4196468 140722938973328 140470659288752 140471913964831 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17780] ppid=17708 vsize=10929916 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17780/stat : 17780 (java) R 17708 17711 15196 0 -1 4202560 7249 12288 0 0 326 2 7 4 20 0 20 0 6825844 11192233984 99940 33554432000 4194304 4196468 140722938973328 140470658230000 140471893664122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17781] ppid=17708 vsize=10929916 CPUtime=3.47 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17781/stat : 17781 (java) R 17708 17711 15196 0 -1 4202560 8793 12288 0 0 334 2 7 4 20 0 20 0 6825844 11192233984 99940 33554432000 4194304 4196468 140722938973328 140470657175552 140471898597760 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17782] ppid=17708 vsize=10929916 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17782/stat : 17782 (java) R 17708 17711 15196 0 -1 4202560 6689 12288 0 0 208 2 7 4 20 0 20 0 6825844 11192233984 99940 33554432000 4194304 4196468 140722938973328 140470656138096 140471913972314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17783] ppid=17708 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14

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

[pid=17711/tid=17773] ppid=17708 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17773/stat : 17773 (java) S 17708 17711 15196 0 -1 1077944384 224 12288 0 0 16 14 7 4 20 0 20 0 6825836 11261440000 354922 33554432000 4194304 4196468 140722938973328 140471514749968 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17774] ppid=17708 vsize=10997500 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17774/stat : 17774 (java) S 17708 17711 15196 0 -1 1077944384 1165 12288 0 0 18 13 7 4 20 0 20 0 6825837 11261440000 354922 33554432000 4194304 4196468 140722938973328 140471513697424 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17775] ppid=17708 vsize=10997500 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17775/stat : 17775 (java) S 17708 17711 15196 0 -1 1077944384 3084 12288 0 0 9 0 7 4 20 0 20 0 6825839 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470663505904 140471913962114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17776] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17776/stat : 17776 (java) S 17708 17711 15196 0 -1 1077944384 56 12288 0 0 0 0 7 4 20 0 20 0 6825840 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470662452256 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17777] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17777/stat : 17777 (java) S 17708 17711 15196 0 -1 1077944384 44 12288 0 0 0 0 7 4 20 0 20 0 6825840 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470661399552 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17778] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17778/stat : 17778 (java) S 17708 17711 15196 0 -1 1077944384 1 12288 0 0 0 0 7 4 20 0 20 0 6825844 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470660348112 140471913969563 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17779] ppid=17708 vsize=10997500 CPUtime=14.05 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17779/stat : 17779 (java) S 17708 17711 15196 0 -1 1077944384 9139 12288 0 0 1390 4 7 4 20 0 20 0 6825844 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470659295728 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17780] ppid=17708 vsize=10997500 CPUtime=14.45 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17780/stat : 17780 (java) S 17708 17711 15196 0 -1 1077944384 13989 12288 0 0 1430 4 7 4 20 0 20 0 6825844 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470658243184 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17781] ppid=17708 vsize=10997500 CPUtime=14.32 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17781/stat : 17781 (java) S 17708 17711 15196 0 -1 1077944384 14095 12288 0 0 1417 4 7 4 20 0 20 0 6825844 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470657190640 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17782] ppid=17708 vsize=10997500 CPUtime=7.2 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17782/stat : 17782 (java) S 17708 17711 15196 0 -1 1077944384 16100 12288 0 0 703 6 7 4 20 0 20 0 6825844 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470656138096 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17783] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17783/stat : 17783 (java) S 17708 17711 15196 0 -1 1077944384 3 12288 0 0 0 0 7 4 20 0 20 0 6825844 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470655084768 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17784] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17784/stat : 17784 (java) S 17708 17711 15196 0 -1 1077944384 378 12288 0 0 0 0 7 4 20 0 20 0 6825844 11261440000 354922 33554432000 4194304 4196468 140722938973328 140470654032304 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
Current children cumulated CPU time (s) 85.31
Current children cumulated vsize (KiB) 10997500

[startup+34.4009 s]
/proc/loadavg: 1.96 1.91 1.86 5/281 17784
/proc/meminfo: memFree=27120836/32770624 swapFree=5784/157860
[pid=17711] ppid=17708 vsize=10997500 CPUtime=87.67 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (java) S 17708 17711 15196 0 -1 1077944320 113044 12288 0 0 8590 166 7 4 20 0 20 0 6825823 11261440000 364244 33554432000 4194304 4196468 140722938973328 140722938955872 140471913950967 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
/proc/17711/statm: 2749375 364244 3530 1 0 2736930 0
[pid=17711/tid=17766] ppid=17708 vsize=10997500 CPUtime=33.58 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17766/stat : 17766 (java) S 17708 17711 15196 0 -1 1077944384 42663 12288 0 0 3322 25 7 4 20 0 20 0 6825836 11261440000 364244 33554432000 4194304 4196468 140722938973328 140471918188624 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17767] ppid=17708 vsize=10997500 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17767/stat : 17767 (java) S 17708 17711 15196 0 -1 1077944384 228 12288 0 0 35 14 7 4 20 0 20 0 6825836 11261440000 364244 33554432000 4194304 4196468 140722938973328 140471872710928 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17768] ppid=17708 vsize=10997500 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17768/stat : 17768 (java) S 17708 17711 15196 0 -1 1077944384 1006 12288 0 0 36 14 7 4 20 0 20 0 6825836 11261440000 364244 33554432000 4194304 4196468 140722938973328 140471520012688 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17769] ppid=17708 vsize=10997500 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17769/stat : 17769 (java) S 17708 17711 15196 0 -1 1077944384 1070 12288 0 0 36 15 7 4 20 0 20 0 6825836 11261440000 364244 33554432000 4194304 4196468 140722938973328 140471518960144 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17770] ppid=17708 vsize=10997500 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17770/stat : 17770 (java) S 17708 17711 15196 0 -1 1077944384 902 12288 0 0 38 14 7 4 20 0 20 0 6825836 11261440000 364244 33554432000 4194304 4196468 140722938973328 140471517907600 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17771] ppid=17708 vsize=10997500 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17771/stat : 17771 (java) S 17708 17711 15196 0 -1 1077944384 343 12288 0 0 39 14 7 4 20 0 20 0 6825836 11261440000 364244 33554432000 4194304 4196468 140722938973328 140471516855056 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17772] ppid=17708 vsize=10997500 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17772/stat : 17772 (java) S 17708 17711 15196 0 -1 1077944384 208 12288 0 0 35 13 7 4 20 0 20 0 6825836 11261440000 364244 33554432000 4194304 4196468 140722938973328 140471515802512 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17773] ppid=17708 vsize=10997500 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17773/stat : 17773 (java) S 17708 17711 15196 0 -1 1077944384 250 12288 0 0 36 16 7 4 20 0 20 0 6825836 11261440000 364244 33554432000 4194304 4196468 140722938973328 140471514749968 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17774] ppid=17708 vsize=10997500 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17774/stat : 17774 (java) S 17708 17711 15196 0 -1 1077944384 1185 12288 0 0 37 14 7 4 20 0 20 0 6825837 11261440000 364244 33554432000 4194304 4196468 140722938973328 140471513697424 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17775] ppid=17708 vsize=10997500 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17775/stat : 17775 (java) R 17708 17711 15196 0 -1 4202560 8885 12288 0 0 15 1 7 4 20 0 20 0 6825839 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470663504304 140471898318623 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17776] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17776/stat : 17776 (java) S 17708 17711 15196 0 -1 1077944384 58 12288 0 0 0 0 7 4 20 0 20 0 6825840 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470662452240 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17777] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17777/stat : 17777 (java) S 17708 17711 15196 0 -1 1077944384 44 12288 0 0 0 0 7 4 20 0 20 0 6825840 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470661399552 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17778] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17778/stat : 17778 (java) S 17708 17711 15196 0 -1 1077944384 1 12288 0 0 0 0 7 4 20 0 20 0 6825844 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470660348112 140471913969563 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17779] ppid=17708 vsize=10997500 CPUtime=14.07 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17779/stat : 17779 (java) S 17708 17711 15196 0 -1 1077944384 9148 12288 0 0 1392 4 7 4 20 0 20 0 6825844 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470659295728 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17780] ppid=17708 vsize=10997500 CPUtime=14.47 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17780/stat : 17780 (java) S 17708 17711 15196 0 -1 1077944384 14021 12288 0 0 1432 4 7 4 20 0 20 0 6825844 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470658243184 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17781] ppid=17708 vsize=10997500 CPUtime=14.35 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17781/stat : 17781 (java) S 17708 17711 15196 0 -1 1077944384 14202 12288 0 0 1420 4 7 4 20 0 20 0 6825844 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470657190640 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17782] ppid=17708 vsize=10997500 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17782/stat : 17782 (java) S 17708 17711 15196 0 -1 1077944384 16319 12288 0 0 707 6 7 4 20 0 20 0 6825844 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470656138096 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17783] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17783/stat : 17783 (java) S 17708 17711 15196 0 -1 1077944384 3 12288 0 0 0 0 7 4 20 0 20 0 6825844 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470655084768 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17784] ppid=17708 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17784/stat : 17784 (java) S 17708 17711 15196 0 -1 1077944384 378 12288 0 0 1 0 7 4 20 0 20 0 6825844 11261440000 364244 33554432000 4194304 4196468 140722938973328 140470654032304 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
Current children cumulated CPU time (s) 87.67
Current children cumulated vsize (KiB) 10997500

[startup+34.6009 s]
/proc/loadavg: 1.96 1.91 1.86 5/281 17784
/proc/meminfo: memFree=27120836/32770624 swapFree=5784/157860
[pid=17711] ppid=17708 vsize=10997500 CPUtime=88.79 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (java) S 17708 17711 15196 0 -1 1077944320 113065 12288 0 0 8702 166 7 4 20 0 20 0 6825823 11261440000 364252 33554432000 4194304 4196468 140722938973328 140722938955872 140471913950967 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
/proc/17711/statm: 2749375 364252 3530 1 0 2736930 0
[pid=17711/tid=17766] ppid=17708 vsize=10997500 CPUtime=33.58 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17766/stat : 17766 (java) S 17708 17711 15196 0 -1 1077944384 42665 12288 0 0 3322 25 7 4 20 0 20 0 6825836 11261440000 364252 33554432000 4194304 4196468 140722938973328 140471918188624 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17767] ppid=17708 vsize=10997500 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17767/stat : 17767 (java) S 17708 17711 15196 0 -1 1077944384 228 12288 0 0 49 14 7 4 20 0 20 0 6825836 11261440000 364252 33554432000 4194304 4196468 140722938973328 140471872710736 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17768] ppid=17708 vsize=10997500 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17768/stat : 17768 (java) R 17708 17711 15196 0 -1 4202560 1006 12288 0 0 49 14 7 4 20 0 20 0 6825836 11261440000 364252 33554432000 4194304 4196468 140722938973328 140471520012808 140471906579175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17769] ppid=17708 vsize=10997500 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17769/stat : 17769 (java) S 17708 17711 15196 0 -1 1077944384 1070 12288 0 0 50 15 7 4 20 0 20 0 6825836 11261440000 364252 33554432000 4194304 4196468 140722938973328 140471518959952 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17770] ppid=17708 vsize=10997500 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17770/stat : 17770 (java) R 17708 17711 15196 0 -1 4202560 902 12288 0 0 52 15 7 4 20 0 20 0 6825836 11261440000 364252 33554432000 4194304 4196468 140722938973328 140471517907408 140471906579175 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17771] ppid=17708 vsize=10997500 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17771/stat : 17771 (java) R 17708 17711 15196 0 -1 4202560 343 12288 0 0 52 14 7 4 20 0 20 0 6825836 11261440000 364252 33554432000 4194304 4196468 140722938973328 140471516855176 140471906579175 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17772] ppid=17708 vsize=10997500 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17772/stat : 17772 (java) R 17708 17711 15196 0 -1 4202560 208 12288 0 0 49 13 7 4 20 0 20 0 6825836 11261440000 364252 33554432000 4194304 4196468 140722938973328 140471515802632 140471897334002 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17773] ppid=17708 vsize=10997500 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17773/stat : 17773 (java) S 17708 17711 15196 0 -1 1077944384 256 12288 0 0 49 16 7 4 20 0 20 0 6825836 11261440000 364252 33554432000 4194304 4196468 140722938973328 140471514749776 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17774] ppid=17708 vsize=10997500 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17774/stat : 17774 (java) R 17708 17711 15196 0 -1 4202560 1191 12288 0 0 50 14 7 4 20 0 20 0 6825837 11261440000 364252 33554432000 4194304 4196468 140722938973328 140471513697624 140471898650848 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17775] ppid=17708 vsize=10997500 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17775/stat : 17775 (java) S 17708 17711 15196 0 -1 1077944384 8887 12288 0 0 20 1 7 4 20 0 20 0 6825839 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470663504528 140471913961173 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17776] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17776/stat : 17776 (java) S 17708 17711 15196 0 -1 1077944384 59 12288 0 0 0 0 7 4 20 0 20 0 6825840 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470662452240 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17777] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17777/stat : 17777 (java) S 17708 17711 15196 0 -1 1077944384 48 12288 0 0 0 0 7 4 20 0 20 0 6825840 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470661399104 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17778] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17778/stat : 17778 (java) S 17708 17711 15196 0 -1 1077944384 1 12288 0 0 0 0 7 4 20 0 20 0 6825844 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470660348112 140471913969563 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17779] ppid=17708 vsize=10997500 CPUtime=14.07 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17779/stat : 17779 (java) S 17708 17711 15196 0 -1 1077944384 9148 12288 0 0 1392 4 7 4 20 0 20 0 6825844 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470659295728 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17780] ppid=17708 vsize=10997500 CPUtime=14.47 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17780/stat : 17780 (java) S 17708 17711 15196 0 -1 1077944384 14021 12288 0 0 1432 4 7 4 20 0 20 0 6825844 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470658243184 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17781] ppid=17708 vsize=10997500 CPUtime=14.35 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17781/stat : 17781 (java) S 17708 17711 15196 0 -1 1077944384 14202 12288 0 0 1420 4 7 4 20 0 20 0 6825844 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470657190640 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17782] ppid=17708 vsize=10997500 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17782/stat : 17782 (java) S 17708 17711 15196 0 -1 1077944384 16319 12288 0 0 707 6 7 4 20 0 20 0 6825844 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470656138096 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17783] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17783/stat : 17783 (java) S 17708 17711 15196 0 -1 1077944384 3 12288 0 0 0 0 7 4 20 0 20 0 6825844 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470655084768 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17784] ppid=17708 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17784/stat : 17784 (java) S 17708 17711 15196 0 -1 1077944384 378 12288 0 0 1 0 7 4 20 0 20 0 6825844 11261440000 364252 33554432000 4194304 4196468 140722938973328 140470654032304 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
Current children cumulated CPU time (s) 88.79
Current children cumulated vsize (KiB) 10997500

[startup+34.701 s]
/proc/loadavg: 1.96 1.91 1.86 5/281 17784
/proc/meminfo: memFree=27120836/32770624 swapFree=5784/157860
[pid=17711] ppid=17708 vsize=10997500 CPUtime=89.12 cores=0,2,4,6,8,10,12,14
/proc/17711/stat : 17711 (java) S 17708 17711 15196 0 -1 1077944320 114196 12288 0 0 8735 166 7 4 20 0 20 0 6825823 11261440000 364326 33554432000 4194304 4196468 140722938973328 140722938955872 140471913950967 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
/proc/17711/statm: 2749375 364326 3530 1 0 2736930 0
[pid=17711/tid=17766] ppid=17708 vsize=10997500 CPUtime=33.68 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17766/stat : 17766 (java) R 17708 17711 15196 0 -1 4202560 43003 12288 0 0 3332 25 7 4 20 0 20 0 6825836 11261440000 364326 33554432000 4194304 4196468 140722938973328 140471918184176 140471913962902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17767] ppid=17708 vsize=10997500 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17767/stat : 17767 (java) S 17708 17711 15196 0 -1 1077944384 228 12288 0 0 50 14 7 4 20 0 20 0 6825836 11261440000 364326 33554432000 4194304 4196468 140722938973328 140471872710928 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17768] ppid=17708 vsize=10997500 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17768/stat : 17768 (java) S 17708 17711 15196 0 -1 1077944384 1006 12288 0 0 49 14 7 4 20 0 20 0 6825836 11261440000 364326 33554432000 4194304 4196468 140722938973328 140471520012688 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17769] ppid=17708 vsize=10997500 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17769/stat : 17769 (java) S 17708 17711 15196 0 -1 1077944384 1070 12288 0 0 50 15 7 4 20 0 20 0 6825836 11261440000 364326 33554432000 4194304 4196468 140722938973328 140471518960144 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17770] ppid=17708 vsize=10997500 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17770/stat : 17770 (java) S 17708 17711 15196 0 -1 1077944384 902 12288 0 0 52 15 7 4 20 0 20 0 6825836 11261440000 364326 33554432000 4194304 4196468 140722938973328 140471517907600 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17771] ppid=17708 vsize=10997500 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17771/stat : 17771 (java) S 17708 17711 15196 0 -1 1077944384 343 12288 0 0 52 14 7 4 20 0 20 0 6825836 11261440000 364326 33554432000 4194304 4196468 140722938973328 140471516855056 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17772] ppid=17708 vsize=10997500 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17772/stat : 17772 (java) S 17708 17711 15196 0 -1 1077944384 208 12288 0 0 49 13 7 4 20 0 20 0 6825836 11261440000 364326 33554432000 4194304 4196468 140722938973328 140471515802512 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17773] ppid=17708 vsize=10997500 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17773/stat : 17773 (java) S 17708 17711 15196 0 -1 1077944384 256 12288 0 0 49 16 7 4 20 0 20 0 6825836 11261440000 364326 33554432000 4194304 4196468 140722938973328 140471514749968 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17774] ppid=17708 vsize=10997500 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17774/stat : 17774 (java) S 17708 17711 15196 0 -1 1077944384 1191 12288 0 0 50 14 7 4 20 0 20 0 6825837 11261440000 364326 33554432000 4194304 4196468 140722938973328 140471513697424 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17775] ppid=17708 vsize=10997500 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17775/stat : 17775 (java) S 17708 17711 15196 0 -1 1077944384 8890 12288 0 0 20 1 7 4 20 0 20 0 6825839 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470663505904 140471913962114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17776] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17776/stat : 17776 (java) S 17708 17711 15196 0 -1 1077944384 59 12288 0 0 0 0 7 4 20 0 20 0 6825840 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470662452256 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17777] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17777/stat : 17777 (java) S 17708 17711 15196 0 -1 1077944384 48 12288 0 0 0 0 7 4 20 0 20 0 6825840 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470661399552 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17778] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17778/stat : 17778 (java) S 17708 17711 15196 0 -1 1077944384 1 12288 0 0 0 0 7 4 20 0 20 0 6825844 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470660348112 140471913969563 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17779] ppid=17708 vsize=10997500 CPUtime=14.14 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17779/stat : 17779 (java) R 17708 17711 15196 0 -1 4202560 9431 12288 0 0 1399 4 7 4 20 0 20 0 6825844 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470659282128 140471897450128 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17780] ppid=17708 vsize=10997500 CPUtime=14.54 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17780/stat : 17780 (java) R 17708 17711 15196 0 -1 4202560 14353 12288 0 0 1439 4 7 4 20 0 20 0 6825844 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470658224384 140471897449642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17781] ppid=17708 vsize=10997500 CPUtime=14.4 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17781/stat : 17781 (java) R 17708 17711 15196 0 -1 4202560 14293 12288 0 0 1425 4 7 4 20 0 20 0 6825844 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470657177184 140471893448253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17782] ppid=17708 vsize=10997500 CPUtime=7.25 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17782/stat : 17782 (java) S 17708 17711 15196 0 -1 1077944384 16405 12288 0 0 708 6 7 4 20 0 20 0 6825844 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470656138096 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17783] ppid=17708 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17783/stat : 17783 (java) S 17708 17711 15196 0 -1 1077944384 3 12288 0 0 0 0 7 4 20 0 20 0 6825844 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470655084768 140471913961173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
[pid=17711/tid=17784] ppid=17708 vsize=10997500 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17711/task/17784/stat : 17784 (java) S 17708 17711 15196 0 -1 1077944384 378 12288 0 0 1 0 7 4 20 0 20 0 6825844 11261440000 364326 33554432000 4194304 4196468 140722938973328 140470654032304 140471913962114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14802944 140722938981057 140722938983831 140722938983831 140722938986447 0
Current children cumulated CPU time (s) 89.12
Current children cumulated vsize (KiB) 10997500

Child status: 0
Real time (s): 34.7495
CPU time (s): 89.2496
CPU user time (s): 87.5161
CPU system time (s): 1.73347
CPU usage (%): 256.837
Max. virtual memory (cumulated for all children) (KiB): 10997500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.5161
system time used= 1.73347
maximum resident set size= 1457812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126849
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= 23267
involuntary context switches= 7108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.269049 second user time and 0.383539 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-22 11:26:47
IDJOB=4246462
IDBENCH=125570
IDSOLVER=2630
FILE ID=node145/4246462-1500715607
RUNJOBID= node145-1500697238-13813
PBS_JOBID= 20623333
Free space on /tmp= 61840 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246462-1500715607/watcher-4246462-1500715607 -o /tmp/evaluation-result-4246462-1500715607/solver-4246462-1500715607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500697238-13813 --watchdog 2560  bin/concrete HOME/instance-4246462-1500715607.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=845140854

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28524808 kB
MemAvailable:   28698872 kB
Buffers:          156220 kB
Cached:           289636 kB
SwapCached:            0 kB
Active:          3553200 kB
Inactive:         225380 kB
Active(anon):    3276796 kB
Inactive(anon):    67856 kB
Active(file):     276404 kB
Inactive(file):   157524 kB
Unevictable:        5784 kB
Mlocked:            5784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24376 kB
Writeback:             0 kB
AnonPages:       3479504 kB
Mapped:            44500 kB
Shmem:              8852 kB
Slab:             146044 kB
SReclaimable:     111944 kB
SUnreclaim:        34100 kB
KernelStack:        4848 kB
PageTables:        11376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3910904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3198976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61812 MiB
End job on node145 at 2017-07-22 11:27:22