Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 533 | 1935.9399 | 252.09599 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml |
MD5SUM | 80f621e31f8a9b35d5cf92091f9e4ac3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 533 |
Best CPU time to get the best result obtained on this benchmark | 1935.9399 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7084 |
Number of constraints | 656 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 213 |
Distribution of domain sizes | [{"size":2,"count":644},{"size":8,"count":644},{"size":19,"count":644},{"size":49,"count":644},{"size":96,"count":644},{"size":97,"count":644},{"size":101,"count":644},{"size":106,"count":644},{"size":159,"count":644},{"size":162,"count":644},{"size":213,"count":644}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":7084}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 6440 |
Distribution of constraint arities | [{"arity":11,"count":644},{"arity":644,"count":11},{"arity":6440,"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":654}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281310-1503185360.xml" -tl '2016s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4281310-1503185360.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 3.90/1.17 c solve instance... 30.33/4.54 o 644 48.25/6.88 o 643 67.48/9.33 o 642 85.29/11.61 o 641 105.21/14.18 o 640 122.23/16.30 o 639 137.19/18.25 o 638 160.53/21.25 o 637 183.18/24.15 o 636 206.43/27.20 o 635 227.41/29.92 o 634 248.22/32.63 o 633 265.55/34.87 o 632 285.82/37.40 o 631 302.53/39.57 o 630 321.61/42.03 o 629 337.53/44.12 o 628 354.66/46.38 o 627 369.59/48.31 o 626 389.14/50.94 o 625 404.11/52.97 o 624 418.74/54.88 o 623 434.28/56.86 o 622 448.91/58.76 o 621 464.79/60.75 o 620 480.63/62.75 o 619 495.67/64.68 o 618 519.19/67.61 o 617 534.24/69.58 o 616 548.91/71.42 o 615 564.38/73.42 o 614 580.92/75.54 o 613 599.80/77.98 o 612 615.60/79.92 o 611 630.66/81.86 o 610 647.32/83.90 o 609 662.41/85.88 o 608 679.01/87.90 o 607 697.27/90.28 o 606 713.36/92.40 o 605 731.81/94.78 o 604 751.80/97.33 o 603 770.20/99.78 o 602 787.18/101.94 o 601 805.23/104.26 o 600 822.43/106.50 o 599 839.36/108.70 o 598 857.71/111.04 o 597 875.02/113.29 o 596 892.54/115.51 o 595 910.11/118.00 o 594 928.45/120.39 o 593 944.89/122.44 o 592 960.71/124.60 o 591 976.40/126.87 o 590 992.65/128.95 o 589 1009.89/131.17 o 588 1025.10/133.13 o 587 1041.09/135.37 o 586 1056.00/137.31 o 585 1070.23/139.17 o 584 1083.30/140.89 o 583 1096.23/142.55 o 582 1109.97/144.48 o 581 1123.05/146.19 o 580 1136.49/147.94 o 579 1150.28/149.72 o 578 1166.45/151.94 o 577 1183.29/154.18 o 576 1198.32/156.13 o 575 1214.81/158.26 o 574 1232.06/160.54 o 573 1246.88/162.48 o 572 1265.52/164.86 o 571 1281.74/166.94 o 570 1298.94/169.18 o 569 1315.14/171.26 o 568 1331.73/173.41 o 567 1348.34/175.53 o 566 1364.49/177.64 o 565 1380.11/179.69 o 564 1397.40/181.86 o 563 1412.47/183.77 o 562 1427.54/185.69 o 561 1446.32/188.10 o 560 1462.62/190.22 o 559 1477.50/192.18 o 558 1492.14/194.08 o 557 1505.67/195.92 o 556 1519.81/197.71 o 555 1534.06/199.51 o 554 1549.11/201.46 o 553 1562.88/203.21 o 552 1575.52/204.88 o 551 1587.84/206.43 o 550 1602.55/208.39 o 549 1617.10/210.45 o 548 1631.11/212.39 o 547 1644.13/214.17 o 546 1656.84/215.90 o 545 1669.99/217.74 o 544 1690.42/220.39 o 543 1709.60/222.86 o 542 1729.22/225.44 o 541 1746.85/227.75 o 540 1769.78/230.81 o 539 1789.62/233.33 o 538 1804.51/235.27 o 537 1821.65/237.42 o 536 1837.93/239.50 o 535 1853.90/241.62 o 534 1869.39/243.74 o 533 1935.35/252.07 s SATISFIABLE 1935.35/252.07 v <instantiation> 1935.35/252.07 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] p[638] p[639] p[640] p[641] p[642] p[643] 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] r[638][0] r[638][1] r[638][2] r[638][3] r[638][4] r[638][5] r[638][6] r[638][7] r[638][8] r[638][9] r[639][0] r[639][1] r[639][2] r[639][3] r[639][4] r[639][5] r[639][6] r[639][7] r[639][8] r[639][9] r[640][0] r[640][1] r[640][2] r[640][3] r[640][4] r[640][5] r[640][6] r[640][7] r[640][8] r[640][9] r[641][0] r[641][1] r[641][2] r[641][3] r[641][4] r[641][5] r[641][6] r[641][7] r[641][8] r[641][9] r[642][0] r[642][1] r[642][2] r[642][3] r[642][4] r[642][5] r[642][6] r[642][7] r[642][8] r[642][9] r[643][0] r[643][1] r[643][2] r[643][3] r[643][4] r[643][5] r[643][6] r[643][7] r[643][8] r[643][9] </list> 1935.35/252.07 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 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 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 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 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 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 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 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 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 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 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 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 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 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 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 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 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 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 1935.35/252.07 v </instantiation> 1935.35/252.07 c Unexpected resolution interruption!
OK 533
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 (12700 MiB free) memory of node 1: 16384 MiB (13858 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281310-1503185360/watcher-4281310-1503185360 -o /tmp/evaluation-result-4281310-1503185360/solver-4281310-1503185360 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503173871-12305 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 445048680 HOME/instance-4281310-1503185360.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=14687, runsolver pid=14684 [startup+0.100134 s]* /proc/loadavg: 8.40 8.19 8.02 2/201 14708 /proc/meminfo: memFree=27181756/32770624 swapFree=67108860/67108860 [pid=14687] ppid=14684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/14687/stat : 14687 (xcsp3-exec) S 14684 14687 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151623557 9740288 346 33554432000 4194304 5098028 140724081292624 140724081290728 140010203275900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25243648 140724081296491 140724081296700 140724081296700 140724081299435 0 /proc/14687/statm: 2378 346 289 221 0 87 0 [pid=14689] ppid=14687 vsize=25999808 memory=26752 CPUtime=0.12 cores=0-7 /proc/14689/stat : 14689 (java) S 14687 14687 12278 0 -1 1077944320 5637 0 0 0 11 1 0 0 20 0 20 0 151623557 26623803392 6688 33554432000 4194304 4196468 140725718061488 140725718044032 140714264133367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 /proc/14689/statm: 6499952 6688 2843 1 0 6488269 0 [pid=14689/tid=14690] ppid=14687 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/14689/task/14690/stat : 14690 (java) R 14687 14687 12278 0 -1 4202560 3634 0 0 0 8 0 0 0 20 0 20 0 151623558 26623803392 6688 33554432000 4194304 4196468 140725718061488 140714268352672 140714264145302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14691] ppid=14687 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26623803392 6688 33554432000 4194304 4196468 140725718061488 140714216754192 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14692] ppid=14687 vsize=25999808 memory=139883211933312 CPUtime=0 cores=0-7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151623559 26623803392 6688 33554432000 4194304 4196468 140725718061488 140714215701648 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14693] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26623803392 6688 33554432000 4194304 4196468 140725718061488 140714214648592 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14694] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26623803392 6688 33554432000 4194304 4196468 140725718061488 140714213596048 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14695] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26623803392 6688 33554432000 4194304 4196468 140725718061488 140714212542992 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14696] ppid=14687 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26623803392 6688 33554432000 4194304 4196468 140725718061488 140714211490448 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14697] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26623803392 6688 33554432000 4194304 4196468 140725718061488 140714210437392 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14698] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26623803392 6688 33554432000 4194304 4196468 140725718061488 140714209384848 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14699] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623560 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712536349424 140714264144514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14700] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14687 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151623560 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712535295648 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14701] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14687 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151623561 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712534242544 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14702] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623563 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712533191120 140714264151963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14703] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14703/stat : 14703 (java) R 14687 14687 12278 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 151623563 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712532138224 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14704] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151623563 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712531085680 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14705] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14687 12278 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 151623563 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712530032624 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14706] ppid=14687 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/14689/task/14706/stat : 14706 (java) R 14687 14687 12278 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 151623563 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712528980080 140714249829167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14707] ppid=14687 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151623563 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712527928288 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14708] ppid=14687 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/14689/task/14708/stat : 14708 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623564 26623803392 6688 33554432000 4194304 4196468 140725718061488 140712526875824 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28136 KiB [startup+0.210598 s]* /proc/loadavg: 8.40 8.19 8.02 3/201 14708 /proc/meminfo: memFree=27173208/32770624 swapFree=67108860/67108860 [pid=14687] ppid=14684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/14687/stat : 14687 (xcsp3-exec) S 14684 14687 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151623557 9740288 346 33554432000 4194304 5098028 140724081292624 140724081290728 140010203275900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25243648 140724081296491 140724081296700 140724081296700 140724081299435 0 /proc/14687/statm: 2378 346 289 221 0 87 0 [pid=14689] ppid=14687 vsize=26004064 memory=38676 CPUtime=0.33 cores=0-7 /proc/14689/stat : 14689 (java) S 14687 14687 12278 0 -1 1077944320 8244 0 0 0 31 2 0 0 20 0 20 0 151623557 26628161536 9669 33554432000 4194304 4196468 140725718061488 140725718044032 140714264133367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 /proc/14689/statm: 6501016 9669 3047 1 0 6488269 0 [pid=14689/tid=14690] ppid=14687 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/14689/task/14690/stat : 14690 (java) R 14687 14687 12278 0 -1 4202560 5415 0 0 0 19 1 0 0 20 0 20 0 151623558 26628161536 9669 33554432000 4194304 4196468 140725718061488 140714268354360 140714256811381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14691] ppid=14687 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 9669 33554432000 4194304 4196468 140725718061488 140714216754192 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14692] ppid=14687 vsize=26004064 memory=139883211946633 CPUtime=0 cores=0-7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 9669 33554432000 4194304 4196468 140725718061488 140714215701648 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14693] ppid=14687 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 9669 33554432000 4194304 4196468 140725718061488 140714214648592 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14694] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 9669 33554432000 4194304 4196468 140725718061488 140714213596048 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14695] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 9669 33554432000 4194304 4196468 140725718061488 140714212542992 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14696] ppid=14687 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 9669 33554432000 4194304 4196468 140725718061488 140714211490448 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14697] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 9669 33554432000 4194304 4196468 140725718061488 140714210437392 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14698] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 9669 33554432000 4194304 4196468 140725718061488 140714209384848 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14699] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623560 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712536349424 140714264144514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14700] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14687 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151623560 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712535295648 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14701] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14687 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151623561 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712534242544 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14702] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623563 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712533191120 140714264151963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14703] ppid=14687 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14687 12278 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 151623563 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712532138224 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14704] ppid=14687 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14687 12278 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 20 0 151623563 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712531085680 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14705] ppid=14687 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14687 12278 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 151623563 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712530032624 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14706] ppid=14687 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/14689/task/14706/stat : 14706 (java) S 14687 14687 12278 0 -1 1077944384 708 0 0 0 7 0 0 0 20 0 20 0 151623563 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712528980080 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14707] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151623563 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712527928288 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14708] ppid=14687 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/14689/task/14708/stat : 14708 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623564 26628161536 9669 33554432000 4194304 4196468 140725718061488 140712526875824 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40060 KiB [startup+0.310373 s]* /proc/loadavg: 8.40 8.19 8.02 3/201 14708 /proc/meminfo: memFree=27166508/32770624 swapFree=67108860/67108860 [pid=14687] ppid=14684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/14687/stat : 14687 (xcsp3-exec) S 14684 14687 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151623557 9740288 346 33554432000 4194304 5098028 140724081292624 140724081290728 140010203275900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25243648 140724081296491 140724081296700 140724081296700 140724081299435 0 /proc/14687/statm: 2378 346 289 221 0 87 0 [pid=14689] ppid=14687 vsize=26004064 memory=43864 CPUtime=0.5 cores=0-7 /proc/14689/stat : 14689 (java) S 14687 14687 12278 0 -1 1077944320 9171 0 0 0 47 3 0 0 20 0 20 0 151623557 26628161536 10966 33554432000 4194304 4196468 140725718061488 140725718044032 140714264133367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 /proc/14689/statm: 6501016 10966 3082 1 0 6488269 0 [pid=14689/tid=14690] ppid=14687 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/14689/task/14690/stat : 14690 (java) R 14687 14687 12278 0 -1 4202560 6100 0 0 0 28 1 0 0 20 0 20 0 151623558 26628161536 10966 33554432000 4194304 4196468 140725718061488 140714268372544 140714264145302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14691] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 10966 33554432000 4194304 4196468 140725718061488 140714216754192 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14692] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 10966 33554432000 4194304 4196468 140725718061488 140714215701648 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14693] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 10966 33554432000 4194304 4196468 140725718061488 140714214648592 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14694] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 10966 33554432000 4194304 4196468 140725718061488 140714213596048 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14695] ppid=14687 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 10966 33554432000 4194304 4196468 140725718061488 140714212542992 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14696] ppid=14687 vsize=26004064 memory=139883058394031 CPUtime=0 cores=0-7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 10966 33554432000 4194304 4196468 140725718061488 140714211490448 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14697] ppid=14687 vsize=26004064 memory=139883058396336 CPUtime=0 cores=0-7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 10966 33554432000 4194304 4196468 140725718061488 140714210437392 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14698] ppid=14687 vsize=26004064 memory=3472463781239567840 CPUtime=0 cores=0-7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26628161536 10966 33554432000 4194304 4196468 140725718061488 140714209384848 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14699] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623560 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712536349424 140714264144514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14700] ppid=14687 vsize=26004064 memory=279766116804240 CPUtime=0 cores=0-7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14687 12278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151623560 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712535295648 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14701] ppid=14687 vsize=26004064 memory=279766116811152 CPUtime=0 cores=0-7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14687 12278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151623561 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712534242544 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14702] ppid=14687 vsize=26004064 memory=279766116752304 CPUtime=0 cores=0-7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623563 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712533191120 140714264151963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14703] ppid=14687 vsize=26004064 memory=279766116824976 CPUtime=0.01 cores=0-7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14687 12278 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 20 0 151623563 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712532138224 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14704] ppid=14687 vsize=26004064 memory=279766116831888 CPUtime=0.02 cores=0-7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14687 12278 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 20 0 151623563 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712531085680 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14705] ppid=14687 vsize=26004064 memory=279766116829584 CPUtime=0.02 cores=0-7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14687 12278 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 20 0 151623563 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712530032624 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14706] ppid=14687 vsize=26004064 memory=279766116845744 CPUtime=0.12 cores=0-7 /proc/14689/task/14706/stat : 14706 (java) R 14687 14687 12278 0 -1 4202560 826 0 0 0 12 0 0 0 20 0 20 0 151623563 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712528977872 140714242796984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14707] ppid=14687 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151623563 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712527928288 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14708] ppid=14687 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/14689/task/14708/stat : 14708 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623564 26628161536 10966 33554432000 4194304 4196468 140725718061488 140712526875824 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45248 KiB [startup+0.700966 s] /proc/loadavg: 8.40 8.19 8.02 3/201 14708 /proc/meminfo: memFree=27136548/32770624 swapFree=67108860/67108860 [pid=14687] ppid=14684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/14687/stat : 14687 (xcsp3-exec) S 14684 14687 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151623557 9740288 346 33554432000 4194304 5098028 140724081292624 140724081290728 140010203275900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25243648 140724081296491 140724081296700 140724081296700 140724081299435 0 /proc/14687/statm: 2378 346 289 221 0 87 0 [pid=14689] ppid=14687 vsize=26006188 memory=102952 CPUtime=2.1 cores=0-7 /proc/14689/stat : 14689 (java) S 14687 14687 12278 0 -1 1077944320 14788 0 0 0 204 6 0 0 20 0 20 0 151623557 26630336512 25738 33554432000 4194304 4196468 140725718061488 140725718044032 140714264133367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 /proc/14689/statm: 6501547 25738 3201 1 0 6488781 0 [pid=14689/tid=14690] ppid=14687 vsize=26006188 memory=279766117203632 CPUtime=0.67 cores=0-7 /proc/14689/task/14690/stat : 14690 (java) R 14687 14687 12278 0 -1 4202560 6736 0 0 0 65 2 0 0 20 0 20 0 151623558 26630336512 25738 33554432000 4194304 4196468 140725718061488 140714268362512 140714246040814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14691] ppid=14687 vsize=26006188 memory=139883058602864 CPUtime=0 cores=0-7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14687 12278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151623559 26630336512 25738 33554432000 4194304 4196468 140725718061488 140714216754192 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14692] ppid=14687 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151623559 26630336512 25738 33554432000 4194304 4196468 140725718061488 140714215701648 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14693] ppid=14687 vsize=26006188 memory=11108 CPUtime=0 cores=0-7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151623559 26630336512 25738 33554432000 4194304 4196468 140725718061488 140714214648592 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 ################ # More data... # ################ [pid=14689/tid=15292] ppid=14687 vsize=26538700 memory=1424 CPUtime=1.74 cores=0-7 /proc/14689/task/15292/stat : 15292 (java) R 14687 14687 12278 0 -1 4202560 1 0 0 0 174 0 0 0 20 0 28 0 151639612 27175628800 179763 33554432000 4194304 4196468 140725718061488 140711772884552 140713883949670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 Current children cumulated CPU time: 1246.08 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 720436 KiB [startup+222.31 s] /proc/loadavg: 7.33 8.00 8.00 9/207 15532 /proc/meminfo: memFree=26487844/32770624 swapFree=67108860/67108860 [pid=14687] ppid=14684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/14687/stat : 14687 (xcsp3-exec) S 14684 14687 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151623557 9740288 346 33554432000 4194304 5098028 140724081292624 140724081290728 140010203275900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25243648 140724081296491 140724081296700 140724081296700 140724081299435 0 /proc/14687/statm: 2378 346 289 221 0 87 0 [pid=14689] ppid=14687 vsize=26538700 memory=718088 CPUtime=1706.01 cores=0-7 /proc/14689/stat : 14689 (java) S 14687 14687 12278 0 -1 1077944320 210310 0 0 0 170389 212 0 0 20 0 28 0 151623557 27175628800 179522 33554432000 4194304 4196468 140725718061488 140725718044032 140714264133367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 /proc/14689/statm: 6634675 179522 3286 1 0 6621909 0 [pid=14689/tid=14690] ppid=14687 vsize=26538700 memory=718096 CPUtime=1.44 cores=0-7 /proc/14689/task/14690/stat : 14690 (java) S 14687 14687 12278 0 -1 1077944384 20678 0 0 0 138 6 0 0 20 0 28 0 151623558 27175628800 179522 33554432000 4194304 4196468 140725718061488 140714268374144 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14691] ppid=14687 vsize=26538700 memory=718076 CPUtime=0.19 cores=0-7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14687 12278 0 -1 1077944384 327 0 0 0 14 5 0 0 20 0 28 0 151623559 27175628800 179522 33554432000 4194304 4196468 140725718061488 140714216754192 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14692] ppid=14687 vsize=26538700 memory=717952 CPUtime=0.16 cores=0-7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14687 12278 0 -1 1077944384 432 0 0 0 11 5 0 0 20 0 28 0 151623559 27175628800 179522 33554432000 4194304 4196468 140725718061488 140714215701648 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14693] ppid=14687 vsize=26538700 memory=718016 CPUtime=0.18 cores=0-7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14687 12278 0 -1 1077944384 847 0 0 0 12 6 0 0 20 0 28 0 151623559 27175628800 179522 33554432000 4194304 4196468 140725718061488 140714214648592 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14694] ppid=14687 vsize=26538700 memory=718076 CPUtime=0.18 cores=0-7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14687 12278 0 -1 1077944384 1482 0 0 0 13 5 0 0 20 0 28 0 151623559 27175628800 179522 33554432000 4194304 4196468 140725718061488 140714213596048 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14695] ppid=14687 vsize=26538700 memory=1384 CPUtime=0.19 cores=0-7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14687 12278 0 -1 1077944384 1493 0 0 0 13 6 0 0 20 0 28 0 151623559 27175628800 179522 33554432000 4194304 4196468 140725718061488 140714212542992 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14696] ppid=14687 vsize=26538700 memory=717932 CPUtime=0.18 cores=0-7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14687 12278 0 -1 1077944384 879 0 0 0 13 5 0 0 20 0 28 0 151623559 27175628800 179522 33554432000 4194304 4196468 140725718061488 140714211490448 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14697] ppid=14687 vsize=26538700 memory=1384 CPUtime=0.19 cores=0-7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14687 12278 0 -1 1077944384 750 0 0 0 13 6 0 0 20 0 28 0 151623559 27175628800 179522 33554432000 4194304 4196468 140725718061488 140714210437392 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14698] ppid=14687 vsize=26538700 memory=717932 CPUtime=0.16 cores=0-7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14687 12278 0 -1 1077944384 1162 0 0 0 11 5 0 0 20 0 28 0 151623559 27175628800 179522 33554432000 4194304 4196468 140725718061488 140714209384848 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14699] ppid=14687 vsize=26538700 memory=717932 CPUtime=0.06 cores=0-7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14687 12278 0 -1 1077944384 5362 0 0 0 4 2 0 0 20 0 28 0 151623560 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712536349424 140714264144514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14700] ppid=14687 vsize=26538700 memory=714348 CPUtime=0 cores=0-7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14687 12278 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 151623560 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712535295712 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14701] ppid=14687 vsize=26538700 memory=4132 CPUtime=0 cores=0-7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14687 12278 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151623561 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712534242544 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14702] ppid=14687 vsize=26538700 memory=717932 CPUtime=0 cores=0-7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151623563 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712533191120 140714264151963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14703] ppid=14687 vsize=26538700 memory=718068 CPUtime=2.67 cores=0-7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14687 12278 0 -1 1077944384 23001 0 0 0 262 5 0 0 20 0 28 0 151623563 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712532138224 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14704] ppid=14687 vsize=26538700 memory=718096 CPUtime=2.84 cores=0-7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14687 12278 0 -1 1077944384 20168 0 0 0 280 4 0 0 20 0 28 0 151623563 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712531085680 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14705] ppid=14687 vsize=26538700 memory=718088 CPUtime=2.44 cores=0-7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14687 12278 0 -1 1077944384 15630 0 0 0 241 3 0 0 20 0 28 0 151623563 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712530032624 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14706] ppid=14687 vsize=26538700 memory=717952 CPUtime=1 cores=0-7 /proc/14689/task/14706/stat : 14706 (java) S 14687 14687 12278 0 -1 1077944384 31270 0 0 0 95 5 0 0 20 0 28 0 151623563 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712528980080 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14707] ppid=14687 vsize=26538700 memory=718088 CPUtime=0 cores=0-7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151623563 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712527928288 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14708] ppid=14687 vsize=26538700 memory=4132 CPUtime=0.09 cores=0-7 /proc/14689/task/14708/stat : 14708 (java) S 14687 14687 12278 0 -1 1077944384 3457 0 0 0 0 9 0 0 20 0 28 0 151623564 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712526875824 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15525] ppid=14687 vsize=26538700 memory=42032 CPUtime=1.9 cores=0-7 /proc/14689/task/15525/stat : 15525 (java) R 14687 14687 12278 0 -1 4202560 86 0 0 0 190 0 0 0 20 0 28 0 151645597 27175628800 179522 33554432000 4194304 4196468 140725718061488 140711774985848 140713889550664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15526] ppid=14687 vsize=26538700 memory=1728 CPUtime=1.9 cores=0-7 /proc/14689/task/15526/stat : 15526 (java) R 14687 14687 12278 0 -1 4202560 12 0 0 0 190 0 0 0 20 0 28 0 151645597 27175628800 179522 33554432000 4194304 4196468 140725718061488 140711776039672 140713890691896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15527] ppid=14687 vsize=26538700 memory=1720 CPUtime=1.9 cores=0-7 /proc/14689/task/15527/stat : 15527 (java) R 14687 14687 12278 0 -1 4202560 24 0 0 0 190 0 0 0 20 0 28 0 151645597 27175628800 179522 33554432000 4194304 4196468 140725718061488 140711778145080 140713890355419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15528] ppid=14687 vsize=26538700 memory=1296 CPUtime=1.9 cores=0-7 /proc/14689/task/15528/stat : 15528 (java) R 14687 14687 12278 0 -1 4202560 42 0 0 0 190 0 0 0 20 0 28 0 151645597 27175628800 179522 33554432000 4194304 4196468 140725718061488 140711772884040 140713886851084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15529] ppid=14687 vsize=26538700 memory=2408 CPUtime=1.86 cores=0-7 /proc/14689/task/15529/stat : 15529 (java) R 14687 14687 12278 0 -1 4202560 129 0 0 0 186 0 0 0 20 0 28 0 151645597 27175628800 179522 33554432000 4194304 4196468 140725718061488 140711773931480 140713890692067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15530] ppid=14687 vsize=26538700 memory=717952 CPUtime=1.9 cores=0-7 /proc/14689/task/15530/stat : 15530 (java) R 14687 14687 12278 0 -1 4202560 14 0 0 0 190 0 0 0 20 0 28 0 151645597 27175628800 179522 33554432000 4194304 4196468 140725718061488 140711779199816 140713889550836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15531] ppid=14687 vsize=26538700 memory=1384 CPUtime=1.9 cores=0-7 /proc/14689/task/15531/stat : 15531 (java) R 14687 14687 12278 0 -1 4202560 16 0 0 0 190 0 0 0 20 0 28 0 151645597 27175628800 179522 33554432000 4194304 4196468 140725718061488 140711777095112 140713890294623 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15532] ppid=14687 vsize=26538700 memory=717952 CPUtime=1.9 cores=0-7 /proc/14689/task/15532/stat : 15532 (java) R 14687 14687 12278 0 -1 4202560 14 0 0 0 190 0 0 0 20 0 28 0 151645597 27175628800 179522 33554432000 4194304 4196468 140725718061488 140712525327944 140713889910222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 Current children cumulated CPU time: 1706.01 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 719472 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 6.94 7.82 7.94 9/207 15612 /proc/meminfo: memFree=26489708/32770624 swapFree=67108860/67108860 [pid=14687] ppid=14684 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/14687/stat : 14687 (xcsp3-exec) S 14684 14687 12278 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151623557 9740288 346 33554432000 4194304 5098028 140724081292624 140724081290728 140010203275900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25243648 140724081296491 140724081296700 140724081296700 140724081299435 0 /proc/14687/statm: 2378 346 289 221 0 87 0 [pid=14689] ppid=14687 vsize=26538700 memory=715964 CPUtime=1935.35 cores=0-7 /proc/14689/stat : 14689 (java) S 14687 14687 12278 0 -1 1077944320 227766 0 0 0 193312 223 0 0 20 0 28 0 151623557 27175628800 178991 33554432000 4194304 4196468 140725718061488 140725718044032 140714264133367 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 /proc/14689/statm: 6634675 178991 3286 1 0 6621909 0 [pid=14689/tid=14690] ppid=14687 vsize=26538700 memory=6791534058613427641 CPUtime=1.47 cores=0-7 /proc/14689/task/14690/stat : 14690 (java) S 14687 14687 12278 0 -1 1077944384 22911 0 0 0 140 7 0 0 20 0 28 0 151623558 27175628800 178991 33554432000 4194304 4196468 140725718061488 140714268374144 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14691] ppid=14687 vsize=26538700 memory=11108 CPUtime=0.2 cores=0-7 /proc/14689/task/14691/stat : 14691 (java) S 14687 14687 12278 0 -1 1077944384 393 0 0 0 14 6 0 0 20 0 28 0 151623559 27175628800 178991 33554432000 4194304 4196468 140725718061488 140714216754192 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14692] ppid=14687 vsize=26538700 memory=796 CPUtime=0.16 cores=0-7 /proc/14689/task/14692/stat : 14692 (java) S 14687 14687 12278 0 -1 1077944384 529 0 0 0 11 5 0 0 20 0 28 0 151623559 27175628800 178991 33554432000 4194304 4196468 140725718061488 140714215701648 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14693] ppid=14687 vsize=26538700 memory=1424 CPUtime=0.18 cores=0-7 /proc/14689/task/14693/stat : 14693 (java) S 14687 14687 12278 0 -1 1077944384 850 0 0 0 12 6 0 0 20 0 28 0 151623559 27175628800 178991 33554432000 4194304 4196468 140725718061488 140714214648592 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14694] ppid=14687 vsize=26538700 memory=4872558044660077418 CPUtime=0.18 cores=0-7 /proc/14689/task/14694/stat : 14694 (java) S 14687 14687 12278 0 -1 1077944384 1577 0 0 0 13 5 0 0 20 0 28 0 151623559 27175628800 178991 33554432000 4194304 4196468 140725718061488 140714213596048 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14695] ppid=14687 vsize=26538700 memory=288230596050944315 CPUtime=0.19 cores=0-7 /proc/14689/task/14695/stat : 14695 (java) S 14687 14687 12278 0 -1 1077944384 1500 0 0 0 13 6 0 0 20 0 28 0 151623559 27175628800 178991 33554432000 4194304 4196468 140725718061488 140714212542992 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14696] ppid=14687 vsize=26538700 memory=13569292880847920 CPUtime=0.18 cores=0-7 /proc/14689/task/14696/stat : 14696 (java) S 14687 14687 12278 0 -1 1077944384 903 0 0 0 13 5 0 0 20 0 28 0 151623559 27175628800 178991 33554432000 4194304 4196468 140725718061488 140714211490448 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14697] ppid=14687 vsize=26538700 memory=7667776823996998247 CPUtime=0.19 cores=0-7 /proc/14689/task/14697/stat : 14697 (java) S 14687 14687 12278 0 -1 1077944384 759 0 0 0 13 6 0 0 20 0 28 0 151623559 27175628800 178991 33554432000 4194304 4196468 140725718061488 140714210437392 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14698] ppid=14687 vsize=26538700 memory=6003406499507695462 CPUtime=0.17 cores=0-7 /proc/14689/task/14698/stat : 14698 (java) S 14687 14687 12278 0 -1 1077944384 1484 0 0 0 11 6 0 0 20 0 28 0 151623559 27175628800 178991 33554432000 4194304 4196468 140725718061488 140714209384848 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14699] ppid=14687 vsize=26538700 memory=5868022524811830377 CPUtime=0.06 cores=0-7 /proc/14689/task/14699/stat : 14699 (java) S 14687 14687 12278 0 -1 1077944384 6001 0 0 0 4 2 0 0 20 0 28 0 151623560 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712536349424 140714264144514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14700] ppid=14687 vsize=26538700 memory=7588969336969979492 CPUtime=0 cores=0-7 /proc/14689/task/14700/stat : 14700 (java) S 14687 14687 12278 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 151623560 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712535295712 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14701] ppid=14687 vsize=26538700 memory=7588969336969979492 CPUtime=0 cores=0-7 /proc/14689/task/14701/stat : 14701 (java) S 14687 14687 12278 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 151623561 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712534242560 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14702] ppid=14687 vsize=26538700 memory=7588969336969979492 CPUtime=0 cores=0-7 /proc/14689/task/14702/stat : 14702 (java) S 14687 14687 12278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151623563 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712533191120 140714264151963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14703] ppid=14687 vsize=26538700 memory=7588969336969979492 CPUtime=2.69 cores=0-7 /proc/14689/task/14703/stat : 14703 (java) S 14687 14687 12278 0 -1 1077944384 23684 0 0 0 263 6 0 0 20 0 28 0 151623563 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712532138224 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14704] ppid=14687 vsize=26538700 memory=7588969336969979492 CPUtime=2.84 cores=0-7 /proc/14689/task/14704/stat : 14704 (java) S 14687 14687 12278 0 -1 1077944384 20196 0 0 0 280 4 0 0 20 0 28 0 151623563 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712531085680 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14705] ppid=14687 vsize=26538700 memory=7588969336969979492 CPUtime=2.45 cores=0-7 /proc/14689/task/14705/stat : 14705 (java) S 14687 14687 12278 0 -1 1077944384 16793 0 0 0 242 3 0 0 20 0 28 0 151623563 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712530032624 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14706] ppid=14687 vsize=26538700 memory=7588969336969979492 CPUtime=1 cores=0-7 /proc/14689/task/14706/stat : 14706 (java) S 14687 14687 12278 0 -1 1077944384 31294 0 0 0 95 5 0 0 20 0 28 0 151623563 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712528980080 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14707] ppid=14687 vsize=26538700 memory=7090747659012958528 CPUtime=0 cores=0-7 /proc/14689/task/14707/stat : 14707 (java) S 14687 14687 12278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151623563 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712527928288 140714264143573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=14708] ppid=14687 vsize=26538700 memory=7284 CPUtime=0.11 cores=0-7 /proc/14689/task/14708/stat : 14708 (java) S 14687 14687 12278 0 -1 1077944384 4035 0 0 0 0 11 0 0 20 0 28 0 151623564 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712526875824 140714264144514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15605] ppid=14687 vsize=26538700 memory=836 CPUtime=8.26 cores=0-7 /proc/14689/task/15605/stat : 15605 (java) R 14687 14687 12278 0 -1 4202560 261 0 0 0 826 0 0 0 20 0 28 0 151647932 27175628800 178991 33554432000 4194304 4196468 140725718061488 140712525323896 140713883949704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15606] ppid=14687 vsize=26538700 memory=1692 CPUtime=8.26 cores=0-7 /proc/14689/task/15606/stat : 15606 (java) R 14687 14687 12278 0 -1 4202560 243 0 0 0 826 0 0 0 20 0 28 0 151647932 27175628800 178991 33554432000 4194304 4196468 140725718061488 140711776039672 140713889910222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15607] ppid=14687 vsize=26538700 memory=916 CPUtime=8.07 cores=0-7 /proc/14689/task/15607/stat : 15607 (java) R 14687 14687 12278 0 -1 4202560 314 0 0 0 807 0 0 0 20 0 28 0 151647932 27175628800 178991 33554432000 4194304 4196468 140725718061488 140711778145368 140713889550664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15608] ppid=14687 vsize=26538700 memory=4512 CPUtime=8.26 cores=0-7 /proc/14689/task/15608/stat : 15608 (java) R 14687 14687 12278 0 -1 4202560 1055 0 0 0 826 0 0 0 20 0 28 0 151647932 27175628800 178991 33554432000 4194304 4196468 140725718061488 140711773934072 140713883949644 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15609] ppid=14687 vsize=26538700 memory=4104 CPUtime=8.25 cores=0-7 /proc/14689/task/15609/stat : 15609 (java) R 14687 14687 12278 0 -1 4202560 281 0 0 0 825 0 0 0 20 0 28 0 151647932 27175628800 178991 33554432000 4194304 4196468 140725718061488 140711777094344 140713889910165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15610] ppid=14687 vsize=26538700 memory=1160 CPUtime=8.26 cores=0-7 /proc/14689/task/15610/stat : 15610 (java) R 14687 14687 12278 0 -1 4202560 118 0 0 0 826 0 0 0 20 0 28 0 151647932 27175628800 178991 33554432000 4194304 4196468 140725718061488 140711772883784 140713890691956 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15611] ppid=14687 vsize=26538700 memory=5004 CPUtime=8.26 cores=0-7 /proc/14689/task/15611/stat : 15611 (java) R 14687 14687 12278 0 -1 4202560 283 0 0 0 826 0 0 0 20 0 28 0 151647932 27175628800 178991 33554432000 4194304 4196468 140725718061488 140711779200456 140713890691956 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 [pid=14689/tid=15612] ppid=14687 vsize=26538700 memory=1384 CPUtime=8.26 cores=0-7 /proc/14689/task/15612/stat : 15612 (java) R 14687 14687 12278 0 -1 4202560 104 0 0 0 826 0 0 0 20 0 28 0 151647932 27175628800 178991 33554432000 4194304 4196468 140725718061488 140711774989896 140713889910165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34693120 140725718066328 140725718066504 140725718066504 140725718069199 0 Current children cumulated CPU time: 1935.35 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 717348 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.042 s] # the end of solver process 14687 was just reported to runsolver # cumulated CPU time of all completed processes: user=0 s, system=0.001952 s [startup+252.096 s] # the end of solver process 14689 was just reported to runsolver # cumulated CPU time of all completed processes: user=1933.69 s, system=2.25466 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.096 CPU time (s): 1935.94 CPU user time (s): 1933.69 CPU system time (s): 2.25466 CPU usage (%): 767.94 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 722492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1933.69 system time used= 2.25466 maximum resident set size= 731492 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 229714 page faults= 0 swaps= 0 block input operations= 0 block output operations= 576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20837 involuntary context switches= 21477 # summary of solver processes directly reported to runsolver: # pid: 14687,14689 # total CPU time (s): 1935.94 # total CPU user time (s): 1933.69 # total CPU system time (s): 2.25466 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.10897 second user time and 3.20923 second system time The end
Begin job on node115 at 2017-08-20 01:15:00 IDJOB=4281310 IDBENCH=124249 IDSOLVER=2676 FILE ID=node115/4281310-1503185360 RUNJOBID= node115-1503173871-12305 PBS_JOBID= 20630842 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-5.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281310-1503185360/watcher-4281310-1503185360 -o /tmp/evaluation-result-4281310-1503185360/solver-4281310-1503185360 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503173871-12305 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 445048680 HOME/instance-4281310-1503185360.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 80f621e31f8a9b35d5cf92091f9e4ac3 RANDOM SEED=445048680 node115.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.69 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.69 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.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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: 27197644 kB MemAvailable: 31974424 kB Buffers: 245988 kB Cached: 4823644 kB SwapCached: 0 kB Active: 903208 kB Inactive: 4223116 kB Active(anon): 7380 kB Inactive(anon): 85200 kB Active(file): 895828 kB Inactive(file): 4137916 kB Unevictable: 7032 kB Mlocked: 7032 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7860 kB Writeback: 0 kB AnonPages: 62692 kB Mapped: 51684 kB Shmem: 33416 kB Slab: 144488 kB SReclaimable: 117744 kB SUnreclaim: 26744 kB KernelStack: 3232 kB PageTables: 5604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332792 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61860 MiB End job on node115 at 2017-08-20 01:19:12