Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 | OPT | 476 | 574.357 | 566.232 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml |
MD5SUM | 4c656a32ec3c33e829e63e71b466a9e3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 476 |
Best CPU time to get the best result obtained on this benchmark | 47.1056 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7018 |
Number of constraints | 650 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 212 |
Distribution of domain sizes | [{"size":2,"count":638},{"size":22,"count":638},{"size":41,"count":638},{"size":43,"count":638},{"size":46,"count":638},{"size":62,"count":638},{"size":114,"count":638},{"size":137,"count":638},{"size":155,"count":638},{"size":178,"count":638},{"size":212,"count":638}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":7018}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 6380 |
Distribution of constraint arities | [{"arity":11,"count":638},{"arity":638,"count":11},{"arity":6380,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":648}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406238-1569402133.xml" -tl '2520s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406238-1569402133.xml, -tl, 2520s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 1.80/0.75 c solve instance... 119.30/112.43 o 637 120.15/113.12 o 636 120.66/113.65 o 635 120.86/113.86 o 634 122.38/115.25 o 633 122.59/115.48 o 632 122.89/115.72 o 631 126.05/118.80 o 630 126.31/119.06 o 629 126.64/119.30 o 628 126.84/119.51 o 627 127.05/119.75 o 626 127.24/119.99 o 625 127.96/120.65 o 624 128.26/120.94 o 623 128.50/121.19 o 622 128.81/121.35 o 621 129.01/121.54 o 620 129.21/121.71 o 619 129.31/121.89 o 618 129.52/122.05 o 617 129.71/122.22 o 616 129.81/122.39 o 615 130.01/122.56 o 614 130.21/122.72 o 613 130.41/122.95 o 612 130.62/123.11 o 611 130.71/123.27 o 610 131.01/123.50 o 609 131.11/123.65 o 608 131.21/123.80 o 607 131.52/124.10 o 606 131.81/124.33 o 605 132.02/124.56 o 604 132.22/124.79 o 603 132.52/125.04 o 602 132.72/125.27 o 601 133.52/125.95 o 600 135.15/127.52 o 599 135.66/128.07 o 598 136.28/128.67 o 597 136.48/128.81 o 596 136.58/128.98 o 595 136.69/129.10 o 594 136.88/129.25 o 593 137.08/129.41 o 592 137.18/129.55 o 591 137.38/129.70 o 590 137.90/130.21 o 589 138.01/130.37 o 588 138.11/130.48 o 587 138.31/130.64 o 586 139.01/131.31 o 585 139.41/131.72 o 584 139.91/132.29 o 583 140.11/132.43 o 582 140.21/132.56 o 581 140.31/132.66 o 580 140.51/132.84 o 579 140.61/132.97 o 578 140.82/133.12 o 577 140.91/133.23 o 576 141.01/133.33 o 575 141.51/133.82 o 574 141.61/133.98 o 573 141.72/134.10 o 572 141.82/134.19 o 571 142.01/134.31 o 570 142.11/134.43 o 569 143.31/135.68 o 568 147.23/139.56 o 567 148.03/140.30 o 566 148.63/140.94 o 565 153.78/146.10 o 564 154.08/146.39 o 563 154.48/146.71 o 562 154.78/147.05 o 561 155.89/148.19 o 560 156.38/148.67 o 559 156.68/148.96 o 558 156.98/149.28 o 557 160.49/152.78 o 556 184.47/176.66 o 555 184.57/176.78 o 554 184.88/177.08 o 553 185.07/177.21 o 552 185.17/177.38 o 551 185.67/177.87 o 550 186.07/178.24 o 549 186.27/178.40 o 548 186.60/178.74 o 547 186.80/178.91 o 546 186.91/179.07 o 545 187.10/179.26 o 544 187.50/179.60 o 543 187.70/179.85 o 542 187.80/179.98 o 541 187.91/180.10 o 540 188.20/180.36 o 539 188.41/180.51 o 538 188.51/180.66 o 537 188.71/180.82 o 536 188.91/181.02 o 535 204.81/196.96 o 534 205.21/197.36 o 533 205.31/197.50 o 532 205.51/197.64 o 531 205.71/197.81 o 530 206.11/198.25 o 529 206.31/198.41 o 528 206.61/198.73 o 527 206.81/198.91 o 526 207.21/199.32 o 525 207.31/199.46 o 524 207.61/199.72 o 523 207.71/199.85 o 522 207.81/199.99 o 521 208.02/200.16 o 520 208.11/200.29 o 519 208.31/200.44 o 518 208.41/200.58 o 517 208.81/200.97 o 516 208.92/201.10 o 515 209.11/201.24 o 514 209.21/201.37 o 513 209.42/201.50 o 512 209.73/201.89 o 511 209.94/202.03 o 510 210.04/202.17 o 509 210.23/202.30 o 508 210.33/202.43 o 507 210.83/202.93 o 506 210.94/203.06 o 505 211.04/203.16 o 504 211.33/203.41 o 503 211.43/203.53 o 502 211.53/203.66 o 501 211.73/203.84 o 500 211.83/203.94 o 499 211.94/204.09 o 498 212.44/204.55 o 497 212.64/204.71 o 496 212.74/204.81 o 495 212.84/204.94 o 494 212.95/205.09 o 493 213.14/205.21 o 492 213.24/205.35 o 491 213.34/205.47 o 490 213.44/205.59 o 489 213.64/205.72 o 488 213.74/205.85 o 487 213.84/205.97 o 486 213.95/206.07 o 485 214.14/206.23 o 484 474.11/466.10 o 483 494.50/486.44 o 482 511.70/503.61 o 481 560.13/552.02 o 480 561.72/553.65 o 479 563.02/554.97 o 478 567.02/558.90 o 477 567.52/559.49 o 476 574.32/566.21 s OPTIMUM FOUND 574.32/566.21 v <instantiation> 574.32/566.21 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] p[500] p[501] p[502] p[503] p[504] p[505] p[506] p[507] p[508] p[509] p[510] p[511] p[512] p[513] p[514] p[515] p[516] p[517] p[518] p[519] p[520] p[521] p[522] p[523] p[524] p[525] p[526] p[527] p[528] p[529] p[530] p[531] p[532] p[533] p[534] p[535] p[536] p[537] p[538] p[539] p[540] p[541] p[542] p[543] p[544] p[545] p[546] p[547] p[548] p[549] p[550] p[551] p[552] p[553] p[554] p[555] p[556] p[557] p[558] p[559] p[560] p[561] p[562] p[563] p[564] p[565] p[566] p[567] p[568] p[569] p[570] p[571] p[572] p[573] p[574] p[575] p[576] p[577] p[578] p[579] p[580] p[581] p[582] p[583] p[584] p[585] p[586] p[587] p[588] p[589] p[590] p[591] p[592] p[593] p[594] p[595] p[596] p[597] p[598] p[599] p[600] p[601] p[602] p[603] p[604] p[605] p[606] p[607] p[608] p[609] p[610] p[611] p[612] p[613] p[614] p[615] p[616] p[617] p[618] p[619] p[620] p[621] p[622] p[623] p[624] p[625] p[626] p[627] p[628] p[629] p[630] p[631] p[632] p[633] p[634] p[635] p[636] p[637] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[224][0] r[224][1] r[224][2] r[224][3] r[224][4] r[224][5] r[224][6] r[224][7] r[224][8] r[224][9] r[225][0] r[225][1] r[225][2] r[225][3] r[225][4] r[225][5] r[225][6] r[225][7] r[225][8] r[225][9] r[226][0] r[226][1] r[226][2] r[226][3] r[226][4] r[226][5] r[226][6] r[226][7] r[226][8] r[226][9] r[227][0] r[227][1] r[227][2] r[227][3] r[227][4] r[227][5] r[227][6] r[227][7] r[227][8] r[227][9] r[228][0] r[228][1] r[228][2] r[228][3] r[228][4] r[228][5] r[228][6] r[228][7] r[228][8] r[228][9] r[229][0] r[229][1] r[229][2] r[229][3] r[229][4] r[229][5] r[229][6] r[229][7] r[229][8] r[229][9] r[230][0] r[230][1] r[230][2] r[230][3] r[230][4] r[230][5] r[230][6] r[230][7] r[230][8] r[230][9] r[231][0] r[231][1] r[231][2] r[231][3] r[231][4] r[231][5] r[231][6] r[231][7] r[231][8] r[231][9] r[232][0] r[232][1] r[232][2] r[232][3] r[232][4] r[232][5] r[232][6] r[232][7] r[232][8] r[232][9] r[233][0] r[233][1] r[233][2] r[233][3] r[233][4] r[233][5] r[233][6] r[233][7] r[233][8] r[233][9] r[234][0] r[234][1] r[234][2] r[234][3] r[234][4] r[234][5] r[234][6] r[234][7] r[234][8] r[234][9] r[235][0] r[235][1] r[235][2] r[235][3] r[235][4] r[235][5] r[235][6] r[235][7] r[235][8] r[235][9] r[236][0] r[236][1] r[236][2] r[236][3] r[236][4] r[236][5] r[236][6] r[236][7] r[236][8] r[236][9] r[237][0] r[237][1] r[237][2] r[237][3] r[237][4] r[237][5] r[237][6] r[237][7] r[237][8] r[237][9] r[238][0] r[238][1] r[238][2] r[238][3] r[238][4] r[238][5] r[238][6] r[238][7] r[238][8] r[238][9] r[239][0] r[239][1] r[239][2] r[239][3] r[239][4] r[239][5] r[239][6] r[239][7] r[239][8] r[239][9] r[240][0] r[240][1] r[240][2] r[240][3] r[240][4] r[240][5] r[240][6] r[240][7] r[240][8] r[240][9] r[241][0] r[241][1] r[241][2] r[241][3] r[241][4] r[241][5] r[241][6] r[241][7] r[241][8] r[241][9] r[242][0] r[242][1] r[242][2] r[242][3] r[242][4] r[242][5] r[242][6] r[242][7] r[242][8] r[242][9] r[243][0] r[243][1] r[243][2] r[243][3] r[243][4] r[243][5] r[243][6] r[243][7] r[243][8] r[243][9] r[244][0] r[244][1] r[244][2] r[244][3] r[244][4] r[244][5] r[244][6] r[244][7] r[244][8] r[244][9] r[245][0] r[245][1] r[245][2] r[245][3] r[245][4] r[245][5] r[245][6] r[245][7] r[245][8] r[245][9] r[246][0] r[246][1] r[246][2] r[246][3] r[246][4] r[246][5] r[246][6] r[246][7] r[246][8] r[246][9] r[247][0] r[247][1] r[247][2] r[247][3] r[247][4] r[247][5] r[247][6] r[247][7] r[247][8] r[247][9] r[248][0] r[248][1] r[248][2] r[248][3] r[248][4] r[248][5] r[248][6] r[248][7] r[248][8] r[248][9] r[249][0] r[249][1] r[249][2] r[249][3] r[249][4] r[249][5] r[249][6] r[249][7] r[249][8] r[249][9] r[250][0] r[250][1] r[250][2] r[250][3] r[250][4] r[250][5] r[250][6] r[250][7] r[250][8] r[250][9] r[251][0] r[251][1] r[251][2] r[251][3] r[251][4] r[251][5] r[251][6] r[251][7] r[251][8] r[251][9] r[252][0] r[252][1] r[252][2] r[252][3] r[252][4] r[252][5] r[252][6] r[252][7] r[252][8] r[252][9] r[253][0] r[253][1] r[253][2] r[253][3] r[253][4] r[253][5] r[253][6] r[253][7] r[253][8] r[253][9] r[254][0] r[254][1] r[254][2] r[254][3] r[254][4] r[254][5] r[254][6] r[254][7] r[254][8] r[254][9] r[255][0] r[255][1] r[255][2] r[255][3] r[255][4] r[255][5] r[255][6] r[255][7] r[255][8] r[255][9] r[256][0] r[256][1] r[256][2] r[256][3] r[256][4] r[256][5] r[256][6] r[256][7] r[256][8] r[256][9] r[257][0] r[257][1] r[257][2] r[257][3] r[257][4] r[257][5] r[257][6] r[257][7] r[257][8] r[257][9] r[258][0] r[258][1] r[258][2] r[258][3] r[258][4] r[258][5] r[258][6] r[258][7] r[258][8] r[258][9] r[259][0] r[259][1] r[259][2] r[259][3] r[259][4] r[259][5] r[259][6] r[259][7] r[259][8] r[259][9] r[260][0] r[260][1] r[260][2] r[260][3] r[260][4] r[260][5] r[260][6] r[260][7] r[260][8] r[260][9] r[261][0] r[261][1] r[261][2] r[261][3] r[261][4] r[261][5] r[261][6] r[261][7] r[261][8] r[261][9] r[262][0] r[262][1] r[262][2] r[262][3] r[262][4] r[262][5] r[262][6] r[262][7] r[262][8] r[262][9] r[263][0] r[263][1] r[263][2] r[263][3] r[263][4] r[263][5] r[263][6] r[263][7] r[263][8] r[263][9] r[264][0] r[264][1] r[264][2] r[264][3] r[264][4] r[264][5] r[264][6] r[264][7] r[264][8] r[264][9] r[265][0] r[265][1] r[265][2] r[265][3] r[265][4] r[265][5] r[265][6] r[265][7] r[265][8] r[265][9] r[266][0] r[266][1] r[266][2] r[266][3] r[266][4] r[266][5] r[266][6] r[266][7] r[266][8] r[266][9] r[267][0] r[267][1] r[267][2] r[267][3] r[267][4] r[267][5] r[267][6] r[267][7] r[267][8] r[267][9] r[268][0] r[268][1] r[268][2] r[268][3] r[268][4] r[268][5] r[268][6] r[268][7] r[268][8] r[268][9] r[269][0] r[269][1] r[269][2] r[269][3] r[269][4] r[269][5] r[269][6] r[269][7] r[269][8] r[269][9] r[270][0] r[270][1] r[270][2] r[270][3] r[270][4] r[270][5] r[270][6] r[270][7] r[270][8] r[270][9] r[271][0] r[271][1] r[271][2] r[271][3] r[271][4] r[271][5] r[271][6] r[271][7] r[271][8] r[271][9] r[272][0] r[272][1] r[272][2] r[272][3] r[272][4] r[272][5] r[272][6] r[272][7] r[272][8] r[272][9] r[273][0] r[273][1] r[273][2] r[273][3] r[273][4] r[273][5] r[273][6] r[273][7] r[273][8] r[273][9] r[274][0] r[274][1] r[274][2] r[274][3] r[274][4] r[274][5] r[274][6] r[274][7] r[274][8] r[274][9] r[275][0] r[275][1] r[275][2] r[275][3] r[275][4] r[275][5] r[275][6] r[275][7] r[275][8] r[275][9] r[276][0] r[276][1] r[276][2] r[276][3] r[276][4] r[276][5] r[276][6] r[276][7] r[276][8] r[276][9] r[277][0] r[277][1] r[277][2] r[277][3] r[277][4] r[277][5] r[277][6] r[277][7] r[277][8] r[277][9] r[278][0] r[278][1] r[278][2] r[278][3] r[278][4] r[278][5] r[278][6] r[278][7] r[278][8] r[278][9] r[279][0] r[279][1] r[279][2] r[279][3] r[279][4] r[279][5] r[279][6] r[279][7] r[279][8] r[279][9] r[280][0] r[280][1] r[280][2] r[280][3] r[280][4] r[280][5] r[280][6] r[280][7] r[280][8] r[280][9] r[281][0] r[281][1] r[281][2] r[281][3] r[281][4] r[281][5] r[281][6] r[281][7] r[281][8] r[281][9] r[282][0] r[282][1] r[282][2] r[282][3] r[282][4] r[282][5] r[282][6] r[282][7] r[282][8] r[282][9] r[283][0] r[283][1] r[283][2] r[283][3] r[283][4] r[283][5] r[283][6] r[283][7] r[283][8] r[283][9] r[284][0] r[284][1] r[284][2] r[284][3] r[284][4] r[284][5] r[284][6] r[284][7] r[284][8] r[284][9] r[285][0] r[285][1] r[285][2] r[285][3] r[285][4] r[285][5] r[285][6] r[285][7] r[285][8] r[285][9] r[286][0] r[286][1] r[286][2] r[286][3] r[286][4] r[286][5] r[286][6] r[286][7] r[286][8] r[286][9] r[287][0] r[287][1] r[287][2] r[287][3] r[287][4] r[287][5] r[287][6] r[287][7] r[287][8] r[287][9] r[288][0] r[288][1] r[288][2] r[288][3] r[288][4] r[288][5] r[288][6] r[288][7] r[288][8] r[288][9] r[289][0] r[289][1] r[289][2] r[289][3] r[289][4] r[289][5] r[289][6] r[289][7] r[289][8] r[289][9] r[290][0] r[290][1] r[290][2] r[290][3] r[290][4] r[290][5] r[290][6] r[290][7] r[290][8] r[290][9] r[291][0] r[291][1] r[291][2] r[291][3] r[291][4] r[291][5] r[291][6] r[291][7] r[291][8] r[291][9] r[292][0] r[292][1] r[292][2] r[292][3] r[292][4] r[292][5] r[292][6] r[292][7] r[292][8] r[292][9] r[293][0] r[293][1] r[293][2] r[293][3] r[293][4] r[293][5] r[293][6] r[293][7] r[293][8] r[293][9] r[294][0] r[294][1] r[294][2] r[294][3] r[294][4] r[294][5] r[294][6] r[294][7] r[294][8] r[294][9] r[295][0] r[295][1] r[295][2] r[295][3] r[295][4] r[295][5] r[295][6] r[295][7] r[295][8] r[295][9] r[296][0] r[296][1] r[296][2] r[296][3] r[296][4] r[296][5] r[296][6] r[296][7] r[296][8] r[296][9] r[297][0] r[297][1] r[297][2] r[297][3] r[297][4] r[297][5] r[297][6] r[297][7] r[297][8] r[297][9] r[298][0] r[298][1] r[298][2] r[298][3] r[298][4] r[298][5] r[298][6] r[298][7] r[298][8] r[298][9] r[299][0] r[299][1] r[299][2] r[299][3] r[299][4] r[299][5] r[299][6] r[299][7] r[299][8] r[299][9] r[300][0] r[300][1] r[300][2] r[300][3] r[300][4] r[300][5] r[300][6] r[300][7] r[300][8] r[300][9] r[301][0] r[301][1] r[301][2] r[301][3] r[301][4] r[301][5] r[301][6] r[301][7] r[301][8] r[301][9] r[302][0] r[302][1] r[302][2] r[302][3] r[302][4] r[302][5] r[302][6] r[302][7] r[302][8] r[302][9] r[303][0] r[303][1] r[303][2] r[303][3] r[303][4] r[303][5] r[303][6] r[303][7] r[303][8] r[303][9] r[304][0] r[304][1] r[304][2] r[304][3] r[304][4] r[304][5] r[304][6] r[304][7] r[304][8] r[304][9] r[305][0] r[305][1] r[305][2] r[305][3] r[305][4] r[305][5] r[305][6] r[305][7] r[305][8] r[305][9] r[306][0] r[306][1] r[306][2] r[306][3] r[306][4] r[306][5] r[306][6] r[306][7] r[306][8] r[306][9] r[307][0] r[307][1] r[307][2] r[307][3] r[307][4] r[307][5] r[307][6] r[307][7] r[307][8] r[307][9] r[308][0] r[308][1] r[308][2] r[308][3] r[308][4] r[308][5] r[308][6] r[308][7] r[308][8] r[308][9] r[309][0] r[309][1] r[309][2] r[309][3] r[309][4] r[309][5] r[309][6] r[309][7] r[309][8] r[309][9] r[310][0] r[310][1] r[310][2] r[310][3] r[310][4] r[310][5] r[310][6] r[310][7] r[310][8] r[310][9] r[311][0] r[311][1] r[311][2] r[311][3] r[311][4] r[311][5] r[311][6] r[311][7] r[311][8] r[311][9] r[312][0] r[312][1] r[312][2] r[312][3] r[312][4] r[312][5] r[312][6] r[312][7] r[312][8] r[312][9] r[313][0] r[313][1] r[313][2] r[313][3] r[313][4] r[313][5] r[313][6] r[313][7] r[313][8] r[313][9] r[314][0] r[314][1] r[314][2] r[314][3] r[314][4] r[314][5] r[314][6] r[314][7] r[314][8] r[314][9] r[315][0] r[315][1] r[315][2] r[315][3] r[315][4] r[315][5] r[315][6] r[315][7] r[315][8] r[315][9] r[316][0] r[316][1] r[316][2] r[316][3] r[316][4] r[316][5] r[316][6] r[316][7] r[316][8] r[316][9] r[317][0] r[317][1] r[317][2] r[317][3] r[317][4] r[317][5] r[317][6] r[317][7] r[317][8] r[317][9] r[318][0] r[318][1] r[318][2] r[318][3] r[318][4] r[318][5] r[318][6] r[318][7] r[318][8] r[318][9] r[319][0] r[319][1] r[319][2] r[319][3] r[319][4] r[319][5] r[319][6] r[319][7] r[319][8] r[319][9] r[320][0] r[320][1] r[320][2] r[320][3] r[320][4] r[320][5] r[320][6] r[320][7] r[320][8] r[320][9] r[321][0] r[321][1] r[321][2] r[321][3] r[321][4] r[321][5] r[321][6] r[321][7] r[321][8] r[321][9] r[322][0] r[322][1] r[322][2] r[322][3] r[322][4] r[322][5] r[322][6] r[322][7] r[322][8] r[322][9] r[323][0] r[323][1] r[323][2] r[323][3] r[323][4] r[323][5] r[323][6] r[323][7] r[323][8] r[323][9] r[324][0] r[324][1] r[324][2] r[324][3] r[324][4] r[324][5] r[324][6] r[324][7] r[324][8] r[324][9] r[325][0] r[325][1] r[325][2] r[325][3] r[325][4] r[325][5] r[325][6] r[325][7] r[325][8] r[325][9] r[326][0] r[326][1] r[326][2] r[326][3] r[326][4] r[326][5] r[326][6] r[326][7] r[326][8] r[326][9] r[327][0] r[327][1] r[327][2] r[327][3] r[327][4] r[327][5] r[327][6] r[327][7] r[327][8] r[327][9] r[328][0] r[328][1] r[328][2] r[328][3] r[328][4] r[328][5] r[328][6] r[328][7] r[328][8] r[328][9] r[329][0] r[329][1] r[329][2] r[329][3] r[329][4] r[329][5] r[329][6] r[329][7] r[329][8] r[329][9] r[330][0] r[330][1] r[330][2] r[330][3] r[330][4] r[330][5] r[330][6] r[330][7] r[330][8] r[330][9] r[331][0] r[331][1] r[331][2] r[331][3] r[331][4] r[331][5] r[331][6] r[331][7] r[331][8] r[331][9] r[332][0] r[332][1] r[332][2] r[332][3] r[332][4] r[332][5] r[332][6] r[332][7] r[332][8] r[332][9] r[333][0] r[333][1] r[333][2] r[333][3] r[333][4] r[333][5] r[333][6] r[333][7] r[333][8] r[333][9] r[334][0] r[334][1] r[334][2] r[334][3] r[334][4] r[334][5] r[334][6] r[334][7] r[334][8] r[334][9] r[335][0] r[335][1] r[335][2] r[335][3] r[335][4] r[335][5] r[335][6] r[335][7] r[335][8] r[335][9] r[336][0] r[336][1] r[336][2] r[336][3] r[336][4] r[336][5] r[336][6] r[336][7] r[336][8] r[336][9] r[337][0] r[337][1] r[337][2] r[337][3] r[337][4] r[337][5] r[337][6] r[337][7] r[337][8] r[337][9] r[338][0] r[338][1] r[338][2] r[338][3] r[338][4] r[338][5] r[338][6] r[338][7] r[338][8] r[338][9] r[339][0] r[339][1] r[339][2] r[339][3] r[339][4] r[339][5] r[339][6] r[339][7] r[339][8] r[339][9] r[340][0] r[340][1] r[340][2] r[340][3] r[340][4] r[340][5] r[340][6] r[340][7] r[340][8] r[340][9] r[341][0] r[341][1] r[341][2] r[341][3] r[341][4] r[341][5] r[341][6] r[341][7] r[341][8] r[341][9] r[342][0] r[342][1] r[342][2] r[342][3] r[342][4] r[342][5] r[342][6] r[342][7] r[342][8] r[342][9] r[343][0] r[343][1] r[343][2] r[343][3] r[343][4] r[343][5] r[343][6] r[343][7] r[343][8] r[343][9] r[344][0] r[344][1] r[344][2] r[344][3] r[344][4] r[344][5] r[344][6] r[344][7] r[344][8] r[344][9] r[345][0] r[345][1] r[345][2] r[345][3] r[345][4] r[345][5] r[345][6] r[345][7] r[345][8] r[345][9] r[346][0] r[346][1] r[346][2] r[346][3] r[346][4] r[346][5] r[346][6] r[346][7] r[346][8] r[346][9] r[347][0] r[347][1] r[347][2] r[347][3] r[347][4] r[347][5] r[347][6] r[347][7] r[347][8] r[347][9] r[348][0] r[348][1] r[348][2] r[348][3] r[348][4] r[348][5] r[348][6] r[348][7] r[348][8] r[348][9] r[349][0] r[349][1] r[349][2] r[349][3] r[349][4] r[349][5] r[349][6] r[349][7] r[349][8] r[349][9] r[350][0] r[350][1] r[350][2] r[350][3] r[350][4] r[350][5] r[350][6] r[350][7] r[350][8] r[350][9] r[351][0] r[351][1] r[351][2] r[351][3] r[351][4] r[351][5] r[351][6] r[351][7] r[351][8] r[351][9] r[352][0] r[352][1] r[352][2] r[352][3] r[352][4] r[352][5] r[352][6] r[352][7] r[352][8] r[352][9] r[353][0] r[353][1] r[353][2] r[353][3] r[353][4] r[353][5] r[353][6] r[353][7] r[353][8] r[353][9] r[354][0] r[354][1] r[354][2] r[354][3] r[354][4] r[354][5] r[354][6] r[354][7] r[354][8] r[354][9] r[355][0] r[355][1] r[355][2] r[355][3] r[355][4] r[355][5] r[355][6] r[355][7] r[355][8] r[355][9] r[356][0] r[356][1] r[356][2] r[356][3] r[356][4] r[356][5] r[356][6] r[356][7] r[356][8] r[356][9] r[357][0] r[357][1] r[357][2] r[357][3] r[357][4] r[357][5] r[357][6] r[357][7] r[357][8] r[357][9] r[358][0] r[358][1] r[358][2] r[358][3] r[358][4] r[358][5] r[358][6] r[358][7] r[358][8] r[358][9] r[359][0] r[359][1] r[359][2] r[359][3] r[359][4] r[359][5] r[359][6] r[359][7] r[359][8] r[359][9] r[360][0] r[360][1] r[360][2] r[360][3] r[360][4] r[360][5] r[360][6] r[360][7] r[360][8] r[360][9] r[361][0] r[361][1] r[361][2] r[361][3] r[361][4] r[361][5] r[361][6] r[361][7] r[361][8] r[361][9] r[362][0] r[362][1] r[362][2] r[362][3] r[362][4] r[362][5] r[362][6] r[362][7] r[362][8] r[362][9] r[363][0] r[363][1] r[363][2] r[363][3] r[363][4] r[363][5] r[363][6] r[363][7] r[363][8] r[363][9] r[364][0] r[364][1] r[364][2] r[364][3] r[364][4] r[364][5] r[364][6] r[364][7] r[364][8] r[364][9] r[365][0] r[365][1] r[365][2] r[365][3] r[365][4] r[365][5] r[365][6] r[365][7] r[365][8] r[365][9] r[366][0] r[366][1] r[366][2] r[366][3] r[366][4] r[366][5] r[366][6] r[366][7] r[366][8] r[366][9] r[367][0] r[367][1] r[367][2] r[367][3] r[367][4] r[367][5] r[367][6] r[367][7] r[367][8] r[367][9] r[368][0] r[368][1] r[368][2] r[368][3] r[368][4] r[368][5] r[368][6] r[368][7] r[368][8] r[368][9] r[369][0] r[369][1] r[369][2] r[369][3] r[369][4] r[369][5] r[369][6] r[369][7] r[369][8] r[369][9] r[370][0] r[370][1] r[370][2] r[370][3] r[370][4] r[370][5] r[370][6] r[370][7] r[370][8] r[370][9] r[371][0] r[371][1] r[371][2] r[371][3] r[371][4] r[371][5] r[371][6] r[371][7] r[371][8] r[371][9] r[372][0] r[372][1] r[372][2] r[372][3] r[372][4] r[372][5] r[372][6] r[372][7] r[372][8] r[372][9] r[373][0] r[373][1] r[373][2] r[373][3] r[373][4] r[373][5] r[373][6] r[373][7] r[373][8] r[373][9] r[374][0] r[374][1] r[374][2] r[374][3] r[374][4] r[374][5] r[374][6] r[374][7] r[374][8] r[374][9] r[375][0] r[375][1] r[375][2] r[375][3] r[375][4] r[375][5] r[375][6] r[375][7] r[375][8] r[375][9] r[376][0] r[376][1] r[376][2] r[376][3] r[376][4] r[376][5] r[376][6] r[376][7] r[376][8] r[376][9] r[377][0] r[377][1] r[377][2] r[377][3] r[377][4] r[377][5] r[377][6] r[377][7] r[377][8] r[377][9] r[378][0] r[378][1] r[378][2] r[378][3] r[378][4] r[378][5] r[378][6] r[378][7] r[378][8] r[378][9] r[379][0] r[379][1] r[379][2] r[379][3] r[379][4] r[379][5] r[379][6] r[379][7] r[379][8] r[379][9] r[380][0] r[380][1] r[380][2] r[380][3] r[380][4] r[380][5] r[380][6] r[380][7] r[380][8] r[380][9] r[381][0] r[381][1] r[381][2] r[381][3] r[381][4] r[381][5] r[381][6] r[381][7] r[381][8] r[381][9] r[382][0] r[382][1] r[382][2] r[382][3] r[382][4] r[382][5] r[382][6] r[382][7] r[382][8] r[382][9] r[383][0] r[383][1] r[383][2] r[383][3] r[383][4] r[383][5] r[383][6] r[383][7] r[383][8] r[383][9] r[384][0] r[384][1] r[384][2] r[384][3] r[384][4] r[384][5] r[384][6] r[384][7] r[384][8] r[384][9] r[385][0] r[385][1] r[385][2] r[385][3] r[385][4] r[385][5] r[385][6] r[385][7] r[385][8] r[385][9] r[386][0] r[386][1] r[386][2] r[386][3] r[386][4] r[386][5] r[386][6] r[386][7] r[386][8] r[386][9] r[387][0] r[387][1] r[387][2] r[387][3] r[387][4] r[387][5] r[387][6] r[387][7] r[387][8] r[387][9] r[388][0] r[388][1] r[388][2] r[388][3] r[388][4] r[388][5] r[388][6] r[388][7] r[388][8] r[388][9] r[389][0] r[389][1] r[389][2] r[389][3] r[389][4] r[389][5] r[389][6] r[389][7] r[389][8] r[389][9] r[390][0] r[390][1] r[390][2] r[390][3] r[390][4] r[390][5] r[390][6] r[390][7] r[390][8] r[390][9] r[391][0] r[391][1] r[391][2] r[391][3] r[391][4] r[391][5] r[391][6] r[391][7] r[391][8] r[391][9] r[392][0] r[392][1] r[392][2] r[392][3] r[392][4] r[392][5] r[392][6] r[392][7] r[392][8] r[392][9] r[393][0] r[393][1] r[393][2] r[393][3] r[393][4] r[393][5] r[393][6] r[393][7] r[393][8] r[393][9] r[394][0] r[394][1] r[394][2] r[394][3] r[394][4] r[394][5] r[394][6] r[394][7] r[394][8] r[394][9] r[395][0] r[395][1] r[395][2] r[395][3] r[395][4] r[395][5] r[395][6] r[395][7] r[395][8] r[395][9] r[396][0] r[396][1] r[396][2] r[396][3] r[396][4] r[396][5] r[396][6] r[396][7] r[396][8] r[396][9] r[397][0] r[397][1] r[397][2] r[397][3] r[397][4] r[397][5] r[397][6] r[397][7] r[397][8] r[397][9] r[398][0] r[398][1] r[398][2] r[398][3] r[398][4] r[398][5] r[398][6] r[398][7] r[398][8] r[398][9] r[399][0] r[399][1] r[399][2] r[399][3] r[399][4] r[399][5] r[399][6] r[399][7] r[399][8] r[399][9] r[400][0] r[400][1] r[400][2] r[400][3] r[400][4] r[400][5] r[400][6] r[400][7] r[400][8] r[400][9] r[401][0] r[401][1] r[401][2] r[401][3] r[401][4] r[401][5] r[401][6] r[401][7] r[401][8] r[401][9] r[402][0] r[402][1] r[402][2] r[402][3] r[402][4] r[402][5] r[402][6] r[402][7] r[402][8] r[402][9] r[403][0] r[403][1] r[403][2] r[403][3] r[403][4] r[403][5] r[403][6] r[403][7] r[403][8] r[403][9] r[404][0] r[404][1] r[404][2] r[404][3] r[404][4] r[404][5] r[404][6] r[404][7] r[404][8] r[404][9] r[405][0] r[405][1] r[405][2] r[405][3] r[405][4] r[405][5] r[405][6] r[405][7] r[405][8] r[405][9] r[406][0] r[406][1] r[406][2] r[406][3] r[406][4] r[406][5] r[406][6] r[406][7] r[406][8] r[406][9] r[407][0] r[407][1] r[407][2] r[407][3] r[407][4] r[407][5] r[407][6] r[407][7] r[407][8] r[407][9] r[408][0] r[408][1] r[408][2] r[408][3] r[408][4] r[408][5] r[408][6] r[408][7] r[408][8] r[408][9] r[409][0] r[409][1] r[409][2] r[409][3] r[409][4] r[409][5] r[409][6] r[409][7] r[409][8] r[409][9] r[410][0] r[410][1] r[410][2] r[410][3] r[410][4] r[410][5] r[410][6] r[410][7] r[410][8] r[410][9] r[411][0] r[411][1] r[411][2] r[411][3] r[411][4] r[411][5] r[411][6] r[411][7] r[411][8] r[411][9] r[412][0] r[412][1] r[412][2] r[412][3] r[412][4] r[412][5] r[412][6] r[412][7] r[412][8] r[412][9] r[413][0] r[413][1] r[413][2] r[413][3] r[413][4] r[413][5] r[413][6] r[413][7] r[413][8] r[413][9] r[414][0] r[414][1] r[414][2] r[414][3] r[414][4] r[414][5] r[414][6] r[414][7] r[414][8] r[414][9] r[415][0] r[415][1] r[415][2] r[415][3] r[415][4] r[415][5] r[415][6] r[415][7] r[415][8] r[415][9] r[416][0] r[416][1] r[416][2] r[416][3] r[416][4] r[416][5] r[416][6] r[416][7] r[416][8] r[416][9] r[417][0] r[417][1] r[417][2] r[417][3] r[417][4] r[417][5] r[417][6] r[417][7] r[417][8] r[417][9] r[418][0] r[418][1] r[418][2] r[418][3] r[418][4] r[418][5] r[418][6] r[418][7] r[418][8] r[418][9] r[419][0] r[419][1] r[419][2] r[419][3] r[419][4] r[419][5] r[419][6] r[419][7] r[419][8] r[419][9] r[420][0] r[420][1] r[420][2] r[420][3] r[420][4] r[420][5] r[420][6] r[420][7] r[420][8] r[420][9] r[421][0] r[421][1] r[421][2] r[421][3] r[421][4] r[421][5] r[421][6] r[421][7] r[421][8] r[421][9] r[422][0] r[422][1] r[422][2] r[422][3] r[422][4] r[422][5] r[422][6] r[422][7] r[422][8] r[422][9] r[423][0] r[423][1] r[423][2] r[423][3] r[423][4] r[423][5] r[423][6] r[423][7] r[423][8] r[423][9] r[424][0] r[424][1] r[424][2] r[424][3] r[424][4] r[424][5] r[424][6] r[424][7] r[424][8] r[424][9] r[425][0] r[425][1] r[425][2] r[425][3] r[425][4] r[425][5] r[425][6] r[425][7] r[425][8] r[425][9] r[426][0] r[426][1] r[426][2] r[426][3] r[426][4] r[426][5] r[426][6] r[426][7] r[426][8] r[426][9] r[427][0] r[427][1] r[427][2] r[427][3] r[427][4] r[427][5] r[427][6] r[427][7] r[427][8] r[427][9] r[428][0] r[428][1] r[428][2] r[428][3] r[428][4] r[428][5] r[428][6] r[428][7] r[428][8] r[428][9] r[429][0] r[429][1] r[429][2] r[429][3] r[429][4] r[429][5] r[429][6] r[429][7] r[429][8] r[429][9] r[430][0] r[430][1] r[430][2] r[430][3] r[430][4] r[430][5] r[430][6] r[430][7] r[430][8] r[430][9] r[431][0] r[431][1] r[431][2] r[431][3] r[431][4] r[431][5] r[431][6] r[431][7] r[431][8] r[431][9] r[432][0] r[432][1] r[432][2] r[432][3] r[432][4] r[432][5] r[432][6] r[432][7] r[432][8] r[432][9] r[433][0] r[433][1] r[433][2] r[433][3] r[433][4] r[433][5] r[433][6] r[433][7] r[433][8] r[433][9] r[434][0] r[434][1] r[434][2] r[434][3] r[434][4] r[434][5] r[434][6] r[434][7] r[434][8] r[434][9] r[435][0] r[435][1] r[435][2] r[435][3] r[435][4] r[435][5] r[435][6] r[435][7] r[435][8] r[435][9] r[436][0] r[436][1] r[436][2] r[436][3] r[436][4] r[436][5] r[436][6] r[436][7] r[436][8] r[436][9] r[437][0] r[437][1] r[437][2] r[437][3] r[437][4] r[437][5] r[437][6] r[437][7] r[437][8] r[437][9] r[438][0] r[438][1] r[438][2] r[438][3] r[438][4] r[438][5] r[438][6] r[438][7] r[438][8] r[438][9] r[439][0] r[439][1] r[439][2] r[439][3] r[439][4] r[439][5] r[439][6] r[439][7] r[439][8] r[439][9] r[440][0] r[440][1] r[440][2] r[440][3] r[440][4] r[440][5] r[440][6] r[440][7] r[440][8] r[440][9] r[441][0] r[441][1] r[441][2] r[441][3] r[441][4] r[441][5] r[441][6] r[441][7] r[441][8] r[441][9] r[442][0] r[442][1] r[442][2] r[442][3] r[442][4] r[442][5] r[442][6] r[442][7] r[442][8] r[442][9] r[443][0] r[443][1] r[443][2] r[443][3] r[443][4] r[443][5] r[443][6] r[443][7] r[443][8] r[443][9] r[444][0] r[444][1] r[444][2] r[444][3] r[444][4] r[444][5] r[444][6] r[444][7] r[444][8] r[444][9] r[445][0] r[445][1] r[445][2] r[445][3] r[445][4] r[445][5] r[445][6] r[445][7] r[445][8] r[445][9] r[446][0] r[446][1] r[446][2] r[446][3] r[446][4] r[446][5] r[446][6] r[446][7] r[446][8] r[446][9] r[447][0] r[447][1] r[447][2] r[447][3] r[447][4] r[447][5] r[447][6] r[447][7] r[447][8] r[447][9] r[448][0] r[448][1] r[448][2] r[448][3] r[448][4] r[448][5] r[448][6] r[448][7] r[448][8] r[448][9] r[449][0] r[449][1] r[449][2] r[449][3] r[449][4] r[449][5] r[449][6] r[449][7] r[449][8] r[449][9] r[450][0] r[450][1] r[450][2] r[450][3] r[450][4] r[450][5] r[450][6] r[450][7] r[450][8] r[450][9] r[451][0] r[451][1] r[451][2] r[451][3] r[451][4] r[451][5] r[451][6] r[451][7] r[451][8] r[451][9] r[452][0] r[452][1] r[452][2] r[452][3] r[452][4] r[452][5] r[452][6] r[452][7] r[452][8] r[452][9] r[453][0] r[453][1] r[453][2] r[453][3] r[453][4] r[453][5] r[453][6] r[453][7] r[453][8] r[453][9] r[454][0] r[454][1] r[454][2] r[454][3] r[454][4] r[454][5] r[454][6] r[454][7] r[454][8] r[454][9] r[455][0] r[455][1] r[455][2] r[455][3] r[455][4] r[455][5] r[455][6] r[455][7] r[455][8] r[455][9] r[456][0] r[456][1] r[456][2] r[456][3] r[456][4] r[456][5] r[456][6] r[456][7] r[456][8] r[456][9] r[457][0] r[457][1] r[457][2] r[457][3] r[457][4] r[457][5] r[457][6] r[457][7] r[457][8] r[457][9] r[458][0] r[458][1] r[458][2] r[458][3] r[458][4] r[458][5] r[458][6] r[458][7] r[458][8] r[458][9] r[459][0] r[459][1] r[459][2] r[459][3] r[459][4] r[459][5] r[459][6] r[459][7] r[459][8] r[459][9] r[460][0] r[460][1] r[460][2] r[460][3] r[460][4] r[460][5] r[460][6] r[460][7] r[460][8] r[460][9] r[461][0] r[461][1] r[461][2] r[461][3] r[461][4] r[461][5] r[461][6] r[461][7] r[461][8] r[461][9] r[462][0] r[462][1] r[462][2] r[462][3] r[462][4] r[462][5] r[462][6] r[462][7] r[462][8] r[462][9] r[463][0] r[463][1] r[463][2] r[463][3] r[463][4] r[463][5] r[463][6] r[463][7] r[463][8] r[463][9] r[464][0] r[464][1] r[464][2] r[464][3] r[464][4] r[464][5] r[464][6] r[464][7] r[464][8] r[464][9] r[465][0] r[465][1] r[465][2] r[465][3] r[465][4] r[465][5] r[465][6] r[465][7] r[465][8] r[465][9] r[466][0] r[466][1] r[466][2] r[466][3] r[466][4] r[466][5] r[466][6] r[466][7] r[466][8] r[466][9] r[467][0] r[467][1] r[467][2] r[467][3] r[467][4] r[467][5] r[467][6] r[467][7] r[467][8] r[467][9] r[468][0] r[468][1] r[468][2] r[468][3] r[468][4] r[468][5] r[468][6] r[468][7] r[468][8] r[468][9] r[469][0] r[469][1] r[469][2] r[469][3] r[469][4] r[469][5] r[469][6] r[469][7] r[469][8] r[469][9] r[470][0] r[470][1] r[470][2] r[470][3] r[470][4] r[470][5] r[470][6] r[470][7] r[470][8] r[470][9] r[471][0] r[471][1] r[471][2] r[471][3] r[471][4] r[471][5] r[471][6] r[471][7] r[471][8] r[471][9] r[472][0] r[472][1] r[472][2] r[472][3] r[472][4] r[472][5] r[472][6] r[472][7] r[472][8] r[472][9] r[473][0] r[473][1] r[473][2] r[473][3] r[473][4] r[473][5] r[473][6] r[473][7] r[473][8] r[473][9] r[474][0] r[474][1] r[474][2] r[474][3] r[474][4] r[474][5] r[474][6] r[474][7] r[474][8] r[474][9] r[475][0] r[475][1] r[475][2] r[475][3] r[475][4] r[475][5] r[475][6] r[475][7] r[475][8] r[475][9] r[476][0] r[476][1] r[476][2] r[476][3] r[476][4] r[476][5] r[476][6] r[476][7] r[476][8] r[476][9] r[477][0] r[477][1] r[477][2] r[477][3] r[477][4] r[477][5] r[477][6] r[477][7] r[477][8] r[477][9] r[478][0] r[478][1] r[478][2] r[478][3] r[478][4] r[478][5] r[478][6] r[478][7] r[478][8] r[478][9] r[479][0] r[479][1] r[479][2] r[479][3] r[479][4] r[479][5] r[479][6] r[479][7] r[479][8] r[479][9] r[480][0] r[480][1] r[480][2] r[480][3] r[480][4] r[480][5] r[480][6] r[480][7] r[480][8] r[480][9] r[481][0] r[481][1] r[481][2] r[481][3] r[481][4] r[481][5] r[481][6] r[481][7] r[481][8] r[481][9] r[482][0] r[482][1] r[482][2] r[482][3] r[482][4] r[482][5] r[482][6] r[482][7] r[482][8] r[482][9] r[483][0] r[483][1] r[483][2] r[483][3] r[483][4] r[483][5] r[483][6] r[483][7] r[483][8] r[483][9] r[484][0] r[484][1] r[484][2] r[484][3] r[484][4] r[484][5] r[484][6] r[484][7] r[484][8] r[484][9] r[485][0] r[485][1] r[485][2] r[485][3] r[485][4] r[485][5] r[485][6] r[485][7] r[485][8] r[485][9] r[486][0] r[486][1] r[486][2] r[486][3] r[486][4] r[486][5] r[486][6] r[486][7] r[486][8] r[486][9] r[487][0] r[487][1] r[487][2] r[487][3] r[487][4] r[487][5] r[487][6] r[487][7] r[487][8] r[487][9] r[488][0] r[488][1] r[488][2] r[488][3] r[488][4] r[488][5] r[488][6] r[488][7] r[488][8] r[488][9] r[489][0] r[489][1] r[489][2] r[489][3] r[489][4] r[489][5] r[489][6] r[489][7] r[489][8] r[489][9] r[490][0] r[490][1] r[490][2] r[490][3] r[490][4] r[490][5] r[490][6] r[490][7] r[490][8] r[490][9] r[491][0] r[491][1] r[491][2] r[491][3] r[491][4] r[491][5] r[491][6] r[491][7] r[491][8] r[491][9] r[492][0] r[492][1] r[492][2] r[492][3] r[492][4] r[492][5] r[492][6] r[492][7] r[492][8] r[492][9] r[493][0] r[493][1] r[493][2] r[493][3] r[493][4] r[493][5] r[493][6] r[493][7] r[493][8] r[493][9] r[494][0] r[494][1] r[494][2] r[494][3] r[494][4] r[494][5] r[494][6] r[494][7] r[494][8] r[494][9] r[495][0] r[495][1] r[495][2] r[495][3] r[495][4] r[495][5] r[495][6] r[495][7] r[495][8] r[495][9] r[496][0] r[496][1] r[496][2] r[496][3] r[496][4] r[496][5] r[496][6] r[496][7] r[496][8] r[496][9] r[497][0] r[497][1] r[497][2] r[497][3] r[497][4] r[497][5] r[497][6] r[497][7] r[497][8] r[497][9] r[498][0] r[498][1] r[498][2] r[498][3] r[498][4] r[498][5] r[498][6] r[498][7] r[498][8] r[498][9] r[499][0] r[499][1] r[499][2] r[499][3] r[499][4] r[499][5] r[499][6] r[499][7] r[499][8] r[499][9] r[500][0] r[500][1] r[500][2] r[500][3] r[500][4] r[500][5] r[500][6] r[500][7] r[500][8] r[500][9] r[501][0] r[501][1] r[501][2] r[501][3] r[501][4] r[501][5] r[501][6] r[501][7] r[501][8] r[501][9] r[502][0] r[502][1] r[502][2] r[502][3] r[502][4] r[502][5] r[502][6] r[502][7] r[502][8] r[502][9] r[503][0] r[503][1] r[503][2] r[503][3] r[503][4] r[503][5] r[503][6] r[503][7] r[503][8] r[503][9] r[504][0] r[504][1] r[504][2] r[504][3] r[504][4] r[504][5] r[504][6] r[504][7] r[504][8] r[504][9] r[505][0] r[505][1] r[505][2] r[505][3] r[505][4] r[505][5] r[505][6] r[505][7] r[505][8] r[505][9] r[506][0] r[506][1] r[506][2] r[506][3] r[506][4] r[506][5] r[506][6] r[506][7] r[506][8] r[506][9] r[507][0] r[507][1] r[507][2] r[507][3] r[507][4] r[507][5] r[507][6] r[507][7] r[507][8] r[507][9] r[508][0] r[508][1] r[508][2] r[508][3] r[508][4] r[508][5] r[508][6] r[508][7] r[508][8] r[508][9] r[509][0] r[509][1] r[509][2] r[509][3] r[509][4] r[509][5] r[509][6] r[509][7] r[509][8] r[509][9] r[510][0] r[510][1] r[510][2] r[510][3] r[510][4] r[510][5] r[510][6] r[510][7] r[510][8] r[510][9] r[511][0] r[511][1] r[511][2] r[511][3] r[511][4] r[511][5] r[511][6] r[511][7] r[511][8] r[511][9] r[512][0] r[512][1] r[512][2] r[512][3] r[512][4] r[512][5] r[512][6] r[512][7] r[512][8] r[512][9] r[513][0] r[513][1] r[513][2] r[513][3] r[513][4] r[513][5] r[513][6] r[513][7] r[513][8] r[513][9] r[514][0] r[514][1] r[514][2] r[514][3] r[514][4] r[514][5] r[514][6] r[514][7] r[514][8] r[514][9] r[515][0] r[515][1] r[515][2] r[515][3] r[515][4] r[515][5] r[515][6] r[515][7] r[515][8] r[515][9] r[516][0] r[516][1] r[516][2] r[516][3] r[516][4] r[516][5] r[516][6] r[516][7] r[516][8] r[516][9] r[517][0] r[517][1] r[517][2] r[517][3] r[517][4] r[517][5] r[517][6] r[517][7] r[517][8] r[517][9] r[518][0] r[518][1] r[518][2] r[518][3] r[518][4] r[518][5] r[518][6] r[518][7] r[518][8] r[518][9] r[519][0] r[519][1] r[519][2] r[519][3] r[519][4] r[519][5] r[519][6] r[519][7] r[519][8] r[519][9] r[520][0] r[520][1] r[520][2] r[520][3] r[520][4] r[520][5] r[520][6] r[520][7] r[520][8] r[520][9] r[521][0] r[521][1] r[521][2] r[521][3] r[521][4] r[521][5] r[521][6] r[521][7] r[521][8] r[521][9] r[522][0] r[522][1] r[522][2] r[522][3] r[522][4] r[522][5] r[522][6] r[522][7] r[522][8] r[522][9] r[523][0] r[523][1] r[523][2] r[523][3] r[523][4] r[523][5] r[523][6] r[523][7] r[523][8] r[523][9] r[524][0] r[524][1] r[524][2] r[524][3] r[524][4] r[524][5] r[524][6] r[524][7] r[524][8] r[524][9] r[525][0] r[525][1] r[525][2] r[525][3] r[525][4] r[525][5] r[525][6] r[525][7] r[525][8] r[525][9] r[526][0] r[526][1] r[526][2] r[526][3] r[526][4] r[526][5] r[526][6] r[526][7] r[526][8] r[526][9] r[527][0] r[527][1] r[527][2] r[527][3] r[527][4] r[527][5] r[527][6] r[527][7] r[527][8] r[527][9] r[528][0] r[528][1] r[528][2] r[528][3] r[528][4] r[528][5] r[528][6] r[528][7] r[528][8] r[528][9] r[529][0] r[529][1] r[529][2] r[529][3] r[529][4] r[529][5] r[529][6] r[529][7] r[529][8] r[529][9] r[530][0] r[530][1] r[530][2] r[530][3] r[530][4] r[530][5] r[530][6] r[530][7] r[530][8] r[530][9] r[531][0] r[531][1] r[531][2] r[531][3] r[531][4] r[531][5] r[531][6] r[531][7] r[531][8] r[531][9] r[532][0] r[532][1] r[532][2] r[532][3] r[532][4] r[532][5] r[532][6] r[532][7] r[532][8] r[532][9] r[533][0] r[533][1] r[533][2] r[533][3] r[533][4] r[533][5] r[533][6] r[533][7] r[533][8] r[533][9] r[534][0] r[534][1] r[534][2] r[534][3] r[534][4] r[534][5] r[534][6] r[534][7] r[534][8] r[534][9] r[535][0] r[535][1] r[535][2] r[535][3] r[535][4] r[535][5] r[535][6] r[535][7] r[535][8] r[535][9] r[536][0] r[536][1] r[536][2] r[536][3] r[536][4] r[536][5] r[536][6] r[536][7] r[536][8] r[536][9] r[537][0] r[537][1] r[537][2] r[537][3] r[537][4] r[537][5] r[537][6] r[537][7] r[537][8] r[537][9] r[538][0] r[538][1] r[538][2] r[538][3] r[538][4] r[538][5] r[538][6] r[538][7] r[538][8] r[538][9] r[539][0] r[539][1] r[539][2] r[539][3] r[539][4] r[539][5] r[539][6] r[539][7] r[539][8] r[539][9] r[540][0] r[540][1] r[540][2] r[540][3] r[540][4] r[540][5] r[540][6] r[540][7] r[540][8] r[540][9] r[541][0] r[541][1] r[541][2] r[541][3] r[541][4] r[541][5] r[541][6] r[541][7] r[541][8] r[541][9] r[542][0] r[542][1] r[542][2] r[542][3] r[542][4] r[542][5] r[542][6] r[542][7] r[542][8] r[542][9] r[543][0] r[543][1] r[543][2] r[543][3] r[543][4] r[543][5] r[543][6] r[543][7] r[543][8] r[543][9] r[544][0] r[544][1] r[544][2] r[544][3] r[544][4] r[544][5] r[544][6] r[544][7] r[544][8] r[544][9] r[545][0] r[545][1] r[545][2] r[545][3] r[545][4] r[545][5] r[545][6] r[545][7] r[545][8] r[545][9] r[546][0] r[546][1] r[546][2] r[546][3] r[546][4] r[546][5] r[546][6] r[546][7] r[546][8] r[546][9] r[547][0] r[547][1] r[547][2] r[547][3] r[547][4] r[547][5] r[547][6] r[547][7] r[547][8] r[547][9] r[548][0] r[548][1] r[548][2] r[548][3] r[548][4] r[548][5] r[548][6] r[548][7] r[548][8] r[548][9] r[549][0] r[549][1] r[549][2] r[549][3] r[549][4] r[549][5] r[549][6] r[549][7] r[549][8] r[549][9] r[550][0] r[550][1] r[550][2] r[550][3] r[550][4] r[550][5] r[550][6] r[550][7] r[550][8] r[550][9] r[551][0] r[551][1] r[551][2] r[551][3] r[551][4] r[551][5] r[551][6] r[551][7] r[551][8] r[551][9] r[552][0] r[552][1] r[552][2] r[552][3] r[552][4] r[552][5] r[552][6] r[552][7] r[552][8] r[552][9] r[553][0] r[553][1] r[553][2] r[553][3] r[553][4] r[553][5] r[553][6] r[553][7] r[553][8] r[553][9] r[554][0] r[554][1] r[554][2] r[554][3] r[554][4] r[554][5] r[554][6] r[554][7] r[554][8] r[554][9] r[555][0] r[555][1] r[555][2] r[555][3] r[555][4] r[555][5] r[555][6] r[555][7] r[555][8] r[555][9] r[556][0] r[556][1] r[556][2] r[556][3] r[556][4] r[556][5] r[556][6] r[556][7] r[556][8] r[556][9] r[557][0] r[557][1] r[557][2] r[557][3] r[557][4] r[557][5] r[557][6] r[557][7] r[557][8] r[557][9] r[558][0] r[558][1] r[558][2] r[558][3] r[558][4] r[558][5] r[558][6] r[558][7] r[558][8] r[558][9] r[559][0] r[559][1] r[559][2] r[559][3] r[559][4] r[559][5] r[559][6] r[559][7] r[559][8] r[559][9] r[560][0] r[560][1] r[560][2] r[560][3] r[560][4] r[560][5] r[560][6] r[560][7] r[560][8] r[560][9] r[561][0] r[561][1] r[561][2] r[561][3] r[561][4] r[561][5] r[561][6] r[561][7] r[561][8] r[561][9] r[562][0] r[562][1] r[562][2] r[562][3] r[562][4] r[562][5] r[562][6] r[562][7] r[562][8] r[562][9] r[563][0] r[563][1] r[563][2] r[563][3] r[563][4] r[563][5] r[563][6] r[563][7] r[563][8] r[563][9] r[564][0] r[564][1] r[564][2] r[564][3] r[564][4] r[564][5] r[564][6] r[564][7] r[564][8] r[564][9] r[565][0] r[565][1] r[565][2] r[565][3] r[565][4] r[565][5] r[565][6] r[565][7] r[565][8] r[565][9] r[566][0] r[566][1] r[566][2] r[566][3] r[566][4] r[566][5] r[566][6] r[566][7] r[566][8] r[566][9] r[567][0] r[567][1] r[567][2] r[567][3] r[567][4] r[567][5] r[567][6] r[567][7] r[567][8] r[567][9] r[568][0] r[568][1] r[568][2] r[568][3] r[568][4] r[568][5] r[568][6] r[568][7] r[568][8] r[568][9] r[569][0] r[569][1] r[569][2] r[569][3] r[569][4] r[569][5] r[569][6] r[569][7] r[569][8] r[569][9] r[570][0] r[570][1] r[570][2] r[570][3] r[570][4] r[570][5] r[570][6] r[570][7] r[570][8] r[570][9] r[571][0] r[571][1] r[571][2] r[571][3] r[571][4] r[571][5] r[571][6] r[571][7] r[571][8] r[571][9] r[572][0] r[572][1] r[572][2] r[572][3] r[572][4] r[572][5] r[572][6] r[572][7] r[572][8] r[572][9] r[573][0] r[573][1] r[573][2] r[573][3] r[573][4] r[573][5] r[573][6] r[573][7] r[573][8] r[573][9] r[574][0] r[574][1] r[574][2] r[574][3] r[574][4] r[574][5] r[574][6] r[574][7] r[574][8] r[574][9] r[575][0] r[575][1] r[575][2] r[575][3] r[575][4] r[575][5] r[575][6] r[575][7] r[575][8] r[575][9] r[576][0] r[576][1] r[576][2] r[576][3] r[576][4] r[576][5] r[576][6] r[576][7] r[576][8] r[576][9] r[577][0] r[577][1] r[577][2] r[577][3] r[577][4] r[577][5] r[577][6] r[577][7] r[577][8] r[577][9] r[578][0] r[578][1] r[578][2] r[578][3] r[578][4] r[578][5] r[578][6] r[578][7] r[578][8] r[578][9] r[579][0] r[579][1] r[579][2] r[579][3] r[579][4] r[579][5] r[579][6] r[579][7] r[579][8] r[579][9] r[580][0] r[580][1] r[580][2] r[580][3] r[580][4] r[580][5] r[580][6] r[580][7] r[580][8] r[580][9] r[581][0] r[581][1] r[581][2] r[581][3] r[581][4] r[581][5] r[581][6] r[581][7] r[581][8] r[581][9] r[582][0] r[582][1] r[582][2] r[582][3] r[582][4] r[582][5] r[582][6] r[582][7] r[582][8] r[582][9] r[583][0] r[583][1] r[583][2] r[583][3] r[583][4] r[583][5] r[583][6] r[583][7] r[583][8] r[583][9] r[584][0] r[584][1] r[584][2] r[584][3] r[584][4] r[584][5] r[584][6] r[584][7] r[584][8] r[584][9] r[585][0] r[585][1] r[585][2] r[585][3] r[585][4] r[585][5] r[585][6] r[585][7] r[585][8] r[585][9] r[586][0] r[586][1] r[586][2] r[586][3] r[586][4] r[586][5] r[586][6] r[586][7] r[586][8] r[586][9] r[587][0] r[587][1] r[587][2] r[587][3] r[587][4] r[587][5] r[587][6] r[587][7] r[587][8] r[587][9] r[588][0] r[588][1] r[588][2] r[588][3] r[588][4] r[588][5] r[588][6] r[588][7] r[588][8] r[588][9] r[589][0] r[589][1] r[589][2] r[589][3] r[589][4] r[589][5] r[589][6] r[589][7] r[589][8] r[589][9] r[590][0] r[590][1] r[590][2] r[590][3] r[590][4] r[590][5] r[590][6] r[590][7] r[590][8] r[590][9] r[591][0] r[591][1] r[591][2] r[591][3] r[591][4] r[591][5] r[591][6] r[591][7] r[591][8] r[591][9] r[592][0] r[592][1] r[592][2] r[592][3] r[592][4] r[592][5] r[592][6] r[592][7] r[592][8] r[592][9] r[593][0] r[593][1] r[593][2] r[593][3] r[593][4] r[593][5] r[593][6] r[593][7] r[593][8] r[593][9] r[594][0] r[594][1] r[594][2] r[594][3] r[594][4] r[594][5] r[594][6] r[594][7] r[594][8] r[594][9] r[595][0] r[595][1] r[595][2] r[595][3] r[595][4] r[595][5] r[595][6] r[595][7] r[595][8] r[595][9] r[596][0] r[596][1] r[596][2] r[596][3] r[596][4] r[596][5] r[596][6] r[596][7] r[596][8] r[596][9] r[597][0] r[597][1] r[597][2] r[597][3] r[597][4] r[597][5] r[597][6] r[597][7] r[597][8] r[597][9] r[598][0] r[598][1] r[598][2] r[598][3] r[598][4] r[598][5] r[598][6] r[598][7] r[598][8] r[598][9] r[599][0] r[599][1] r[599][2] r[599][3] r[599][4] r[599][5] r[599][6] r[599][7] r[599][8] r[599][9] r[600][0] r[600][1] r[600][2] r[600][3] r[600][4] r[600][5] r[600][6] r[600][7] r[600][8] r[600][9] r[601][0] r[601][1] r[601][2] r[601][3] r[601][4] r[601][5] r[601][6] r[601][7] r[601][8] r[601][9] r[602][0] r[602][1] r[602][2] r[602][3] r[602][4] r[602][5] r[602][6] r[602][7] r[602][8] r[602][9] r[603][0] r[603][1] r[603][2] r[603][3] r[603][4] r[603][5] r[603][6] r[603][7] r[603][8] r[603][9] r[604][0] r[604][1] r[604][2] r[604][3] r[604][4] r[604][5] r[604][6] r[604][7] r[604][8] r[604][9] r[605][0] r[605][1] r[605][2] r[605][3] r[605][4] r[605][5] r[605][6] r[605][7] r[605][8] r[605][9] r[606][0] r[606][1] r[606][2] r[606][3] r[606][4] r[606][5] r[606][6] r[606][7] r[606][8] r[606][9] r[607][0] r[607][1] r[607][2] r[607][3] r[607][4] r[607][5] r[607][6] r[607][7] r[607][8] r[607][9] r[608][0] r[608][1] r[608][2] r[608][3] r[608][4] r[608][5] r[608][6] r[608][7] r[608][8] r[608][9] r[609][0] r[609][1] r[609][2] r[609][3] r[609][4] r[609][5] r[609][6] r[609][7] r[609][8] r[609][9] r[610][0] r[610][1] r[610][2] r[610][3] r[610][4] r[610][5] r[610][6] r[610][7] r[610][8] r[610][9] r[611][0] r[611][1] r[611][2] r[611][3] r[611][4] r[611][5] r[611][6] r[611][7] r[611][8] r[611][9] r[612][0] r[612][1] r[612][2] r[612][3] r[612][4] r[612][5] r[612][6] r[612][7] r[612][8] r[612][9] r[613][0] r[613][1] r[613][2] r[613][3] r[613][4] r[613][5] r[613][6] r[613][7] r[613][8] r[613][9] r[614][0] r[614][1] r[614][2] r[614][3] r[614][4] r[614][5] r[614][6] r[614][7] r[614][8] r[614][9] r[615][0] r[615][1] r[615][2] r[615][3] r[615][4] r[615][5] r[615][6] r[615][7] r[615][8] r[615][9] r[616][0] r[616][1] r[616][2] r[616][3] r[616][4] r[616][5] r[616][6] r[616][7] r[616][8] r[616][9] r[617][0] r[617][1] r[617][2] r[617][3] r[617][4] r[617][5] r[617][6] r[617][7] r[617][8] r[617][9] r[618][0] r[618][1] r[618][2] r[618][3] r[618][4] r[618][5] r[618][6] r[618][7] r[618][8] r[618][9] r[619][0] r[619][1] r[619][2] r[619][3] r[619][4] r[619][5] r[619][6] r[619][7] r[619][8] r[619][9] r[620][0] r[620][1] r[620][2] r[620][3] r[620][4] r[620][5] r[620][6] r[620][7] r[620][8] r[620][9] r[621][0] r[621][1] r[621][2] r[621][3] r[621][4] r[621][5] r[621][6] r[621][7] r[621][8] r[621][9] r[622][0] r[622][1] r[622][2] r[622][3] r[622][4] r[622][5] r[622][6] r[622][7] r[622][8] r[622][9] r[623][0] r[623][1] r[623][2] r[623][3] r[623][4] r[623][5] r[623][6] r[623][7] r[623][8] r[623][9] r[624][0] r[624][1] r[624][2] r[624][3] r[624][4] r[624][5] r[624][6] r[624][7] r[624][8] r[624][9] r[625][0] r[625][1] r[625][2] r[625][3] r[625][4] r[625][5] r[625][6] r[625][7] r[625][8] r[625][9] r[626][0] r[626][1] r[626][2] r[626][3] r[626][4] r[626][5] r[626][6] r[626][7] r[626][8] r[626][9] r[627][0] r[627][1] r[627][2] r[627][3] r[627][4] r[627][5] r[627][6] r[627][7] r[627][8] r[627][9] r[628][0] r[628][1] r[628][2] r[628][3] r[628][4] r[628][5] r[628][6] r[628][7] r[628][8] r[628][9] r[629][0] r[629][1] r[629][2] r[629][3] r[629][4] r[629][5] r[629][6] r[629][7] r[629][8] r[629][9] r[630][0] r[630][1] r[630][2] r[630][3] r[630][4] r[630][5] r[630][6] r[630][7] r[630][8] r[630][9] r[631][0] r[631][1] r[631][2] r[631][3] r[631][4] r[631][5] r[631][6] r[631][7] r[631][8] r[631][9] r[632][0] r[632][1] r[632][2] r[632][3] r[632][4] r[632][5] r[632][6] r[632][7] r[632][8] r[632][9] r[633][0] r[633][1] r[633][2] r[633][3] r[633][4] r[633][5] r[633][6] r[633][7] r[633][8] r[633][9] r[634][0] r[634][1] r[634][2] r[634][3] r[634][4] r[634][5] r[634][6] r[634][7] r[634][8] r[634][9] r[635][0] r[635][1] r[635][2] r[635][3] r[635][4] r[635][5] r[635][6] r[635][7] r[635][8] r[635][9] r[636][0] r[636][1] r[636][2] r[636][3] r[636][4] r[636][5] r[636][6] r[636][7] r[636][8] r[636][9] r[637][0] r[637][1] r[637][2] r[637][3] r[637][4] r[637][5] r[637][6] r[637][7] r[637][8] r[637][9] </list> 574.32/566.21 v <values>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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 574.32/566.21 v </instantiation>
OK 476
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 (13136 MiB free) memory of node 1: 16384 MiB (11700 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406238-1569402133/watcher-4406238-1569402133 -o /var/tmp/evaluation-result-4406238-1569402133/solver-4406238-1569402133 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25937 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1174005154 HOME/instance-4406238-1569402133.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=27372, runsolver pid=27369 [startup+0.100134 s]* /proc/loadavg: 2.43 2.14 2.05 5/230 27388 /proc/meminfo: memFree=25421804/32770624 swapFree=66953520/67108860 [pid=27372] ppid=27369 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27372/stat : 27372 (xcsp3-exec) S 27369 27372 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516128104 115843072 363 33554432000 4194304 5098028 140721402309392 140721402307496 139750654243452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34652160 140721402315606 140721402315865 140721402315865 140721402318790 0 /proc/27372/statm: 28282 363 305 221 0 87 0 [pid=27374] ppid=27372 vsize=15144776 memory=29144 CPUtime=0.13 cores=1,3,5,7 /proc/27374/stat : 27374 (java) S 27372 27372 25905 0 -1 1077944320 5663 0 0 0 12 1 0 0 20 0 15 0 516128104 15508250624 7286 33554432000 4194304 4196468 140728624124288 140728624106832 140347905650423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 /proc/27374/statm: 3786194 7286 3210 1 0 3748377 0 [pid=27374/tid=27375] ppid=27372 vsize=15144776 memory=8108032331684915787 CPUtime=0.08 cores=1,3,5,7 /proc/27374/task/27375/stat : 27375 (java) S 27372 27372 25905 0 -1 1077944384 3550 0 0 0 8 0 0 0 20 0 15 0 516128105 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347909879776 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27376] ppid=27372 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27376/stat : 27376 (java) S 27372 27372 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516128105 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347858270608 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27377] ppid=27372 vsize=15144776 memory=140279593092736 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27377/stat : 27377 (java) S 27372 27372 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516128105 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347857217808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27378] ppid=27372 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27378/stat : 27378 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128105 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347856165520 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27379] ppid=27372 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27379/stat : 27379 (java) S 27372 27372 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516128105 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347494554128 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27380] ppid=27372 vsize=15144776 memory=140279593092736 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27380/stat : 27380 (java) S 27372 27372 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516128107 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347373996656 140347905661570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27381] ppid=27372 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27381/stat : 27381 (java) S 27372 27372 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516128107 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347372942624 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27382] ppid=27372 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27382/stat : 27382 (java) S 27372 27372 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516128107 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347371890288 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27383] ppid=27372 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27383/stat : 27383 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347370838608 140347905669019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27384] ppid=27372 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27384/stat : 27384 (java) S 27372 27372 25905 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 516128110 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347369785456 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27385] ppid=27372 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27385/stat : 27385 (java) R 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347368732656 140347905661570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27386] ppid=27372 vsize=15144776 memory=140279593092736 CPUtime=0.02 cores=1,3,5,7 /proc/27374/task/27386/stat : 27386 (java) R 27372 27372 25905 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 516128110 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347367680368 140347889730910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27387] ppid=27372 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27387/stat : 27387 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347366627808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27388] ppid=27372 vsize=15144776 memory=140279593092736 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27388/stat : 27388 (java) S 27372 27372 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516128110 15508250624 7286 33554432000 4194304 4196468 140728624124288 140347365575600 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30596 KiB [startup+0.21085 s]* /proc/loadavg: 2.43 2.14 2.05 4/230 27388 /proc/meminfo: memFree=25408192/32770624 swapFree=66953520/67108860 [pid=27372] ppid=27369 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27372/stat : 27372 (xcsp3-exec) S 27369 27372 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516128104 115843072 363 33554432000 4194304 5098028 140721402309392 140721402307496 139750654243452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34652160 140721402315606 140721402315865 140721402315865 140721402318790 0 /proc/27372/statm: 28282 363 305 221 0 87 0 [pid=27374] ppid=27372 vsize=15144776 memory=40232 CPUtime=0.34 cores=1,3,5,7 /proc/27374/stat : 27374 (java) S 27372 27372 25905 0 -1 1077944320 9347 0 0 0 31 3 0 0 20 0 15 0 516128104 15508250624 10058 33554432000 4194304 4196468 140728624124288 140728624106832 140347905650423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 /proc/27374/statm: 3786194 10058 3272 1 0 3748377 0 [pid=27374/tid=27375] ppid=27372 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7 /proc/27374/task/27375/stat : 27375 (java) R 27372 27372 25905 0 -1 4202560 6567 0 0 0 18 2 0 0 20 0 15 0 516128105 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347909883872 140347905662358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27376] ppid=27372 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27376/stat : 27376 (java) S 27372 27372 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516128105 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347858270608 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27377] ppid=27372 vsize=15144776 memory=288230376155584312 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27377/stat : 27377 (java) S 27372 27372 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516128105 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347857217808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27378] ppid=27372 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27378/stat : 27378 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128105 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347856165520 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27379] ppid=27372 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27379/stat : 27379 (java) S 27372 27372 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516128105 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347494554128 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27380] ppid=27372 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27380/stat : 27380 (java) S 27372 27372 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516128107 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347373996656 140347905661570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27381] ppid=27372 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27381/stat : 27381 (java) S 27372 27372 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516128107 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347372942624 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27382] ppid=27372 vsize=15144776 memory=140279593092736 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27382/stat : 27382 (java) S 27372 27372 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516128107 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347371890288 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27383] ppid=27372 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27383/stat : 27383 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347370838608 140347905669019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27384] ppid=27372 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/27374/task/27384/stat : 27384 (java) S 27372 27372 25905 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 516128110 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347369785456 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27385] ppid=27372 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27385/stat : 27385 (java) S 27372 27372 25905 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 516128110 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347368732656 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27386] ppid=27372 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/27374/task/27386/stat : 27386 (java) R 27372 27372 25905 0 -1 4202560 830 0 0 0 8 0 0 0 20 0 15 0 516128110 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347367680368 140347897887550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27387] ppid=27372 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27387/stat : 27387 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347366627808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27388] ppid=27372 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27388/stat : 27388 (java) S 27372 27372 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516128110 15508250624 10058 33554432000 4194304 4196468 140728624124288 140347365575600 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41684 KiB [startup+0.310719 s]* /proc/loadavg: 2.43 2.14 2.05 4/230 27388 /proc/meminfo: memFree=25401020/32770624 swapFree=66953520/67108860 [pid=27372] ppid=27369 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27372/stat : 27372 (xcsp3-exec) S 27369 27372 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516128104 115843072 363 33554432000 4194304 5098028 140721402309392 140721402307496 139750654243452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34652160 140721402315606 140721402315865 140721402315865 140721402318790 0 /proc/27372/statm: 28282 363 305 221 0 87 0 [pid=27374] ppid=27372 vsize=15149032 memory=49888 CPUtime=0.54 cores=1,3,5,7 /proc/27374/stat : 27374 (java) S 27372 27372 25905 0 -1 1077944320 10760 0 0 0 50 4 0 0 20 0 15 0 516128104 15512608768 12472 33554432000 4194304 4196468 140728624124288 140728624106832 140347905650423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 /proc/27374/statm: 3787258 12472 3369 1 0 3748377 0 [pid=27374/tid=27375] ppid=27372 vsize=15149032 memory=8389772277269004345 CPUtime=0.29 cores=1,3,5,7 /proc/27374/task/27375/stat : 27375 (java) R 27372 27372 25905 0 -1 4202560 7730 0 0 0 27 2 0 0 20 0 15 0 516128105 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347909881536 140347889730910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27376] ppid=27372 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27376/stat : 27376 (java) S 27372 27372 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516128105 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347858270608 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27377] ppid=27372 vsize=15149032 memory=288230376155572045 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27377/stat : 27377 (java) S 27372 27372 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516128105 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347857217808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27378] ppid=27372 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27378/stat : 27378 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128105 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347856165520 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27379] ppid=27372 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27379/stat : 27379 (java) S 27372 27372 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516128105 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347494554128 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27380] ppid=27372 vsize=15149032 memory=140279593092736 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27380/stat : 27380 (java) S 27372 27372 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516128107 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347373996656 140347905661570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27381] ppid=27372 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27381/stat : 27381 (java) S 27372 27372 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516128107 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347372942624 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27382] ppid=27372 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27382/stat : 27382 (java) S 27372 27372 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516128107 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347371890288 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27383] ppid=27372 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27383/stat : 27383 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347370838608 140347905669019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27384] ppid=27372 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7 /proc/27374/task/27384/stat : 27384 (java) R 27372 27372 25905 0 -1 4202560 667 0 0 0 6 0 0 0 20 0 15 0 516128110 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347369775840 140347887195083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27385] ppid=27372 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/27374/task/27385/stat : 27385 (java) S 27372 27372 25905 0 -1 1077944384 86 0 0 0 3 0 0 0 20 0 15 0 516128110 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347368732656 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27386] ppid=27372 vsize=15149032 memory=140279593092736 CPUtime=0.13 cores=1,3,5,7 /proc/27374/task/27386/stat : 27386 (java) S 27372 27372 25905 0 -1 1077944384 980 0 0 0 13 0 0 0 20 0 15 0 516128110 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347367680368 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27387] ppid=27372 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27387/stat : 27387 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347366627808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27388] ppid=27372 vsize=15149032 memory=140279593092736 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27388/stat : 27388 (java) S 27372 27372 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516128110 15512608768 12472 33554432000 4194304 4196468 140728624124288 140347365575600 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 51340 KiB [startup+0.705504 s] /proc/loadavg: 2.43 2.14 2.05 5/230 27388 /proc/meminfo: memFree=25375096/32770624 swapFree=66953520/67108860 [pid=27372] ppid=27369 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27372/stat : 27372 (xcsp3-exec) S 27369 27372 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516128104 115843072 363 33554432000 4194304 5098028 140721402309392 140721402307496 139750654243452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34652160 140721402315606 140721402315865 140721402315865 140721402318790 0 /proc/27372/statm: 28282 363 305 221 0 87 0 [pid=27374] ppid=27372 vsize=15151156 memory=97180 CPUtime=1.8 cores=1,3,5,7 /proc/27374/stat : 27374 (java) S 27372 27372 25905 0 -1 1077944320 15270 0 0 0 174 6 0 0 20 0 15 0 516128104 15514783744 24295 33554432000 4194304 4196468 140728624124288 140728624106832 140347905650423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 /proc/27374/statm: 3787789 24295 3452 1 0 3748889 0 [pid=27374/tid=27375] ppid=27372 vsize=15151156 memory=2116 CPUtime=0.68 cores=1,3,5,7 /proc/27374/task/27375/stat : 27375 (java) R 27372 27372 25905 0 -1 4202560 8994 0 0 0 64 4 0 0 20 0 15 0 516128105 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347909864568 140347535667396 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27376] ppid=27372 vsize=15151156 memory=520 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27376/stat : 27376 (java) S 27372 27372 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516128105 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347858270608 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27377] ppid=27372 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27377/stat : 27377 (java) S 27372 27372 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516128105 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347857217808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27378] ppid=27372 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27378/stat : 27378 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128105 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347856165520 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27379] ppid=27372 vsize=15151156 memory=3688 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27379/stat : 27379 (java) S 27372 27372 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516128105 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347494554128 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27380] ppid=27372 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27380/stat : 27380 (java) S 27372 27372 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347373996656 140347905661570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27381] ppid=27372 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27381/stat : 27381 (java) S 27372 27372 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347372942624 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27382] ppid=27372 vsize=15151156 memory=808 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27382/stat : 27382 (java) S 27372 27372 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347371890288 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27383] ppid=27372 vsize=15151156 memory=7086240636179272035 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27383/stat : 27383 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347370838608 140347905669019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27384] ppid=27372 vsize=15151156 memory=8025788809766065260 CPUtime=0.34 cores=1,3,5,7 /proc/27374/task/27384/stat : 27384 (java) R 27372 27372 25905 0 -1 4202560 1196 0 0 0 34 0 0 0 20 0 15 0 516128110 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347369770416 140347888867020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27385] ppid=27372 vsize=15151156 memory=7007707949394126417 CPUtime=0.35 cores=1,3,5,7 /proc/27374/task/27385/stat : 27385 (java) R 27372 27372 25905 0 -1 4202560 1280 0 0 0 35 0 0 0 20 0 15 0 516128110 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347368710976 140347889147152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27386] ppid=27372 vsize=15151156 memory=8514726395715219869 CPUtime=0.42 cores=1,3,5,7 /proc/27374/task/27386/stat : 27386 (java) S 27372 27372 25905 0 -1 1077944384 2489 0 0 0 41 1 0 0 20 0 15 0 516128110 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347367680368 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27387] ppid=27372 vsize=15151156 memory=7954035780130139755 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27387/stat : 27387 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347366627808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27388] ppid=27372 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27388/stat : 27388 (java) S 27372 27372 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 24295 33554432000 4194304 4196468 140728624124288 140347365575600 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 Current children cumulated CPU time: 1.8 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 98632 KiB [startup+1.50085 s] /proc/loadavg: 2.43 2.14 2.05 5/230 27388 /proc/meminfo: memFree=25346252/32770624 swapFree=66953520/67108860 [pid=27372] ppid=27369 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27372/stat : 27372 (xcsp3-exec) S 27369 27372 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516128104 115843072 363 33554432000 4194304 5098028 140721402309392 140721402307496 139750654243452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34652160 140721402315606 140721402315865 140721402315865 140721402318790 0 /proc/27372/statm: 28282 363 305 221 0 87 0 ################ # More data... # ################ /proc/27372/stat : 27372 (xcsp3-exec) S 27369 27372 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516128104 115843072 363 33554432000 4194304 5098028 140721402309392 140721402307496 139750654243452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34652160 140721402315606 140721402315865 140721402315865 140721402318790 0 /proc/27372/statm: 28282 363 305 221 0 87 0 [pid=27374] ppid=27372 vsize=15151156 memory=232988 CPUtime=572.92 cores=1,3,5,7 /proc/27374/stat : 27374 (java) S 27372 27372 25905 0 -1 1077944320 79482 0 0 0 57265 27 0 0 20 0 15 0 516128104 15514783744 58247 33554432000 4194304 4196468 140728624124288 140728624106832 140347905650423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 /proc/27374/statm: 3787789 58247 3518 1 0 3748889 0 [pid=27374/tid=27375] ppid=27372 vsize=15151156 memory=7517440612118123056 CPUtime=564.73 cores=1,3,5,7 /proc/27374/task/27375/stat : 27375 (java) R 27372 27372 25905 0 -1 4202560 15954 0 0 0 56467 6 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347909882000 140347542100480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27376] ppid=27372 vsize=15151156 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27376/stat : 27376 (java) S 27372 27372 25905 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347858270608 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27377] ppid=27372 vsize=15151156 memory=7306916055891837009 CPUtime=0.02 cores=1,3,5,7 /proc/27374/task/27377/stat : 27377 (java) S 27372 27372 25905 0 -1 1077944384 672 0 0 0 1 1 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347857217808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27378] ppid=27372 vsize=15151156 memory=288287792163995819 CPUtime=0.02 cores=1,3,5,7 /proc/27374/task/27378/stat : 27378 (java) S 27372 27372 25905 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347856165520 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27379] ppid=27372 vsize=15151156 memory=301794158562628394 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27379/stat : 27379 (java) S 27372 27372 25905 0 -1 1077944384 983 0 0 0 1 0 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347494554128 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27380] ppid=27372 vsize=15151156 memory=232988 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27380/stat : 27380 (java) S 27372 27372 25905 0 -1 1077944384 945 0 0 0 1 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347373996656 140347905661570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27381] ppid=27372 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27381/stat : 27381 (java) S 27372 27372 25905 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347372942688 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27382] ppid=27372 vsize=15151156 memory=232988 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27382/stat : 27382 (java) S 27372 27372 25905 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347371890304 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27383] ppid=27372 vsize=15151156 memory=3688 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27383/stat : 27383 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347370838608 140347905669019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27384] ppid=27372 vsize=15151156 memory=1452 CPUtime=3.7 cores=1,3,5,7 /proc/27374/task/27384/stat : 27384 (java) S 27372 27372 25905 0 -1 1077944384 25407 0 0 0 366 4 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347369785456 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27385] ppid=27372 vsize=15151156 memory=232988 CPUtime=3.41 cores=1,3,5,7 /proc/27374/task/27385/stat : 27385 (java) S 27372 27372 25905 0 -1 1077944384 21519 0 0 0 338 3 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347368732656 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27386] ppid=27372 vsize=15151156 memory=3200 CPUtime=0.77 cores=1,3,5,7 /proc/27374/task/27386/stat : 27386 (java) S 27372 27372 25905 0 -1 1077944384 11198 0 0 0 75 2 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347367680368 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27387] ppid=27372 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27387/stat : 27387 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347366627808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27388] ppid=27372 vsize=15151156 memory=232988 CPUtime=0.14 cores=1,3,5,7 /proc/27374/task/27388/stat : 27388 (java) S 27372 27372 25905 0 -1 1077944384 976 0 0 0 6 8 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347365575600 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 Current children cumulated CPU time: 572.92 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 234440 KiB [startup+565.601 s] /proc/loadavg: 2.12 2.07 2.05 3/229 27439 /proc/meminfo: memFree=25207264/32770624 swapFree=66953520/67108860 [pid=27372] ppid=27369 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27372/stat : 27372 (xcsp3-exec) S 27369 27372 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516128104 115843072 363 33554432000 4194304 5098028 140721402309392 140721402307496 139750654243452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34652160 140721402315606 140721402315865 140721402315865 140721402318790 0 /proc/27372/statm: 28282 363 305 221 0 87 0 [pid=27374] ppid=27372 vsize=15151156 memory=232988 CPUtime=573.72 cores=1,3,5,7 /proc/27374/stat : 27374 (java) S 27372 27372 25905 0 -1 1077944320 79482 0 0 0 57345 27 0 0 20 0 15 0 516128104 15514783744 58247 33554432000 4194304 4196468 140728624124288 140728624106832 140347905650423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 /proc/27374/statm: 3787789 58247 3518 1 0 3748889 0 [pid=27374/tid=27375] ppid=27372 vsize=15151156 memory=1452 CPUtime=565.53 cores=1,3,5,7 /proc/27374/task/27375/stat : 27375 (java) R 27372 27372 25905 0 -1 4202560 15954 0 0 0 56547 6 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347909882000 140347542103806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27376] ppid=27372 vsize=15151156 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27376/stat : 27376 (java) S 27372 27372 25905 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347858270608 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27377] ppid=27372 vsize=15151156 memory=7524512692651257697 CPUtime=0.02 cores=1,3,5,7 /proc/27374/task/27377/stat : 27377 (java) S 27372 27372 25905 0 -1 1077944384 672 0 0 0 1 1 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347857217808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27378] ppid=27372 vsize=15151156 memory=7956005031678667109 CPUtime=0.02 cores=1,3,5,7 /proc/27374/task/27378/stat : 27378 (java) S 27372 27372 25905 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347856165520 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27379] ppid=27372 vsize=15151156 memory=7590655979367786604 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27379/stat : 27379 (java) S 27372 27372 25905 0 -1 1077944384 983 0 0 0 1 0 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347494554128 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27380] ppid=27372 vsize=15151156 memory=7882828121784479853 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27380/stat : 27380 (java) S 27372 27372 25905 0 -1 1077944384 945 0 0 0 1 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347373996656 140347905661570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27381] ppid=27372 vsize=15151156 memory=8212 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27381/stat : 27381 (java) S 27372 27372 25905 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347372942688 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27382] ppid=27372 vsize=15151156 memory=9580 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27382/stat : 27382 (java) S 27372 27372 25905 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347371890304 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27383] ppid=27372 vsize=15151156 memory=1052 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27383/stat : 27383 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347370838608 140347905669019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27384] ppid=27372 vsize=15151156 memory=776 CPUtime=3.7 cores=1,3,5,7 /proc/27374/task/27384/stat : 27384 (java) S 27372 27372 25905 0 -1 1077944384 25407 0 0 0 366 4 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347369785456 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27385] ppid=27372 vsize=15151156 memory=2832 CPUtime=3.41 cores=1,3,5,7 /proc/27374/task/27385/stat : 27385 (java) S 27372 27372 25905 0 -1 1077944384 21519 0 0 0 338 3 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347368732656 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27386] ppid=27372 vsize=15151156 memory=668 CPUtime=0.77 cores=1,3,5,7 /proc/27374/task/27386/stat : 27386 (java) S 27372 27372 25905 0 -1 1077944384 11198 0 0 0 75 2 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347367680368 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27387] ppid=27372 vsize=15151156 memory=1276 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27387/stat : 27387 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347366627808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27388] ppid=27372 vsize=15151156 memory=1096 CPUtime=0.14 cores=1,3,5,7 /proc/27374/task/27388/stat : 27388 (java) S 27372 27372 25905 0 -1 1077944384 976 0 0 0 6 8 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347365575600 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 Current children cumulated CPU time: 573.72 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 234440 KiB [startup+566.001 s]* /proc/loadavg: 2.12 2.07 2.05 3/229 27439 /proc/meminfo: memFree=25207304/32770624 swapFree=66953520/67108860 [pid=27372] ppid=27369 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27372/stat : 27372 (xcsp3-exec) S 27369 27372 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516128104 115843072 363 33554432000 4194304 5098028 140721402309392 140721402307496 139750654243452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34652160 140721402315606 140721402315865 140721402315865 140721402318790 0 /proc/27372/statm: 28282 363 305 221 0 87 0 [pid=27374] ppid=27372 vsize=15151156 memory=232988 CPUtime=574.13 cores=1,3,5,7 /proc/27374/stat : 27374 (java) S 27372 27372 25905 0 -1 1077944320 79482 0 0 0 57386 27 0 0 20 0 15 0 516128104 15514783744 58247 33554432000 4194304 4196468 140728624124288 140728624106832 140347905650423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 /proc/27374/statm: 3787789 58247 3518 1 0 3748889 0 [pid=27374/tid=27375] ppid=27372 vsize=15151156 memory=1398722017469774279 CPUtime=565.94 cores=1,3,5,7 /proc/27374/task/27375/stat : 27375 (java) R 27372 27372 25905 0 -1 4202560 15954 0 0 0 56588 6 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347909882000 140347536659656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27376] ppid=27372 vsize=15151156 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27376/stat : 27376 (java) S 27372 27372 25905 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347858270608 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27377] ppid=27372 vsize=15151156 memory=8326441210107759530 CPUtime=0.02 cores=1,3,5,7 /proc/27374/task/27377/stat : 27377 (java) S 27372 27372 25905 0 -1 1077944384 672 0 0 0 1 1 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347857217808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27378] ppid=27372 vsize=15151156 memory=-8383865636863188341 CPUtime=0.02 cores=1,3,5,7 /proc/27374/task/27378/stat : 27378 (java) S 27372 27372 25905 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347856165520 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27379] ppid=27372 vsize=15151156 memory=-8412658736277716636 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27379/stat : 27379 (java) S 27372 27372 25905 0 -1 1077944384 983 0 0 0 1 0 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347494554128 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27380] ppid=27372 vsize=15151156 memory=-8817073721047302092 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27380/stat : 27380 (java) S 27372 27372 25905 0 -1 1077944384 945 0 0 0 1 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347373996656 140347905661570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27381] ppid=27372 vsize=15151156 memory=2984351241509808736 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27381/stat : 27381 (java) S 27372 27372 25905 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347372942688 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27382] ppid=27372 vsize=15151156 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27382/stat : 27382 (java) S 27372 27372 25905 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347371890304 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27383] ppid=27372 vsize=15151156 memory=3047711592059544694 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27383/stat : 27383 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347370838608 140347905669019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27384] ppid=27372 vsize=15151156 memory=-8253362762721548149 CPUtime=3.7 cores=1,3,5,7 /proc/27374/task/27384/stat : 27384 (java) S 27372 27372 25905 0 -1 1077944384 25407 0 0 0 366 4 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347369785456 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27385] ppid=27372 vsize=15151156 memory=7245577201579234449 CPUtime=3.41 cores=1,3,5,7 /proc/27374/task/27385/stat : 27385 (java) S 27372 27372 25905 0 -1 1077944384 21519 0 0 0 338 3 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347368732656 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27386] ppid=27372 vsize=15151156 memory=5787218246971642213 CPUtime=0.77 cores=1,3,5,7 /proc/27374/task/27386/stat : 27386 (java) S 27372 27372 25905 0 -1 1077944384 11198 0 0 0 75 2 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347367680368 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27387] ppid=27372 vsize=15151156 memory=-6159056734402671808 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27387/stat : 27387 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347366627808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27388] ppid=27372 vsize=15151156 memory=6297831537088227440 CPUtime=0.14 cores=1,3,5,7 /proc/27374/task/27388/stat : 27388 (java) S 27372 27372 25905 0 -1 1077944384 976 0 0 0 6 8 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347365575600 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 Current children cumulated CPU time: 574.13 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 234440 KiB [startup+566.201 s] /proc/loadavg: 2.12 2.07 2.05 3/229 27439 /proc/meminfo: memFree=25207304/32770624 swapFree=66953520/67108860 [pid=27372] ppid=27369 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27372/stat : 27372 (xcsp3-exec) S 27369 27372 25905 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516128104 115843072 363 33554432000 4194304 5098028 140721402309392 140721402307496 139750654243452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34652160 140721402315606 140721402315865 140721402315865 140721402318790 0 /proc/27372/statm: 28282 363 305 221 0 87 0 [pid=27374] ppid=27372 vsize=15151156 memory=232988 CPUtime=574.32 cores=1,3,5,7 /proc/27374/stat : 27374 (java) S 27372 27372 25905 0 -1 1077944320 79482 0 0 0 57405 27 0 0 20 0 15 0 516128104 15514783744 58247 33554432000 4194304 4196468 140728624124288 140728624106832 140347905650423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 /proc/27374/statm: 3787789 58247 3518 1 0 3748889 0 [pid=27374/tid=27375] ppid=27372 vsize=15151156 memory=14131130454511009 CPUtime=566.13 cores=1,3,5,7 /proc/27374/task/27375/stat : 27375 (java) R 27372 27372 25905 0 -1 4202560 15954 0 0 0 56607 6 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347909882000 140347542608166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27376] ppid=27372 vsize=15151156 memory=1760 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27376/stat : 27376 (java) S 27372 27372 25905 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347858270608 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27377] ppid=27372 vsize=15151156 memory=111636 CPUtime=0.02 cores=1,3,5,7 /proc/27374/task/27377/stat : 27377 (java) S 27372 27372 25905 0 -1 1077944384 672 0 0 0 1 1 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347857217808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27378] ppid=27372 vsize=15151156 memory=808 CPUtime=0.02 cores=1,3,5,7 /proc/27374/task/27378/stat : 27378 (java) S 27372 27372 25905 0 -1 1077944384 252 0 0 0 1 1 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347856165520 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27379] ppid=27372 vsize=15151156 memory=1808 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27379/stat : 27379 (java) S 27372 27372 25905 0 -1 1077944384 983 0 0 0 1 0 0 0 20 0 15 0 516128105 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347494554128 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27380] ppid=27372 vsize=15151156 memory=924 CPUtime=0.01 cores=1,3,5,7 /proc/27374/task/27380/stat : 27380 (java) S 27372 27372 25905 0 -1 1077944384 945 0 0 0 1 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347373996656 140347905661570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27381] ppid=27372 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27381/stat : 27381 (java) S 27372 27372 25905 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347372942688 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27382] ppid=27372 vsize=15151156 memory=2596 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27382/stat : 27382 (java) S 27372 27372 25905 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516128107 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347371890304 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27383] ppid=27372 vsize=15151156 memory=2596 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27383/stat : 27383 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347370838608 140347905669019 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27384] ppid=27372 vsize=15151156 memory=4104 CPUtime=3.7 cores=1,3,5,7 /proc/27374/task/27384/stat : 27384 (java) S 27372 27372 25905 0 -1 1077944384 25407 0 0 0 366 4 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347369785456 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27385] ppid=27372 vsize=15151156 memory=1412 CPUtime=3.41 cores=1,3,5,7 /proc/27374/task/27385/stat : 27385 (java) S 27372 27372 25905 0 -1 1077944384 21519 0 0 0 338 3 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347368732656 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27386] ppid=27372 vsize=15151156 memory=3300 CPUtime=0.77 cores=1,3,5,7 /proc/27374/task/27386/stat : 27386 (java) S 27372 27372 25905 0 -1 1077944384 11198 0 0 0 75 2 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347367680368 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27387] ppid=27372 vsize=15151156 memory=7013346343823632999 CPUtime=0 cores=1,3,5,7 /proc/27374/task/27387/stat : 27387 (java) S 27372 27372 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347366627808 140347905660629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 [pid=27374/tid=27388] ppid=27372 vsize=15151156 memory=6370458690916869224 CPUtime=0.14 cores=1,3,5,7 /proc/27374/task/27388/stat : 27388 (java) S 27372 27372 25905 0 -1 1077944384 976 0 0 0 6 8 0 0 20 0 15 0 516128110 15514783744 58247 33554432000 4194304 4196468 140728624124288 140347365575600 140347905661570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39546880 140728624128987 140728624129162 140728624129162 140728624132047 0 Current children cumulated CPU time: 574.32 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 234440 KiB Child status: 0 Real time (s): 566.232 CPU time (s): 574.357 CPU user time (s): 574.078 CPU system time (s): 0.2787 CPU usage (%): 101.435 Max. virtual memory (cumulated for all children) (KiB): 15267944 Max. memory (cumulated for all children) (KiB): 248588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 574.078 system time used= 0.2787 maximum resident set size= 247136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80953 page faults= 0 swaps= 0 block input operations= 0 block output operations= 672 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15506 involuntary context switches= 240 # summary of solver processes directly reported to runsolver: # pid: 27372 # total CPU time (s): 574.357 # total CPU user time (s): 574.078 # total CPU system time (s): 0.2787 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.17424 second user time and 5.24838 second system time The end
Begin job on node119 at 2019-09-25 11:01:32 IDJOB=4406238 IDBENCH=124232 IDSOLVER=2869 FILE ID=node119/4406238-1569402133 RUNJOBID= node119-1569396629-25937 PBS_JOBID= 21705693 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-9.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406238-1569402133/watcher-4406238-1569402133 -o /var/tmp/evaluation-result-4406238-1569402133/solver-4406238-1569402133 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25937 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1174005154 HOME/instance-4406238-1569402133.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c656a32ec3c33e829e63e71b466a9e3 RANDOM SEED=1174005154 node119.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.47 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.47 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.47 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.47 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: 25433568 kB MemAvailable: 31574680 kB Buffers: 158020 kB Cached: 6083580 kB SwapCached: 46716 kB Active: 3258676 kB Inactive: 3259492 kB Active(anon): 229260 kB Inactive(anon): 104632 kB Active(file): 3029416 kB Inactive(file): 3154860 kB Unevictable: 107192 kB Mlocked: 107192 kB SwapTotal: 67108860 kB SwapFree: 66953520 kB Dirty: 26108 kB Writeback: 0 kB AnonPages: 344804 kB Mapped: 71596 kB Shmem: 48564 kB Slab: 414364 kB SReclaimable: 385296 kB SUnreclaim: 29068 kB KernelStack: 4016 kB PageTables: 6360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1519792 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13460 MiB End job on node119 at 2019-09-25 11:10:59