0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-26232-serial-file.bin HOME/instance-4305748-1534068277.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 12:04:37 CEST 2018
0.66/0.55 c PID: 26235
0.66/0.55 c IP: 172.20.3.106
0.66/0.55 c HOST: node106.alineos.net
0.66/0.56 c (0,0) Parsing Begin
4.71/1.98 c (1,1) Parsing End
5.03/2.01 c (1,1) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
5.03/2.01 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.03/2.01 c (1,1) Constraint Name Generate Begin
5.03/2.04 c (1,1) Ctr:HOME/instance-4305748-1534068277.xml,IntVar:Num:WeightedSum
5.03/2.04 c (1,1) Constraint Name Generate End
5.03/2.04 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
5.03/2.04 c (1,1) CSP to CSPinCNF Begin
6.83/2.73 c (2,2) translated 83 (10%) constraints
7.42/3.17 c (2,2) translated 166 (20%) constraints
7.93/3.60 c (3,3) translated 248 (30%) constraints
8.36/4.04 c (3,3) translated 331 (40%) constraints
8.98/4.49 c (3,3) translated 413 (50%) constraints
9.61/4.91 c (4,4) translated 496 (60%) constraints
10.06/5.32 c (4,4) translated 579 (70%) constraints
10.82/5.80 c (5,5) translated 661 (80%) constraints
11.38/6.33 c (5,5) translated 744 (90%) constraints
12.49/7.48 c (6,6) translated 826 (100%) constraints
14.35/8.21 c (7,7) STATISTICS1:HOME/instance-4305748-1534068277.xml,IntVar:Num:WeightedSum,8281,826,9223372036854775807,2,1,169,9223372036854775807:826,2:82810,1:826,169:98;91:728,12544:98;3600:728
14.35/8.21 c (7,7) ==========================================
14.35/8.21 c (7,7) Both Encoding selects:
14.35/8.21 c (7,7) Log
14.35/8.21 c (7,7) ==========================================
14.35/8.29 c (7,7) translated 83 (10%) constraints
14.47/8.37 c (7,7) translated 166 (20%) constraints
14.57/8.45 c (7,7) translated 248 (30%) constraints
14.67/8.52 c (7,7) translated 331 (40%) constraints
14.78/8.60 c (8,7) translated 413 (50%) constraints
14.78/8.68 c (8,8) translated 496 (60%) constraints
14.88/8.75 c (8,8) translated 579 (70%) constraints
15.02/8.83 c (8,8) translated 661 (80%) constraints
15.13/8.94 c (8,8) translated 744 (90%) constraints
15.37/9.17 c (8,8) translated 826 (100%) constraints
15.37/9.18 c (8,8) CSP to CSPinCNF End
15.37/9.18 c (8,8) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
15.37/9.18 c (8,8) Heap : 2877 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.37/9.19 c (8,8) CSPinCNF Propagation Begin
16.63/9.73 c (9,9) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
16.63/9.73 c (9,9) CSPinCNF Propagation End
16.63/9.73 c (9,9) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
16.63/9.73 c (9,9) Heap : 139 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.63/9.73 c (9,9) Simplify CSPinCNF Begin
16.63/9.76 c (9,9) Simplify CSPinCNF End
16.63/9.76 c (9,9) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
16.63/9.76 c (9,9) Heap : 194 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.63/9.76 c (9,9) Calculate Precise Domain Begin
16.63/9.76 c (9,9) 0 values are removed by re-calculation
16.63/9.76 c (9,9) Calculate Precise Domain End
16.63/9.77 c (9,9) CSP: 0 int (0 aux), 8281 bool (0 aux), 826 ctr, max domain size 2
16.63/9.77 c (9,9) Heap : 194 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
16.63/9.77 c (9,9) CSPinCNF to SatSolver Begin
17.79/10.15 c (9,9) 83 (10 %) CSP clauses are being encoded (23041 SAT variables, 44034 SAT clauses)
18.34/10.30 c (9,9) 166 (20 %) CSP clauses are being encoded (37981 SAT variables, 88605 SAT clauses)
18.44/10.43 c (9,9) 248 (30 %) CSP clauses are being encoded (52741 SAT variables, 132639 SAT clauses)
18.57/10.56 c (10,9) 331 (40 %) CSP clauses are being encoded (67681 SAT variables, 177210 SAT clauses)
18.70/10.67 c (10,9) 413 (50 %) CSP clauses are being encoded (78169 SAT variables, 199884 SAT clauses)
18.93/10.77 c (10,10) 496 (60 %) CSP clauses are being encoded (85722 SAT variables, 207520 SAT clauses)
19.24/10.88 c (10,10) 579 (70 %) CSP clauses are being encoded (93275 SAT variables, 215156 SAT clauses)
19.54/10.97 c (10,10) 661 (80 %) CSP clauses are being encoded (100737 SAT variables, 222700 SAT clauses)
19.82/11.10 c (10,10) 744 (90 %) CSP clauses are being encoded (114440 SAT variables, 251426 SAT clauses)
20.25/11.42 c (10,10) 826 (100 %) CSP clauses are being encoded (155522 SAT variables, 374262 SAT clauses)
20.25/11.43 c (10,10) Launch Command will be: minisat_release
20.25/11.43 c (10,10) CSPinCNF to SatSolver End
20.25/11.43 c (10,10) Heap : 1405 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.84/11.88 c (11,11) STATISTICS2:HOME/instance-4305748-1534068277.xml,IntVar:Num:WeightedSum,8281,826,9223372036854775807,2,1,169,9223372036854775807:826,2:82810,1:826,169:98;91:728,2:826
20.84/11.88 c (11,11) 156023 bool, 375760 clause
20.84/11.88 c (11,11) Export Begin
22.06/12.64 c (12,11) Export to HOME/scop-26232-serial-file.bin
22.06/12.64 c (12,11) Export End
22.06/12.64 c (12,11) Export File Size: 3.03 MB
22.06/12.64 c (12,11) 1,1,8,9,9,9,10,STOP-AFTER(DIMACS)
22.06/12.64 c END-Prog: Sun Aug 12 12:04:49 CEST 2018
22.06/12.67 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-26232-serial-file.bin
22.78/13.16 c (0,0) Read Serial File Begin
22.78/13.16 c (0,0) HOME/scop-26232-serial-file.bin
24.21/14.05 c (1,1) Read Serial File End
24.21/14.07
24.21/14.07 scop log+minisat_release (2018-07-31)
24.21/14.07 (Solving Process)
24.21/14.07
24.21/14.09 c BEGIN-Prog: Sun Aug 12 12:04:51 CEST 2018
24.21/14.09 c PID: 26250
24.21/14.09 c IP: 172.20.3.106
24.21/14.09 c HOST: node106.alineos.net
24.21/14.09 c (1,1) SatSolver.solve Begin
24.21/14.09 c (1,1) 0 bool, 0 clause
24.21/14.09 c (1,1) minisat_release HOME/instance-4305748-1534068277.xml-scop-26235.cnf
86.48/76.07 c (63,0) c This is COMiniSatPS.
86.48/76.07 c (63,0) c WARNING: for repeatability, setting FPU to use double precision
86.48/76.07 c (63,0) c ============================[ Problem Statistics ]=============================
86.48/76.07 c (63,0) c | |
86.48/76.07 c (63,0) c | Number of variables: 156023 |
86.48/76.07 c (63,0) c | Number of clauses: 374934 |
86.48/76.07 c (63,0) c | Parse time: 0.15 s |
86.48/76.07 c (63,0) c | Eliminated clauses: 0.89 Mb |
86.48/76.07 c (63,0) c Reduced to 122092 vars, 292867 cls (grow=0)
86.48/76.07 c (63,0) c | Eliminated clauses: 3.76 Mb |
86.48/76.07 c (63,0) c Reduced to 51474 vars, 311545 cls (grow=8)
86.48/76.07 c (63,0) c cl_inc_rate=1.064, var_dec_rate=2.372
86.48/76.07 c (63,0) c | Eliminated clauses: 4.16 Mb |
86.48/76.07 c (63,0) c Reduced to 44408 vars, 349134 cls (grow=16)
86.48/76.07 c (63,0) c cl_inc_rate=1.121, var_dec_rate=1.159
86.48/76.07 c (63,0) c | Eliminated clauses: 4.65 Mb |
86.48/76.07 c (63,0) c Reduced to 37971 vars, 424675 cls (grow=32)
86.48/76.07 c (63,0) c cl_inc_rate=1.216, var_dec_rate=1.170
86.48/76.07 c (63,0) c No. effective iterative eliminations: 3
86.48/76.07 c (63,0) c | Simplification time: 2.72 s |
86.48/76.07 c (63,0) c | |
86.48/76.07 c (63,0) c ============================[ Search Statistics ]==============================
86.48/76.07 c (63,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
86.48/76.07 c (63,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
86.48/76.07 c (63,0) c ===============================================================================
86.48/76.07 c (63,0) c ===============================================================================
86.48/76.07 c (63,0) c restarts : 412
86.48/76.07 c (63,0) c conflicts : 95577 (1549 /sec)
86.48/76.07 c (63,0) c decisions : 466440 (0.00 % random) (7560 /sec)
86.48/76.07 c (63,0) c propagations : 86429130 (1400860 /sec)
86.48/76.07 c (63,0) c conflict literals : 67758165 (11.13 % deleted)
86.48/76.07 c (63,0) c CPU time : 61.6972 s
86.48/76.07 c (63,0)
86.48/76.07 c (63,0) s SATISFIABLE
86.70/76.19 c (63,1) SatSolver.solve End
86.70/76.19 c (63,1) Heap : 204 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
86.70/76.19 c (63,1) Show results Begin
87.16/76.30 s SATISFIABLE
87.16/76.36 v <instantiation>
87.16/76.36 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145] x[4146] x[4147] x[4148] x[4149] x[4150] x[4151] x[4152] x[4153] x[4154] x[4155] x[4156] x[4157] x[4158] x[4159] x[4160] x[4161] x[4162] x[4163] x[4164] x[4165] x[4166] x[4167] x[4168] x[4169] x[4170] x[4171] x[4172] x[4173] x[4174] x[4175] x[4176] x[4177] x[4178] x[4179] x[4180] x[4181] x[4182] x[4183] x[4184] x[4185] x[4186] x[4187] x[4188] x[4189] x[4190] x[4191] x[4192] x[4193] x[4194] x[4195] x[4196] x[4197] x[4198] x[4199] x[4200] x[4201] x[4202] x[4203] x[4204] x[4205] x[4206] x[4207] x[4208] x[4209] x[4210] x[4211] x[4212] x[4213] x[4214] x[4215] x[4216] x[4217] x[4218] x[4219] x[4220] x[4221] x[4222] x[4223] x[4224] x[4225] x[4226] x[4227] x[4228] x[4229] x[4230] x[4231] x[4232] x[4233] x[4234] x[4235] x[4236] x[4237] x[4238] x[4239] x[4240] x[4241] x[4242] x[4243] x[4244] x[4245] x[4246] x[4247] x[4248] x[4249] x[4250] x[4251] x[4252] x[4253] x[4254] x[4255] x[4256] x[4257] x[4258] x[4259] x[4260] x[4261] x[4262] x[4263] x[4264] x[4265] x[4266] x[4267] x[4268] x[4269] x[4270] x[4271] x[4272] x[4273] x[4274] x[4275] x[4276] x[4277] x[4278] x[4279] x[4280] x[4281] x[4282] x[4283] x[4284] x[4285] x[4286] x[4287] x[4288] x[4289] x[4290] x[4291] x[4292] x[4293] x[4294] x[4295] x[4296] x[4297] x[4298] x[4299] x[4300] x[4301] x[4302] x[4303] x[4304] x[4305] x[4306] x[4307] x[4308] x[4309] x[4310] x[4311] x[4312] x[4313] x[4314] x[4315] x[4316] x[4317] x[4318] x[4319] x[4320] x[4321] x[4322] x[4323] x[4324] x[4325] x[4326] x[4327] x[4328] x[4329] x[4330] x[4331] x[4332] x[4333] x[4334] x[4335] x[4336] x[4337] x[4338] x[4339] x[4340] x[4341] x[4342] x[4343] x[4344] x[4345] x[4346] x[4347] x[4348] x[4349] x[4350] x[4351] x[4352] x[4353] x[4354] x[4355] x[4356] x[4357] x[4358] x[4359] x[4360] x[4361] x[4362] x[4363] x[4364] x[4365] x[4366] x[4367] x[4368] x[4369] x[4370] x[4371] x[4372] x[4373] x[4374] x[4375] x[4376] x[4377] x[4378] x[4379] x[4380] x[4381] x[4382] x[4383] x[4384] x[4385] x[4386] x[4387] x[4388] x[4389] x[4390] x[4391] x[4392] x[4393] x[4394] x[4395] x[4396] x[4397] x[4398] x[4399] x[4400] x[4401] x[4402] x[4403] x[4404] x[4405] x[4406] x[4407] x[4408] x[4409] x[4410] x[4411] x[4412] x[4413] x[4414] x[4415] x[4416] x[4417] x[4418] x[4419] x[4420] x[4421] x[4422] x[4423] x[4424] x[4425] x[4426] x[4427] x[4428] x[4429] x[4430] x[4431] x[4432] x[4433] x[4434] x[4435] x[4436] x[4437] x[4438] x[4439] x[4440] x[4441] x[4442] x[4443] x[4444] x[4445] x[4446] x[4447] x[4448] x[4449] x[4450] x[4451] x[4452] x[4453] x[4454] x[4455] x[4456] x[4457] x[4458] x[4459] x[4460] x[4461] x[4462] x[4463] x[4464] x[4465] x[4466] x[4467] x[4468] x[4469] x[4470] x[4471] x[4472] x[4473] x[4474] x[4475] x[4476] x[4477] x[4478] x[4479] x[4480] x[4481] x[4482] x[4483] x[4484] x[4485] x[4486] x[4487] x[4488] x[4489] x[4490] x[4491] x[4492] x[4493] x[4494] x[4495] x[4496] x[4497] x[4498] x[4499] x[4500] x[4501] x[4502] x[4503] x[4504] x[4505] x[4506] x[4507] x[4508] x[4509] x[4510] x[4511] x[4512] x[4513] x[4514] x[4515] x[4516] x[4517] x[4518] x[4519] x[4520] x[4521] x[4522] x[4523] x[4524] x[4525] x[4526] x[4527] x[4528] x[4529] x[4530] x[4531] x[4532] x[4533] x[4534] x[4535] x[4536] x[4537] x[4538] x[4539] x[4540] x[4541] x[4542] x[4543] x[4544] x[4545] x[4546] x[4547] x[4548] x[4549] x[4550] x[4551] x[4552] x[4553] x[4554] x[4555] x[4556] x[4557] x[4558] x[4559] x[4560] x[4561] x[4562] x[4563] x[4564] x[4565] x[4566] x[4567] x[4568] x[4569] x[4570] x[4571] x[4572] x[4573] x[4574] x[4575] x[4576] x[4577] x[4578] x[4579] x[4580] x[4581] x[4582] x[4583] x[4584] x[4585] x[4586] x[4587] x[4588] x[4589] x[4590] x[4591] x[4592] x[4593] x[4594] x[4595] x[4596] x[4597] x[4598] x[4599] x[4600] x[4601] x[4602] x[4603] x[4604] x[4605] x[4606] x[4607] x[4608] x[4609] x[4610] x[4611] x[4612] x[4613] x[4614] x[4615] x[4616] x[4617] x[4618] x[4619] x[4620] x[4621] x[4622] x[4623] x[4624] x[4625] x[4626] x[4627] x[4628] x[4629] x[4630] x[4631] x[4632] x[4633] x[4634] x[4635] x[4636] x[4637] x[4638] x[4639] x[4640] x[4641] x[4642] x[4643] x[4644] x[4645] x[4646] x[4647] x[4648] x[4649] x[4650] x[4651] x[4652] x[4653] x[4654] x[4655] x[4656] x[4657] x[4658] x[4659] x[4660] x[4661] x[4662] x[4663] x[4664] x[4665] x[4666] x[4667] x[4668] x[4669] x[4670] x[4671] x[4672] x[4673] x[4674] x[4675] x[4676] x[4677] x[4678] x[4679] x[4680] x[4681] x[4682] x[4683] x[4684] x[4685] x[4686] x[4687] x[4688] x[4689] x[4690] x[4691] x[4692] x[4693] x[4694] x[4695] x[4696] x[4697] x[4698] x[4699] x[4700] x[4701] x[4702] x[4703] x[4704] x[4705] x[4706] x[4707] x[4708] x[4709] x[4710] x[4711] x[4712] x[4713] x[4714] x[4715] x[4716] x[4717] x[4718] x[4719] x[4720] x[4721] x[4722] x[4723] x[4724] x[4725] x[4726] x[4727] x[4728] x[4729] x[4730] x[4731] x[4732] x[4733] x[4734] x[4735] x[4736] x[4737] x[4738] x[4739] x[4740] x[4741] x[4742] x[4743] x[4744] x[4745] x[4746] x[4747] x[4748] x[4749] x[4750] x[4751] x[4752] x[4753] x[4754] x[4755] x[4756] x[4757] x[4758] x[4759] x[4760] x[4761] x[4762] x[4763] x[4764] x[4765] x[4766] x[4767] x[4768] x[4769] x[4770] x[4771] x[4772] x[4773] x[4774] x[4775] x[4776] x[4777] x[4778] x[4779] x[4780] x[4781] x[4782] x[4783] x[4784] x[4785] x[4786] x[4787] x[4788] x[4789] x[4790] x[4791] x[4792] x[4793] x[4794] x[4795] x[4796] x[4797] x[4798] x[4799] x[4800] x[4801] x[4802] x[4803] x[4804] x[4805] x[4806] x[4807] x[4808] x[4809] x[4810] x[4811] x[4812] x[4813] x[4814] x[4815] x[4816] x[4817] x[4818] x[4819] x[4820] x[4821] x[4822] x[4823] x[4824] x[4825] x[4826] x[4827] x[4828] x[4829] x[4830] x[4831] x[4832] x[4833] x[4834] x[4835] x[4836] x[4837] x[4838] x[4839] x[4840] x[4841] x[4842] x[4843] x[4844] x[4845] x[4846] x[4847] x[4848] x[4849] x[4850] x[4851] x[4852] x[4853] x[4854] x[4855] x[4856] x[4857] x[4858] x[4859] x[4860] x[4861] x[4862] x[4863] x[4864] x[4865] x[4866] x[4867] x[4868] x[4869] x[4870] x[4871] x[4872] x[4873] x[4874] x[4875] x[4876] x[4877] x[4878] x[4879] x[4880] x[4881] x[4882] x[4883] x[4884] x[4885] x[4886] x[4887] x[4888] x[4889] x[4890] x[4891] x[4892] x[4893] x[4894] x[4895] x[4896] x[4897] x[4898] x[4899] x[4900] x[4901] x[4902] x[4903] x[4904] x[4905] x[4906] x[4907] x[4908] x[4909] x[4910] x[4911] x[4912] x[4913] x[4914] x[4915] x[4916] x[4917] x[4918] x[4919] x[4920] x[4921] x[4922] x[4923] x[4924] x[4925] x[4926] x[4927] x[4928] x[4929] x[4930] x[4931] x[4932] x[4933] x[4934] x[4935] x[4936] x[4937] x[4938] x[4939] x[4940] x[4941] x[4942] x[4943] x[4944] x[4945] x[4946] x[4947] x[4948] x[4949] x[4950] x[4951] x[4952] x[4953] x[4954] x[4955] x[4956] x[4957] x[4958] x[4959] x[4960] x[4961] x[4962] x[4963] x[4964] x[4965] x[4966] x[4967] x[4968] x[4969] x[4970] x[4971] x[4972] x[4973] x[4974] x[4975] x[4976] x[4977] x[4978] x[4979] x[4980] x[4981] x[4982] x[4983] x[4984] x[4985] x[4986] x[4987] x[4988] x[4989] x[4990] x[4991] x[4992] x[4993] x[4994] x[4995] x[4996] x[4997] x[4998] x[4999] x[5000] x[5001] x[5002] x[5003] x[5004] x[5005] x[5006] x[5007] x[5008] x[5009] x[5010] x[5011] x[5012] x[5013] x[5014] x[5015] x[5016] x[5017] x[5018] x[5019] x[5020] x[5021] x[5022] x[5023] x[5024] x[5025] x[5026] x[5027] x[5028] x[5029] x[5030] x[5031] x[5032] x[5033] x[5034] x[5035] x[5036] x[5037] x[5038] x[5039] x[5040] x[5041] x[5042] x[5043] x[5044] x[5045] x[5046] x[5047] x[5048] x[5049] x[5050] x[5051] x[5052] x[5053] x[5054] x[5055] x[5056] x[5057] x[5058] x[5059] x[5060] x[5061] x[5062] x[5063] x[5064] x[5065] x[5066] x[5067] x[5068] x[5069] x[5070] x[5071] x[5072] x[5073] x[5074] x[5075] x[5076] x[5077] x[5078] x[5079] x[5080] x[5081] x[5082] x[5083] x[5084] x[5085] x[5086] x[5087] x[5088] x[5089] x[5090] x[5091] x[5092] x[5093] x[5094] x[5095] x[5096] x[5097] x[5098] x[5099] x[5100] x[5101] x[5102] x[5103] x[5104] x[5105] x[5106] x[5107] x[5108] x[5109] x[5110] x[5111] x[5112] x[5113] x[5114] x[5115] x[5116] x[5117] x[5118] x[5119] x[5120] x[5121] x[5122] x[5123] x[5124] x[5125] x[5126] x[5127] x[5128] x[5129] x[5130] x[5131] x[5132] x[5133] x[5134] x[5135] x[5136] x[5137] x[5138] x[5139] x[5140] x[5141] x[5142] x[5143] x[5144] x[5145] x[5146] x[5147] x[5148] x[5149] x[5150] x[5151] x[5152] x[5153] x[5154] x[5155] x[5156] x[5157] x[5158] x[5159] x[5160] x[5161] x[5162] x[5163] x[5164] x[5165] x[5166] x[5167] x[5168] x[5169] x[5170] x[5171] x[5172] x[5173] x[5174] x[5175] x[5176] x[5177] x[5178] x[5179] x[5180] x[5181] x[5182] x[5183] x[5184] x[5185] x[5186] x[5187] x[5188] x[5189] x[5190] x[5191] x[5192] x[5193] x[5194] x[5195] x[5196] x[5197] x[5198] x[5199] x[5200] x[5201] x[5202] x[5203] x[5204] x[5205] x[5206] x[5207] x[5208] x[5209] x[5210] x[5211] x[5212] x[5213] x[5214] x[5215] x[5216] x[5217] x[5218] x[5219] x[5220] x[5221] x[5222] x[5223] x[5224] x[5225] x[5226] x[5227] x[5228] x[5229] x[5230] x[5231] x[5232] x[5233] x[5234] x[5235] x[5236] x[5237] x[5238] x[5239] x[5240] x[5241] x[5242] x[5243] x[5244] x[5245] x[5246] x[5247] x[5248] x[5249] x[5250] x[5251] x[5252] x[5253] x[5254] x[5255] x[5256] x[5257] x[5258] x[5259] x[5260] x[5261] x[5262] x[5263] x[5264] x[5265] x[5266] x[5267] x[5268] x[5269] x[5270] x[5271] x[5272] x[5273] x[5274] x[5275] x[5276] x[5277] x[5278] x[5279] x[5280] x[5281] x[5282] x[5283] x[5284] x[5285] x[5286] x[5287] x[5288] x[5289] x[5290] x[5291] x[5292] x[5293] x[5294] x[5295] x[5296] x[5297] x[5298] x[5299] x[5300] x[5301] x[5302] x[5303] x[5304] x[5305] x[5306] x[5307] x[5308] x[5309] x[5310] x[5311] x[5312] x[5313] x[5314] x[5315] x[5316] x[5317] x[5318] x[5319] x[5320] x[5321] x[5322] x[5323] x[5324] x[5325] x[5326] x[5327] x[5328] x[5329] x[5330] x[5331] x[5332] x[5333] x[5334] x[5335] x[5336] x[5337] x[5338] x[5339] x[5340] x[5341] x[5342] x[5343] x[5344] x[5345] x[5346] x[5347] x[5348] x[5349] x[5350] x[5351] x[5352] x[5353] x[5354] x[5355] x[5356] x[5357] x[5358] x[5359] x[5360] x[5361] x[5362] x[5363] x[5364] x[5365] x[5366] x[5367] x[5368] x[5369] x[5370] x[5371] x[5372] x[5373] x[5374] x[5375] x[5376] x[5377] x[5378] x[5379] x[5380] x[5381] x[5382] x[5383] x[5384] x[5385] x[5386] x[5387] x[5388] x[5389] x[5390] x[5391] x[5392] x[5393] x[5394] x[5395] x[5396] x[5397] x[5398] x[5399] x[5400] x[5401] x[5402] x[5403] x[5404] x[5405] x[5406] x[5407] x[5408] x[5409] x[5410] x[5411] x[5412] x[5413] x[5414] x[5415] x[5416] x[5417] x[5418] x[5419] x[5420] x[5421] x[5422] x[5423] x[5424] x[5425] x[5426] x[5427] x[5428] x[5429] x[5430] x[5431] x[5432] x[5433] x[5434] x[5435] x[5436] x[5437] x[5438] x[5439] x[5440] x[5441] x[5442] x[5443] x[5444] x[5445] x[5446] x[5447] x[5448] x[5449] x[5450] x[5451] x[5452] x[5453] x[5454] x[5455] x[5456] x[5457] x[5458] x[5459] x[5460] x[5461] x[5462] x[5463] x[5464] x[5465] x[5466] x[5467] x[5468] x[5469] x[5470] x[5471] x[5472] x[5473] x[5474] x[5475] x[5476] x[5477] x[5478] x[5479] x[5480] x[5481] x[5482] x[5483] x[5484] x[5485] x[5486] x[5487] x[5488] x[5489] x[5490] x[5491] x[5492] x[5493] x[5494] x[5495] x[5496] x[5497] x[5498] x[5499] x[5500] x[5501] x[5502] x[5503] x[5504] x[5505] x[5506] x[5507] x[5508] x[5509] x[5510] x[5511] x[5512] x[5513] x[5514] x[5515] x[5516] x[5517] x[5518] x[5519] x[5520] x[5521] x[5522] x[5523] x[5524] x[5525] x[5526] x[5527] x[5528] x[5529] x[5530] x[5531] x[5532] x[5533] x[5534] x[5535] x[5536] x[5537] x[5538] x[5539] x[5540] x[5541] x[5542] x[5543] x[5544] x[5545] x[5546] x[5547] x[5548] x[5549] x[5550] x[5551] x[5552] x[5553] x[5554] x[5555] x[5556] x[5557] x[5558] x[5559] x[5560] x[5561] x[5562] x[5563] x[5564] x[5565] x[5566] x[5567] x[5568] x[5569] x[5570] x[5571] x[5572] x[5573] x[5574] x[5575] x[5576] x[5577] x[5578] x[5579] x[5580] x[5581] x[5582] x[5583] x[5584] x[5585] x[5586] x[5587] x[5588] x[5589] x[5590] x[5591] x[5592] x[5593] x[5594] x[5595] x[5596] x[5597] x[5598] x[5599] x[5600] x[5601] x[5602] x[5603] x[5604] x[5605] x[5606] x[5607] x[5608] x[5609] x[5610] x[5611] x[5612] x[5613] x[5614] x[5615] x[5616] x[5617] x[5618] x[5619] x[5620] x[5621] x[5622] x[5623] x[5624] x[5625] x[5626] x[5627] x[5628] x[5629] x[5630] x[5631] x[5632] x[5633] x[5634] x[5635] x[5636] x[5637] x[5638] x[5639] x[5640] x[5641] x[5642] x[5643] x[5644] x[5645] x[5646] x[5647] x[5648] x[5649] x[5650] x[5651] x[5652] x[5653] x[5654] x[5655] x[5656] x[5657] x[5658] x[5659] x[5660] x[5661] x[5662] x[5663] x[5664] x[5665] x[5666] x[5667] x[5668] x[5669] x[5670] x[5671] x[5672] x[5673] x[5674] x[5675] x[5676] x[5677] x[5678] x[5679] x[5680] x[5681] x[5682] x[5683] x[5684] x[5685] x[5686] x[5687] x[5688] x[5689] x[5690] x[5691] x[5692] x[5693] x[5694] x[5695] x[5696] x[5697] x[5698] x[5699] x[5700] x[5701] x[5702] x[5703] x[5704] x[5705] x[5706] x[5707] x[5708] x[5709] x[5710] x[5711] x[5712] x[5713] x[5714] x[5715] x[5716] x[5717] x[5718] x[5719] x[5720] x[5721] x[5722] x[5723] x[5724] x[5725] x[5726] x[5727] x[5728] x[5729] x[5730] x[5731] x[5732] x[5733] x[5734] x[5735] x[5736] x[5737] x[5738] x[5739] x[5740] x[5741] x[5742] x[5743] x[5744] x[5745] x[5746] x[5747] x[5748] x[5749] x[5750] x[5751] x[5752] x[5753] x[5754] x[5755] x[5756] x[5757] x[5758] x[5759] x[5760] x[5761] x[5762] x[5763] x[5764] x[5765] x[5766] x[5767] x[5768] x[5769] x[5770] x[5771] x[5772] x[5773] x[5774] x[5775] x[5776] x[5777] x[5778] x[5779] x[5780] x[5781] x[5782] x[5783] x[5784] x[5785] x[5786] x[5787] x[5788] x[5789] x[5790] x[5791] x[5792] x[5793] x[5794] x[5795] x[5796] x[5797] x[5798] x[5799] x[5800] x[5801] x[5802] x[5803] x[5804] x[5805] x[5806] x[5807] x[5808] x[5809] x[5810] x[5811] x[5812] x[5813] x[5814] x[5815] x[5816] x[5817] x[5818] x[5819] x[5820] x[5821] x[5822] x[5823] x[5824] x[5825] x[5826] x[5827] x[5828] x[5829] x[5830] x[5831] x[5832] x[5833] x[5834] x[5835] x[5836] x[5837] x[5838] x[5839] x[5840] x[5841] x[5842] x[5843] x[5844] x[5845] x[5846] x[5847] x[5848] x[5849] x[5850] x[5851] x[5852] x[5853] x[5854] x[5855] x[5856] x[5857] x[5858] x[5859] x[5860] x[5861] x[5862] x[5863] x[5864] x[5865] x[5866] x[5867] x[5868] x[5869] x[5870] x[5871] x[5872] x[5873] x[5874] x[5875] x[5876] x[5877] x[5878] x[5879] x[5880] x[5881] x[5882] x[5883] x[5884] x[5885] x[5886] x[5887] x[5888] x[5889] x[5890] x[5891] x[5892] x[5893] x[5894] x[5895] x[5896] x[5897] x[5898] x[5899] x[5900] x[5901] x[5902] x[5903] x[5904] x[5905] x[5906] x[5907] x[5908] x[5909] x[5910] x[5911] x[5912] x[5913] x[5914] x[5915] x[5916] x[5917] x[5918] x[5919] x[5920] x[5921] x[5922] x[5923] x[5924] x[5925] x[5926] x[5927] x[5928] x[5929] x[5930] x[5931] x[5932] x[5933] x[5934] x[5935] x[5936] x[5937] x[5938] x[5939] x[5940] x[5941] x[5942] x[5943] x[5944] x[5945] x[5946] x[5947] x[5948] x[5949] x[5950] x[5951] x[5952] x[5953] x[5954] x[5955] x[5956] x[5957] x[5958] x[5959] x[5960] x[5961] x[5962] x[5963] x[5964] x[5965] x[5966] x[5967] x[5968] x[5969] x[5970] x[5971] x[5972] x[5973] x[5974] x[5975] x[5976] x[5977] x[5978] x[5979] x[5980] x[5981] x[5982] x[5983] x[5984] x[5985] x[5986] x[5987] x[5988] x[5989] x[5990] x[5991] x[5992] x[5993] x[5994] x[5995] x[5996] x[5997] x[5998] x[5999] x[6000] x[6001] x[6002] x[6003] x[6004] x[6005] x[6006] x[6007] x[6008] x[6009] x[6010] x[6011] x[6012] x[6013] x[6014] x[6015] x[6016] x[6017] x[6018] x[6019] x[6020] x[6021] x[6022] x[6023] x[6024] x[6025] x[6026] x[6027] x[6028] x[6029] x[6030] x[6031] x[6032] x[6033] x[6034] x[6035] x[6036] x[6037] x[6038] x[6039] x[6040] x[6041] x[6042] x[6043] x[6044] x[6045] x[6046] x[6047] x[6048] x[6049] x[6050] x[6051] x[6052] x[6053] x[6054] x[6055] x[6056] x[6057] x[6058] x[6059] x[6060] x[6061] x[6062] x[6063] x[6064] x[6065] x[6066] x[6067] x[6068] x[6069] x[6070] x[6071] x[6072] x[6073] x[6074] x[6075] x[6076] x[6077] x[6078] x[6079] x[6080] x[6081] x[6082] x[6083] x[6084] x[6085] x[6086] x[6087] x[6088] x[6089] x[6090] x[6091] x[6092] x[6093] x[6094] x[6095] x[6096] x[6097] x[6098] x[6099] x[6100] x[6101] x[6102] x[6103] x[6104] x[6105] x[6106] x[6107] x[6108] x[6109] x[6110] x[6111] x[6112] x[6113] x[6114] x[6115] x[6116] x[6117] x[6118] x[6119] x[6120] x[6121] x[6122] x[6123] x[6124] x[6125] x[6126] x[6127] x[6128] x[6129] x[6130] x[6131] x[6132] x[6133] x[6134] x[6135] x[6136] x[6137] x[6138] x[6139] x[6140] x[6141] x[6142] x[6143] x[6144] x[6145] x[6146] x[6147] x[6148] x[6149] x[6150] x[6151] x[6152] x[6153] x[6154] x[6155] x[6156] x[6157] x[6158] x[6159] x[6160] x[6161] x[6162] x[6163] x[6164] x[6165] x[6166] x[6167] x[6168] x[6169] x[6170] x[6171] x[6172] x[6173] x[6174] x[6175] x[6176] x[6177] x[6178] x[6179] x[6180] x[6181] x[6182] x[6183] x[6184] x[6185] x[6186] x[6187] x[6188] x[6189] x[6190] x[6191] x[6192] x[6193] x[6194] x[6195] x[6196] x[6197] x[6198] x[6199] x[6200] x[6201] x[6202] x[6203] x[6204] x[6205] x[6206] x[6207] x[6208] x[6209] x[6210] x[6211] x[6212] x[6213] x[6214] x[6215] x[6216] x[6217] x[6218] x[6219] x[6220] x[6221] x[6222] x[6223] x[6224] x[6225] x[6226] x[6227] x[6228] x[6229] x[6230] x[6231] x[6232] x[6233] x[6234] x[6235] x[6236] x[6237] x[6238] x[6239] x[6240] x[6241] x[6242] x[6243] x[6244] x[6245] x[6246] x[6247] x[6248] x[6249] x[6250] x[6251] x[6252] x[6253] x[6254] x[6255] x[6256] x[6257] x[6258] x[6259] x[6260] x[6261] x[6262] x[6263] x[6264] x[6265] x[6266] x[6267] x[6268] x[6269] x[6270] x[6271] x[6272] x[6273] x[6274] x[6275] x[6276] x[6277] x[6278] x[6279] x[6280] x[6281] x[6282] x[6283] x[6284] x[6285] x[6286] x[6287] x[6288] x[6289] x[6290] x[6291] x[6292] x[6293] x[6294] x[6295] x[6296] x[6297] x[6298] x[6299] x[6300] x[6301] x[6302] x[6303] x[6304] x[6305] x[6306] x[6307] x[6308] x[6309] x[6310] x[6311] x[6312] x[6313] x[6314] x[6315] x[6316] x[6317] x[6318] x[6319] x[6320] x[6321] x[6322] x[6323] x[6324] x[6325] x[6326] x[6327] x[6328] x[6329] x[6330] x[6331] x[6332] x[6333] x[6334] x[6335] x[6336] x[6337] x[6338] x[6339] x[6340] x[6341] x[6342] x[6343] x[6344] x[6345] x[6346] x[6347] x[6348] x[6349] x[6350] x[6351] x[6352] x[6353] x[6354] x[6355] x[6356] x[6357] x[6358] x[6359] x[6360] x[6361] x[6362] x[6363] x[6364] x[6365] x[6366] x[6367] x[6368] x[6369] x[6370] x[6371] x[6372] x[6373] x[6374] x[6375] x[6376] x[6377] x[6378] x[6379] x[6380] x[6381] x[6382] x[6383] x[6384] x[6385] x[6386] x[6387] x[6388] x[6389] x[6390] x[6391] x[6392] x[6393] x[6394] x[6395] x[6396] x[6397] x[6398] x[6399] x[6400] x[6401] x[6402] x[6403] x[6404] x[6405] x[6406] x[6407] x[6408] x[6409] x[6410] x[6411] x[6412] x[6413] x[6414] x[6415] x[6416] x[6417] x[6418] x[6419] x[6420] x[6421] x[6422] x[6423] x[6424] x[6425] x[6426] x[6427] x[6428] x[6429] x[6430] x[6431] x[6432] x[6433] x[6434] x[6435] x[6436] x[6437] x[6438] x[6439] x[6440] x[6441] x[6442] x[6443] x[6444] x[6445] x[6446] x[6447] x[6448] x[6449] x[6450] x[6451] x[6452] x[6453] x[6454] x[6455] x[6456] x[6457] x[6458] x[6459] x[6460] x[6461] x[6462] x[6463] x[6464] x[6465] x[6466] x[6467] x[6468] x[6469] x[6470] x[6471] x[6472] x[6473] x[6474] x[6475] x[6476] x[6477] x[6478] x[6479] x[6480] x[6481] x[6482] x[6483] x[6484] x[6485] x[6486] x[6487] x[6488] x[6489] x[6490] x[6491] x[6492] x[6493] x[6494] x[6495] x[6496] x[6497] x[6498] x[6499] x[6500] x[6501] x[6502] x[6503] x[6504] x[6505] x[6506] x[6507] x[6508] x[6509] x[6510] x[6511] x[6512] x[6513] x[6514] x[6515] x[6516] x[6517] x[6518] x[6519] x[6520] x[6521] x[6522] x[6523] x[6524] x[6525] x[6526] x[6527] x[6528] x[6529] x[6530] x[6531] x[6532] x[6533] x[6534] x[6535] x[6536] x[6537] x[6538] x[6539] x[6540] x[6541] x[6542] x[6543] x[6544] x[6545] x[6546] x[6547] x[6548] x[6549] x[6550] x[6551] x[6552] x[6553] x[6554] x[6555] x[6556] x[6557] x[6558] x[6559] x[6560] x[6561] x[6562] x[6563] x[6564] x[6565] x[6566] x[6567] x[6568] x[6569] x[6570] x[6571] x[6572] x[6573] x[6574] x[6575] x[6576] x[6577] x[6578] x[6579] x[6580] x[6581] x[6582] x[6583] x[6584] x[6585] x[6586] x[6587] x[6588] x[6589] x[6590] x[6591] x[6592] x[6593] x[6594] x[6595] x[6596] x[6597] x[6598] x[6599] x[6600] x[6601] x[6602] x[6603] x[6604] x[6605] x[6606] x[6607] x[6608] x[6609] x[6610] x[6611] x[6612] x[6613] x[6614] x[6615] x[6616] x[6617] x[6618] x[6619] x[6620] x[6621] x[6622] x[6623] x[6624] x[6625] x[6626] x[6627] x[6628] x[6629] x[6630] x[6631] x[6632] x[6633] x[6634] x[6635] x[6636] x[6637] x[6638] x[6639] x[6640] x[6641] x[6642] x[6643] x[6644] x[6645] x[6646] x[6647] x[6648] x[6649] x[6650] x[6651] x[6652] x[6653] x[6654] x[6655] x[6656] x[6657] x[6658] x[6659] x[6660] x[6661] x[6662] x[6663] x[6664] x[6665] x[6666] x[6667] x[6668] x[6669] x[6670] x[6671] x[6672] x[6673] x[6674] x[6675] x[6676] x[6677] x[6678] x[6679] x[6680] x[6681] x[6682] x[6683] x[6684] x[6685] x[6686] x[6687] x[6688] x[6689] x[6690] x[6691] x[6692] x[6693] x[6694] x[6695] x[6696] x[6697] x[6698] x[6699] x[6700] x[6701] x[6702] x[6703] x[6704] x[6705] x[6706] x[6707] x[6708] x[6709] x[6710] x[6711] x[6712] x[6713] x[6714] x[6715] x[6716] x[6717] x[6718] x[6719] x[6720] x[6721] x[6722] x[6723] x[6724] x[6725] x[6726] x[6727] x[6728] x[6729] x[6730] x[6731] x[6732] x[6733] x[6734] x[6735] x[6736] x[6737] x[6738] x[6739] x[6740] x[6741] x[6742] x[6743] x[6744] x[6745] x[6746] x[6747] x[6748] x[6749] x[6750] x[6751] x[6752] x[6753] x[6754] x[6755] x[6756] x[6757] x[6758] x[6759] x[6760] x[6761] x[6762] x[6763] x[6764] x[6765] x[6766] x[6767] x[6768] x[6769] x[6770] x[6771] x[6772] x[6773] x[6774] x[6775] x[6776] x[6777] x[6778] x[6779] x[6780] x[6781] x[6782] x[6783] x[6784] x[6785] x[6786] x[6787] x[6788] x[6789] x[6790] x[6791] x[6792] x[6793] x[6794] x[6795] x[6796] x[6797] x[6798] x[6799] x[6800] x[6801] x[6802] x[6803] x[6804] x[6805] x[6806] x[6807] x[6808] x[6809] x[6810] x[6811] x[6812] x[6813] x[6814] x[6815] x[6816] x[6817] x[6818] x[6819] x[6820] x[6821] x[6822] x[6823] x[6824] x[6825] x[6826] x[6827] x[6828] x[6829] x[6830] x[6831] x[6832] x[6833] x[6834] x[6835] x[6836] x[6837] x[6838] x[6839] x[6840] x[6841] x[6842] x[6843] x[6844] x[6845] x[6846] x[6847] x[6848] x[6849] x[6850] x[6851] x[6852] x[6853] x[6854] x[6855] x[6856] x[6857] x[6858] x[6859] x[6860] x[6861] x[6862] x[6863] x[6864] x[6865] x[6866] x[6867] x[6868] x[6869] x[6870] x[6871] x[6872] x[6873] x[6874] x[6875] x[6876] x[6877] x[6878] x[6879] x[6880] x[6881] x[6882] x[6883] x[6884] x[6885] x[6886] x[6887] x[6888] x[6889] x[6890] x[6891] x[6892] x[6893] x[6894] x[6895] x[6896] x[6897] x[6898] x[6899] x[6900] x[6901] x[6902] x[6903] x[6904] x[6905] x[6906] x[6907] x[6908] x[6909] x[6910] x[6911] x[6912] x[6913] x[6914] x[6915] x[6916] x[6917] x[6918] x[6919] x[6920] x[6921] x[6922] x[6923] x[6924] x[6925] x[6926] x[6927] x[6928] x[6929] x[6930] x[6931] x[6932] x[6933] x[6934] x[6935] x[6936] x[6937] x[6938] x[6939] x[6940] x[6941] x[6942] x[6943] x[6944] x[6945] x[6946] x[6947] x[6948] x[6949] x[6950] x[6951] x[6952] x[6953] x[6954] x[6955] x[6956] x[6957] x[6958] x[6959] x[6960] x[6961] x[6962] x[6963] x[6964] x[6965] x[6966] x[6967] x[6968] x[6969] x[6970] x[6971] x[6972] x[6973] x[6974] x[6975] x[6976] x[6977] x[6978] x[6979] x[6980] x[6981] x[6982] x[6983] x[6984] x[6985] x[6986] x[6987] x[6988] x[6989] x[6990] x[6991] x[6992] x[6993] x[6994] x[6995] x[6996] x[6997] x[6998] x[6999] x[7000] x[7001] x[7002] x[7003] x[7004] x[7005] x[7006] x[7007] x[7008] x[7009] x[7010] x[7011] x[7012] x[7013] x[7014] x[7015] x[7016] x[7017] x[7018] x[7019] x[7020] x[7021] x[7022] x[7023] x[7024] x[7025] x[7026] x[7027] x[7028] x[7029] x[7030] x[7031] x[7032] x[7033] x[7034] x[7035] x[7036] x[7037] x[7038] x[7039] x[7040] x[7041] x[7042] x[7043] x[7044] x[7045] x[7046] x[7047] x[7048] x[7049] x[7050] x[7051] x[7052] x[7053] x[7054] x[7055] x[7056] x[7057] x[7058] x[7059] x[7060] x[7061] x[7062] x[7063] x[7064] x[7065] x[7066] x[7067] x[7068] x[7069] x[7070] x[7071] x[7072] x[7073] x[7074] x[7075] x[7076] x[7077] x[7078] x[7079] x[7080] x[7081] x[7082] x[7083] x[7084] x[7085] x[7086] x[7087] x[7088] x[7089] x[7090] x[7091] x[7092] x[7093] x[7094] x[7095] x[7096] x[7097] x[7098] x[7099] x[7100] x[7101] x[7102] x[7103] x[7104] x[7105] x[7106] x[7107] x[7108] x[7109] x[7110] x[7111] x[7112] x[7113] x[7114] x[7115] x[7116] x[7117] x[7118] x[7119] x[7120] x[7121] x[7122] x[7123] x[7124] x[7125] x[7126] x[7127] x[7128] x[7129] x[7130] x[7131] x[7132] x[7133] x[7134] x[7135] x[7136] x[7137] x[7138] x[7139] x[7140] x[7141] x[7142] x[7143] x[7144] x[7145] x[7146] x[7147] x[7148] x[7149] x[7150] x[7151] x[7152] x[7153] x[7154] x[7155] x[7156] x[7157] x[7158] x[7159] x[7160] x[7161] x[7162] x[7163] x[7164] x[7165] x[7166] x[7167] x[7168] x[7169] x[7170] x[7171] x[7172] x[7173] x[7174] x[7175] x[7176] x[7177] x[7178] x[7179] x[7180] x[7181] x[7182] x[7183] x[7184] x[7185] x[7186] x[7187] x[7188] x[7189] x[7190] x[7191] x[7192] x[7193] x[7194] x[7195] x[7196] x[7197] x[7198] x[7199] x[7200] x[7201] x[7202] x[7203] x[7204] x[7205] x[7206] x[7207] x[7208] x[7209] x[7210] x[7211] x[7212] x[7213] x[7214] x[7215] x[7216] x[7217] x[7218] x[7219] x[7220] x[7221] x[7222] x[7223] x[7224] x[7225] x[7226] x[7227] x[7228] x[7229] x[7230] x[7231] x[7232] x[7233] x[7234] x[7235] x[7236] x[7237] x[7238] x[7239] x[7240] x[7241] x[7242] x[7243] x[7244] x[7245] x[7246] x[7247] x[7248] x[7249] x[7250] x[7251] x[7252] x[7253] x[7254] x[7255] x[7256] x[7257] x[7258] x[7259] x[7260] x[7261] x[7262] x[7263] x[7264] x[7265] x[7266] x[7267] x[7268] x[7269] x[7270] x[7271] x[7272] x[7273] x[7274] x[7275] x[7276] x[7277] x[7278] x[7279] x[7280] x[7281] x[7282] x[7283] x[7284] x[7285] x[7286] x[7287] x[7288] x[7289] x[7290] x[7291] x[7292] x[7293] x[7294] x[7295] x[7296] x[7297] x[7298] x[7299] x[7300] x[7301] x[7302] x[7303] x[7304] x[7305] x[7306] x[7307] x[7308] x[7309] x[7310] x[7311] x[7312] x[7313] x[7314] x[7315] x[7316] x[7317] x[7318] x[7319] x[7320] x[7321] x[7322] x[7323] x[7324] x[7325] x[7326] x[7327] x[7328] x[7329] x[7330] x[7331] x[7332] x[7333] x[7334] x[7335] x[7336] x[7337] x[7338] x[7339] x[7340] x[7341] x[7342] x[7343] x[7344] x[7345] x[7346] x[7347] x[7348] x[7349] x[7350] x[7351] x[7352] x[7353] x[7354] x[7355] x[7356] x[7357] x[7358] x[7359] x[7360] x[7361] x[7362] x[7363] x[7364] x[7365] x[7366] x[7367] x[7368] x[7369] x[7370] x[7371] x[7372] x[7373] x[7374] x[7375] x[7376] x[7377] x[7378] x[7379] x[7380] x[7381] x[7382] x[7383] x[7384] x[7385] x[7386] x[7387] x[7388] x[7389] x[7390] x[7391] x[7392] x[7393] x[7394] x[7395] x[7396] x[7397] x[7398] x[7399] x[7400] x[7401] x[7402] x[7403] x[7404] x[7405] x[7406] x[7407] x[7408] x[7409] x[7410] x[7411] x[7412] x[7413] x[7414] x[7415] x[7416] x[7417] x[7418] x[7419] x[7420] x[7421] x[7422] x[7423] x[7424] x[7425] x[7426] x[7427] x[7428] x[7429] x[7430] x[7431] x[7432] x[7433] x[7434] x[7435] x[7436] x[7437] x[7438] x[7439] x[7440] x[7441] x[7442] x[7443] x[7444] x[7445] x[7446] x[7447] x[7448] x[7449] x[7450] x[7451] x[7452] x[7453] x[7454] x[7455] x[7456] x[7457] x[7458] x[7459] x[7460] x[7461] x[7462] x[7463] x[7464] x[7465] x[7466] x[7467] x[7468] x[7469] x[7470] x[7471] x[7472] x[7473] x[7474] x[7475] x[7476] x[7477] x[7478] x[7479] x[7480] x[7481] x[7482] x[7483] x[7484] x[7485] x[7486] x[7487] x[7488] x[7489] x[7490] x[7491] x[7492] x[7493] x[7494] x[7495] x[7496] x[7497] x[7498] x[7499] x[7500] x[7501] x[7502] x[7503] x[7504] x[7505] x[7506] x[7507] x[7508] x[7509] x[7510] x[7511] x[7512] x[7513] x[7514] x[7515] x[7516] x[7517] x[7518] x[7519] x[7520] x[7521] x[7522] x[7523] x[7524] x[7525] x[7526] x[7527] x[7528] x[7529] x[7530] x[7531] x[7532] x[7533] x[7534] x[7535] x[7536] x[7537] x[7538] x[7539] x[7540] x[7541] x[7542] x[7543] x[7544] x[7545] x[7546] x[7547] x[7548] x[7549] x[7550] x[7551] x[7552] x[7553] x[7554] x[7555] x[7556] x[7557] x[7558] x[7559] x[7560] x[7561] x[7562] x[7563] x[7564] x[7565] x[7566] x[7567] x[7568] x[7569] x[7570] x[7571] x[7572] x[7573] x[7574] x[7575] x[7576] x[7577] x[7578] x[7579] x[7580] x[7581] x[7582] x[7583] x[7584] x[7585] x[7586] x[7587] x[7588] x[7589] x[7590] x[7591] x[7592] x[7593] x[7594] x[7595] x[7596] x[7597] x[7598] x[7599] x[7600] x[7601] x[7602] x[7603] x[7604] x[7605] x[7606] x[7607] x[7608] x[7609] x[7610] x[7611] x[7612] x[7613] x[7614] x[7615] x[7616] x[7617] x[7618] x[7619] x[7620] x[7621] x[7622] x[7623] x[7624] x[7625] x[7626] x[7627] x[7628] x[7629] x[7630] x[7631] x[7632] x[7633] x[7634] x[7635] x[7636] x[7637] x[7638] x[7639] x[7640] x[7641] x[7642] x[7643] x[7644] x[7645] x[7646] x[7647] x[7648] x[7649] x[7650] x[7651] x[7652] x[7653] x[7654] x[7655] x[7656] x[7657] x[7658] x[7659] x[7660] x[7661] x[7662] x[7663] x[7664] x[7665] x[7666] x[7667] x[7668] x[7669] x[7670] x[7671] x[7672] x[7673] x[7674] x[7675] x[7676] x[7677] x[7678] x[7679] x[7680] x[7681] x[7682] x[7683] x[7684] x[7685] x[7686] x[7687] x[7688] x[7689] x[7690] x[7691] x[7692] x[7693] x[7694] x[7695] x[7696] x[7697] x[7698] x[7699] x[7700] x[7701] x[7702] x[7703] x[7704] x[7705] x[7706] x[7707] x[7708] x[7709] x[7710] x[7711] x[7712] x[7713] x[7714] x[7715] x[7716] x[7717] x[7718] x[7719] x[7720] x[7721] x[7722] x[7723] x[7724] x[7725] x[7726] x[7727] x[7728] x[7729] x[7730] x[7731] x[7732] x[7733] x[7734] x[7735] x[7736] x[7737] x[7738] x[7739] x[7740] x[7741] x[7742] x[7743] x[7744] x[7745] x[7746] x[7747] x[7748] x[7749] x[7750] x[7751] x[7752] x[7753] x[7754] x[7755] x[7756] x[7757] x[7758] x[7759] x[7760] x[7761] x[7762] x[7763] x[7764] x[7765] x[7766] x[7767] x[7768] x[7769] x[7770] x[7771] x[7772] x[7773] x[7774] x[7775] x[7776] x[7777] x[7778] x[7779] x[7780] x[7781] x[7782] x[7783] x[7784] x[7785] x[7786] x[7787] x[7788] x[7789] x[7790] x[7791] x[7792] x[7793] x[7794] x[7795] x[7796] x[7797] x[7798] x[7799] x[7800] x[7801] x[7802] x[7803] x[7804] x[7805] x[7806] x[7807] x[7808] x[7809] x[7810] x[7811] x[7812] x[7813] x[7814] x[7815] x[7816] x[7817] x[7818] x[7819] x[7820] x[7821] x[7822] x[7823] x[7824] x[7825] x[7826] x[7827] x[7828] x[7829] x[7830] x[7831] x[7832] x[7833] x[7834] x[7835] x[7836] x[7837] x[7838] x[7839] x[7840] x[7841] x[7842] x[7843] x[7844] x[7845] x[7846] x[7847] x[7848] x[7849] x[7850] x[7851] x[7852] x[7853] x[7854] x[7855] x[7856] x[7857] x[7858] x[7859] x[7860] x[7861] x[7862] x[7863] x[7864] x[7865] x[7866] x[7867] x[7868] x[7869] x[7870] x[7871] x[7872] x[7873] x[7874] x[7875] x[7876] x[7877] x[7878] x[7879] x[7880] x[7881] x[7882] x[7883] x[7884] x[7885] x[7886] x[7887] x[7888] x[7889] x[7890] x[7891] x[7892] x[7893] x[7894] x[7895] x[7896] x[7897] x[7898] x[7899] x[7900] x[7901] x[7902] x[7903] x[7904] x[7905] x[7906] x[7907] x[7908] x[7909] x[7910] x[7911] x[7912] x[7913] x[7914] x[7915] x[7916] x[7917] x[7918] x[7919] x[7920] x[7921] x[7922] x[7923] x[7924] x[7925] x[7926] x[7927] x[7928] x[7929] x[7930] x[7931] x[7932] x[7933] x[7934] x[7935] x[7936] x[7937] x[7938] x[7939] x[7940] x[7941] x[7942] x[7943] x[7944] x[7945] x[7946] x[7947] x[7948] x[7949] x[7950] x[7951] x[7952] x[7953] x[7954] x[7955] x[7956] x[7957] x[7958] x[7959] x[7960] x[7961] x[7962] x[7963] x[7964] x[7965] x[7966] x[7967] x[7968] x[7969] x[7970] x[7971] x[7972] x[7973] x[7974] x[7975] x[7976] x[7977] x[7978] x[7979] x[7980] x[7981] x[7982] x[7983] x[7984] x[7985] x[7986] x[7987] x[7988] x[7989] x[7990] x[7991] x[7992] x[7993] x[7994] x[7995] x[7996] x[7997] x[7998] x[7999] x[8000] x[8001] x[8002] x[8003] x[8004] x[8005] x[8006] x[8007] x[8008] x[8009] x[8010] x[8011] x[8012] x[8013] x[8014] x[8015] x[8016] x[8017] x[8018] x[8019] x[8020] x[8021] x[8022] x[8023] x[8024] x[8025] x[8026] x[8027] x[8028] x[8029] x[8030] x[8031] x[8032] x[8033] x[8034] x[8035] x[8036] x[8037] x[8038] x[8039] x[8040] x[8041] x[8042] x[8043] x[8044] x[8045] x[8046] x[8047] x[8048] x[8049] x[8050] x[8051] x[8052] x[8053] x[8054] x[8055] x[8056] x[8057] x[8058] x[8059] x[8060] x[8061] x[8062] x[8063] x[8064] x[8065] x[8066] x[8067] x[8068] x[8069] x[8070] x[8071] x[8072] x[8073] x[8074] x[8075] x[8076] x[8077] x[8078] x[8079] x[8080] x[8081] x[8082] x[8083] x[8084] x[8085] x[8086] x[8087] x[8088] x[8089] x[8090] x[8091] x[8092] x[8093] x[8094] x[8095] x[8096] x[8097] x[8098] x[8099] x[8100] x[8101] x[8102] x[8103] x[8104] x[8105] x[8106] x[8107] x[8108] x[8109] x[8110] x[8111] x[8112] x[8113] x[8114] x[8115] x[8116] x[8117] x[8118] x[8119] x[8120] x[8121] x[8122] x[8123] x[8124] x[8125] x[8126] x[8127] x[8128] x[8129] x[8130] x[8131] x[8132] x[8133] x[8134] x[8135] x[8136] x[8137] x[8138] x[8139] x[8140] x[8141] x[8142] x[8143] x[8144] x[8145] x[8146] x[8147] x[8148] x[8149] x[8150] x[8151] x[8152] x[8153] x[8154] x[8155] x[8156] x[8157] x[8158] x[8159] x[8160] x[8161] x[8162] x[8163] x[8164] x[8165] x[8166] x[8167] x[8168] x[8169] x[8170] x[8171] x[8172] x[8173] x[8174] x[8175] x[8176] x[8177] x[8178] x[8179] x[8180] x[8181] x[8182] x[8183] x[8184] x[8185] x[8186] x[8187] x[8188] x[8189] x[8190] x[8191] x[8192] x[8193] x[8194] x[8195] x[8196] x[8197] x[8198] x[8199] x[8200] x[8201] x[8202] x[8203] x[8204] x[8205] x[8206] x[8207] x[8208] x[8209] x[8210] x[8211] x[8212] x[8213] x[8214] x[8215] x[8216] x[8217] x[8218] x[8219] x[8220] x[8221] x[8222] x[8223] x[8224] x[8225] x[8226] x[8227] x[8228] x[8229] x[8230] x[8231] x[8232] x[8233] x[8234] x[8235] x[8236] x[8237] x[8238] x[8239] x[8240] x[8241] x[8242] x[8243] x[8244] x[8245] x[8246] x[8247] x[8248] x[8249] x[8250] x[8251] x[8252] x[8253] x[8254] x[8255] x[8256] x[8257] x[8258] x[8259] x[8260] x[8261] x[8262] x[8263] x[8264] x[8265] x[8266] x[8267] x[8268] x[8269] x[8270] x[8271] x[8272] x[8273] x[8274] x[8275] x[8276] x[8277] x[8278] x[8279] x[8280]</list>
87.16/76.36 v <values>0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
87.16/76.36 v </instantiation>
87.16/76.36 c (63,1) Show results End
87.16/76.36 c (63,1) Heap : 225 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
87.16/76.36 c (63,1) 63,63,STOP-AFTER(ALL)
87.16/76.36 c END-Prog: Sun Aug 12 12:05:53 CEST 2018
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 (8580 MiB free)
memory of node 1: 16384 MiB (11480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305748-1534068277/watcher-4305748-1534068277 -o /tmp/evaluation-result-4305748-1534068277/solver-4305748-1534068277 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23198 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305748-1534068277.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26232, runsolver pid=26229
[startup+0.100092 s]*
/proc/loadavg: 2.81 2.35 2.17 3/224 26249
/proc/meminfo: memFree=20483552/32770624 swapFree=67108688/67108860
[pid=26232] ppid=26229 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26232/stat : 26232 (scop.sh) S 26229 26232 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224390536 115843072 349 33554432000 4194304 5098028 140733365005536 140733365002792 140275340255868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33525760 140733365011521 140733365011719 140733365011719 140733365014477 0
/proc/26232/statm: 28282 349 296 221 0 87 0
[pid=26235] ppid=26232 vsize=15012476 memory=70876 CPUtime=0.11 cores=0,2,4,6
/proc/26235/stat : 26235 (java) S 26232 26232 23167 0 -1 1077944320 6914 0 0 0 9 2 0 0 20 0 15 0 224390537 15372775424 17719 33554432000 4194304 4196468 140723057917856 140723057900400 140044809953015 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
/proc/26235/statm: 3753119 17719 2746 1 0 3715579 0
[pid=26235/tid=26236] ppid=26232 vsize=15012476 memory=-6076338605661667267 CPUtime=0.08 cores=0,2,4,6
/proc/26235/task/26236/stat : 26236 (java) R 26232 26232 23167 0 -1 4202560 5021 0 0 0 7 1 0 0 20 0 15 0 224390537 15372775424 17719 33554432000 4194304 4196468 140723057917856 140044781730096 140044794033502 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26237] ppid=26232 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26237/stat : 26237 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 17719 33554432000 4194304 4196468 140723057917856 140044814195472 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26238] ppid=26232 vsize=15012476 memory=140147377153664 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26238/stat : 26238 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 17719 33554432000 4194304 4196468 140723057917856 140044270562192 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26239] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26239/stat : 26239 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 17719 33554432000 4194304 4196468 140723057917856 140044269509648 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26240] ppid=26232 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26240/stat : 26240 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 17719 33554432000 4194304 4196468 140723057917856 140044268457104 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26241] ppid=26232 vsize=15012476 memory=140147377153664 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26241/stat : 26241 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390540 15372775424 17719 33554432000 4194304 4196468 140723057917856 140043645593584 140044809964162 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26242] ppid=26232 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26242/stat : 26242 (java) S 26232 26232 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390541 15372775424 17719 33554432000 4194304 4196468 140723057917856 140043381367712 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26243] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26243/stat : 26243 (java) S 26232 26232 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224390541 15372775424 17719 33554432000 4194304 4196468 140723057917856 140043247145968 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26244] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26244/stat : 26244 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390543 15372775424 17719 33554432000 4194304 4196468 140723057917856 140042872641744 140044809971611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26245] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26245/stat : 26245 (java) S 26232 26232 23167 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 224390543 15372775424 17719 33554432000 4194304 4196468 140723057917856 140043644541424 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26246] ppid=26232 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26246/stat : 26246 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390543 15372775424 17719 33554432000 4194304 4196468 140723057917856 140043643488880 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26247] ppid=26232 vsize=15012476 memory=140147377153664 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26247/stat : 26247 (java) R 26232 26232 23167 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 15 0 224390543 15372775424 17719 33554432000 4194304 4196468 140723057917856 140043642436336 140044791193328 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26248] ppid=26232 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26248/stat : 26248 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390544 15372775424 17719 33554432000 4194304 4196468 140723057917856 140042374736992 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26249] ppid=26232 vsize=15012476 memory=140147377153664 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26249/stat : 26249 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390544 15372775424 17719 33554432000 4194304 4196468 140723057917856 140043641383216 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72272 KiB
[startup+0.210678 s]*
/proc/loadavg: 2.81 2.35 2.17 3/224 26249
/proc/meminfo: memFree=20468664/32770624 swapFree=67108688/67108860
[pid=26232] ppid=26229 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26232/stat : 26232 (scop.sh) S 26229 26232 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224390536 115843072 349 33554432000 4194304 5098028 140733365005536 140733365002792 140275340255868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33525760 140733365011521 140733365011719 140733365011719 140733365014477 0
/proc/26232/statm: 28282 349 296 221 0 87 0
[pid=26235] ppid=26232 vsize=15012476 memory=84460 CPUtime=0.24 cores=0,2,4,6
/proc/26235/stat : 26235 (java) S 26232 26232 23167 0 -1 1077944320 10494 0 0 0 22 2 0 0 20 0 15 0 224390537 15372775424 21115 33554432000 4194304 4196468 140723057917856 140723057900400 140044809953015 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
/proc/26235/statm: 3753119 21115 2906 1 0 3715579 0
[pid=26235/tid=26236] ppid=26232 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/26235/task/26236/stat : 26236 (java) R 26232 26232 23167 0 -1 4202560 8386 0 0 0 18 2 0 0 20 0 15 0 224390537 15372775424 21115 33554432000 4194304 4196468 140723057917856 140044781769072 140044794168032 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26237] ppid=26232 vsize=15012476 memory=546 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26237/stat : 26237 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 21115 33554432000 4194304 4196468 140723057917856 140044814195472 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26238] ppid=26232 vsize=15012476 memory=140147378345950 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26238/stat : 26238 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 21115 33554432000 4194304 4196468 140723057917856 140044270562192 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26239] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26239/stat : 26239 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 21115 33554432000 4194304 4196468 140723057917856 140044269509648 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26240] ppid=26232 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26240/stat : 26240 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 21115 33554432000 4194304 4196468 140723057917856 140044268457104 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26241] ppid=26232 vsize=15012476 memory=140147377153664 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26241/stat : 26241 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390540 15372775424 21115 33554432000 4194304 4196468 140723057917856 140043645593584 140044809964162 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26242] ppid=26232 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26242/stat : 26242 (java) S 26232 26232 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390541 15372775424 21115 33554432000 4194304 4196468 140723057917856 140043381367712 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26243] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26243/stat : 26243 (java) S 26232 26232 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224390541 15372775424 21115 33554432000 4194304 4196468 140723057917856 140043247145968 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26244] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26244/stat : 26244 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390543 15372775424 21115 33554432000 4194304 4196468 140723057917856 140042872641744 140044809971611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26245] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26245/stat : 26245 (java) S 26232 26232 23167 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 224390543 15372775424 21115 33554432000 4194304 4196468 140723057917856 140043644541424 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26246] ppid=26232 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26246/stat : 26246 (java) S 26232 26232 23167 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224390543 15372775424 21115 33554432000 4194304 4196468 140723057917856 140043643488880 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26247] ppid=26232 vsize=15012476 memory=140147377153664 CPUtime=0.03 cores=0,2,4,6
/proc/26235/task/26247/stat : 26247 (java) R 26232 26232 23167 0 -1 4202560 285 0 0 0 3 0 0 0 20 0 15 0 224390543 15372775424 21115 33554432000 4194304 4196468 140723057917856 140043642436336 140044788567250 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26248] ppid=26232 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26248/stat : 26248 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390544 15372775424 21115 33554432000 4194304 4196468 140723057917856 140042374736992 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26249] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26249/stat : 26249 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390544 15372775424 21115 33554432000 4194304 4196468 140723057917856 140043641383216 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85856 KiB
[startup+0.31072 s]*
/proc/loadavg: 2.81 2.35 2.17 3/224 26249
/proc/meminfo: memFree=20465624/32770624 swapFree=67108688/67108860
[pid=26232] ppid=26229 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26232/stat : 26232 (scop.sh) S 26229 26232 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224390536 115843072 349 33554432000 4194304 5098028 140733365005536 140733365002792 140275340255868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33525760 140733365011521 140733365011719 140733365011719 140733365014477 0
/proc/26232/statm: 28282 349 296 221 0 87 0
[pid=26235] ppid=26232 vsize=15012476 memory=88252 CPUtime=0.42 cores=0,2,4,6
/proc/26235/stat : 26235 (java) S 26232 26232 23167 0 -1 1077944320 11011 0 0 0 39 3 0 0 20 0 15 0 224390537 15372775424 22063 33554432000 4194304 4196468 140723057917856 140723057900400 140044809953015 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
/proc/26235/statm: 3753119 22063 3026 1 0 3715579 0
[pid=26235/tid=26236] ppid=26232 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/26235/task/26236/stat : 26236 (java) R 26232 26232 23167 0 -1 4202560 8755 0 0 0 27 2 0 0 20 0 15 0 224390537 15372775424 22063 33554432000 4194304 4196468 140723057917856 140044781748016 140044795118568 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26237] ppid=26232 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26237/stat : 26237 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 22063 33554432000 4194304 4196468 140723057917856 140044814195472 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26238] ppid=26232 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26238/stat : 26238 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 22063 33554432000 4194304 4196468 140723057917856 140044270562192 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26239] ppid=26232 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26239/stat : 26239 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 22063 33554432000 4194304 4196468 140723057917856 140044269509648 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26240] ppid=26232 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26240/stat : 26240 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390539 15372775424 22063 33554432000 4194304 4196468 140723057917856 140044268457104 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26241] ppid=26232 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26241/stat : 26241 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390540 15372775424 22063 33554432000 4194304 4196468 140723057917856 140043645593584 140044809964162 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26242] ppid=26232 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26242/stat : 26242 (java) S 26232 26232 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390541 15372775424 22063 33554432000 4194304 4196468 140723057917856 140043381367712 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26243] ppid=26232 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26243/stat : 26243 (java) S 26232 26232 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224390541 15372775424 22063 33554432000 4194304 4196468 140723057917856 140043247145968 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26244] ppid=26232 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26244/stat : 26244 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390543 15372775424 22063 33554432000 4194304 4196468 140723057917856 140042872641744 140044809971611 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26245] ppid=26232 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26235/task/26245/stat : 26245 (java) S 26232 26232 23167 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 224390543 15372775424 22063 33554432000 4194304 4196468 140723057917856 140043644541424 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26246] ppid=26232 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26235/task/26246/stat : 26246 (java) S 26232 26232 23167 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 15 0 224390543 15372775424 22063 33554432000 4194304 4196468 140723057917856 140043643488880 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26247] ppid=26232 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26235/task/26247/stat : 26247 (java) S 26232 26232 23167 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 15 0 224390543 15372775424 22063 33554432000 4194304 4196468 140723057917856 140043642436336 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26248] ppid=26232 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26248/stat : 26248 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390544 15372775424 22063 33554432000 4194304 4196468 140723057917856 140042374736992 140044809963221 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26249] ppid=26232 vsize=15012476 memory=3761129318981378097 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26249/stat : 26249 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390544 15372775424 22063 33554432000 4194304 4196468 140723057917856 140043641383216 140044809964162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89648 KiB
[startup+0.700927 s]
/proc/loadavg: 2.81 2.35 2.17 3/224 26249
/proc/meminfo: memFree=20441700/32770624 swapFree=67108688/67108860
[pid=26232] ppid=26229 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26232/stat : 26232 (scop.sh) S 26229 26232 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224390536 115843072 349 33554432000 4194304 5098028 140733365005536 140733365002792 140275340255868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33525760 140733365011521 140733365011719 140733365011719 140733365014477 0
/proc/26232/statm: 28282 349 296 221 0 87 0
[pid=26235] ppid=26232 vsize=15018748 memory=131284 CPUtime=1.05 cores=0,2,4,6
/proc/26235/stat : 26235 (java) S 26232 26232 23167 0 -1 1077944320 17921 0 0 0 100 5 0 0 20 0 15 0 224390537 15379197952 32821 33554432000 4194304 4196468 140723057917856 140723057900400 140044809953015 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
/proc/26235/statm: 3754687 32821 3143 1 0 3716091 0
[pid=26235/tid=26236] ppid=26232 vsize=15018748 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/26235/task/26236/stat : 26236 (java) R 26232 26232 23167 0 -1 4202560 15079 0 0 0 63 4 0 0 20 0 15 0 224390537 15379197952 32821 33554432000 4194304 4196468 140723057917856 140044781789248 140044809974941 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26237] ppid=26232 vsize=15018748 memory=116 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26237/stat : 26237 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390539 15379197952 32821 33554432000 4194304 4196468 140723057917856 140044814195472 140044809963221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26238] ppid=26232 vsize=15018748 memory=12868 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26238/stat : 26238 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390539 15379197952 32821 33554432000 4194304 4196468 140723057917856 140044270562192 140044809963221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26239] ppid=26232 vsize=15018748 memory=26497 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26239/stat : 26239 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390539 15379197952 32821 33554432000 4194304 4196468 140723057917856 140044269509648 140044809963221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26240] ppid=26232 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26240/stat : 26240 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224390539 15379197952 32821 33554432000 4194304 4196468 140723057917856 140044268457104 140044809963221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26241] ppid=26232 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26241/stat : 26241 (java) S 26232 26232 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224390540 15379197952 32821 33554432000 4194304 4196468 140723057917856 140043645593584 140044809964162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26242] ppid=26232 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26242/stat : 26242 (java) S 26232 26232 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224390541 15379197952 32821 33554432000 4194304 4196468 140723057917856 140043381367712 140044809963221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26243] ppid=26232 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26243/stat : 26243 (java) S 26232 26232 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224390541 15379197952 32821 33554432000 4194304 4196468 140723057917856 140043247145968 140044809963221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26244] ppid=26232 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26244/stat : 26244 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390543 15379197952 32821 33554432000 4194304 4196468 140723057917856 140042872641744 140044809971611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26245] ppid=26232 vsize=15018748 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26235/task/26245/stat : 26245 (java) R 26232 26232 23167 0 -1 4202560 606 0 0 0 10 0 0 0 20 0 15 0 224390543 15379197952 32821 33554432000 4194304 4196468 140723057917856 140043644533376 140044789613379 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26246] ppid=26232 vsize=15018748 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26235/task/26246/stat : 26246 (java) R 26232 26232 23167 0 -1 4202560 419 0 0 0 9 0 0 0 20 0 15 0 224390543 15379197952 32821 33554432000 4194304 4196468 140723057917856 140043643469896 140044793864389 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26247] ppid=26232 vsize=15018748 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/26235/task/26247/stat : 26247 (java) R 26232 26232 23167 0 -1 4202560 462 0 0 0 17 0 0 0 20 0 15 0 224390543 15379197952 32821 33554432000 4194304 4196468 140723057917856 140043642432704 140044794033502 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26248] ppid=26232 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26248/stat : 26248 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224390544 15379197952 32821 33554432000 4194304 4196468 140723057917856 140042374736992 140044809963221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
[pid=26235/tid=26249] ppid=26232 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26235/task/26249/stat : 26249 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224390544 15379197952 32821 33554432000 4194304 4196468 140723057917856 140043641383216 140044809964162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17494016 140723057918983 140723057919281 140723057919281 140723057921999 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 132680 KiB
[startup+1.50093 s]
/proc/loadavg: 2.81 2.35 2.17 6/224 26249
/proc/meminfo: memFree=20344900/32770624 swapFree=67108688/67108860
[pid=26232] ppid=26229 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/26232/stat : 26232 (scop.sh) S 26229 26232 23167 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224390536 115843072 349 33554432000 4194304 5098028 140733365005536 140733365002792 140275340255868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33525760 140733365011521 140733365011719 140733365011719 140733365014477 0
/proc/26232/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=26250/tid=26262] ppid=26232 vsize=8068220 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/26250/task/26262/stat : 26262 (java) S 26232 26232 23167 0 -1 1077944384 646 0 0 0 24 0 0 0 20 0 19 0 224391810 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218490334064 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26263] ppid=26232 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26263/stat : 26263 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224391810 8261857280 40337 33554432000 4194304 4196468 140727092100992 140216857783264 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26264] ppid=26232 vsize=8068220 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26250/task/26264/stat : 26264 (java) S 26232 26232 23167 0 -1 1077944384 9 0 0 0 1 1 0 0 20 0 19 0 224391810 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218489280944 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26266] ppid=26232 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26266/stat : 26266 (java) S 26232 26232 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224391948 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218481472448 140219181354777 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26268] ppid=26232 vsize=8068220 memory=140147266886936 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26268/stat : 26268 (java) S 26232 26232 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224391948 8261857280 40337 33554432000 4194304 4196468 140727092100992 140216320896560 140219181352093 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26269] ppid=26232 vsize=8068220 memory=868 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26269/stat : 26269 (java) S 26232 26232 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224391949 8261857280 40337 33554432000 4194304 4196468 140727092100992 140216052465584 140219181352093 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26270] ppid=26232 vsize=8068220 memory=-7824251494391044201 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26270/stat : 26270 (java) S 26232 26232 23167 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224391951 8261857280 40337 33554432000 4194304 4196468 140727092100992 140216455126432 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
Current children cumulated CPU time: 85.67 s
Current children cumulated vsize: 8381852 KiB
Current children cumulated memory: 320280 KiB
[startup+76.0009 s]*
/proc/loadavg: 2.29 2.30 2.17 3/228 26271
/proc/meminfo: memFree=20219716/32770624 swapFree=67108688/67108860
[pid=26232] ppid=26229 vsize=113128 memory=1472 CPUtime=22.21 cores=0,2,4,6
/proc/26232/stat : 26232 (scop.sh) S 26229 26232 23167 0 -1 4202496 591 38724 0 0 0 0 2106 115 20 0 1 0 224390536 115843072 368 33554432000 4194304 5098028 140733365005536 140733365002280 140275340255868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33525760 140733365011521 140733365011719 140733365011719 140733365014477 0
/proc/26232/statm: 28282 368 311 221 0 87 0
[pid=26250] ppid=26232 vsize=8068220 memory=161348 CPUtime=2.4 cores=0,2,4,6
/proc/26250/stat : 26250 (java) S 26232 26232 23167 0 -1 1077944320 18867 0 0 0 191 49 0 0 20 0 19 0 224391804 8261857280 40337 33554432000 4194304 4196468 140727092100992 140727092083536 140219181330167 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
/proc/26250/statm: 2017055 40337 3164 1 0 1978454 0
[pid=26265] ppid=26250 vsize=200504 memory=161556 CPUtime=61.87 cores=0,2,4,6
/proc/26265/stat : 26265 (minisat_release) R 26250 26232 23167 0 -1 4202496 133439 0 0 0 6163 24 0 0 20 0 1 0 224391948 205316096 40389 33554432000 4194304 4308513 140733819317920 140733819315336 4276436 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 41185280 140733819323508 140733819323606 140733819323606 140733819326405 0
/proc/26265/statm: 50126 40389 341 28 0 46366 0
[pid=26250/tid=26251] ppid=26232 vsize=8068220 memory=-7824251494391044201 CPUtime=1.47 cores=0,2,4,6
/proc/26250/task/26251/stat : 26251 (java) S 26232 26232 23167 0 -1 1077944384 15067 0 0 0 101 46 0 0 20 0 19 0 224391804 8261857280 40337 33554432000 4194304 4196468 140727092100992 140219153170320 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26252] ppid=26232 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26252/stat : 26252 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224391805 8261857280 40337 33554432000 4194304 4196468 140727092100992 140219185572752 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26253] ppid=26232 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26253/stat : 26253 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224391805 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218666371856 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26254] ppid=26232 vsize=8068220 memory=161348 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26254/stat : 26254 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224391805 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218665319568 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26255] ppid=26232 vsize=8068220 memory=144956 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26255/stat : 26255 (java) S 26232 26232 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224391805 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218664266768 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26256] ppid=26232 vsize=8068220 memory=140149077838088 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26256/stat : 26256 (java) S 26232 26232 23167 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 224391807 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218493491312 140219181341314 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26257] ppid=26232 vsize=8068220 memory=140149077838096 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26257/stat : 26257 (java) S 26232 26232 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224391807 8261857280 40337 33554432000 4194304 4196468 140727092100992 140217998631712 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26258] ppid=26232 vsize=8068220 memory=150074747279999 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26258/stat : 26258 (java) S 26232 26232 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224391807 8261857280 40337 33554432000 4194304 4196468 140727092100992 140217730196592 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26259] ppid=26232 vsize=8068220 memory=239646290238079 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26259/stat : 26259 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224391810 8261857280 40337 33554432000 4194304 4196468 140727092100992 140217355688016 140219181348763 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26260] ppid=26232 vsize=8068220 memory=239757959387775 CPUtime=0.28 cores=0,2,4,6
/proc/26250/task/26260/stat : 26260 (java) S 26232 26232 23167 0 -1 1077944384 921 0 0 0 28 0 0 0 20 0 19 0 224391810 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218492439152 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26261] ppid=26232 vsize=8068220 memory=239762254355071 CPUtime=0.35 cores=0,2,4,6
/proc/26250/task/26261/stat : 26261 (java) S 26232 26232 23167 0 -1 1077944384 830 0 0 0 35 0 0 0 20 0 19 0 224391810 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218491386352 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26262] ppid=26232 vsize=8068220 memory=239762254355071 CPUtime=0.24 cores=0,2,4,6
/proc/26250/task/26262/stat : 26262 (java) S 26232 26232 23167 0 -1 1077944384 646 0 0 0 24 0 0 0 20 0 19 0 224391810 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218490334064 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26263] ppid=26232 vsize=8068220 memory=149640955562147 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26263/stat : 26263 (java) S 26232 26232 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224391810 8261857280 40337 33554432000 4194304 4196468 140727092100992 140216857783264 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26264] ppid=26232 vsize=8068220 memory=280294532704608 CPUtime=0.02 cores=0,2,4,6
/proc/26250/task/26264/stat : 26264 (java) S 26232 26232 23167 0 -1 1077944384 9 0 0 0 1 1 0 0 20 0 19 0 224391810 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218489280944 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26266] ppid=26232 vsize=8068220 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26266/stat : 26266 (java) S 26232 26232 23167 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224391948 8261857280 40337 33554432000 4194304 4196468 140727092100992 140218481472448 140219181354777 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26268] ppid=26232 vsize=8068220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26268/stat : 26268 (java) S 26232 26232 23167 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 224391948 8261857280 40337 33554432000 4194304 4196468 140727092100992 140216320896560 140219181352093 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26269] ppid=26232 vsize=8068220 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26269/stat : 26269 (java) S 26232 26232 23167 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 224391949 8261857280 40337 33554432000 4194304 4196468 140727092100992 140216052465584 140219181352093 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26270] ppid=26232 vsize=8068220 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/26250/task/26270/stat : 26270 (java) S 26232 26232 23167 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 224391951 8261857280 40337 33554432000 4194304 4196468 140727092100992 140216455126432 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
Current children cumulated CPU time: 86.48 s
Current children cumulated vsize: 8381852 KiB
Current children cumulated memory: 324376 KiB
[startup+76.2048 s]
/proc/loadavg: 2.29 2.30 2.17 3/228 26271
/proc/meminfo: memFree=20219716/32770624 swapFree=67108688/67108860
[pid=26232] ppid=26229 vsize=113128 memory=1472 CPUtime=22.21 cores=0,2,4,6
/proc/26232/stat : 26232 (scop.sh) S 26229 26232 23167 0 -1 4202496 591 38724 0 0 0 0 2106 115 20 0 1 0 224390536 115843072 368 33554432000 4194304 5098028 140733365005536 140733365002280 140275340255868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33525760 140733365011521 140733365011719 140733365011719 140733365014477 0
/proc/26232/statm: 28282 368 311 221 0 87 0
[pid=26250] ppid=26232 vsize=7937144 memory=192432 CPUtime=64.69 cores=0,2,4,6
/proc/26250/stat : 26250 (java) S 26232 26232 23167 0 -1 1077944320 19439 133676 0 0 222 49 6173 25 20 0 17 0 224391804 8127635456 48108 33554432000 4194304 4196468 140727092100992 140727092083536 140219181330167 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
/proc/26250/statm: 1984286 48108 3179 1 0 1945685 0
[pid=26250/tid=26251] ppid=26232 vsize=7937144 memory=13565994345960240 CPUtime=63.46 cores=0,2,4,6
/proc/26250/task/26251/stat : 26251 (java) R 26232 26232 23167 0 -1 4202560 15082 133676 0 0 102 46 6173 25 20 0 17 0 224391804 8127635456 48108 33554432000 4194304 4196468 140727092100992 140219153167120 140218688028970 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26252] ppid=26232 vsize=7937144 memory=-7673225154500992928 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26252/stat : 26252 (java) S 26232 26232 23167 0 -1 1077944384 2 133676 0 0 0 0 6173 25 20 0 17 0 224391805 8127635456 48108 33554432000 4194304 4196468 140727092100992 140219185572752 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26253] ppid=26232 vsize=7937144 memory=-7812736537705029536 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26253/stat : 26253 (java) S 26232 26232 23167 0 -1 1077944384 1 133676 0 0 0 0 6173 25 20 0 17 0 224391805 8127635456 48108 33554432000 4194304 4196468 140727092100992 140218666371856 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26254] ppid=26232 vsize=7937144 memory=-6234758880078832264 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26254/stat : 26254 (java) S 26232 26232 23167 0 -1 1077944384 1 133676 0 0 0 0 6173 25 20 0 17 0 224391805 8127635456 48108 33554432000 4194304 4196468 140727092100992 140218665319568 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26255] ppid=26232 vsize=7937144 memory=-7673721927108614497 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26255/stat : 26255 (java) S 26232 26232 23167 0 -1 1077944384 2 133676 0 0 0 0 6173 25 20 0 17 0 224391805 8127635456 48108 33554432000 4194304 4196468 140727092100992 140218664266768 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26256] ppid=26232 vsize=7937144 memory=-6943855650595571281 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26256/stat : 26256 (java) S 26232 26232 23167 0 -1 1077944384 8 133676 0 0 0 0 6173 25 20 0 17 0 224391807 8127635456 48108 33554432000 4194304 4196468 140727092100992 140218493491312 140219181341314 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26257] ppid=26232 vsize=7937144 memory=-6440250305510594398 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26257/stat : 26257 (java) S 26232 26232 23167 0 -1 1077944384 13 133676 0 0 0 0 6173 25 20 0 17 0 224391807 8127635456 48108 33554432000 4194304 4196468 140727092100992 140217998631712 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26258] ppid=26232 vsize=7937144 memory=-8035107114841901037 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26258/stat : 26258 (java) S 26232 26232 23167 0 -1 1077944384 1 133676 0 0 0 0 6173 25 20 0 17 0 224391807 8127635456 48108 33554432000 4194304 4196468 140727092100992 140217730196592 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26259] ppid=26232 vsize=7937144 memory=164 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26259/stat : 26259 (java) S 26232 26232 23167 0 -1 1077944384 3 133676 0 0 0 0 6173 25 20 0 17 0 224391810 8127635456 48108 33554432000 4194304 4196468 140727092100992 140217355688016 140219181348763 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26260] ppid=26232 vsize=7937144 memory=6935655852846960720 CPUtime=62.3 cores=0,2,4,6
/proc/26250/task/26260/stat : 26260 (java) R 26232 26232 23167 0 -1 4202560 942 133676 0 0 32 0 6173 25 20 0 17 0 224391810 8127635456 48108 33554432000 4194304 4196468 140727092100992 140218492439152 140219160799505 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26261] ppid=26232 vsize=7937144 memory=6935651454800449616 CPUtime=62.43 cores=0,2,4,6
/proc/26250/task/26261/stat : 26261 (java) R 26232 26232 23167 0 -1 4202560 859 133676 0 0 45 0 6173 25 20 0 17 0 224391810 8127635456 48108 33554432000 4194304 4196468 140727092100992 140218491386352 140219166455447 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26262] ppid=26232 vsize=7937144 memory=7367994820020691277 CPUtime=62.26 cores=0,2,4,6
/proc/26250/task/26262/stat : 26262 (java) R 26232 26232 23167 0 -1 1077944384 1092 133676 0 0 28 0 6173 25 20 0 17 0 224391810 8127635456 48108 33554432000 4194304 4196468 140727092100992 140218490334064 140219181341314 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26263] ppid=26232 vsize=7937144 memory=12668 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26263/stat : 26263 (java) S 26232 26232 23167 0 -1 1077944384 3 133676 0 0 0 0 6173 25 20 0 17 0 224391810 8127635456 48108 33554432000 4194304 4196468 140727092100992 140216857783264 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26264] ppid=26232 vsize=7937144 memory=1072 CPUtime=62 cores=0,2,4,6
/proc/26250/task/26264/stat : 26264 (java) S 26232 26232 23167 0 -1 1077944384 9 133676 0 0 1 1 6173 25 20 0 17 0 224391810 8127635456 48108 33554432000 4194304 4196468 140727092100992 140218489280944 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26266] ppid=26232 vsize=7937144 memory=14888 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26266/stat : 26266 (java) S 26232 26232 23167 0 -1 1077944384 23 133676 0 0 0 0 6173 25 20 0 17 0 224391948 8127635456 48108 33554432000 4194304 4196468 140727092100992 140218481471632 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26270] ppid=26232 vsize=7937144 memory=15768 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26270/stat : 26270 (java) S 26232 26232 23167 0 -1 1077944384 28 133676 0 0 0 0 6173 25 20 0 17 0 224391951 8127635456 48108 33554432000 4194304 4196468 140727092100992 140216455128240 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
Current children cumulated CPU time: 86.9 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 193904 KiB
[startup+76.3008 s]
/proc/loadavg: 2.29 2.30 2.17 3/228 26271
/proc/meminfo: memFree=20219716/32770624 swapFree=67108688/67108860
[pid=26232] ppid=26229 vsize=113128 memory=1472 CPUtime=22.21 cores=0,2,4,6
/proc/26232/stat : 26232 (scop.sh) S 26229 26232 23167 0 -1 4202496 591 38724 0 0 0 0 2106 115 20 0 1 0 224390536 115843072 368 33554432000 4194304 5098028 140733365005536 140733365002280 140275340255868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33525760 140733365011521 140733365011719 140733365011719 140733365014477 0
/proc/26232/statm: 28282 368 311 221 0 87 0
[pid=26250] ppid=26232 vsize=7937144 memory=206644 CPUtime=64.95 cores=0,2,4,6
/proc/26250/stat : 26250 (java) S 26232 26232 23167 0 -1 1077944320 20017 133676 0 0 247 50 6173 25 20 0 17 0 224391804 8127635456 51661 33554432000 4194304 4196468 140727092100992 140727092083536 140219181330167 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
/proc/26250/statm: 1984286 51661 3182 1 0 1945685 0
[pid=26250/tid=26251] ppid=26232 vsize=7937144 memory=1472 CPUtime=63.55 cores=0,2,4,6
/proc/26250/task/26251/stat : 26251 (java) R 26232 26232 23167 0 -1 4202560 15172 133676 0 0 111 46 6173 25 20 0 17 0 224391804 8127635456 51661 33554432000 4194304 4196468 140727092100992 140219153167488 140218687277071 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26252] ppid=26232 vsize=7937144 memory=161348 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26252/stat : 26252 (java) S 26232 26232 23167 0 -1 1077944384 2 133676 0 0 0 0 6173 25 20 0 17 0 224391805 8127635456 51661 33554432000 4194304 4196468 140727092100992 140219185572752 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26253] ppid=26232 vsize=7937144 memory=161348 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26253/stat : 26253 (java) S 26232 26232 23167 0 -1 1077944384 1 133676 0 0 0 0 6173 25 20 0 17 0 224391805 8127635456 51661 33554432000 4194304 4196468 140727092100992 140218666371856 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26254] ppid=26232 vsize=7937144 memory=161348 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26254/stat : 26254 (java) S 26232 26232 23167 0 -1 1077944384 1 133676 0 0 0 0 6173 25 20 0 17 0 224391805 8127635456 51661 33554432000 4194304 4196468 140727092100992 140218665319568 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26255] ppid=26232 vsize=7937144 memory=173316 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26255/stat : 26255 (java) S 26232 26232 23167 0 -1 1077944384 2 133676 0 0 0 0 6173 25 20 0 17 0 224391805 8127635456 51661 33554432000 4194304 4196468 140727092100992 140218664266768 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26256] ppid=26232 vsize=7937144 memory=1472 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26256/stat : 26256 (java) S 26232 26232 23167 0 -1 1077944384 8 133676 0 0 0 0 6173 25 20 0 17 0 224391807 8127635456 51661 33554432000 4194304 4196468 140727092100992 140218493491312 140219181341314 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26257] ppid=26232 vsize=7937144 memory=161348 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26257/stat : 26257 (java) S 26232 26232 23167 0 -1 1077944384 13 133676 0 0 0 0 6173 25 20 0 17 0 224391807 8127635456 51661 33554432000 4194304 4196468 140727092100992 140217998631712 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26258] ppid=26232 vsize=7937144 memory=0 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26258/stat : 26258 (java) S 26232 26232 23167 0 -1 1077944384 1 133676 0 0 0 0 6173 25 20 0 17 0 224391807 8127635456 51661 33554432000 4194304 4196468 140727092100992 140217730196592 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26259] ppid=26232 vsize=7937144 memory=238 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26259/stat : 26259 (java) S 26232 26232 23167 0 -1 1077944384 3 133676 0 0 0 0 6173 25 20 0 17 0 224391810 8127635456 51661 33554432000 4194304 4196468 140727092100992 140217355688016 140219181348763 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26260] ppid=26232 vsize=7937144 memory=3508 CPUtime=62.36 cores=0,2,4,6
/proc/26250/task/26260/stat : 26260 (java) R 26232 26232 23167 0 -1 4202560 974 133676 0 0 38 0 6173 25 20 0 17 0 224391810 8127635456 51661 33554432000 4194304 4196468 140727092100992 140218492439152 140219167355791 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26261] ppid=26232 vsize=7937144 memory=1472 CPUtime=62.49 cores=0,2,4,6
/proc/26250/task/26261/stat : 26261 (java) R 26232 26232 23167 0 -1 4202560 1001 133676 0 0 51 0 6173 25 20 0 17 0 224391810 8127635456 51661 33554432000 4194304 4196468 140727092100992 140218491372232 140219161023271 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26262] ppid=26232 vsize=7937144 memory=1472 CPUtime=62.3 cores=0,2,4,6
/proc/26250/task/26262/stat : 26262 (java) R 26232 26232 23167 0 -1 1077944384 1408 133676 0 0 32 0 6173 25 20 0 17 0 224391810 8127635456 51661 33554432000 4194304 4196468 140727092100992 140218490334064 140219181341314 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26263] ppid=26232 vsize=7937144 memory=3868 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26263/stat : 26263 (java) S 26232 26232 23167 0 -1 1077944384 3 133676 0 0 0 0 6173 25 20 0 17 0 224391810 8127635456 51661 33554432000 4194304 4196468 140727092100992 140216857783264 140219181340373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26264] ppid=26232 vsize=7937144 memory=1472 CPUtime=62 cores=0,2,4,6
/proc/26250/task/26264/stat : 26264 (java) S 26232 26232 23167 0 -1 1077944384 9 133676 0 0 1 1 6173 25 20 0 17 0 224391810 8127635456 51661 33554432000 4194304 4196468 140727092100992 140218489280944 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26266] ppid=26232 vsize=7937144 memory=161348 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26266/stat : 26266 (java) S 26232 26232 23167 0 -1 1077944384 23 133676 0 0 0 0 6173 25 20 0 17 0 224391948 8127635456 51661 33554432000 4194304 4196468 140727092100992 140218481471632 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
[pid=26250/tid=26270] ppid=26232 vsize=7937144 memory=1472 CPUtime=61.98 cores=0,2,4,6
/proc/26250/task/26270/stat : 26270 (java) S 26232 26232 23167 0 -1 1077944384 28 133676 0 0 0 0 6173 25 20 0 17 0 224391951 8127635456 51661 33554432000 4194304 4196468 140727092100992 140216455128240 140219181341314 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23404544 140727092106421 140727092106545 140727092106545 140727092109263 0
Current children cumulated CPU time: 87.16 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 208116 KiB
Child status: 0
Real time (s): 76.3843
CPU time (s): 87.4245
CPU user time (s): 85.4966
CPU system time (s): 1.92791
CPU usage (%): 114.454
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3178568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.4966
system time used= 1.92791
maximum resident set size= 3177640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8093
involuntary context switches= 177
# summary of solver processes directly reported to runsolver:
# pid: 26232
# total CPU time (s): 87.4245
# total CPU user time (s): 85.4966
# total CPU system time (s): 1.92791
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.53671 second user time and 0.875101 second system time
The end