Trace number 4271500

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)533 1949.53 252.11501

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t08-5.xml
MD5SUM80f621e31f8a9b35d5cf92091f9e4ac3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark533
Best CPU time to get the best result obtained on this benchmark1935.9399
Satisfiable
(Un)Satisfiability was proved
Number of variables7084
Number of constraints656
Number of domains11
Minimum domain size2
Maximum domain size213
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 degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":7084}]
Minimum constraint arity11
Maximum constraint arity6440
Distribution of constraint arities[{"arity":11,"count":644},{"arity":644,"count":11},{"arity":6440,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":654}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271500-1502641753.xml"  -tl '2016s' -p 8 -x 0
0.11/0.15	c [HOME/instance-4271500-1502641753.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
4.25/1.23	c solve instance...
30.20/4.56	o 644 
51.38/7.23	o 643 
69.35/9.52	o 642 
90.70/12.25	o 641 
107.96/14.47	o 640 
127.58/16.95	o 639 
146.44/19.34	o 638 
163.61/21.51	o 637 
182.53/23.97	o 636 
201.19/26.38	o 635 
220.49/28.84	o 634 
239.29/31.28	o 633 
258.08/33.67	o 632 
276.16/35.99	o 631 
290.86/37.85	o 630 
305.55/39.71	o 629 
325.38/42.28	o 628 
345.01/44.75	o 627 
359.13/46.59	o 626 
372.92/48.38	o 625 
386.09/50.02	o 624 
400.00/51.82	o 623 
414.15/53.74	o 622 
428.49/55.61	o 621 
442.73/57.44	o 620 
458.74/59.54	o 619 
474.37/61.56	o 618 
488.32/63.35	o 617 
506.30/65.67	o 616 
520.44/67.43	o 615 
536.19/69.42	o 614 
562.40/72.78	o 613 
576.95/74.64	o 612 
597.37/77.26	o 611 
613.74/79.37	o 610 
628.71/81.31	o 609 
643.50/83.25	o 608 
657.53/85.10	o 607 
671.93/86.92	o 606 
686.91/88.89	o 605 
701.63/90.73	o 604 
716.58/92.63	o 603 
731.50/94.57	o 602 
747.72/96.69	o 601 
770.34/99.57	o 600 
786.76/101.67	o 599 
805.29/104.06	o 598 
825.45/106.90	o 597 
843.68/109.25	o 596 
860.38/111.42	o 595 
877.19/113.60	o 594 
892.73/115.67	o 593 
908.68/117.77	o 592 
924.91/119.87	o 591 
941.18/122.23	o 590 
956.51/124.27	o 589 
972.54/126.38	o 588 
987.91/128.37	o 587 
1004.33/130.50	o 586 
1020.73/132.56	o 585 
1036.90/134.66	o 584 
1052.79/136.81	o 583 
1068.64/139.05	o 582 
1083.73/141.12	o 581 
1097.87/142.98	o 580 
1113.65/145.14	o 579 
1127.67/146.95	o 578 
1142.52/148.82	o 577 
1156.80/150.65	o 576 
1171.03/152.47	o 575 
1186.02/154.34	o 574 
1200.20/156.16	o 573 
1214.24/157.98	o 572 
1228.29/159.75	o 571 
1242.54/161.56	o 570 
1256.53/163.32	o 569 
1269.60/165.01	o 568 
1283.02/166.74	o 567 
1295.64/168.35	o 566 
1308.92/170.06	o 565 
1321.86/171.71	o 564 
1335.92/173.53	o 563 
1348.52/175.18	o 562 
1362.24/176.92	o 561 
1373.93/178.45	o 560 
1387.95/180.28	o 559 
1411.35/183.30	o 558 
1433.09/186.08	o 557 
1454.96/188.89	o 556 
1476.33/191.61	o 555 
1492.17/193.69	o 554 
1506.75/195.53	o 553 
1520.83/197.36	o 552 
1534.59/199.13	o 551 
1553.42/201.55	o 550 
1568.27/203.49	o 549 
1586.88/205.83	o 548 
1600.97/207.65	o 547 
1613.55/209.26	o 546 
1627.55/211.02	o 545 
1640.10/212.66	o 544 
1653.28/214.33	o 543 
1665.29/215.92	o 542 
1676.30/217.39	o 541 
1696.02/219.91	o 540 
1708.69/221.59	o 539 
1721.83/223.27	o 538 
1735.80/225.08	o 537 
1751.03/227.06	o 536 
1764.89/228.86	o 535 
1777.89/230.56	o 534 
1790.26/232.18	o 533 
1948.88/252.07	s SATISFIABLE
1948.88/252.07	v <instantiation>
1948.88/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>
1948.88/252.08	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>
1948.88/252.08	v </instantiation>
1948.88/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	533

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271500-1502641753/watcher-4271500-1502641753 -o /tmp/evaluation-result-4271500-1502641753/solver-4271500-1502641753 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 211256567 HOME/instance-4271500-1502641753.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=10484, runsolver pid=10481

[startup+0.100136 s]*
/proc/loadavg: 7.47 6.23 6.63 2/200 10505
/proc/meminfo: memFree=31498576/32770624 swapFree=67108860/67108860
[pid=10484] ppid=10481 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10484/stat : 10484 (xcsp3-exec) S 10481 10484 4682 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97263126 9740288 346 33554432000 4194304 5098028 140737074443744 140737074441848 140215519974012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24887296 140737074447467 140737074447676 140737074447676 140737074450411 0
/proc/10484/statm: 2378 346 289 221 0 87 0
[pid=10486] ppid=10484 vsize=25999808 memory=24684 CPUtime=0.11 cores=0-7
/proc/10486/stat : 10486 (java) S 10484 10484 4682 0 -1 1077944320 5581 0 0 0 10 1 0 0 20 0 20 0 97263126 26623803392 6171 33554432000 4194304 4196468 140728217130064 140728217112608 140536525790967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
/proc/10486/statm: 6499952 6171 2861 1 0 6488269 0
[pid=10486/tid=10487] ppid=10484 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10486/task/10487/stat : 10487 (java) R 10484 10484 4682 0 -1 4202560 3544 0 0 0 8 1 0 0 20 0 20 0 97263126 26623803392 6171 33554432000 4194304 4196468 140728217130064 140536530022880 140536163283176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10488] ppid=10484 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10486/task/10488/stat : 10488 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26623803392 6171 33554432000 4194304 4196468 140728217130064 140536084212112 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10489] ppid=10484 vsize=25999808 memory=140233825334912 CPUtime=0 cores=0-7
/proc/10486/task/10489/stat : 10489 (java) S 10484 10484 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97263127 26623803392 6171 33554432000 4194304 4196468 140728217130064 140536083159312 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10490] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10490/stat : 10490 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26623803392 6171 33554432000 4194304 4196468 140728217130064 140536082107024 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10491] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10491/stat : 10491 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26623803392 6171 33554432000 4194304 4196468 140728217130064 140536081054224 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10492] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10492/stat : 10492 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26623803392 6171 33554432000 4194304 4196468 140728217130064 140536080001936 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10493] ppid=10484 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10486/task/10493/stat : 10493 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26623803392 6171 33554432000 4194304 4196468 140728217130064 140536078949136 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10494] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10494/stat : 10494 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26623803392 6171 33554432000 4194304 4196468 140728217130064 140536077896848 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10495] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10495/stat : 10495 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26623803392 6171 33554432000 4194304 4196468 140728217130064 140536076844048 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10496] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10496/stat : 10496 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263129 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534932338800 140536525802114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10497] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10497/stat : 10497 (java) S 10484 10484 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97263129 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534931284768 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10498] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10498/stat : 10498 (java) S 10484 10484 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97263129 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534930232432 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10499] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10499/stat : 10499 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263132 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534929180752 140536525809563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10500] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10500/stat : 10500 (java) S 10484 10484 4682 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 97263132 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534928128624 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10501] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10501/stat : 10501 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263132 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534927075824 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10502] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10502/stat : 10502 (java) S 10484 10484 4682 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 97263132 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534926023536 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10503] ppid=10484 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10486/task/10503/stat : 10503 (java) S 10484 10484 4682 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 20 0 97263132 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534924970736 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10504] ppid=10484 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10504/stat : 10504 (java) S 10484 10484 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97263132 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534923917664 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10505] ppid=10484 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10486/task/10505/stat : 10505 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263132 26623803392 6171 33554432000 4194304 4196468 140728217130064 140534922864944 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26068 KiB

[startup+0.2106 s]*
/proc/loadavg: 7.47 6.23 6.63 2/200 10505
/proc/meminfo: memFree=31487444/32770624 swapFree=67108860/67108860
[pid=10484] ppid=10481 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10484/stat : 10484 (xcsp3-exec) S 10481 10484 4682 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97263126 9740288 346 33554432000 4194304 5098028 140737074443744 140737074441848 140215519974012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24887296 140737074447467 140737074447676 140737074447676 140737074450411 0
/proc/10484/statm: 2378 346 289 221 0 87 0
[pid=10486] ppid=10484 vsize=26004064 memory=38164 CPUtime=0.33 cores=0-7
/proc/10486/stat : 10486 (java) S 10484 10484 4682 0 -1 1077944320 8560 0 0 0 31 2 0 0 20 0 20 0 97263126 26628161536 9541 33554432000 4194304 4196468 140728217130064 140728217112608 140536525790967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
/proc/10486/statm: 6501016 9541 3082 1 0 6488269 0
[pid=10486/tid=10487] ppid=10484 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10486/task/10487/stat : 10487 (java) R 10484 10484 4682 0 -1 4202560 5468 0 0 0 18 1 0 0 20 0 20 0 97263126 26628161536 9541 33554432000 4194304 4196468 140728217130064 140536529993728 140536525812893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10488] ppid=10484 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/10486/task/10488/stat : 10488 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 9541 33554432000 4194304 4196468 140728217130064 140536084212112 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10489] ppid=10484 vsize=26004064 memory=140233825345196 CPUtime=0 cores=0-7
/proc/10486/task/10489/stat : 10489 (java) S 10484 10484 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 9541 33554432000 4194304 4196468 140728217130064 140536083159312 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10490] ppid=10484 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10486/task/10490/stat : 10490 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 9541 33554432000 4194304 4196468 140728217130064 140536082107024 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10491] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10491/stat : 10491 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 9541 33554432000 4194304 4196468 140728217130064 140536081054224 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10492] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10492/stat : 10492 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 9541 33554432000 4194304 4196468 140728217130064 140536080001936 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10493] ppid=10484 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10486/task/10493/stat : 10493 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 9541 33554432000 4194304 4196468 140728217130064 140536078949136 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10494] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10494/stat : 10494 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 9541 33554432000 4194304 4196468 140728217130064 140536077896848 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10495] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10495/stat : 10495 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 9541 33554432000 4194304 4196468 140728217130064 140536076844048 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10496] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10496/stat : 10496 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263129 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534932338800 140536525802114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10497] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10497/stat : 10497 (java) S 10484 10484 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97263129 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534931284768 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10498] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10498/stat : 10498 (java) S 10484 10484 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97263129 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534930232432 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10499] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10499/stat : 10499 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263132 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534929180752 140536525809563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10500] ppid=10484 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/10486/task/10500/stat : 10500 (java) S 10484 10484 4682 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 20 0 97263132 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534928128624 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10501] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10501/stat : 10501 (java) S 10484 10484 4682 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 20 0 97263132 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534927075824 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10502] ppid=10484 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/10486/task/10502/stat : 10502 (java) S 10484 10484 4682 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 97263132 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534926023536 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10503] ppid=10484 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/10486/task/10503/stat : 10503 (java) S 10484 10484 4682 0 -1 1077944384 895 0 0 0 7 0 0 0 20 0 20 0 97263132 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534924970736 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10504] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10504/stat : 10504 (java) S 10484 10484 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97263132 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534923917664 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10505] ppid=10484 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10486/task/10505/stat : 10505 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263132 26628161536 9541 33554432000 4194304 4196468 140728217130064 140534922864944 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39548 KiB

[startup+0.310353 s]*
/proc/loadavg: 7.47 6.23 6.63 3/200 10505
/proc/meminfo: memFree=31480372/32770624 swapFree=67108860/67108860
[pid=10484] ppid=10481 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10484/stat : 10484 (xcsp3-exec) S 10481 10484 4682 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97263126 9740288 346 33554432000 4194304 5098028 140737074443744 140737074441848 140215519974012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24887296 140737074447467 140737074447676 140737074447676 140737074450411 0
/proc/10484/statm: 2378 346 289 221 0 87 0
[pid=10486] ppid=10484 vsize=26004064 memory=43080 CPUtime=0.49 cores=0-7
/proc/10486/stat : 10486 (java) S 10484 10484 4682 0 -1 1077944320 9487 0 0 0 47 2 0 0 20 0 20 0 97263126 26628161536 10770 33554432000 4194304 4196468 140728217130064 140728217112608 140536525790967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
/proc/10486/statm: 6501016 10770 3096 1 0 6488269 0
[pid=10486/tid=10487] ppid=10484 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10486/task/10487/stat : 10487 (java) R 10484 10484 4682 0 -1 4202560 6143 0 0 0 27 2 0 0 20 0 20 0 97263126 26628161536 10770 33554432000 4194304 4196468 140728217130064 140536530027200 140536525802902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10488] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10488/stat : 10488 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 10770 33554432000 4194304 4196468 140728217130064 140536084212112 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10489] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10489/stat : 10489 (java) S 10484 10484 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 10770 33554432000 4194304 4196468 140728217130064 140536083159312 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10490] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10490/stat : 10490 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 10770 33554432000 4194304 4196468 140728217130064 140536082107024 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10491] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10491/stat : 10491 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 10770 33554432000 4194304 4196468 140728217130064 140536081054224 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10492] ppid=10484 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10486/task/10492/stat : 10492 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 10770 33554432000 4194304 4196468 140728217130064 140536080001936 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10493] ppid=10484 vsize=26004064 memory=140233702208431 CPUtime=0 cores=0-7
/proc/10486/task/10493/stat : 10493 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 10770 33554432000 4194304 4196468 140728217130064 140536078949136 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10494] ppid=10484 vsize=26004064 memory=140233702210736 CPUtime=0 cores=0-7
/proc/10486/task/10494/stat : 10494 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 10770 33554432000 4194304 4196468 140728217130064 140536077896848 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10495] ppid=10484 vsize=26004064 memory=140233702213040 CPUtime=0 cores=0-7
/proc/10486/task/10495/stat : 10495 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26628161536 10770 33554432000 4194304 4196468 140728217130064 140536076844048 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10496] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10496/stat : 10496 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263129 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534932338800 140536525802114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10497] ppid=10484 vsize=26004064 memory=280467404433040 CPUtime=0 cores=0-7
/proc/10486/task/10497/stat : 10497 (java) S 10484 10484 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97263129 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534931284768 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10498] ppid=10484 vsize=26004064 memory=280467404439952 CPUtime=0 cores=0-7
/proc/10486/task/10498/stat : 10498 (java) S 10484 10484 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97263129 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534930232432 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10499] ppid=10484 vsize=26004064 memory=280467404381232 CPUtime=0 cores=0-7
/proc/10486/task/10499/stat : 10499 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263132 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534929180752 140536525809563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10500] ppid=10484 vsize=26004064 memory=280467404453776 CPUtime=0.03 cores=0-7
/proc/10486/task/10500/stat : 10500 (java) S 10484 10484 4682 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 20 0 97263132 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534928128624 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10501] ppid=10484 vsize=26004064 memory=280467404460688 CPUtime=0.01 cores=0-7
/proc/10486/task/10501/stat : 10501 (java) R 10484 10484 4682 0 -1 4202560 119 0 0 0 1 0 0 0 20 0 20 0 97263132 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534927067152 140536503531440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10502] ppid=10484 vsize=26004064 memory=280467404458384 CPUtime=0.01 cores=0-7
/proc/10486/task/10502/stat : 10502 (java) S 10484 10484 4682 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 97263132 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534926023536 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10503] ppid=10484 vsize=26004064 memory=280467404474544 CPUtime=0.12 cores=0-7
/proc/10486/task/10503/stat : 10503 (java) R 10484 10484 4682 0 -1 4202560 1075 0 0 0 12 0 0 0 20 0 20 0 97263132 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534924968528 140536525802902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10504] ppid=10484 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10504/stat : 10504 (java) S 10484 10484 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97263132 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534923917664 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10505] ppid=10484 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10486/task/10505/stat : 10505 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263132 26628161536 10770 33554432000 4194304 4196468 140728217130064 140534922864944 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44464 KiB

[startup+0.701006 s]
/proc/loadavg: 7.47 6.23 6.63 6/200 10505
/proc/meminfo: memFree=31450644/32770624 swapFree=67108860/67108860
[pid=10484] ppid=10481 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10484/stat : 10484 (xcsp3-exec) S 10481 10484 4682 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97263126 9740288 346 33554432000 4194304 5098028 140737074443744 140737074441848 140215519974012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24887296 140737074447467 140737074447676 140737074447676 140737074450411 0
/proc/10484/statm: 2378 346 289 221 0 87 0
[pid=10486] ppid=10484 vsize=26006188 memory=100344 CPUtime=2.1 cores=0-7
/proc/10486/stat : 10486 (java) S 10484 10484 4682 0 -1 1077944320 15164 0 0 0 205 5 0 0 20 0 20 0 97263126 26630336512 25086 33554432000 4194304 4196468 140728217130064 140728217112608 140536525790967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
/proc/10486/statm: 6501547 25086 3205 1 0 6488781 0
[pid=10486/tid=10487] ppid=10484 vsize=26006188 memory=280467404832432 CPUtime=0.66 cores=0-7
/proc/10486/task/10487/stat : 10487 (java) R 10484 10484 4682 0 -1 4202560 6755 0 0 0 64 2 0 0 20 0 20 0 97263126 26630336512 25086 33554432000 4194304 4196468 140728217130064 140536530027200 140536163346480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10488] ppid=10484 vsize=26006188 memory=140233702417264 CPUtime=0 cores=0-7
/proc/10486/task/10488/stat : 10488 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97263127 26630336512 25086 33554432000 4194304 4196468 140728217130064 140536084212112 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10489] ppid=10484 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10486/task/10489/stat : 10489 (java) S 10484 10484 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97263127 26630336512 25086 33554432000 4194304 4196468 140728217130064 140536083159312 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10490] ppid=10484 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/10486/task/10490/stat : 10490 (java) S 10484 10484 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97263127 26630336512 25086 33554432000 4194304 4196468 140728217130064 140536082107024 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0

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

[pid=10486/tid=11113] ppid=10484 vsize=26538700 memory=1384 CPUtime=0.7 cores=0-7
/proc/10486/task/11113/stat : 11113 (java) R 10484 10484 4682 0 -1 4202560 3 0 0 0 70 0 0 0 20 0 28 0 97279283 27175628800 176948 33554432000 4194304 4196468 140728217130064 140534914861232 140536170193790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
Current children cumulated CPU time: 1248.57 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 709176 KiB

[startup+222.304 s]
/proc/loadavg: 7.58 6.90 6.82 9/206 11361
/proc/meminfo: memFree=30815996/32770624 swapFree=67108860/67108860
[pid=10484] ppid=10481 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10484/stat : 10484 (xcsp3-exec) S 10481 10484 4682 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97263126 9740288 346 33554432000 4194304 5098028 140737074443744 140737074441848 140215519974012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24887296 140737074447467 140737074447676 140737074447676 140737074450411 0
/proc/10484/statm: 2378 346 289 221 0 87 0
[pid=10486] ppid=10484 vsize=26538700 memory=707872 CPUtime=1714.67 cores=0-7
/proc/10486/stat : 10486 (java) S 10484 10484 4682 0 -1 1077944320 163465 0 0 0 171318 149 0 0 20 0 28 0 97263126 27175628800 176968 33554432000 4194304 4196468 140728217130064 140728217112608 140536525790967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
/proc/10486/statm: 6634675 176968 3285 1 0 6621909 0
[pid=10486/tid=10487] ppid=10484 vsize=26538700 memory=707800 CPUtime=1.52 cores=0-7
/proc/10486/task/10487/stat : 10487 (java) S 10484 10484 4682 0 -1 1077944384 16233 0 0 0 145 7 0 0 20 0 28 0 97263126 27175628800 176968 33554432000 4194304 4196468 140728217130064 140536530031744 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10488] ppid=10484 vsize=26538700 memory=706704 CPUtime=0.16 cores=0-7
/proc/10486/task/10488/stat : 10488 (java) S 10484 10484 4682 0 -1 1077944384 590 0 0 0 11 5 0 0 20 0 28 0 97263127 27175628800 176968 33554432000 4194304 4196468 140728217130064 140536084212112 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10489] ppid=10484 vsize=26538700 memory=706768 CPUtime=0.16 cores=0-7
/proc/10486/task/10489/stat : 10489 (java) S 10484 10484 4682 0 -1 1077944384 404 0 0 0 11 5 0 0 20 0 28 0 97263127 27175628800 176968 33554432000 4194304 4196468 140728217130064 140536083159312 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10490] ppid=10484 vsize=26538700 memory=706672 CPUtime=0.18 cores=0-7
/proc/10486/task/10490/stat : 10490 (java) S 10484 10484 4682 0 -1 1077944384 454 0 0 0 13 5 0 0 20 0 28 0 97263127 27175628800 176968 33554432000 4194304 4196468 140728217130064 140536082107024 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10491] ppid=10484 vsize=26538700 memory=706668 CPUtime=0.17 cores=0-7
/proc/10486/task/10491/stat : 10491 (java) S 10484 10484 4682 0 -1 1077944384 1711 0 0 0 11 6 0 0 20 0 28 0 97263127 27175628800 176968 33554432000 4194304 4196468 140728217130064 140536081054224 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10492] ppid=10484 vsize=26538700 memory=706668 CPUtime=0.16 cores=0-7
/proc/10486/task/10492/stat : 10492 (java) S 10484 10484 4682 0 -1 1077944384 240 0 0 0 11 5 0 0 20 0 28 0 97263127 27175628800 176968 33554432000 4194304 4196468 140728217130064 140536080001936 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10493] ppid=10484 vsize=26538700 memory=706736 CPUtime=0.15 cores=0-7
/proc/10486/task/10493/stat : 10493 (java) S 10484 10484 4682 0 -1 1077944384 1918 0 0 0 10 5 0 0 20 0 28 0 97263127 27175628800 176968 33554432000 4194304 4196468 140728217130064 140536078949136 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10494] ppid=10484 vsize=26538700 memory=1384 CPUtime=0.16 cores=0-7
/proc/10486/task/10494/stat : 10494 (java) S 10484 10484 4682 0 -1 1077944384 926 0 0 0 12 4 0 0 20 0 28 0 97263127 27175628800 176968 33554432000 4194304 4196468 140728217130064 140536077896848 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10495] ppid=10484 vsize=26538700 memory=685040 CPUtime=0.16 cores=0-7
/proc/10486/task/10495/stat : 10495 (java) S 10484 10484 4682 0 -1 1077944384 442 0 0 0 11 5 0 0 20 0 28 0 97263127 27175628800 176968 33554432000 4194304 4196468 140728217130064 140536076844048 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10496] ppid=10484 vsize=26538700 memory=1384 CPUtime=0.07 cores=0-7
/proc/10486/task/10496/stat : 10496 (java) S 10484 10484 4682 0 -1 1077944384 4078 0 0 0 4 3 0 0 20 0 28 0 97263129 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534932338800 140536525802114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10497] ppid=10484 vsize=26538700 memory=682656 CPUtime=0 cores=0-7
/proc/10486/task/10497/stat : 10497 (java) S 10484 10484 4682 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97263129 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534931284832 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10498] ppid=10484 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/10486/task/10498/stat : 10498 (java) S 10484 10484 4682 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 97263129 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534930232448 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10499] ppid=10484 vsize=26538700 memory=707800 CPUtime=0 cores=0-7
/proc/10486/task/10499/stat : 10499 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97263132 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534929180752 140536525809563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10500] ppid=10484 vsize=26538700 memory=707800 CPUtime=2.31 cores=0-7
/proc/10486/task/10500/stat : 10500 (java) S 10484 10484 4682 0 -1 1077944384 16906 0 0 0 228 3 0 0 20 0 28 0 97263132 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534928128624 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10501] ppid=10484 vsize=26538700 memory=707800 CPUtime=2.63 cores=0-7
/proc/10486/task/10501/stat : 10501 (java) S 10484 10484 4682 0 -1 1077944384 14040 0 0 0 260 3 0 0 20 0 28 0 97263132 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534927075824 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10502] ppid=10484 vsize=26538700 memory=707872 CPUtime=2.39 cores=0-7
/proc/10486/task/10502/stat : 10502 (java) S 10484 10484 4682 0 -1 1077944384 16781 0 0 0 236 3 0 0 20 0 28 0 97263132 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534926023536 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10503] ppid=10484 vsize=26538700 memory=1384 CPUtime=0.96 cores=0-7
/proc/10486/task/10503/stat : 10503 (java) S 10484 10484 4682 0 -1 1077944384 24701 0 0 0 90 6 0 0 20 0 28 0 97263132 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534924970736 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10504] ppid=10484 vsize=26538700 memory=707872 CPUtime=0 cores=0-7
/proc/10486/task/10504/stat : 10504 (java) S 10484 10484 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97263132 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534923917664 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10505] ppid=10484 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7
/proc/10486/task/10505/stat : 10505 (java) S 10484 10484 4682 0 -1 1077944384 2509 0 0 0 2 7 0 0 20 0 28 0 97263132 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534922864944 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11354] ppid=10484 vsize=26538700 memory=707800 CPUtime=0.7 cores=0-7
/proc/10486/task/11354/stat : 11354 (java) R 10484 10484 4682 0 -1 4202560 73 0 0 0 70 0 0 0 20 0 28 0 97285285 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534914858488 140536171219337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11355] ppid=10484 vsize=26538700 memory=640 CPUtime=0.7 cores=0-7
/proc/10486/task/11355/stat : 11355 (java) R 10484 10484 4682 0 -1 4202560 4 0 0 0 70 0 0 0 20 0 28 0 97285286 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534913806400 140536164386508 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11356] ppid=10484 vsize=26538700 memory=4140 CPUtime=0.7 cores=0-7
/proc/10486/task/11356/stat : 11356 (java) R 10484 10484 4682 0 -1 4202560 44 0 0 0 70 0 0 0 20 0 28 0 97285286 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534912754920 140536169873365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11357] ppid=10484 vsize=26538700 memory=27864 CPUtime=0.7 cores=0-7
/proc/10486/task/11357/stat : 11357 (java) R 10484 10484 4682 0 -1 4202560 18 0 0 0 70 0 0 0 20 0 28 0 97285286 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534910648952 140536170193216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11358] ppid=10484 vsize=26538700 memory=1296 CPUtime=0.68 cores=0-7
/proc/10486/task/11358/stat : 11358 (java) R 10484 10484 4682 0 -1 4202560 60 0 0 0 68 0 0 0 20 0 28 0 97285286 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534909599304 140536170412478 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11359] ppid=10484 vsize=26538700 memory=707872 CPUtime=0.7 cores=0-7
/proc/10486/task/11359/stat : 11359 (java) R 10484 10484 4682 0 -1 4202560 16 0 0 0 70 0 0 0 20 0 28 0 97285286 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534908546504 140536170193624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11360] ppid=10484 vsize=26538700 memory=4140 CPUtime=0.7 cores=0-7
/proc/10486/task/11360/stat : 11360 (java) R 10484 10484 4682 0 -1 4202560 17 0 0 0 70 0 0 0 20 0 28 0 97285286 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534911703880 140536170193174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11361] ppid=10484 vsize=26538700 memory=27864 CPUtime=0.7 cores=0-7
/proc/10486/task/11361/stat : 11361 (java) R 10484 10484 4682 0 -1 4202560 12 0 0 0 70 0 0 0 20 0 28 0 97285286 27175628800 176968 33554432000 4194304 4196468 140728217130064 140534907492960 140536164386508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
Current children cumulated CPU time: 1714.67 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 709256 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.37 6.90 6.82 9/206 11409
/proc/meminfo: memFree=30816040/32770624 swapFree=67108860/67108860
[pid=10484] ppid=10481 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10484/stat : 10484 (xcsp3-exec) S 10481 10484 4682 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97263126 9740288 346 33554432000 4194304 5098028 140737074443744 140737074441848 140215519974012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24887296 140737074447467 140737074447676 140737074447676 140737074450411 0
/proc/10484/statm: 2378 346 289 221 0 87 0
[pid=10486] ppid=10484 vsize=26538700 memory=708100 CPUtime=1948.88 cores=0-7
/proc/10486/stat : 10486 (java) S 10484 10484 4682 0 -1 1077944320 170874 0 0 0 194735 153 0 0 20 0 28 0 97263126 27175628800 177025 33554432000 4194304 4196468 140728217130064 140728217112608 140536525790967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
/proc/10486/statm: 6634675 177025 3285 1 0 6621909 0
[pid=10486/tid=10487] ppid=10484 vsize=26538700 memory=6791534058613427641 CPUtime=1.53 cores=0-7
/proc/10486/task/10487/stat : 10487 (java) S 10484 10484 4682 0 -1 1077944384 16244 0 0 0 146 7 0 0 20 0 28 0 97263126 27175628800 177025 33554432000 4194304 4196468 140728217130064 140536530031744 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10488] ppid=10484 vsize=26538700 memory=4872558044660077418 CPUtime=0.16 cores=0-7
/proc/10486/task/10488/stat : 10488 (java) S 10484 10484 4682 0 -1 1077944384 590 0 0 0 11 5 0 0 20 0 28 0 97263127 27175628800 177025 33554432000 4194304 4196468 140728217130064 140536084212112 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10489] ppid=10484 vsize=26538700 memory=5668 CPUtime=0.16 cores=0-7
/proc/10486/task/10489/stat : 10489 (java) S 10484 10484 4682 0 -1 1077944384 404 0 0 0 11 5 0 0 20 0 28 0 97263127 27175628800 177025 33554432000 4194304 4196468 140728217130064 140536083159312 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10490] ppid=10484 vsize=26538700 memory=1008 CPUtime=0.18 cores=0-7
/proc/10486/task/10490/stat : 10490 (java) S 10484 10484 4682 0 -1 1077944384 454 0 0 0 13 5 0 0 20 0 28 0 97263127 27175628800 177025 33554432000 4194304 4196468 140728217130064 140536082107024 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10491] ppid=10484 vsize=26538700 memory=4612 CPUtime=0.17 cores=0-7
/proc/10486/task/10491/stat : 10491 (java) S 10484 10484 4682 0 -1 1077944384 1711 0 0 0 11 6 0 0 20 0 28 0 97263127 27175628800 177025 33554432000 4194304 4196468 140728217130064 140536081054224 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10492] ppid=10484 vsize=26538700 memory=1428 CPUtime=0.16 cores=0-7
/proc/10486/task/10492/stat : 10492 (java) S 10484 10484 4682 0 -1 1077944384 240 0 0 0 11 5 0 0 20 0 28 0 97263127 27175628800 177025 33554432000 4194304 4196468 140728217130064 140536080001936 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10493] ppid=10484 vsize=26538700 memory=1204 CPUtime=0.15 cores=0-7
/proc/10486/task/10493/stat : 10493 (java) S 10484 10484 4682 0 -1 1077944384 1918 0 0 0 10 5 0 0 20 0 28 0 97263127 27175628800 177025 33554432000 4194304 4196468 140728217130064 140536078949136 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10494] ppid=10484 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/10486/task/10494/stat : 10494 (java) S 10484 10484 4682 0 -1 1077944384 926 0 0 0 12 4 0 0 20 0 28 0 97263127 27175628800 177025 33554432000 4194304 4196468 140728217130064 140536077896848 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10495] ppid=10484 vsize=26538700 memory=1384 CPUtime=0.16 cores=0-7
/proc/10486/task/10495/stat : 10495 (java) S 10484 10484 4682 0 -1 1077944384 442 0 0 0 11 5 0 0 20 0 28 0 97263127 27175628800 177025 33554432000 4194304 4196468 140728217130064 140536076844048 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10496] ppid=10484 vsize=26538700 memory=708100 CPUtime=0.07 cores=0-7
/proc/10486/task/10496/stat : 10496 (java) S 10484 10484 4682 0 -1 1077944384 4148 0 0 0 4 3 0 0 20 0 28 0 97263129 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534932338800 140536525802114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10497] ppid=10484 vsize=26538700 memory=14132268587288782 CPUtime=0 cores=0-7
/proc/10486/task/10497/stat : 10497 (java) S 10484 10484 4682 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97263129 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534931284832 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10498] ppid=10484 vsize=26538700 memory=18488 CPUtime=0 cores=0-7
/proc/10486/task/10498/stat : 10498 (java) S 10484 10484 4682 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 97263129 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534930232448 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10499] ppid=10484 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/10486/task/10499/stat : 10499 (java) S 10484 10484 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97263132 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534929180752 140536525809563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10500] ppid=10484 vsize=26538700 memory=1236 CPUtime=2.45 cores=0-7
/proc/10486/task/10500/stat : 10500 (java) S 10484 10484 4682 0 -1 1077944384 18835 0 0 0 241 4 0 0 20 0 28 0 97263132 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534928128624 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10501] ppid=10484 vsize=26538700 memory=1384 CPUtime=2.73 cores=0-7
/proc/10486/task/10501/stat : 10501 (java) S 10484 10484 4682 0 -1 1077944384 15808 0 0 0 270 3 0 0 20 0 28 0 97263132 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534927075824 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10502] ppid=10484 vsize=26538700 memory=708100 CPUtime=2.41 cores=0-7
/proc/10486/task/10502/stat : 10502 (java) S 10484 10484 4682 0 -1 1077944384 17486 0 0 0 238 3 0 0 20 0 28 0 97263132 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534926023536 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10503] ppid=10484 vsize=26538700 memory=2340 CPUtime=0.96 cores=0-7
/proc/10486/task/10503/stat : 10503 (java) S 10484 10484 4682 0 -1 1077944384 24714 0 0 0 90 6 0 0 20 0 28 0 97263132 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534924970736 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10504] ppid=10484 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/10486/task/10504/stat : 10504 (java) S 10484 10484 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97263132 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534923917664 140536525801173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=10505] ppid=10484 vsize=26538700 memory=4128 CPUtime=0.1 cores=0-7
/proc/10486/task/10505/stat : 10505 (java) S 10484 10484 4682 0 -1 1077944384 2614 0 0 0 2 8 0 0 20 0 28 0 97263132 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534922864944 140536525802114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11402] ppid=10484 vsize=26538700 memory=928 CPUtime=19.56 cores=0-7
/proc/10486/task/11402/stat : 11402 (java) R 10484 10484 4682 0 -1 4202560 140 0 0 0 1956 0 0 0 20 0 28 0 97286344 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534912748552 140536170502798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11403] ppid=10484 vsize=26538700 memory=1576 CPUtime=19.73 cores=0-7
/proc/10486/task/11403/stat : 11403 (java) R 10484 10484 4682 0 -1 4202560 254 0 0 0 1973 0 0 0 20 0 28 0 97286344 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534907486088 140536170980357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11404] ppid=10484 vsize=26538700 memory=2196 CPUtime=19.79 cores=0-7
/proc/10486/task/11404/stat : 11404 (java) R 10484 10484 4682 0 -1 4202560 286 0 0 0 1979 0 0 0 20 0 28 0 97286344 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534910644488 140536171219420 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11405] ppid=10484 vsize=26538700 memory=6764 CPUtime=19.81 cores=0-7
/proc/10486/task/11405/stat : 11405 (java) R 10484 10484 4682 0 -1 4202560 334 0 0 0 1981 0 0 0 20 0 28 0 97286344 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534914855048 140536167323222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11406] ppid=10484 vsize=26538700 memory=1384 CPUtime=19.58 cores=0-7
/proc/10486/task/11406/stat : 11406 (java) R 10484 10484 4682 0 -1 4202560 421 0 0 0 1958 0 0 0 20 0 28 0 97286344 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534908539360 140536164386508 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11407] ppid=10484 vsize=26538700 memory=708100 CPUtime=19.79 cores=0-7
/proc/10486/task/11407/stat : 11407 (java) R 10484 10484 4682 0 -1 4202560 373 0 0 0 1979 0 0 0 20 0 28 0 97286344 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534909591944 140536171219296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11408] ppid=10484 vsize=26538700 memory=707872 CPUtime=19.77 cores=0-7
/proc/10486/task/11408/stat : 11408 (java) R 10484 10484 4682 0 -1 4202560 148 0 0 0 1977 0 0 0 20 0 28 0 97286344 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534911696648 140536170980357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
[pid=10486/tid=11409] ppid=10484 vsize=26538700 memory=302022891367825718 CPUtime=19.81 cores=0-7
/proc/10486/task/11409/stat : 11409 (java) R 10484 10484 4682 0 -1 4202560 330 0 0 0 1981 0 0 0 20 0 28 0 97286344 27175628800 177025 33554432000 4194304 4196468 140728217130064 140534913801640 140536170193381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7712768 140728217138328 140728217138504 140728217138504 140728217141199 0
Current children cumulated CPU time: 1948.88 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 709484 KiB

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

[startup+252.04 s]
# the end of solver process 10484 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000963 s, system=0.000963 s

[startup+252.115 s]
# the end of solver process 10486 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1947.98 s, system=1.55108 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.115
CPU time (s): 1949.53
CPU user time (s): 1947.98
CPU system time (s): 1.55108
CPU usage (%): 773.271
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 709484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1947.98
system time used= 1.55108
maximum resident set size= 729248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19829
involuntary context switches= 21620


# summary of solver processes directly reported to runsolver:
#   pid: 10484,10486
#   total CPU time (s): 1949.53
#   total CPU user time (s): 1947.98
#   total CPU system time (s): 1.55108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.18733 second user time and 3.24884 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-13 18:14:55
IDJOB=4271500
IDBENCH=124249
IDSOLVER=2663
FILE ID=node106/4271500-1502641753
RUNJOBID= node106-1502637338-4709
PBS_JOBID= 20628329
Free space on /tmp= 61772 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-4271500-1502641753/watcher-4271500-1502641753 -o /tmp/evaluation-result-4271500-1502641753/solver-4271500-1502641753 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 211256567 HOME/instance-4271500-1502641753.xml

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

MD5SUM BENCH= 80f621e31f8a9b35d5cf92091f9e4ac3
RANDOM SEED=211256567

node106.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.86
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.86
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.86
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.86
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:        31512200 kB
MemAvailable:   31985804 kB
Buffers:          114396 kB
Cached:           646820 kB
SwapCached:            0 kB
Active:           385200 kB
Inactive:         431832 kB
Active(anon):      11516 kB
Inactive(anon):    72092 kB
Active(file):     373684 kB
Inactive(file):   359740 kB
Unevictable:        6504 kB
Mlocked:            6504 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7776 kB
Writeback:            12 kB
AnonPages:         61984 kB
Mapped:            43548 kB
Shmem:             25228 kB
Slab:             137748 kB
SReclaimable:     112028 kB
SUnreclaim:        25720 kB
KernelStack:        3200 kB
PageTables:         5072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 61764 MiB
End job on node106 at 2017-08-13 18:19:07