Trace number 4275310

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275310-1502716256/watcher-4275310-1502716256 -o /tmp/evaluation-result-4275310-1502716256/solver-4275310-1502716256 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502712864-4489 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1808674357 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275310-1502716256.xml 

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

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

solver pid=5084, runsolver pid=5081

[startup+0.101 s]*
/proc/loadavg: 7.53 8.07 8.21 1/198 5104
/proc/meminfo: memFree=27724284/32770624 swapFree=67108860/67108860
[pid=5084] ppid=5081 vsize=14325320 memory=34752 CPUtime=0.12 cores=0-7
/proc/5084/stat : 5084 (java) S 5081 5084 4462 0 -1 1077944320 8575 0 0 0 10 2 0 0 20 0 20 0 104706541 14669127680 8688 33554432000 4194304 4196468 140735861995472 140735861978016 139802797145847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
/proc/5084/statm: 3581330 8688 3389 1 0 3569050 0
[pid=5084/tid=5086] ppid=5081 vsize=14325320 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5084/task/5086/stat : 5086 (java) R 5081 5084 4462 0 -1 4202560 6532 0 0 0 7 1 0 0 20 0 20 0 104706541 14669127680 8688 33554432000 4194304 4196468 140735861995472 139802801333760 139802781226334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5087] ppid=5081 vsize=14325320 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5084/task/5087/stat : 5087 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 8688 33554432000 4194304 4196468 140735861995472 139802734746256 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5088] ppid=5081 vsize=14325320 memory=139635192862336 CPUtime=0 cores=0-7
/proc/5084/task/5088/stat : 5088 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 8688 33554432000 4194304 4196468 140735861995472 139802733693456 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5089] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5089/stat : 5089 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 8688 33554432000 4194304 4196468 140735861995472 139802732640656 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5090] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5090/stat : 5090 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 8688 33554432000 4194304 4196468 140735861995472 139802731587856 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5091] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5091/stat : 5091 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 8688 33554432000 4194304 4196468 140735861995472 139802730536080 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5092] ppid=5081 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5084/task/5092/stat : 5092 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 8688 33554432000 4194304 4196468 140735861995472 139802387684368 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5093] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5093/stat : 5093 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 8688 33554432000 4194304 4196468 140735861995472 139802386631568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5094] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5094/stat : 5094 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 8688 33554432000 4194304 4196468 140735861995472 139802385578768 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5095] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5095/stat : 5095 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706544 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801986574704 139802797156994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5096] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5096/stat : 5096 (java) S 5081 5084 4462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104706544 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801985520672 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5097] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5097/stat : 5097 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104706544 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801984467824 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5098] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5098/stat : 5098 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801983416144 139802797164443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5099] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5099/stat : 5099 (java) S 5081 5084 4462 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801982364528 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5100] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5100/stat : 5100 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801981311728 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5101] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5101/stat : 5101 (java) S 5081 5084 4462 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801980258928 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5102] ppid=5081 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/5084/task/5102/stat : 5102 (java) S 5081 5084 4462 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 104706547 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801979206128 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5103] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5103/stat : 5103 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801978153568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5104] ppid=5081 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5084/task/5104/stat : 5104 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 8688 33554432000 4194304 4196468 140735861995472 139801977100848 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34752 KiB

[startup+0.210514 s]*
/proc/loadavg: 7.53 8.07 8.21 3/198 5104
/proc/meminfo: memFree=27713288/32770624 swapFree=67108860/67108860
[pid=5084] ppid=5081 vsize=14325320 memory=43636 CPUtime=0.3 cores=0-7
/proc/5084/stat : 5084 (java) S 5081 5084 4462 0 -1 1077944320 9566 0 0 0 27 3 0 0 20 0 20 0 104706541 14669127680 10909 33554432000 4194304 4196468 140735861995472 140735861978016 139802797145847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
/proc/5084/statm: 3581330 10909 3572 1 0 3569050 0
[pid=5084/tid=5086] ppid=5081 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/5084/task/5086/stat : 5086 (java) R 5081 5084 4462 0 -1 4202560 7153 0 0 0 17 2 0 0 20 0 20 0 104706541 14669127680 10909 33554432000 4194304 4196468 140735861995472 139802801369328 139802781226334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5087] ppid=5081 vsize=14325320 memory=9203 CPUtime=0 cores=0-7
/proc/5084/task/5087/stat : 5087 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 10909 33554432000 4194304 4196468 140735861995472 139802734746256 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5088] ppid=5081 vsize=14325320 memory=139635192867507 CPUtime=0 cores=0-7
/proc/5084/task/5088/stat : 5088 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 10909 33554432000 4194304 4196468 140735861995472 139802733693456 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5089] ppid=5081 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5084/task/5089/stat : 5089 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 10909 33554432000 4194304 4196468 140735861995472 139802732640656 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5090] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5090/stat : 5090 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 10909 33554432000 4194304 4196468 140735861995472 139802731587856 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5091] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5091/stat : 5091 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 10909 33554432000 4194304 4196468 140735861995472 139802730536080 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5092] ppid=5081 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5084/task/5092/stat : 5092 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 10909 33554432000 4194304 4196468 140735861995472 139802387684368 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5093] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5093/stat : 5093 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 10909 33554432000 4194304 4196468 140735861995472 139802386631568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5094] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5094/stat : 5094 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104706542 14669127680 10909 33554432000 4194304 4196468 140735861995472 139802385578768 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5095] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5095/stat : 5095 (java) S 5081 5084 4462 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104706544 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801986574704 139802797156994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5096] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5096/stat : 5096 (java) S 5081 5084 4462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104706544 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801985520672 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5097] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5097/stat : 5097 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104706544 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801984467824 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5098] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5098/stat : 5098 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801983416144 139802797164443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5099] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5099/stat : 5099 (java) S 5081 5084 4462 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801982364528 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5100] ppid=5081 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/5084/task/5100/stat : 5100 (java) S 5081 5084 4462 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 104706547 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801981311728 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5101] ppid=5081 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/5084/task/5101/stat : 5101 (java) S 5081 5084 4462 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 104706547 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801980258928 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5102] ppid=5081 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/5084/task/5102/stat : 5102 (java) S 5081 5084 4462 0 -1 1077944384 409 0 0 0 5 0 0 0 20 0 20 0 104706547 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801979206128 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5103] ppid=5081 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5103/stat : 5103 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801978153568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5104] ppid=5081 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5084/task/5104/stat : 5104 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706547 14669127680 10909 33554432000 4194304 4196468 140735861995472 139801977100848 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43636 KiB

[startup+0.31035 s]*
/proc/loadavg: 7.53 8.07 8.21 3/198 5104
/proc/meminfo: memFree=27706992/32770624 swapFree=67108860/67108860
[pid=5084] ppid=5081 vsize=14325340 memory=51048 CPUtime=0.47 cores=0-7
/proc/5084/stat : 5084 (java) S 5081 5084 4462 0 -1 1077944320 10591 0 0 0 44 3 0 0 20 0 20 0 104706541 14669148160 12762 33554432000 4194304 4196468 140735861995472 140735861978016 139802797145847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
/proc/5084/statm: 3581335 12762 3712 1 0 3569050 0
[pid=5084/tid=5086] ppid=5081 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5084/task/5086/stat : 5086 (java) R 5081 5084 4462 0 -1 4202560 7721 0 0 0 26 3 0 0 20 0 20 0 104706541 14669148160 12762 33554432000 4194304 4196468 140735861995472 139802801360608 139802781189477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5087] ppid=5081 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5087/stat : 5087 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669148160 12762 33554432000 4194304 4196468 140735861995472 139802734746256 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5088] ppid=5081 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5088/stat : 5088 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669148160 12762 33554432000 4194304 4196468 140735861995472 139802733693456 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5089] ppid=5081 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5089/stat : 5089 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14669148160 12762 33554432000 4194304 4196468 140735861995472 139802732640656 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5090] ppid=5081 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5090/stat : 5090 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669148160 12762 33554432000 4194304 4196468 140735861995472 139802731587856 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5091] ppid=5081 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/5084/task/5091/stat : 5091 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14669148160 12762 33554432000 4194304 4196468 140735861995472 139802730536080 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5092] ppid=5081 vsize=14325340 memory=139635091141551 CPUtime=0 cores=0-7
/proc/5084/task/5092/stat : 5092 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14669148160 12762 33554432000 4194304 4196468 140735861995472 139802387684368 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5093] ppid=5081 vsize=14325340 memory=139635091143856 CPUtime=0 cores=0-7
/proc/5084/task/5093/stat : 5093 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14669148160 12762 33554432000 4194304 4196468 140735861995472 139802386631568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5094] ppid=5081 vsize=14325340 memory=139635091146160 CPUtime=0 cores=0-7
/proc/5084/task/5094/stat : 5094 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104706542 14669148160 12762 33554432000 4194304 4196468 140735861995472 139802385578768 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5095] ppid=5081 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5095/stat : 5095 (java) S 5081 5084 4462 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104706544 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801986574704 139802797156994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5096] ppid=5081 vsize=14325340 memory=279270182299280 CPUtime=0 cores=0-7
/proc/5084/task/5096/stat : 5096 (java) S 5081 5084 4462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104706544 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801985520672 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5097] ppid=5081 vsize=14325340 memory=279270182306192 CPUtime=0 cores=0-7
/proc/5084/task/5097/stat : 5097 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104706544 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801984467824 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5098] ppid=5081 vsize=14325340 memory=279270182247472 CPUtime=0 cores=0-7
/proc/5084/task/5098/stat : 5098 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706547 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801983416144 139802797164443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5099] ppid=5081 vsize=14325340 memory=279270182320016 CPUtime=0.02 cores=0-7
/proc/5084/task/5099/stat : 5099 (java) S 5081 5084 4462 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 104706547 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801982364528 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5100] ppid=5081 vsize=14325340 memory=279270182326928 CPUtime=0.03 cores=0-7
/proc/5084/task/5100/stat : 5100 (java) S 5081 5084 4462 0 -1 1077944384 402 0 0 0 3 0 0 0 20 0 20 0 104706547 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801981311728 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5101] ppid=5081 vsize=14325340 memory=279270182324624 CPUtime=0.03 cores=0-7
/proc/5084/task/5101/stat : 5101 (java) S 5081 5084 4462 0 -1 1077944384 395 0 0 0 3 0 0 0 20 0 20 0 104706547 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801980258928 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5102] ppid=5081 vsize=14325340 memory=279270182341232 CPUtime=0.08 cores=0-7
/proc/5084/task/5102/stat : 5102 (java) S 5081 5084 4462 0 -1 1077944384 429 0 0 0 8 0 0 0 20 0 20 0 104706547 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801979206128 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5103] ppid=5081 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5103/stat : 5103 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104706547 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801978153568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5104] ppid=5081 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/5084/task/5104/stat : 5104 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706547 14669148160 12762 33554432000 4194304 4196468 140735861995472 139801977100848 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51048 KiB

[startup+0.70094 s]
/proc/loadavg: 7.53 8.07 8.21 4/198 5104
/proc/meminfo: memFree=27688960/32770624 swapFree=67108860/67108860
[pid=5084] ppid=5081 vsize=14327388 memory=106372 CPUtime=1.63 cores=0-7
/proc/5084/stat : 5084 (java) S 5081 5084 4462 0 -1 1077944320 14598 0 0 0 157 6 0 0 20 0 20 0 104706541 14671245312 26593 33554432000 4194304 4196468 140735861995472 140735861978016 139802797145847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
/proc/5084/statm: 3581847 26593 3778 1 0 3569562 0
[pid=5084/tid=5086] ppid=5081 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/5084/task/5086/stat : 5086 (java) R 5081 5084 4462 0 -1 4202560 8460 0 0 0 63 4 0 0 20 0 20 0 104706541 14671245312 26593 33554432000 4194304 4196468 140735861995472 139802801378128 139802414143672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5087] ppid=5081 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5087/stat : 5087 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14671245312 26593 33554432000 4194304 4196468 140735861995472 139802734746256 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5088] ppid=5081 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5088/stat : 5088 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14671245312 26593 33554432000 4194304 4196468 140735861995472 139802733693456 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5089] ppid=5081 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5089/stat : 5089 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14671245312 26593 33554432000 4194304 4196468 140735861995472 139802732640656 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5090] ppid=5081 vsize=14327388 memory=1952 CPUtime=0 cores=0-7
/proc/5084/task/5090/stat : 5090 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14671245312 26593 33554432000 4194304 4196468 140735861995472 139802731587856 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5091] ppid=5081 vsize=14327388 memory=8612 CPUtime=0 cores=0-7
/proc/5084/task/5091/stat : 5091 (java) S 5081 5084 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104706542 14671245312 26593 33554432000 4194304 4196468 140735861995472 139802730536080 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5092] ppid=5081 vsize=14327388 memory=4620 CPUtime=0 cores=0-7
/proc/5084/task/5092/stat : 5092 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14671245312 26593 33554432000 4194304 4196468 140735861995472 139802387684368 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5093] ppid=5081 vsize=14327388 memory=1196 CPUtime=0 cores=0-7
/proc/5084/task/5093/stat : 5093 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104706542 14671245312 26593 33554432000 4194304 4196468 140735861995472 139802386631568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5094] ppid=5081 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/5084/task/5094/stat : 5094 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104706542 14671245312 26593 33554432000 4194304 4196468 140735861995472 139802385578768 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5095] ppid=5081 vsize=14327388 memory=18476 CPUtime=0 cores=0-7
/proc/5084/task/5095/stat : 5095 (java) S 5081 5084 4462 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104706544 14671245312 26593 33554432000 4194304 4196468 140735861995472 139801986574704 139802797156994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0

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

/proc/5084/task/5095/stat : 5095 (java) S 5081 5084 4462 0 -1 1077944384 158871 0 0 0 435 85 0 0 20 0 40 0 104706544 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801986574704 139802797156994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5096] ppid=5081 vsize=15668944 memory=17856 CPUtime=0 cores=0-7
/proc/5084/task/5096/stat : 5096 (java) S 5081 5084 4462 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 40 0 104706544 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801985520736 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5097] ppid=5081 vsize=15668944 memory=4048 CPUtime=0 cores=0-7
/proc/5084/task/5097/stat : 5097 (java) S 5081 5084 4462 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 40 0 104706544 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801984467840 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5098] ppid=5081 vsize=15668944 memory=1792 CPUtime=0 cores=0-7
/proc/5084/task/5098/stat : 5098 (java) S 5081 5084 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 104706547 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801983416144 139802797164443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5099] ppid=5081 vsize=15668944 memory=648 CPUtime=2.8 cores=0-7
/proc/5084/task/5099/stat : 5099 (java) S 5081 5084 4462 0 -1 1077944384 16344 0 0 0 276 4 0 0 20 0 40 0 104706547 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801982364528 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5100] ppid=5081 vsize=15668944 memory=8112282956445269571 CPUtime=2.87 cores=0-7
/proc/5084/task/5100/stat : 5100 (java) S 5081 5084 4462 0 -1 1077944384 8503 0 0 0 285 2 0 0 20 0 40 0 104706547 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801981311728 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5101] ppid=5081 vsize=15668944 memory=30288 CPUtime=2.94 cores=0-7
/proc/5084/task/5101/stat : 5101 (java) S 5081 5084 4462 0 -1 1077944384 12318 0 0 0 292 2 0 0 20 0 40 0 104706547 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801980258928 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5102] ppid=5081 vsize=15668944 memory=1296 CPUtime=1.24 cores=0-7
/proc/5084/task/5102/stat : 5102 (java) S 5081 5084 4462 0 -1 1077944384 22729 0 0 0 120 4 0 0 20 0 40 0 104706547 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801979206128 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5103] ppid=5081 vsize=15668944 memory=2408 CPUtime=0 cores=0-7
/proc/5084/task/5103/stat : 5103 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 104706547 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801978153568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5104] ppid=5081 vsize=15668944 memory=1732 CPUtime=0.67 cores=0-7
/proc/5084/task/5104/stat : 5104 (java) S 5081 5084 4462 0 -1 1077944384 8713 0 0 0 25 42 0 0 20 0 40 0 104706547 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801977100848 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 79 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5105] ppid=5081 vsize=15668944 memory=1224 CPUtime=0 cores=0-7
/proc/5084/task/5105/stat : 5105 (java) S 5081 5084 4462 0 -1 1077944384 1005 0 0 0 0 0 0 0 20 0 40 0 104708055 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801966813824 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5106] ppid=5081 vsize=15668944 memory=12032 CPUtime=2.06 cores=0-7
/proc/5084/task/5106/stat : 5106 (java) S 5081 5084 4462 0 -1 1077944384 18385 0 0 0 83 123 0 0 20 0 40 0 104708067 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801963664160 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5107] ppid=5081 vsize=15668944 memory=5792 CPUtime=2477.42 cores=0-7
/proc/5084/task/5107/stat : 5107 (java) R 5081 5084 4462 0 -1 4202560 50364 0 0 0 247695 47 0 0 20 0 40 0 104708076 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801960512376 139802420482739 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5108] ppid=5081 vsize=15668944 memory=796 CPUtime=2470.48 cores=0-7
/proc/5084/task/5108/stat : 5108 (java) R 5081 5084 4462 0 -1 4202560 48404 0 0 0 247000 48 0 0 20 0 40 0 104708077 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801959455760 139802415347547 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5109] ppid=5081 vsize=15668944 memory=1436 CPUtime=0.47 cores=0-7
/proc/5084/task/5109/stat : 5109 (java) S 5081 5084 4462 0 -1 1077944384 45 0 0 0 47 0 0 0 20 0 40 0 104708077 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801958409520 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5110] ppid=5081 vsize=15668944 memory=1012 CPUtime=0.43 cores=0-7
/proc/5084/task/5110/stat : 5110 (java) S 5081 5084 4462 0 -1 1077944384 32 0 0 0 43 0 0 0 20 0 40 0 104708080 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801957356720 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5111] ppid=5081 vsize=15668944 memory=1712 CPUtime=2473.33 cores=0-7
/proc/5084/task/5111/stat : 5111 (java) R 5081 5084 4462 0 -1 4202560 45219 0 0 0 247282 51 0 0 20 0 40 0 104708080 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801956301008 139802417850868 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5112] ppid=5081 vsize=15668944 memory=1952 CPUtime=0.3 cores=0-7
/proc/5084/task/5112/stat : 5112 (java) S 5081 5084 4462 0 -1 1077944384 65 0 0 0 30 0 0 0 20 0 40 0 104708080 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801955251120 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5113] ppid=5081 vsize=15668944 memory=3033076 CPUtime=2473.71 cores=0-7
/proc/5084/task/5113/stat : 5113 (java) R 5081 5084 4462 0 -1 4202560 40228 0 0 0 247337 34 0 0 20 0 40 0 104708080 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801954192008 139802420482727 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5114] ppid=5081 vsize=15668944 memory=4144 CPUtime=0.4 cores=0-7
/proc/5084/task/5114/stat : 5114 (java) S 5081 5084 4462 0 -1 1077944384 38 0 0 0 40 0 0 0 20 0 40 0 104708080 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801953145520 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5115] ppid=5081 vsize=15668944 memory=30288 CPUtime=2475.4 cores=0-7
/proc/5084/task/5115/stat : 5115 (java) R 5081 5084 4462 0 -1 4202560 44997 0 0 0 247487 53 0 0 20 0 40 0 104708080 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801952086960 139802415347744 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5116] ppid=5081 vsize=15668944 memory=1296 CPUtime=2476.46 cores=0-7
/proc/5084/task/5116/stat : 5116 (java) R 5081 5084 4462 0 -1 4202560 46906 0 0 0 247589 57 0 0 20 0 40 0 104708081 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801951037312 139802420561473 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5117] ppid=5081 vsize=15668944 memory=2408 CPUtime=2476.07 cores=0-7
/proc/5084/task/5117/stat : 5117 (java) R 5081 5084 4462 0 -1 4202560 44152 0 0 0 247556 51 0 0 20 0 40 0 104708143 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801949984816 139802420331121 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5118] ppid=5081 vsize=15668944 memory=1732 CPUtime=0 cores=0-7
/proc/5084/task/5118/stat : 5118 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801948935344 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5119] ppid=5081 vsize=15668944 memory=1224 CPUtime=2475.66 cores=0-7
/proc/5084/task/5119/stat : 5119 (java) R 5081 5084 4462 0 -1 4202560 47977 0 0 0 247514 52 0 0 20 0 40 0 104708143 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801947879216 139802416492035 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5120] ppid=5081 vsize=15668944 memory=12032 CPUtime=0 cores=0-7
/proc/5084/task/5120/stat : 5120 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801946829744 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5121] ppid=5081 vsize=15668944 memory=5792 CPUtime=0 cores=0-7
/proc/5084/task/5121/stat : 5121 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801945776944 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5122] ppid=5081 vsize=15668944 memory=796 CPUtime=0 cores=0-7
/proc/5084/task/5122/stat : 5122 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801944724144 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5123] ppid=5081 vsize=15668944 memory=1436 CPUtime=0 cores=0-7
/proc/5084/task/5123/stat : 5123 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801943672368 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5124] ppid=5081 vsize=15668944 memory=3029488 CPUtime=0 cores=0-7
/proc/5084/task/5124/stat : 5124 (java) S 5081 5084 4462 0 -1 1077944384 1039 0 0 0 0 0 0 0 20 0 40 0 104708143 16044998656 757115 33554432000 4194304 4196468 140735861995472 139801942619696 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
Current children cumulated CPU time: 19905.6 s
Current children cumulated vsize: 15668944 KiB
Current children cumulated memory: 3028460 KiB

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

[startup+2520.15 s]
# the end of solver process 5084 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19898.4 s, system=8.17304 s

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

[startup+2520.12 s]
/proc/loadavg: 8.51 8.65 8.66 10/218 5181
/proc/meminfo: memFree=24717036/32770624 swapFree=67108860/67108860
[pid=5084] ppid=5081 vsize=15802072 memory=3028532 CPUtime=19906.4 cores=0-7
/proc/5084/stat : 5084 (java) S 5081 5084 4462 0 -1 1077944320 1197882 0 0 0 1989828 815 0 0 20 0 40 0 104706541 16181321728 757133 33554432000 4194304 4196468 140735861995472 140735861978016 139802797145847 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
/proc/5084/statm: 3950518 757133 3875 1 0 3937712 0
[pid=5084/tid=5086] ppid=5081 vsize=15802072 memory=3028460 CPUtime=14.78 cores=0-7
/proc/5084/task/5086/stat : 5086 (java) S 5081 5084 4462 0 -1 1077944384 17360 0 0 0 1433 45 0 0 20 0 40 0 104706541 16181321728 757133 33554432000 4194304 4196468 140735861995472 139802801383552 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5087] ppid=5081 vsize=15802072 memory=3028972 CPUtime=9.15 cores=0-7
/proc/5084/task/5087/stat : 5087 (java) S 5081 5084 4462 0 -1 1077944384 69557 0 0 0 879 36 0 0 20 0 40 0 104706542 16181321728 757133 33554432000 4194304 4196468 140735861995472 139802734746256 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5088] ppid=5081 vsize=15802072 memory=3030512 CPUtime=9.05 cores=0-7
/proc/5084/task/5088/stat : 5088 (java) S 5081 5084 4462 0 -1 1077944384 65384 0 0 0 873 32 0 0 20 0 40 0 104706542 16181321728 757133 33554432000 4194304 4196468 140735861995472 139802733693456 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5089] ppid=5081 vsize=15802072 memory=3031540 CPUtime=9.04 cores=0-7
/proc/5084/task/5089/stat : 5089 (java) S 5081 5084 4462 0 -1 1077944384 66732 0 0 0 868 36 0 0 20 0 40 0 104706542 16181321728 757133 33554432000 4194304 4196468 140735861995472 139802732640656 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5090] ppid=5081 vsize=15802072 memory=3030000 CPUtime=9.04 cores=0-7
/proc/5084/task/5090/stat : 5090 (java) S 5081 5084 4462 0 -1 1077944384 67444 0 0 0 873 31 0 0 20 0 40 0 104706542 16181321728 757133 33554432000 4194304 4196468 140735861995472 139802731587856 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5091] ppid=5081 vsize=15802072 memory=3028460 CPUtime=9.12 cores=0-7
/proc/5084/task/5091/stat : 5091 (java) S 5081 5084 4462 0 -1 1077944384 69730 0 0 0 876 36 0 0 20 0 40 0 104706542 16181321728 757133 33554432000 4194304 4196468 140735861995472 139802730536080 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5092] ppid=5081 vsize=15802072 memory=301741420686082359 CPUtime=9.06 cores=0-7
/proc/5084/task/5092/stat : 5092 (java) S 5081 5084 4462 0 -1 1077944384 68715 0 0 0 872 34 0 0 20 0 40 0 104706542 16181321728 757133 33554432000 4194304 4196468 140735861995472 139802387684368 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5093] ppid=5081 vsize=15802072 memory=0 CPUtime=9.08 cores=0-7
/proc/5084/task/5093/stat : 5093 (java) S 5081 5084 4462 0 -1 1077944384 76103 0 0 0 872 36 0 0 20 0 40 0 104706542 16181321728 757133 33554432000 4194304 4196468 140735861995472 139802386631568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5094] ppid=5081 vsize=15802072 memory=1792 CPUtime=9.11 cores=0-7
/proc/5084/task/5094/stat : 5094 (java) S 5081 5084 4462 0 -1 1077944384 78429 0 0 0 872 39 0 0 20 0 40 0 104706542 16181321728 757133 33554432000 4194304 4196468 140735861995472 139802385578768 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5095] ppid=5081 vsize=15802072 memory=648 CPUtime=5.2 cores=0-7
/proc/5084/task/5095/stat : 5095 (java) S 5081 5084 4462 0 -1 1077944384 158871 0 0 0 435 85 0 0 20 0 40 0 104706544 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801986574704 139802797156994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5096] ppid=5081 vsize=15802072 memory=17856 CPUtime=0 cores=0-7
/proc/5084/task/5096/stat : 5096 (java) S 5081 5084 4462 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 40 0 104706544 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801985520736 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5097] ppid=5081 vsize=15802072 memory=4048 CPUtime=0 cores=0-7
/proc/5084/task/5097/stat : 5097 (java) S 5081 5084 4462 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 40 0 104706544 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801984467840 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5098] ppid=5081 vsize=15802072 memory=502 CPUtime=0 cores=0-7
/proc/5084/task/5098/stat : 5098 (java) S 5081 5084 4462 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 40 0 104706547 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801983416144 139802797164443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5099] ppid=5081 vsize=15802072 memory=0 CPUtime=2.81 cores=0-7
/proc/5084/task/5099/stat : 5099 (java) S 5081 5084 4462 0 -1 1077944384 16352 0 0 0 277 4 0 0 20 0 40 0 104706547 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801982364528 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5100] ppid=5081 vsize=15802072 memory=8112282956445269571 CPUtime=2.87 cores=0-7
/proc/5084/task/5100/stat : 5100 (java) S 5081 5084 4462 0 -1 1077944384 8579 0 0 0 285 2 0 0 20 0 40 0 104706547 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801981311728 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5101] ppid=5081 vsize=15802072 memory=12032 CPUtime=2.94 cores=0-7
/proc/5084/task/5101/stat : 5101 (java) S 5081 5084 4462 0 -1 1077944384 12318 0 0 0 292 2 0 0 20 0 40 0 104706547 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801980258928 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5102] ppid=5081 vsize=15802072 memory=8112282956445269571 CPUtime=1.24 cores=0-7
/proc/5084/task/5102/stat : 5102 (java) S 5081 5084 4462 0 -1 1077944384 23006 0 0 0 120 4 0 0 20 0 40 0 104706547 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801979206128 139802797156994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5103] ppid=5081 vsize=15802072 memory=279270184847644 CPUtime=0 cores=0-7
/proc/5084/task/5103/stat : 5103 (java) S 5081 5084 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 104706547 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801978153568 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5105] ppid=5081 vsize=15802072 memory=3042312 CPUtime=0 cores=0-7
/proc/5084/task/5105/stat : 5105 (java) S 5081 5084 4462 0 -1 1077944384 1005 0 0 0 0 0 0 0 20 0 40 0 104708055 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801966813824 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5106] ppid=5081 vsize=15802072 memory=30288 CPUtime=2.06 cores=0-7
/proc/5084/task/5106/stat : 5106 (java) R 5081 5084 4462 0 -1 1077944384 18385 0 0 0 83 123 0 0 20 0 40 0 104708067 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801963664160 139802797156994 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5107] ppid=5081 vsize=15802072 memory=3037696 CPUtime=2477.52 cores=0-7
/proc/5084/task/5107/stat : 5107 (java) R 5081 5084 4462 0 -1 4202560 50364 0 0 0 247705 47 0 0 20 0 40 0 104708076 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801960512376 139802415348068 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5108] ppid=5081 vsize=15802072 memory=3030000 CPUtime=2470.58 cores=0-7
/proc/5084/task/5108/stat : 5108 (java) R 5081 5084 4462 0 -1 4202560 48404 0 0 0 247010 48 0 0 20 0 40 0 104708077 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801959455760 139802415347704 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5109] ppid=5081 vsize=15802072 memory=3030512 CPUtime=0.47 cores=0-7
/proc/5084/task/5109/stat : 5109 (java) S 5081 5084 4462 0 -1 1077944384 45 0 0 0 47 0 0 0 20 0 40 0 104708077 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801958409520 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5110] ppid=5081 vsize=15802072 memory=3029488 CPUtime=0.43 cores=0-7
/proc/5084/task/5110/stat : 5110 (java) S 5081 5084 4462 0 -1 1077944384 32 0 0 0 43 0 0 0 20 0 40 0 104708080 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801957356720 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5111] ppid=5081 vsize=15802072 memory=3058720 CPUtime=2473.43 cores=0-7
/proc/5084/task/5111/stat : 5111 (java) R 5081 5084 4462 0 -1 4202560 45219 0 0 0 247292 51 0 0 20 0 40 0 104708080 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801956301176 139802420561553 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5112] ppid=5081 vsize=15802072 memory=3059232 CPUtime=0.3 cores=0-7
/proc/5084/task/5112/stat : 5112 (java) S 5081 5084 4462 0 -1 1077944384 65 0 0 0 30 0 0 0 20 0 40 0 104708080 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801955251120 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5113] ppid=5081 vsize=15802072 memory=3055640 CPUtime=2473.82 cores=0-7
/proc/5084/task/5113/stat : 5113 (java) R 5081 5084 4462 0 -1 4202560 40228 0 0 0 247348 34 0 0 20 0 40 0 104708080 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801954192008 139802420604918 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5114] ppid=5081 vsize=15802072 memory=0 CPUtime=0.4 cores=0-7
/proc/5084/task/5114/stat : 5114 (java) S 5081 5084 4462 0 -1 1077944384 38 0 0 0 40 0 0 0 20 0 40 0 104708080 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801953145520 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5115] ppid=5081 vsize=15802072 memory=-9178176117148050014 CPUtime=2475.5 cores=0-7
/proc/5084/task/5115/stat : 5115 (java) R 5081 5084 4462 0 -1 4202560 44997 0 0 0 247497 53 0 0 20 0 40 0 104708080 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801952087096 139802420561553 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5116] ppid=5081 vsize=15802072 memory=12423 CPUtime=2476.56 cores=0-7
/proc/5084/task/5116/stat : 5116 (java) R 5081 5084 4462 0 -1 4202560 46906 0 0 0 247599 57 0 0 20 0 40 0 104708081 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801951037480 139802415347446 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5117] ppid=5081 vsize=15802072 memory=3032564 CPUtime=2476.16 cores=0-7
/proc/5084/task/5117/stat : 5117 (java) R 5081 5084 4462 0 -1 4202560 44152 0 0 0 247565 51 0 0 20 0 40 0 104708143 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801949984984 139802412445046 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5118] ppid=5081 vsize=15802072 memory=3031540 CPUtime=0 cores=0-7
/proc/5084/task/5118/stat : 5118 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801948935344 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5119] ppid=5081 vsize=15802072 memory=288230621803970871 CPUtime=2475.77 cores=0-7
/proc/5084/task/5119/stat : 5119 (java) R 5081 5084 4462 0 -1 4202560 47977 0 0 0 247525 52 0 0 20 0 40 0 104708143 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801947879216 139802420561537 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5120] ppid=5081 vsize=15802072 memory=14699582244260269 CPUtime=0 cores=0-7
/proc/5084/task/5120/stat : 5120 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801946829744 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5121] ppid=5081 vsize=15802072 memory=3028972 CPUtime=0 cores=0-7
/proc/5084/task/5121/stat : 5121 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801945776944 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5122] ppid=5081 vsize=15802072 memory=0 CPUtime=0 cores=0-7
/proc/5084/task/5122/stat : 5122 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801944724144 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5123] ppid=5081 vsize=15802072 memory=8100678788690240083 CPUtime=0 cores=0-7
/proc/5084/task/5123/stat : 5123 (java) S 5081 5084 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 40 0 104708143 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801943672368 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
[pid=5084/tid=5124] ppid=5081 vsize=15802072 memory=8100678788690240083 CPUtime=0 cores=0-7
/proc/5084/task/5124/stat : 5124 (java) S 5081 5084 4462 0 -1 1077944384 1039 0 0 0 0 0 0 0 20 0 40 0 104708143 16181321728 757133 33554432000 4194304 4196468 140735861995472 139801942619696 139802797156053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31879168 140735861998689 140735861998875 140735861998875 140735862001615 0
Current children cumulated CPU time: 19906.4 s
Current children cumulated vsize: 15802072 KiB
Current children cumulated memory: 3028532 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19906.5
CPU user time (s): 19898.4
CPU system time (s): 8.17304
CPU usage (%): 789.894
Max. virtual memory (cumulated for all children) (KiB): 15802072
Max. memory (cumulated for all children) (KiB): 3943380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19898.4
system time used= 8.17304
maximum resident set size= 3943380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1197919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 566927
involuntary context switches= 420744


# summary of solver processes directly reported to runsolver:
#   pid: 5084
#   total CPU time (s): 19906.5
#   total CPU user time (s): 19898.4
#   total CPU system time (s): 8.17304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.082 second user time and 34.5273 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-14 14:56:38
IDJOB=4275310
IDBENCH=125570
IDSOLVER=2668
FILE ID=node149/4275310-1502716256
RUNJOBID= node149-1502712864-4489
PBS_JOBID= 20629027
Free space on /tmp= 61936 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275310-1502716256/watcher-4275310-1502716256 -o /tmp/evaluation-result-4275310-1502716256/solver-4275310-1502716256 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502712864-4489 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1808674357 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275310-1502716256.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=1808674357

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

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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:        27743364 kB
MemAvailable:   31970348 kB
Buffers:          297192 kB
Cached:          4203220 kB
SwapCached:            0 kB
Active:          1215988 kB
Inactive:        3339632 kB
Active(anon):      58800 kB
Inactive(anon):    24944 kB
Active(file):    1157188 kB
Inactive(file):  3314688 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42292 kB
Writeback:             0 kB
AnonPages:         54816 kB
Mapped:            45068 kB
Shmem:             25224 kB
Slab:             168404 kB
SReclaimable:     141888 kB
SUnreclaim:        26516 kB
KernelStack:        3520 kB
PageTables:         4564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61892 MiB
End job on node149 at 2017-08-14 15:38:38