Trace number 4395925

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.2SAT 199.724 169.457

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-02-09.xml
MD5SUM51af40833062bacbe569ad61b7e4d8a4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.88246
Satisfiable
(Un)Satisfiability was proved
Number of variables5122
Number of constraints4611
Number of domains3
Minimum domain size2
Maximum domain size513
Distribution of domain sizes[{"size":2,"count":4608},{"size":512,"count":512},{"size":513,"count":2}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":512},{"degree":3,"count":4608}]
Minimum constraint arity2
Maximum constraint arity514
Distribution of constraint arities[{"arity":2,"count":4096},{"arity":10,"count":512},{"arity":512,"count":2},{"arity":514,"count":1}]
Number of extensional constraints0
Number of intensional constraints4096
Distribution of constraint types[{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":512},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

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

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395925-1568398415/watcher-4395925-1568398415 -o /tmp/evaluation-result-4395925-1568398415/solver-4395925-1568398415 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568390158-11188 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=72978476 HOME/instance-4395925-1568398415.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100121 s]*
/proc/loadavg: 1.24 1.27 1.34 3/218 12573
/proc/meminfo: memFree=30653680/32770624 swapFree=66922372/67108860
[pid=12516] ppid=12513 vsize=9972712 memory=16432 CPUtime=0.09 cores=0,2,4,6
/proc/12516/stat : 12516 (java) S 12513 12516 8521 0 -1 1077944320 4370 13074 0 0 1 0 5 3 20 0 6 0 416097573 10212057088 4108 33554432000 4194304 4196468 140726734566144 140726734548688 139939965738743 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
/proc/12516/statm: 2493178 4108 1931 1 0 2481616 0
[pid=12516/tid=12569] ppid=12513 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/12516/task/12569/stat : 12569 (java) R 12513 12516 8521 0 -1 4202560 2162 13074 0 0 1 0 5 3 20 0 6 0 416097582 10212057088 4108 33554432000 4194304 4196468 140726734566144 139939937575504 139939965760669 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12570] ppid=12513 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12570/stat : 12570 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 6 0 416097583 10212057088 4108 33554432000 4194304 4196468 140726734566144 139939969981072 139939965748949 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12571] ppid=12513 vsize=9972712 memory=139642292558335 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12571/stat : 12571 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 6 0 416097583 10212057088 4108 33554432000 4194304 4196468 140726734566144 139939539249680 139939965748949 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12572] ppid=12513 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12572/stat : 12572 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 6 0 416097583 10212057088 4108 33554432000 4194304 4196468 140726734566144 139939538196880 139939965748949 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12573] ppid=12513 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12573/stat : 12573 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 6 0 416097583 10212057088 4174 33554432000 4194304 4196468 140726734566144 139939537144080 139939965748949 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16432 KiB

[startup+0.210228 s]*
/proc/loadavg: 1.24 1.27 1.34 4/227 12582
/proc/meminfo: memFree=30630200/32770624 swapFree=66922372/67108860
[pid=12516] ppid=12513 vsize=10819664 memory=42656 CPUtime=0.26 cores=0,2,4,6
/proc/12516/stat : 12516 (java) S 12513 12516 8521 0 -1 1077944320 6993 13074 0 0 17 1 5 3 20 0 15 0 416097573 11079335936 10664 33554432000 4194304 4196468 140726734566144 140726734548688 139939965738743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
/proc/12516/statm: 2704916 10664 3165 1 0 2667149 0
[pid=12516/tid=12569] ppid=12513 vsize=10819664 memory=729618466009055537 CPUtime=0.2 cores=0,2,4,6
/proc/12516/task/12569/stat : 12569 (java) R 12513 12516 8521 0 -1 4202560 3393 13074 0 0 11 1 5 3 20 0 15 0 416097582 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939937563176 139939949819230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12570] ppid=12513 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12570/stat : 12570 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097583 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939969981072 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12571] ppid=12513 vsize=10819664 memory=139642292558335 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12571/stat : 12571 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097583 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939539249680 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12572] ppid=12513 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12572/stat : 12572 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097583 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939538196880 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12573] ppid=12513 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12573/stat : 12573 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097583 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939537144080 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12574] ppid=12513 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12574/stat : 12574 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097585 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939424476016 139939965749890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12575] ppid=12513 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12575/stat : 12575 (java) S 12513 12516 8521 0 -1 1077944384 33 13074 0 0 0 0 5 3 20 0 15 0 416097585 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939423421984 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12576] ppid=12513 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12576/stat : 12576 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097585 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939295520112 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12577] ppid=12513 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12577/stat : 12577 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097588 11079335936 10664 33554432000 4194304 4196468 140726734566144 139938691541328 139939965757339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12578] ppid=12513 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12516/task/12578/stat : 12578 (java) S 12513 12516 8521 0 -1 1077944384 621 13074 0 0 1 0 5 3 20 0 15 0 416097588 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939389864304 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12579] ppid=12513 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12579/stat : 12579 (java) S 12513 12516 8521 0 -1 1077944384 60 13074 0 0 0 0 5 3 20 0 15 0 416097588 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939388811504 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12580] ppid=12513 vsize=10819664 memory=139642289616512 CPUtime=0.11 cores=0,2,4,6
/proc/12516/task/12580/stat : 12580 (java) R 12513 12516 8521 0 -1 4202560 674 13074 0 0 3 0 5 3 20 0 15 0 416097588 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939387758704 139939958835579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12581] ppid=12513 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12581/stat : 12581 (java) S 12513 12516 8521 0 -1 1077944384 3 13074 0 0 0 0 5 3 20 0 15 0 416097588 11079335936 10664 33554432000 4194304 4196468 140726734566144 139938221779168 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12582] ppid=12513 vsize=10819664 memory=139642289616512 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12582/stat : 12582 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097589 11079335936 10664 33554432000 4194304 4196468 140726734566144 139939386707120 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42656 KiB

[startup+0.31144 s]*
/proc/loadavg: 1.24 1.27 1.34 4/227 12582
/proc/meminfo: memFree=30617892/32770624 swapFree=66922372/67108860
[pid=12516] ppid=12513 vsize=10820148 memory=51796 CPUtime=0.4 cores=0,2,4,6
/proc/12516/stat : 12516 (java) S 12513 12516 8521 0 -1 1077944320 10678 13074 0 0 29 3 5 3 20 0 15 0 416097573 11079831552 12949 33554432000 4194304 4196468 140726734566144 140726734548688 139939965738743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
/proc/12516/statm: 2705037 12949 3321 1 0 2667149 0
[pid=12516/tid=12569] ppid=12513 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/12516/task/12569/stat : 12569 (java) R 12513 12516 8521 0 -1 4202560 7017 13074 0 0 19 2 5 3 20 0 15 0 416097582 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939937543744 139939949819230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12570] ppid=12513 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12570/stat : 12570 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097583 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939969981072 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12571] ppid=12513 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12571/stat : 12571 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097583 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939539249680 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12572] ppid=12513 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12572/stat : 12572 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097583 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939538196880 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12573] ppid=12513 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12573/stat : 12573 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097583 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939537144080 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12574] ppid=12513 vsize=10820148 memory=139642289616511 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12574/stat : 12574 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097585 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939424476016 139939965749890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12575] ppid=12513 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12575/stat : 12575 (java) S 12513 12516 8521 0 -1 1077944384 33 13074 0 0 0 0 5 3 20 0 15 0 416097585 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939423421984 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12576] ppid=12513 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12576/stat : 12576 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097585 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939295520112 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12577] ppid=12513 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12577/stat : 12577 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097588 11079831552 12949 33554432000 4194304 4196468 140726734566144 139938691541328 139939965757339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12578] ppid=12513 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12516/task/12578/stat : 12578 (java) S 12513 12516 8521 0 -1 1077944384 626 13074 0 0 2 0 5 3 20 0 15 0 416097588 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939389864304 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12579] ppid=12513 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12516/task/12579/stat : 12579 (java) S 12513 12516 8521 0 -1 1077944384 78 13074 0 0 1 0 5 3 20 0 15 0 416097588 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939388811504 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12580] ppid=12513 vsize=10820148 memory=139642289616512 CPUtime=0.13 cores=0,2,4,6
/proc/12516/task/12580/stat : 12580 (java) S 12513 12516 8521 0 -1 1077944384 707 13074 0 0 5 0 5 3 20 0 15 0 416097588 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939387758704 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12581] ppid=12513 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12581/stat : 12581 (java) S 12513 12516 8521 0 -1 1077944384 3 13074 0 0 0 0 5 3 20 0 15 0 416097588 11079831552 12949 33554432000 4194304 4196468 140726734566144 139938221779168 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12582] ppid=12513 vsize=10820148 memory=139642289616512 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12582/stat : 12582 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097589 11079831552 12949 33554432000 4194304 4196468 140726734566144 139939386707120 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51796 KiB

[startup+0.700735 s]
/proc/loadavg: 1.24 1.27 1.34 3/227 12582
/proc/meminfo: memFree=30603796/32770624 swapFree=66922372/67108860
[pid=12516] ppid=12513 vsize=10822312 memory=84076 CPUtime=1.15 cores=0,2,4,6
/proc/12516/stat : 12516 (java) S 12513 12516 8521 0 -1 1077944320 14801 13074 0 0 102 5 5 3 20 0 15 0 416097573 11082047488 21019 33554432000 4194304 4196468 140726734566144 140726734548688 139939965738743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
/proc/12516/statm: 2705578 21019 3504 1 0 2667661 0
[pid=12516/tid=12569] ppid=12513 vsize=10822312 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/12516/task/12569/stat : 12569 (java) R 12513 12516 8521 0 -1 4202560 9960 13074 0 0 55 4 5 3 20 0 15 0 416097582 11082047488 21019 33554432000 4194304 4196468 140726734566144 139939937566368 139939965760669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12570] ppid=12513 vsize=10822312 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12570/stat : 12570 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097583 11082047488 21019 33554432000 4194304 4196468 140726734566144 139939969981072 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12571] ppid=12513 vsize=10822312 memory=1044 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12571/stat : 12571 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097583 11082047488 21084 33554432000 4194304 4196468 140726734566144 139939539249680 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12572] ppid=12513 vsize=10824360 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12572/stat : 12572 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097583 11084144640 21084 33554432000 4194304 4196468 140726734566144 139939538196880 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12573] ppid=12513 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12573/stat : 12573 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097583 11084144640 21084 33554432000 4194304 4196468 140726734566144 139939537144080 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12574] ppid=12513 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12574/stat : 12574 (java) S 12513 12516 8521 0 -1 1077944384 5 13074 0 0 0 0 5 3 20 0 15 0 416097585 11084144640 21084 33554432000 4194304 4196468 140726734566144 139939424476016 139939965749890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12575] ppid=12513 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12575/stat : 12575 (java) S 12513 12516 8521 0 -1 1077944384 33 13074 0 0 0 0 5 3 20 0 15 0 416097585 11084144640 21084 33554432000 4194304 4196468 140726734566144 139939423421984 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12576] ppid=12513 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12576/stat : 12576 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097585 11084144640 21084 33554432000 4194304 4196468 140726734566144 139939295520112 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12577] ppid=12513 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12577/stat : 12577 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097588 11084144640 21084 33554432000 4194304 4196468 140726734566144 139938691541328 139939965757339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12578] ppid=12513 vsize=10824360 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/12516/task/12578/stat : 12578 (java) S 12513 12516 8521 0 -1 1077944384 1049 13074 0 0 13 0 5 3 20 0 15 0 416097588 11084144640 21084 33554432000 4194304 4196468 140726734566144 139939389864304 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12579] ppid=12513 vsize=10824360 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/12516/task/12579/stat : 12579 (java) S 12513 12516 8521 0 -1 1077944384 583 13074 0 0 14 0 5 3 20 0 15 0 416097588 11084144640 21084 33554432000 4194304 4196468 140726734566144 139939388811504 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12580] ppid=12513 vsize=10824360 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/12516/task/12580/stat : 12580 (java) S 12513 12516 8521 0 -1 1077944384 955 13074 0 0 17 0 5 3 20 0 15 0 416097588 11084144640 21084 33554432000 4194304 4196468 140726734566144 139939387758704 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12581] ppid=12513 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12581/stat : 12581 (java) S 12513 12516 8521 0 -1 1077944384 3 13074 0 0 0 0 5 3 20 0 15 0 416097588 11084144640 21084 33554432000 4194304 4196468 140726734566144 139938221779168 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12582] ppid=12513 vsize=10824360 memory=3580 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12582/stat : 12582 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097589 11084144640 21084 33554432000 4194304 4196468 140726734566144 139939386707120 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 84076 KiB

[startup+1.50084 s]
/proc/loadavg: 1.24 1.27 1.34 7/227 12582
/proc/meminfo: memFree=30548640/32770624 swapFree=66922372/67108860
[pid=12516] ppid=12513 vsize=10832628 memory=221484 CPUtime=3.42 cores=0,2,4,6
/proc/12516/stat : 12516 (java) S 12513 12516 8521 0 -1 1077944320 27221 13074 0 0 323 11 5 3 20 0 15 0 416097573 11092611072 55371 33554432000 4194304 4196468 140726734566144 140726734548688 139939965738743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
/proc/12516/statm: 2708157 55371 3576 1 0 2670221 0
[pid=12516/tid=12569] ppid=12513 vsize=10832628 memory=139642137481816 CPUtime=1.43 cores=0,2,4,6
/proc/12516/task/12569/stat : 12569 (java) S 12513 12516 8521 0 -1 1077944384 14214 13074 0 0 129 6 5 3 20 0 15 0 416097582 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939937554368 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12570] ppid=12513 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12516/task/12570/stat : 12570 (java) S 12513 12516 8521 0 -1 1077944384 32 13074 0 0 1 0 5 3 20 0 15 0 416097583 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939969981072 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12571] ppid=12513 vsize=10832628 memory=6628 CPUtime=0.09 cores=0,2,4,6
/proc/12516/task/12571/stat : 12571 (java) S 12513 12516 8521 0 -1 1077944384 209 13074 0 0 1 0 5 3 20 0 15 0 416097583 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939539249680 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12572] ppid=12513 vsize=10832628 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12572/stat : 12572 (java) S 12513 12516 8521 0 -1 1077944384 38 13074 0 0 0 0 5 3 20 0 15 0 416097583 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939538196880 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12573] ppid=12513 vsize=10832628 memory=279284275370400 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12573/stat : 12573 (java) S 12513 12516 8521 0 -1 1077944384 30 13074 0 0 0 0 5 3 20 0 15 0 416097583 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939537144080 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12574] ppid=12513 vsize=10832628 memory=193380902527486 CPUtime=0.09 cores=0,2,4,6
/proc/12516/task/12574/stat : 12574 (java) R 12513 12516 8521 0 -1 4202560 534 13074 0 0 1 0 5 3 20 0 15 0 416097585 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939424474304 139939950735013 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12575] ppid=12513 vsize=10832628 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12575/stat : 12575 (java) S 12513 12516 8521 0 -1 1077944384 33 13074 0 0 0 0 5 3 20 0 15 0 416097585 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939423421984 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12576] ppid=12513 vsize=10832628 memory=6011695321811153712 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12576/stat : 12576 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097585 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939295520112 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12577] ppid=12513 vsize=10832628 memory=-8412658770403813517 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12577/stat : 12577 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097588 11092611072 55371 33554432000 4194304 4196468 140726734566144 139938691541328 139939965757339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12578] ppid=12513 vsize=10832628 memory=-7668917182949848256 CPUtime=0.77 cores=0,2,4,6
/proc/12516/task/12578/stat : 12578 (java) S 12513 12516 8521 0 -1 1077944384 3565 13074 0 0 69 0 5 3 20 0 15 0 416097588 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939389864304 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12579] ppid=12513 vsize=10832628 memory=8514726395714956677 CPUtime=0.8 cores=0,2,4,6
/proc/12516/task/12579/stat : 12579 (java) S 12513 12516 8521 0 -1 1077944384 3858 13074 0 0 72 0 5 3 20 0 15 0 416097588 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939388811504 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12580] ppid=12513 vsize=10832628 memory=-8995268955501139317 CPUtime=0.53 cores=0,2,4,6
/proc/12516/task/12580/stat : 12580 (java) S 12513 12516 8521 0 -1 1077944384 2496 13074 0 0 45 0 5 3 20 0 15 0 416097588 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939387758704 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12581] ppid=12513 vsize=10832628 memory=4283920778551074714 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12581/stat : 12581 (java) S 12513 12516 8521 0 -1 1077944384 3 13074 0 0 0 0 5 3 20 0 15 0 416097588 11092611072 55371 33554432000 4194304 4196468 140726734566144 139938221779168 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12582] ppid=12513 vsize=10832628 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12582/stat : 12582 (java) S 12513 12516 8521 0 -1 1077944384 1 13074 0 0 0 0 5 3 20 0 15 0 416097589 11092611072 55371 33554432000 4194304 4196468 140726734566144 139939386707120 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 10832628 KiB

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

[pid=12516/tid=12581] ppid=12513 vsize=10851092 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12581/stat : 12581 (java) S 12513 12516 8521 0 -1 1077944384 3 13074 0 0 0 0 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139938221779168 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12582] ppid=12513 vsize=10851092 memory=2974312 CPUtime=0.17 cores=0,2,4,6
/proc/12516/task/12582/stat : 12582 (java) S 12513 12516 8521 0 -1 1077944384 287 13074 0 0 3 6 5 3 20 0 15 0 416097589 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939386707120 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 196.33 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 2800928 KiB

[startup+168.001 s]*
/proc/loadavg: 1.50 1.36 1.36 3/228 12596
/proc/meminfo: memFree=27862716/32770624 swapFree=66922372/67108860
[pid=12516] ppid=12513 vsize=10851092 memory=2800928 CPUtime=197.94 cores=0,2,4,6
/proc/12516/stat : 12516 (java) S 12513 12516 8521 0 -1 1077944320 128853 13074 0 0 19617 169 5 3 20 0 15 0 416097573 11111518208 700232 33554432000 4194304 4196468 140726734566144 140726734548688 139939965738743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
/proc/12516/statm: 2712773 700232 3649 1 0 2674829 0
[pid=12516/tid=12569] ppid=12513 vsize=10851092 memory=8317482817917895235 CPUtime=166.19 cores=0,2,4,6
/proc/12516/task/12569/stat : 12569 (java) R 12513 12516 8521 0 -1 4202560 45268 13074 0 0 16573 38 5 3 20 0 15 0 416097582 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939937571952 139939584518009 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12570] ppid=12513 vsize=10851092 memory=3848 CPUtime=1.63 cores=0,2,4,6
/proc/12516/task/12570/stat : 12570 (java) S 12513 12516 8521 0 -1 1077944384 3295 13074 0 0 128 27 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939969981072 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12571] ppid=12513 vsize=10851092 memory=4104 CPUtime=1.64 cores=0,2,4,6
/proc/12516/task/12571/stat : 12571 (java) S 12513 12516 8521 0 -1 1077944384 1409 13074 0 0 131 25 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939539249680 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12572] ppid=12513 vsize=10851092 memory=2604 CPUtime=1.61 cores=0,2,4,6
/proc/12516/task/12572/stat : 12572 (java) S 12513 12516 8521 0 -1 1077944384 1193 13074 0 0 127 26 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939538196880 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12573] ppid=12513 vsize=10851092 memory=2604 CPUtime=1.65 cores=0,2,4,6
/proc/12516/task/12573/stat : 12573 (java) S 12513 12516 8521 0 -1 1077944384 4175 13074 0 0 130 27 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939537144080 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12574] ppid=12513 vsize=10851092 memory=1408 CPUtime=0.2 cores=0,2,4,6
/proc/12516/task/12574/stat : 12574 (java) S 12513 12516 8521 0 -1 1077944384 5488 13074 0 0 11 1 5 3 20 0 15 0 416097585 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939424476016 139939965749890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12575] ppid=12513 vsize=10851092 memory=3212 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12575/stat : 12575 (java) S 12513 12516 8521 0 -1 1077944384 65 13074 0 0 0 0 5 3 20 0 15 0 416097585 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939423422112 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12576] ppid=12513 vsize=10851092 memory=7599388386692169796 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12576/stat : 12576 (java) S 12513 12516 8521 0 -1 1077944384 25 13074 0 0 0 0 5 3 20 0 15 0 416097585 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939295520128 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12577] ppid=12513 vsize=10851092 memory=288286658259059278 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12577/stat : 12577 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139938691541328 139939965757339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12578] ppid=12513 vsize=10851092 memory=3904958642570658592 CPUtime=10.2 cores=0,2,4,6
/proc/12516/task/12578/stat : 12578 (java) S 12513 12516 8521 0 -1 1077944384 19409 13074 0 0 1007 5 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939389864304 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12579] ppid=12513 vsize=10851092 memory=2552 CPUtime=10.52 cores=0,2,4,6
/proc/12516/task/12579/stat : 12579 (java) S 12513 12516 8521 0 -1 1077944384 24698 13074 0 0 1037 7 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939388811504 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12580] ppid=12513 vsize=10851092 memory=1760 CPUtime=4.75 cores=0,2,4,6
/proc/12516/task/12580/stat : 12580 (java) S 12513 12516 8521 0 -1 1077944384 21331 13074 0 0 461 6 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939387758704 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12581] ppid=12513 vsize=10851092 memory=111632 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12581/stat : 12581 (java) S 12513 12516 8521 0 -1 1077944384 3 13074 0 0 0 0 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139938221779168 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12582] ppid=12513 vsize=10851092 memory=804 CPUtime=0.17 cores=0,2,4,6
/proc/12516/task/12582/stat : 12582 (java) S 12513 12516 8521 0 -1 1077944384 287 13074 0 0 3 6 5 3 20 0 15 0 416097589 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939386707120 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 197.94 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 2800928 KiB

[startup+168.801 s]
/proc/loadavg: 1.50 1.36 1.36 3/228 12596
/proc/meminfo: memFree=27862716/32770624 swapFree=66922372/67108860
[pid=12516] ppid=12513 vsize=10851092 memory=2800928 CPUtime=198.73 cores=0,2,4,6
/proc/12516/stat : 12516 (java) S 12513 12516 8521 0 -1 1077944320 128853 13074 0 0 19696 169 5 3 20 0 15 0 416097573 11111518208 700232 33554432000 4194304 4196468 140726734566144 140726734548688 139939965738743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
/proc/12516/statm: 2712773 700232 3649 1 0 2674829 0
[pid=12516/tid=12569] ppid=12513 vsize=10851092 memory=988 CPUtime=166.98 cores=0,2,4,6
/proc/12516/task/12569/stat : 12569 (java) R 12513 12516 8521 0 -1 4202560 45268 13074 0 0 16652 38 5 3 20 0 15 0 416097582 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939937571952 139939578178534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12570] ppid=12513 vsize=10851092 memory=2016 CPUtime=1.63 cores=0,2,4,6
/proc/12516/task/12570/stat : 12570 (java) S 12513 12516 8521 0 -1 1077944384 3295 13074 0 0 128 27 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939969981072 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12571] ppid=12513 vsize=10851092 memory=6791534058613427641 CPUtime=1.64 cores=0,2,4,6
/proc/12516/task/12571/stat : 12571 (java) S 12513 12516 8521 0 -1 1077944384 1409 13074 0 0 131 25 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939539249680 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12572] ppid=12513 vsize=10851092 memory=139642138396724 CPUtime=1.61 cores=0,2,4,6
/proc/12516/task/12572/stat : 12572 (java) S 12513 12516 8521 0 -1 1077944384 1193 13074 0 0 127 26 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939538196880 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12573] ppid=12513 vsize=10851092 memory=279284276832112 CPUtime=1.65 cores=0,2,4,6
/proc/12516/task/12573/stat : 12573 (java) S 12513 12516 8521 0 -1 1077944384 4175 13074 0 0 130 27 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939537144080 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12574] ppid=12513 vsize=10851092 memory=279284276832176 CPUtime=0.2 cores=0,2,4,6
/proc/12516/task/12574/stat : 12574 (java) S 12513 12516 8521 0 -1 1077944384 5488 13074 0 0 11 1 5 3 20 0 15 0 416097585 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939424476016 139939965749890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12575] ppid=12513 vsize=10851092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12575/stat : 12575 (java) S 12513 12516 8521 0 -1 1077944384 65 13074 0 0 0 0 5 3 20 0 15 0 416097585 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939423422112 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12576] ppid=12513 vsize=10851092 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12576/stat : 12576 (java) S 12513 12516 8521 0 -1 1077944384 25 13074 0 0 0 0 5 3 20 0 15 0 416097585 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939295520128 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12577] ppid=12513 vsize=10851092 memory=8040 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12577/stat : 12577 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139938691541328 139939965757339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12578] ppid=12513 vsize=10851092 memory=3444 CPUtime=10.2 cores=0,2,4,6
/proc/12516/task/12578/stat : 12578 (java) S 12513 12516 8521 0 -1 1077944384 19409 13074 0 0 1007 5 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939389864304 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12579] ppid=12513 vsize=10851092 memory=1556 CPUtime=10.52 cores=0,2,4,6
/proc/12516/task/12579/stat : 12579 (java) S 12513 12516 8521 0 -1 1077944384 24698 13074 0 0 1037 7 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939388811504 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12580] ppid=12513 vsize=10851092 memory=2832 CPUtime=4.75 cores=0,2,4,6
/proc/12516/task/12580/stat : 12580 (java) S 12513 12516 8521 0 -1 1077944384 21331 13074 0 0 461 6 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939387758704 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12581] ppid=12513 vsize=10851092 memory=984 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12581/stat : 12581 (java) S 12513 12516 8521 0 -1 1077944384 3 13074 0 0 0 0 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139938221779168 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12582] ppid=12513 vsize=10851092 memory=2800928 CPUtime=0.17 cores=0,2,4,6
/proc/12516/task/12582/stat : 12582 (java) S 12513 12516 8521 0 -1 1077944384 287 13074 0 0 3 6 5 3 20 0 15 0 416097589 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939386707120 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 198.73 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 2800928 KiB

[startup+169.205 s]
/proc/loadavg: 1.50 1.36 1.36 3/228 12596
/proc/meminfo: memFree=27862716/32770624 swapFree=66922372/67108860
[pid=12516] ppid=12513 vsize=10851092 memory=2800928 CPUtime=199.17 cores=0,2,4,6
/proc/12516/stat : 12516 (java) S 12513 12516 8521 0 -1 1077944320 129299 13074 0 0 19740 169 5 3 20 0 15 0 416097573 11111518208 700232 33554432000 4194304 4196468 140726734566144 140726734548688 139939965738743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
/proc/12516/statm: 2712773 700232 3649 1 0 2674829 0
[pid=12516/tid=12569] ppid=12513 vsize=10851092 memory=1408 CPUtime=167.37 cores=0,2,4,6
/proc/12516/task/12569/stat : 12569 (java) S 12513 12516 8521 0 -1 1077944384 45270 13074 0 0 16691 38 5 3 20 0 15 0 416097582 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939937573680 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12570] ppid=12513 vsize=10851092 memory=3212 CPUtime=1.64 cores=0,2,4,6
/proc/12516/task/12570/stat : 12570 (java) R 12513 12516 8521 0 -1 4202560 3295 13074 0 0 129 27 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939969981272 139939947364688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12571] ppid=12513 vsize=10851092 memory=665008 CPUtime=1.65 cores=0,2,4,6
/proc/12516/task/12571/stat : 12571 (java) R 12513 12516 8521 0 -1 4202560 1409 13074 0 0 132 25 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939539249568 139939950766608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12572] ppid=12513 vsize=10851092 memory=1408 CPUtime=1.62 cores=0,2,4,6
/proc/12516/task/12572/stat : 12572 (java) R 12513 12516 8521 0 -1 4202560 1193 13074 0 0 128 26 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939538196880 139939947364688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12573] ppid=12513 vsize=10851092 memory=2992 CPUtime=1.66 cores=0,2,4,6
/proc/12516/task/12573/stat : 12573 (java) R 12513 12516 8521 0 -1 4202560 4175 13074 0 0 131 27 5 3 20 0 15 0 416097583 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939537144080 139939950766162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12574] ppid=12513 vsize=10851092 memory=2800928 CPUtime=0.2 cores=0,2,4,6
/proc/12516/task/12574/stat : 12574 (java) S 12513 12516 8521 0 -1 1077944384 5488 13074 0 0 11 1 5 3 20 0 15 0 416097585 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939424474528 139939965748949 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12575] ppid=12513 vsize=10851092 memory=1164 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12575/stat : 12575 (java) S 12513 12516 8521 0 -1 1077944384 65 13074 0 0 0 0 5 3 20 0 15 0 416097585 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939423422112 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12576] ppid=12513 vsize=10851092 memory=8317482817917895235 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12576/stat : 12576 (java) S 12513 12516 8521 0 -1 1077944384 25 13074 0 0 0 0 5 3 20 0 15 0 416097585 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939295520128 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12577] ppid=12513 vsize=10851092 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12577/stat : 12577 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139938691541328 139939965757339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12578] ppid=12513 vsize=10851092 memory=4104 CPUtime=10.2 cores=0,2,4,6
/proc/12516/task/12578/stat : 12578 (java) S 12513 12516 8521 0 -1 1077944384 19409 13074 0 0 1007 5 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939389864304 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12579] ppid=12513 vsize=10851092 memory=2604 CPUtime=10.52 cores=0,2,4,6
/proc/12516/task/12579/stat : 12579 (java) S 12513 12516 8521 0 -1 1077944384 24698 13074 0 0 1037 7 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939388811504 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12580] ppid=12513 vsize=10851092 memory=2604 CPUtime=4.76 cores=0,2,4,6
/proc/12516/task/12580/stat : 12580 (java) S 12513 12516 8521 0 -1 1077944384 21775 13074 0 0 462 6 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939387758704 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12581] ppid=12513 vsize=10851092 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12581/stat : 12581 (java) S 12513 12516 8521 0 -1 1077944384 3 13074 0 0 0 0 5 3 20 0 15 0 416097588 11111518208 700232 33554432000 4194304 4196468 140726734566144 139938221779168 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12582] ppid=12513 vsize=10851092 memory=3212 CPUtime=0.17 cores=0,2,4,6
/proc/12516/task/12582/stat : 12582 (java) S 12513 12516 8521 0 -1 1077944384 287 13074 0 0 3 6 5 3 20 0 15 0 416097589 11111518208 700232 33554432000 4194304 4196468 140726734566144 139939386707120 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 199.17 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 2800928 KiB

[startup+169.401 s]
/proc/loadavg: 1.50 1.36 1.36 3/228 12596
/proc/meminfo: memFree=27862716/32770624 swapFree=66922372/67108860
[pid=12516] ppid=12513 vsize=10851092 memory=2801120 CPUtime=199.6 cores=0,2,4,6
/proc/12516/stat : 12516 (java) S 12513 12516 8521 0 -1 1077944320 135144 13074 0 0 19782 170 5 3 20 0 15 0 416097573 11111518208 700280 33554432000 4194304 4196468 140726734566144 140726734548688 139939965738743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
/proc/12516/statm: 2712773 700280 3649 1 0 2674829 0
[pid=12516/tid=12569] ppid=12513 vsize=10851092 memory=-6654736624938269017 CPUtime=167.52 cores=0,2,4,6
/proc/12516/task/12569/stat : 12569 (java) R 12513 12516 8521 0 -1 4202560 46532 13074 0 0 16706 38 5 3 20 0 15 0 416097582 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939937575424 139939570765176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12570] ppid=12513 vsize=10851092 memory=8548279111395942476 CPUtime=1.68 cores=0,2,4,6
/proc/12516/task/12570/stat : 12570 (java) S 12513 12516 8521 0 -1 1077944384 3303 13074 0 0 133 27 5 3 20 0 15 0 416097583 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939969981072 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12571] ppid=12513 vsize=10851092 memory=6944656575208382560 CPUtime=1.7 cores=0,2,4,6
/proc/12516/task/12571/stat : 12571 (java) S 12513 12516 8521 0 -1 1077944384 1419 13074 0 0 137 25 5 3 20 0 15 0 416097583 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939539249680 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12572] ppid=12513 vsize=10851092 memory=6943526294502006880 CPUtime=1.67 cores=0,2,4,6
/proc/12516/task/12572/stat : 12572 (java) S 12513 12516 8521 0 -1 1077944384 1201 13074 0 0 133 26 5 3 20 0 15 0 416097583 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939538196880 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12573] ppid=12513 vsize=10851092 memory=6944656592387989600 CPUtime=1.71 cores=0,2,4,6
/proc/12516/task/12573/stat : 12573 (java) S 12513 12516 8521 0 -1 1077944384 4184 13074 0 0 136 27 5 3 20 0 15 0 416097583 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939537144080 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12574] ppid=12513 vsize=10851092 memory=279284276920224 CPUtime=0.2 cores=0,2,4,6
/proc/12516/task/12574/stat : 12574 (java) S 12513 12516 8521 0 -1 1077944384 5553 13074 0 0 11 1 5 3 20 0 15 0 416097585 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939424476016 139939965749890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12575] ppid=12513 vsize=10851092 memory=139642138462116 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12575/stat : 12575 (java) S 12513 12516 8521 0 -1 1077944384 65 13074 0 0 0 0 5 3 20 0 15 0 416097585 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939423422112 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12576] ppid=12513 vsize=10851092 memory=279284276915536 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12576/stat : 12576 (java) S 12513 12516 8521 0 -1 1077944384 25 13074 0 0 0 0 5 3 20 0 15 0 416097585 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939295520128 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12577] ppid=12513 vsize=10851092 memory=279284275849288 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12577/stat : 12577 (java) S 12513 12516 8521 0 -1 1077944384 2 13074 0 0 0 0 5 3 20 0 15 0 416097588 11111518208 700281 33554432000 4194304 4196468 140726734566144 139938691541328 139939965757339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12578] ppid=12513 vsize=10851092 memory=279284276915492 CPUtime=10.23 cores=0,2,4,6
/proc/12516/task/12578/stat : 12578 (java) R 12513 12516 8521 0 -1 4202560 19894 13074 0 0 1010 5 5 3 20 0 15 0 416097588 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939389850560 139939950135444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12579] ppid=12513 vsize=10851092 memory=279284276924656 CPUtime=10.55 cores=0,2,4,6
/proc/12516/task/12579/stat : 12579 (java) R 12513 12516 8521 0 -1 4202560 24987 13074 0 0 1040 7 5 3 20 0 15 0 416097588 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939388791736 139939949238949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12580] ppid=12513 vsize=10851092 memory=6944656591801717918 CPUtime=4.78 cores=0,2,4,6
/proc/12516/task/12580/stat : 12580 (java) R 12513 12516 8521 0 -1 4202560 25539 13074 0 0 464 6 5 3 20 0 15 0 416097588 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939387753744 139939944275891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12581] ppid=12513 vsize=10851092 memory=-7385037615208631145 CPUtime=0.08 cores=0,2,4,6
/proc/12516/task/12581/stat : 12581 (java) S 12513 12516 8521 0 -1 1077944384 3 13074 0 0 0 0 5 3 20 0 15 0 416097588 11111518208 700281 33554432000 4194304 4196468 140726734566144 139938221779168 139939965748949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
[pid=12516/tid=12582] ppid=12513 vsize=10851092 memory=139642138220020 CPUtime=0.17 cores=0,2,4,6
/proc/12516/task/12582/stat : 12582 (java) S 12513 12516 8521 0 -1 1077944384 287 13074 0 0 3 6 5 3 20 0 15 0 416097589 11111518208 700281 33554432000 4194304 4196468 140726734566144 139939386707120 139939965749890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140726734572273 140726734574789 140726734574789 140726734577615 0
Current children cumulated CPU time: 199.6 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 2801120 KiB

Child status: 0
Real time (s): 169.457
CPU time (s): 199.724
CPU user time (s): 197.971
CPU system time (s): 1.75289
CPU usage (%): 117.861
Max. virtual memory (cumulated for all children) (KiB): 10851092
Max. memory (cumulated for all children) (KiB): 2983648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.971
system time used= 1.75289
maximum resident set size= 2983648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149058
page faults= 0
swaps= 0
block input operations= 168
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22412
involuntary context switches= 384


# summary of solver processes directly reported to runsolver:
#   pid: 12516
#   total CPU time (s): 199.724
#   total CPU user time (s): 197.971
#   total CPU system time (s): 1.75289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07506 second user time and 1.67244 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-13 19:11:39
IDJOB=4395925
IDBENCH=125570
IDSOLVER=2846
FILE ID=node107/4395925-1568398415
RUNJOBID= node107-1568390158-11188
PBS_JOBID= 21701847
Free space on /tmp= 59004 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395925-1568398415/watcher-4395925-1568398415 -o /tmp/evaluation-result-4395925-1568398415/solver-4395925-1568398415 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568390158-11188 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=72978476 HOME/instance-4395925-1568398415.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=72978476

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30659080 kB
MemAvailable:   31182020 kB
Buffers:          155860 kB
Cached:           639576 kB
SwapCached:        79396 kB
Active:          1138956 kB
Inactive:         389120 kB
Active(anon):     662508 kB
Inactive(anon):   100872 kB
Active(file):     476448 kB
Inactive(file):   288248 kB
Unevictable:      109976 kB
Mlocked:          109976 kB
SwapTotal:      67108860 kB
SwapFree:       66922372 kB
Dirty:             35824 kB
Writeback:             0 kB
AnonPages:        764560 kB
Mapped:            47688 kB
Shmem:             22108 kB
Slab:             176680 kB
SReclaimable:     148156 kB
SUnreclaim:        28524 kB
KernelStack:        3680 kB
PageTables:         7184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1817412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    677888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 58968 MiB
End job on node107 at 2019-09-13 19:14:29