| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 36 | 20100.199 | 2520.1399 |
| Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml |
| MD5SUM | 030948c230c0936ebc743af4f555c996 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 29 |
| Best CPU time to get the best result obtained on this benchmark | 2400.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7543 |
| Number of constraints | 186 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":7543}] |
| Minimum variable degree | 4 |
| Maximum variable degree | 14 |
| Distribution of variable degrees | [{"degree":4,"count":211},{"degree":5,"count":606},{"degree":6,"count":1055},{"degree":7,"count":1192},{"degree":8,"count":1234},{"degree":9,"count":1130},{"degree":10,"count":973},{"degree":11,"count":664},{"degree":12,"count":352},{"degree":13,"count":120},{"degree":14,"count":6}] |
| Minimum constraint arity | 15 |
| Maximum constraint arity | 1306 |
| Distribution of constraint arities | [{"arity":15,"count":1},{"arity":17,"count":1},{"arity":18,"count":4},{"arity":22,"count":1},{"arity":23,"count":2},{"arity":26,"count":1},{"arity":30,"count":3},{"arity":34,"count":1},{"arity":36,"count":2},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":3},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":2},{"arity":49,"count":1},{"arity":50,"count":6},{"arity":51,"count":1},{"arity":53,"count":1},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":1},{"arity":72,"count":3},{"arity":74,"count":2},{"arity":77,"count":1},"...",{"arity":683,"count":1}, {"arity":752,"count":1}, {"arity":771,"count":1}, {"arity":783,"count":1}, {"arity":806,"count":1}, {"arity":807,"count":1}, {"arity":833,"count":1}, {"arity":851,"count":1}, {"arity":891,"count":1}, {"arity":903,"count":1}, {"arity":910,"count":1}, {"arity":933,"count":1}, {"arity":943,"count":1}, {"arity":954,"count":1}, {"arity":967,"count":1}, {"arity":975,"count":1}, {"arity":984,"count":1}, {"arity":1092,"count":1}, {"arity":1123,"count":1}, {"arity":1131,"count":1}, {"arity":1149,"count":1}, {"arity":1167,"count":1}, {"arity":1169,"count":1}, {"arity":1194,"count":1}, {"arity":1306,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"count","count":186}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270496-1502762206.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270496-1502762206.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 4.09/1.25 c solve instance... 13.95/2.54 o 36 20099.41/2520.09 s SATISFIABLE 20099.41/2520.09 v <instantiation> 20099.41/2520.09 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] </list> 20099.41/2520.10 v <values>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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 </values> 20099.41/2520.10 v </instantiation> 20099.41/2520.10 c Unexpected resolution interruption!
OK 36
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 (11610 MiB free)
memory of node 1: 16384 MiB (14877 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270496-1502762206/watcher-4270496-1502762206 -o /tmp/evaluation-result-4270496-1502762206/solver-4270496-1502762206 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502761346-7541 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 376243351 HOME/instance-4270496-1502762206.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7668, runsolver pid=7665
Current StackSize limit: 8192 KiB
[startup+0.100936 s]*
/proc/loadavg: 7.50 8.13 8.24 2/200 7689
/proc/meminfo: memFree=27108456/32770624 swapFree=67108860/67108860
[pid=7668] ppid=7665 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7668/stat : 7668 (xcsp3-exec) S 7665 7668 7514 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109301752 9740288 346 33554432000 4194304 5098028 140734687220016 140734687218120 140563379589756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24584192 140734687224933 140734687225143 140734687225143 140734687227883 0
/proc/7668/statm: 2378 346 289 221 0 87 0
[pid=7670] ppid=7668 vsize=25999808 memory=26200 CPUtime=0.12 cores=0-7
/proc/7670/stat : 7670 (java) S 7668 7668 7514 0 -1 1077944320 5494 0 0 0 11 1 0 0 20 0 20 0 109301752 26623803392 6550 33554432000 4194304 4196468 140730000776352 140730000758896 139840645848823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
/proc/7670/statm: 6499952 6550 2844 1 0 6488269 0
[pid=7670/tid=7671] ppid=7668 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7670/task/7671/stat : 7671 (java) R 7668 7668 7514 0 -1 4202560 3479 0 0 0 8 0 0 0 20 0 20 0 109301752 26623803392 6615 33554432000 4194304 4196468 140730000776352 139840650072624 139840259771088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7672] ppid=7668 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7670/task/7672/stat : 7672 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26623803392 6615 33554432000 4194304 4196468 140730000776352 139840598469008 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7673] ppid=7668 vsize=25999808 memory=139985278785152 CPUtime=0 cores=0-7
/proc/7670/task/7673/stat : 7673 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301753 26623803392 6615 33554432000 4194304 4196468 140730000776352 139840597416208 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7674] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7674/stat : 7674 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26623803392 6615 33554432000 4194304 4196468 140730000776352 139840596363920 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7675] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7675/stat : 7675 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301753 26623803392 6615 33554432000 4194304 4196468 140730000776352 139840595311120 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7676] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7676/stat : 7676 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26623803392 6615 33554432000 4194304 4196468 140730000776352 139840594258832 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7677] ppid=7668 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7670/task/7677/stat : 7677 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26623803392 6615 33554432000 4194304 4196468 140730000776352 139840593206032 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7678] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7678/stat : 7678 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26623803392 6615 33554432000 4194304 4196468 140730000776352 139840592153744 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7679] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7679/stat : 7679 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26623803392 6615 33554432000 4194304 4196468 140730000776352 139840591100944 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7680] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7680/stat : 7680 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301755 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839320103024 139840645859970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7681] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7681/stat : 7681 (java) S 7668 7668 7514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109301755 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839319048992 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7682] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7682/stat : 7682 (java) S 7668 7668 7514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109301755 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839317996656 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7683] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7683/stat : 7683 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301758 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839316944976 139840645867419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7684] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7684/stat : 7684 (java) S 7668 7668 7514 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 109301758 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839315892848 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7685] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7685/stat : 7685 (java) S 7668 7668 7514 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 109301758 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839314840048 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7686] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7686/stat : 7686 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301758 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839313787760 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7687] ppid=7668 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7670/task/7687/stat : 7687 (java) R 7668 7668 7514 0 -1 4202560 282 0 0 0 1 0 0 0 20 0 20 0 109301758 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839312734960 139840638565975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7688] ppid=7668 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7688/stat : 7688 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301758 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839311681888 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7689] ppid=7668 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7670/task/7689/stat : 7689 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301758 26623803392 6615 33554432000 4194304 4196468 140730000776352 139839310629168 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27584 KiB
[startup+0.210343 s]*
/proc/loadavg: 7.50 8.13 8.24 2/200 7689
/proc/meminfo: memFree=27097092/32770624 swapFree=67108860/67108860
[pid=7668] ppid=7665 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7668/stat : 7668 (xcsp3-exec) S 7665 7668 7514 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109301752 9740288 346 33554432000 4194304 5098028 140734687220016 140734687218120 140563379589756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24584192 140734687224933 140734687225143 140734687225143 140734687227883 0
/proc/7668/statm: 2378 346 289 221 0 87 0
[pid=7670] ppid=7668 vsize=26004064 memory=39128 CPUtime=0.33 cores=0-7
/proc/7670/stat : 7670 (java) S 7668 7668 7514 0 -1 1077944320 8330 0 0 0 31 2 0 0 20 0 20 0 109301752 26628161536 9782 33554432000 4194304 4196468 140730000776352 140730000758896 139840645848823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
/proc/7670/statm: 6501016 9782 3067 1 0 6488269 0
[pid=7670/tid=7671] ppid=7668 vsize=26004096 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7670/task/7671/stat : 7671 (java) R 7668 7668 7514 0 -1 4202560 5423 0 0 0 19 1 0 0 20 0 20 0 109301752 26628194304 9782 33554432000 4194304 4196468 140730000776352 139840650050512 139840638528541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7672] ppid=7668 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/7670/task/7672/stat : 7672 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 9782 33554432000 4194304 4196468 140730000776352 139840598469008 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7673] ppid=7668 vsize=26004064 memory=139985278793079 CPUtime=0 cores=0-7
/proc/7670/task/7673/stat : 7673 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 9782 33554432000 4194304 4196468 140730000776352 139840597416208 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7674] ppid=7668 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7670/task/7674/stat : 7674 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 9782 33554432000 4194304 4196468 140730000776352 139840596363920 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7675] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7675/stat : 7675 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 9782 33554432000 4194304 4196468 140730000776352 139840595311120 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7676] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7676/stat : 7676 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 9782 33554432000 4194304 4196468 140730000776352 139840594258832 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7677] ppid=7668 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7670/task/7677/stat : 7677 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 9782 33554432000 4194304 4196468 140730000776352 139840593206032 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7678] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7678/stat : 7678 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 9782 33554432000 4194304 4196468 140730000776352 139840592153744 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7679] ppid=7668 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7679/stat : 7679 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628194304 9782 33554432000 4194304 4196468 140730000776352 139840591100944 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7680] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7680/stat : 7680 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301755 26628161536 9782 33554432000 4194304 4196468 140730000776352 139839320103024 139840645859970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7681] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7681/stat : 7681 (java) S 7668 7668 7514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109301755 26628161536 9782 33554432000 4194304 4196468 140730000776352 139839319048992 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7682] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7682/stat : 7682 (java) S 7668 7668 7514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109301755 26628161536 9782 33554432000 4194304 4196468 140730000776352 139839317996656 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7683] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7683/stat : 7683 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301758 26628161536 9782 33554432000 4194304 4196468 140730000776352 139839316944976 139840645867419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7684] ppid=7668 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/7670/task/7684/stat : 7684 (java) S 7668 7668 7514 0 -1 1077944384 494 0 0 0 1 0 0 0 20 0 20 0 109301758 26628161536 9782 33554432000 4194304 4196468 140730000776352 139839315892848 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7685] ppid=7668 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/7670/task/7685/stat : 7685 (java) S 7668 7668 7514 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 109301758 26628161536 9782 33554432000 4194304 4196468 140730000776352 139839314840048 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7686] ppid=7668 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/7670/task/7686/stat : 7686 (java) S 7668 7668 7514 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 109301758 26628161536 9782 33554432000 4194304 4196468 140730000776352 139839313787760 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7687] ppid=7668 vsize=26004096 memory=-1 CPUtime=0.07 cores=0-7
/proc/7670/task/7687/stat : 7687 (java) R 7668 7668 7514 0 -1 4202560 806 0 0 0 7 0 0 0 20 0 20 0 109301758 26628194304 9782 33554432000 4194304 4196468 140730000776352 139839312734960 139840638085950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7688] ppid=7668 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7688/stat : 7688 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301758 26628194304 9782 33554432000 4194304 4196468 140730000776352 139839311681888 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7689] ppid=7668 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7670/task/7689/stat : 7689 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301758 26628161536 9782 33554432000 4194304 4196468 140730000776352 139839310629168 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40512 KiB
[startup+0.313276 s]*
/proc/loadavg: 7.50 8.13 8.24 5/200 7689
/proc/meminfo: memFree=27090144/32770624 swapFree=67108860/67108860
[pid=7668] ppid=7665 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7668/stat : 7668 (xcsp3-exec) S 7665 7668 7514 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109301752 9740288 346 33554432000 4194304 5098028 140734687220016 140734687218120 140563379589756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24584192 140734687224933 140734687225143 140734687225143 140734687227883 0
/proc/7668/statm: 2378 346 289 221 0 87 0
[pid=7670] ppid=7668 vsize=26004064 memory=47036 CPUtime=0.53 cores=0-7
/proc/7670/stat : 7670 (java) S 7668 7668 7514 0 -1 1077944320 9515 0 0 0 50 3 0 0 20 0 20 0 109301752 26628161536 11759 33554432000 4194304 4196468 140730000776352 140730000758896 139840645848823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
/proc/7670/statm: 6501016 11759 3105 1 0 6488269 0
[pid=7670/tid=7671] ppid=7668 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7670/task/7671/stat : 7671 (java) R 7668 7668 7514 0 -1 4202560 6044 0 0 0 28 1 0 0 20 0 20 0 109301752 26628161536 11759 33554432000 4194304 4196468 140730000776352 139840650082880 139840645870749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7672] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7672/stat : 7672 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 11759 33554432000 4194304 4196468 140730000776352 139840598469008 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7673] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7673/stat : 7673 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 11759 33554432000 4194304 4196468 140730000776352 139840597416208 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7674] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7674/stat : 7674 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 11759 33554432000 4194304 4196468 140730000776352 139840596363920 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7675] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7675/stat : 7675 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 11759 33554432000 4194304 4196468 140730000776352 139840595311120 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7676] ppid=7668 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7670/task/7676/stat : 7676 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 11759 33554432000 4194304 4196468 140730000776352 139840594258832 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7677] ppid=7668 vsize=26004064 memory=139985130976175 CPUtime=0 cores=0-7
/proc/7670/task/7677/stat : 7677 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 11759 33554432000 4194304 4196468 140730000776352 139840593206032 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7678] ppid=7668 vsize=26004064 memory=139985130978480 CPUtime=0 cores=0-7
/proc/7670/task/7678/stat : 7678 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 11759 33554432000 4194304 4196468 140730000776352 139840592153744 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7679] ppid=7668 vsize=26004064 memory=139985130980784 CPUtime=0 cores=0-7
/proc/7670/task/7679/stat : 7679 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26628161536 11759 33554432000 4194304 4196468 140730000776352 139840591100944 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7680] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7680/stat : 7680 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301755 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839320103024 139840645859970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7681] ppid=7668 vsize=26004064 memory=279970261968528 CPUtime=0 cores=0-7
/proc/7670/task/7681/stat : 7681 (java) S 7668 7668 7514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109301755 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839319048992 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7682] ppid=7668 vsize=26004064 memory=279970261975440 CPUtime=0 cores=0-7
/proc/7670/task/7682/stat : 7682 (java) S 7668 7668 7514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109301755 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839317996656 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7683] ppid=7668 vsize=26004064 memory=279970261916720 CPUtime=0 cores=0-7
/proc/7670/task/7683/stat : 7683 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301758 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839316944976 139840645867419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7684] ppid=7668 vsize=26004064 memory=279970261989264 CPUtime=0.02 cores=0-7
/proc/7670/task/7684/stat : 7684 (java) R 7668 7668 7514 0 -1 4202560 606 0 0 0 2 0 0 0 20 0 20 0 109301758 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839315882320 139840630252047 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7685] ppid=7668 vsize=26004064 memory=279970261996176 CPUtime=0.03 cores=0-7
/proc/7670/task/7685/stat : 7685 (java) R 7668 7668 7514 0 -1 4202560 257 0 0 0 3 0 0 0 20 0 20 0 109301758 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839314829968 139840630728385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7686] ppid=7668 vsize=26004064 memory=279970261993872 CPUtime=0.03 cores=0-7
/proc/7670/task/7686/stat : 7686 (java) R 7668 7668 7514 0 -1 4202560 323 0 0 0 3 0 0 0 20 0 20 0 109301758 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839313787760 139840625671458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7687] ppid=7668 vsize=26004064 memory=279970262010032 CPUtime=0.13 cores=0-7
/proc/7670/task/7687/stat : 7687 (java) R 7668 7668 7514 0 -1 4202560 979 0 0 0 13 0 0 0 20 0 20 0 109301758 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839312731768 139840645860758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7688] ppid=7668 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7688/stat : 7688 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301758 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839311681888 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7689] ppid=7668 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7670/task/7689/stat : 7689 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301758 26628161536 11759 33554432000 4194304 4196468 140730000776352 139839310629168 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48420 KiB
[startup+0.700965 s]
/proc/loadavg: 7.50 8.13 8.24 6/200 7689
/proc/meminfo: memFree=27047644/32770624 swapFree=67108860/67108860
[pid=7668] ppid=7665 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7668/stat : 7668 (xcsp3-exec) S 7665 7668 7514 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109301752 9740288 346 33554432000 4194304 5098028 140734687220016 140734687218120 140563379589756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24584192 140734687224933 140734687225143 140734687225143 140734687227883 0
/proc/7668/statm: 2378 346 289 221 0 87 0
[pid=7670] ppid=7668 vsize=26006188 memory=138392 CPUtime=2.1 cores=0-7
/proc/7670/stat : 7670 (java) S 7668 7668 7514 0 -1 1077944320 16057 0 0 0 205 5 0 0 20 0 20 0 109301752 26630336512 34598 33554432000 4194304 4196468 140730000776352 140730000758896 139840645848823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
/proc/7670/statm: 6501547 34598 3199 1 0 6488781 0
[pid=7670/tid=7671] ppid=7668 vsize=26006188 memory=279970262367920 CPUtime=0.67 cores=0-7
/proc/7670/task/7671/stat : 7671 (java) R 7668 7668 7514 0 -1 4202560 6715 0 0 0 65 2 0 0 20 0 20 0 109301752 26630336512 34598 33554432000 4194304 4196468 140730000776352 139840650085648 139840259957976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7672] ppid=7668 vsize=26006188 memory=139985131185008 CPUtime=0 cores=0-7
/proc/7670/task/7672/stat : 7672 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26630336512 34598 33554432000 4194304 4196468 140730000776352 139840598469008 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7673] ppid=7668 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7673/stat : 7673 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301753 26630336512 34598 33554432000 4194304 4196468 140730000776352 139840597416208 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7674] ppid=7668 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/7670/task/7674/stat : 7674 (java) S 7668 7668 7514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301753 26630336512 34598 33554432000 4194304 4196468 140730000776352 139840596363920 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
################
# More data... #
################
[pid=7670/tid=7705] ppid=7668 vsize=26538700 memory=1728 CPUtime=2437.7 cores=0-7
/proc/7670/task/7705/stat : 7705 (java) R 7668 7668 7514 0 -1 4202560 14970 0 0 0 243730 40 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839228837400 139840266388936 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
Current children cumulated CPU time: 19479.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5627116 KiB
[startup+2502.3 s]
/proc/loadavg: 8.30 8.29 8.27 9/208 7757
/proc/meminfo: memFree=21505272/32770624 swapFree=67108860/67108860
[pid=7668] ppid=7665 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7668/stat : 7668 (xcsp3-exec) S 7665 7668 7514 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109301752 9740288 346 33554432000 4194304 5098028 140734687220016 140734687218120 140563379589756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24584192 140734687224933 140734687225143 140734687225143 140734687227883 0
/proc/7668/statm: 2378 346 289 221 0 87 0
[pid=7670] ppid=7668 vsize=26538700 memory=5625732 CPUtime=19958.1 cores=0-7
/proc/7670/stat : 7670 (java) S 7668 7668 7514 0 -1 1077944320 154939 0 0 0 1995450 358 0 0 20 0 28 0 109301752 27175628800 1406433 33554432000 4194304 4196468 140730000776352 140730000758896 139840645848823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
/proc/7670/statm: 6634675 1406433 3302 1 0 6621909 0
[pid=7670/tid=7671] ppid=7668 vsize=26538700 memory=5625732 CPUtime=1.21 cores=0-7
/proc/7670/task/7671/stat : 7671 (java) S 7668 7668 7514 0 -1 1077944384 6831 0 0 0 118 3 0 0 20 0 28 0 109301752 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840650089600 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7672] ppid=7668 vsize=26538700 memory=5625732 CPUtime=0.72 cores=0-7
/proc/7670/task/7672/stat : 7672 (java) S 7668 7668 7514 0 -1 1077944384 1341 0 0 0 59 13 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840598469008 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7673] ppid=7668 vsize=26538700 memory=1384 CPUtime=0.73 cores=0-7
/proc/7670/task/7673/stat : 7673 (java) S 7668 7668 7514 0 -1 1077944384 1225 0 0 0 61 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840597416208 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7674] ppid=7668 vsize=26538700 memory=212 CPUtime=0.73 cores=0-7
/proc/7670/task/7674/stat : 7674 (java) S 7668 7668 7514 0 -1 1077944384 1078 0 0 0 61 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840596363920 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7675] ppid=7668 vsize=26538700 memory=5625732 CPUtime=0.68 cores=0-7
/proc/7670/task/7675/stat : 7675 (java) S 7668 7668 7514 0 -1 1077944384 1124 0 0 0 57 11 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840595311120 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7676] ppid=7668 vsize=26538700 memory=5625732 CPUtime=0.72 cores=0-7
/proc/7670/task/7676/stat : 7676 (java) S 7668 7668 7514 0 -1 1077944384 1193 0 0 0 62 10 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840594258832 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7677] ppid=7668 vsize=26538700 memory=1384 CPUtime=0.72 cores=0-7
/proc/7670/task/7677/stat : 7677 (java) S 7668 7668 7514 0 -1 1077944384 1140 0 0 0 60 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840593206032 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7678] ppid=7668 vsize=26538700 memory=1384 CPUtime=0.7 cores=0-7
/proc/7670/task/7678/stat : 7678 (java) S 7668 7668 7514 0 -1 1077944384 3612 0 0 0 58 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840592153744 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7679] ppid=7668 vsize=26538700 memory=1384 CPUtime=0.73 cores=0-7
/proc/7670/task/7679/stat : 7679 (java) S 7668 7668 7514 0 -1 1077944384 1383 0 0 0 61 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840591100944 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7680] ppid=7668 vsize=26538700 memory=1384 CPUtime=0.79 cores=0-7
/proc/7670/task/7680/stat : 7680 (java) S 7668 7668 7514 0 -1 1077944384 10718 0 0 0 74 5 0 0 20 0 28 0 109301755 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839320103024 139840645859970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7681] ppid=7668 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/7670/task/7681/stat : 7681 (java) S 7668 7668 7514 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 109301755 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839319049056 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7682] ppid=7668 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/7670/task/7682/stat : 7682 (java) S 7668 7668 7514 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 109301755 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839317996672 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7683] ppid=7668 vsize=26538700 memory=5625732 CPUtime=0 cores=0-7
/proc/7670/task/7683/stat : 7683 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839316944976 139840645867419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7684] ppid=7668 vsize=26538700 memory=1384 CPUtime=2.12 cores=0-7
/proc/7670/task/7684/stat : 7684 (java) S 7668 7668 7514 0 -1 1077944384 14063 0 0 0 209 3 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839315892848 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7685] ppid=7668 vsize=26538700 memory=1384 CPUtime=2.1 cores=0-7
/proc/7670/task/7685/stat : 7685 (java) S 7668 7668 7514 0 -1 1077944384 14798 0 0 0 209 1 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839314840048 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7686] ppid=7668 vsize=26538700 memory=5625732 CPUtime=1.9 cores=0-7
/proc/7670/task/7686/stat : 7686 (java) S 7668 7668 7514 0 -1 1077944384 13700 0 0 0 188 2 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839313787760 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7687] ppid=7668 vsize=26538700 memory=10596 CPUtime=0.77 cores=0-7
/proc/7670/task/7687/stat : 7687 (java) S 7668 7668 7514 0 -1 1077944384 13923 0 0 0 75 2 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839312734960 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7688] ppid=7668 vsize=26538700 memory=5625732 CPUtime=0 cores=0-7
/proc/7670/task/7688/stat : 7688 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839311681888 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7689] ppid=7668 vsize=26538700 memory=4140 CPUtime=0.85 cores=0-7
/proc/7670/task/7689/stat : 7689 (java) S 7668 7668 7514 0 -1 1077944384 3045 0 0 0 28 57 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839310629168 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7698] ppid=7668 vsize=26538700 memory=31428 CPUtime=2483.92 cores=0-7
/proc/7670/task/7698/stat : 7698 (java) R 7668 7668 7514 0 -1 4202560 5065 0 0 0 248371 21 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839227788600 139840266496188 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7699] ppid=7668 vsize=26538700 memory=139989573752447 CPUtime=2487.84 cores=0-7
/proc/7670/task/7699/stat : 7699 (java) R 7668 7668 7514 0 -1 4202560 1608 0 0 0 248773 11 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839231995712 139840266388986 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7700] ppid=7668 vsize=26538700 memory=0 CPUtime=2498.07 cores=0-7
/proc/7670/task/7700/stat : 7700 (java) R 7668 7668 7514 0 -1 4202560 4184 0 0 0 249805 2 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839230947440 139840266495049 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7701] ppid=7668 vsize=26538700 memory=-8959453315975697800 CPUtime=2474.44 cores=0-7
/proc/7670/task/7701/stat : 7701 (java) R 7668 7668 7514 0 -1 4202560 11123 0 0 0 247348 96 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839229895208 139840266535454 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7702] ppid=7668 vsize=26538700 memory=840 CPUtime=2497.68 cores=0-7
/proc/7670/task/7702/stat : 7702 (java) R 7668 7668 7514 0 -1 4202560 22739 0 0 0 249704 64 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839233053608 139840262230593 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7703] ppid=7668 vsize=26538700 memory=4100 CPUtime=2497.48 cores=0-7
/proc/7670/task/7703/stat : 7703 (java) R 7668 7668 7514 0 -1 4202560 1894 0 0 0 249747 1 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839305212472 139840262378292 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7704] ppid=7668 vsize=26538700 memory=1696 CPUtime=2497.63 cores=0-7
/proc/7670/task/7704/stat : 7704 (java) R 7668 7668 7514 0 -1 4202560 1768 0 0 0 249761 2 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839234105512 139840266388716 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7705] ppid=7668 vsize=26538700 memory=1384 CPUtime=2497.68 cores=0-7
/proc/7670/task/7705/stat : 7705 (java) R 7668 7668 7514 0 -1 4202560 15462 0 0 0 249728 40 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839228837400 139840266388648 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
Current children cumulated CPU time: 19958.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5627116 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.31 8.30 8.27 9/208 7757
/proc/meminfo: memFree=21505408/32770624 swapFree=67108860/67108860
[pid=7668] ppid=7665 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7668/stat : 7668 (xcsp3-exec) S 7665 7668 7514 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109301752 9740288 346 33554432000 4194304 5098028 140734687220016 140734687218120 140563379589756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24584192 140734687224933 140734687225143 140734687225143 140734687227883 0
/proc/7668/statm: 2378 346 289 221 0 87 0
[pid=7670] ppid=7668 vsize=26538700 memory=5625732 CPUtime=20099.4 cores=0-7
/proc/7670/stat : 7670 (java) S 7668 7668 7514 0 -1 1077944320 155107 0 0 0 2009582 359 0 0 20 0 28 0 109301752 27175628800 1406433 33554432000 4194304 4196468 140730000776352 140730000758896 139840645848823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
/proc/7670/statm: 6634675 1406433 3302 1 0 6621909 0
[pid=7670/tid=7671] ppid=7668 vsize=26538700 memory=3796 CPUtime=1.21 cores=0-7
/proc/7670/task/7671/stat : 7671 (java) S 7668 7668 7514 0 -1 1077944384 6831 0 0 0 118 3 0 0 20 0 28 0 109301752 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840650089600 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7672] ppid=7668 vsize=26538700 memory=1384 CPUtime=0.72 cores=0-7
/proc/7670/task/7672/stat : 7672 (java) S 7668 7668 7514 0 -1 1077944384 1341 0 0 0 59 13 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840598469008 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7673] ppid=7668 vsize=26538700 memory=4126316290023845779 CPUtime=0.73 cores=0-7
/proc/7670/task/7673/stat : 7673 (java) S 7668 7668 7514 0 -1 1077944384 1225 0 0 0 61 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840597416208 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7674] ppid=7668 vsize=26538700 memory=5625732 CPUtime=0.73 cores=0-7
/proc/7670/task/7674/stat : 7674 (java) S 7668 7668 7514 0 -1 1077944384 1078 0 0 0 61 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840596363920 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7675] ppid=7668 vsize=26538700 memory=16099269136353863 CPUtime=0.68 cores=0-7
/proc/7670/task/7675/stat : 7675 (java) S 7668 7668 7514 0 -1 1077944384 1124 0 0 0 57 11 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840595311120 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7676] ppid=7668 vsize=26538700 memory=0 CPUtime=0.72 cores=0-7
/proc/7670/task/7676/stat : 7676 (java) S 7668 7668 7514 0 -1 1077944384 1193 0 0 0 62 10 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840594258832 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7677] ppid=7668 vsize=26538700 memory=0 CPUtime=0.72 cores=0-7
/proc/7670/task/7677/stat : 7677 (java) S 7668 7668 7514 0 -1 1077944384 1140 0 0 0 60 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840593206032 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7678] ppid=7668 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7
/proc/7670/task/7678/stat : 7678 (java) S 7668 7668 7514 0 -1 1077944384 3612 0 0 0 58 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840592153744 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7679] ppid=7668 vsize=26538700 memory=0 CPUtime=0.73 cores=0-7
/proc/7670/task/7679/stat : 7679 (java) S 7668 7668 7514 0 -1 1077944384 1383 0 0 0 61 12 0 0 20 0 28 0 109301753 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139840591100944 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7680] ppid=7668 vsize=26538700 memory=1384 CPUtime=0.79 cores=0-7
/proc/7670/task/7680/stat : 7680 (java) S 7668 7668 7514 0 -1 1077944384 10718 0 0 0 74 5 0 0 20 0 28 0 109301755 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839320103024 139840645859970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7681] ppid=7668 vsize=26538700 memory=5625732 CPUtime=0 cores=0-7
/proc/7670/task/7681/stat : 7681 (java) S 7668 7668 7514 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 109301755 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839319049056 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7682] ppid=7668 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7682/stat : 7682 (java) S 7668 7668 7514 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 109301755 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839317996672 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7683] ppid=7668 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7683/stat : 7683 (java) S 7668 7668 7514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839316944976 139840645867419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7684] ppid=7668 vsize=26538700 memory=0 CPUtime=2.12 cores=0-7
/proc/7670/task/7684/stat : 7684 (java) S 7668 7668 7514 0 -1 1077944384 14063 0 0 0 209 3 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839315892848 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7685] ppid=7668 vsize=26538700 memory=0 CPUtime=2.1 cores=0-7
/proc/7670/task/7685/stat : 7685 (java) S 7668 7668 7514 0 -1 1077944384 14798 0 0 0 209 1 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839314840048 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7686] ppid=7668 vsize=26538700 memory=0 CPUtime=1.9 cores=0-7
/proc/7670/task/7686/stat : 7686 (java) S 7668 7668 7514 0 -1 1077944384 13700 0 0 0 188 2 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839313787760 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7687] ppid=7668 vsize=26538700 memory=0 CPUtime=0.77 cores=0-7
/proc/7670/task/7687/stat : 7687 (java) S 7668 7668 7514 0 -1 1077944384 13923 0 0 0 75 2 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839312734960 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7688] ppid=7668 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7670/task/7688/stat : 7688 (java) S 7668 7668 7514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839311681888 139840645859029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7689] ppid=7668 vsize=26538700 memory=0 CPUtime=0.87 cores=0-7
/proc/7670/task/7689/stat : 7689 (java) S 7668 7668 7514 0 -1 1077944384 3047 0 0 0 29 58 0 0 20 0 28 0 109301758 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839310629168 139840645859970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7698] ppid=7668 vsize=26538700 memory=0 CPUtime=2501.28 cores=0-7
/proc/7670/task/7698/stat : 7698 (java) R 7668 7668 7514 0 -1 4202560 5066 0 0 0 250107 21 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839227788600 139840262379123 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7699] ppid=7668 vsize=26538700 memory=1224 CPUtime=2505.55 cores=0-7
/proc/7670/task/7699/stat : 7699 (java) R 7668 7668 7514 0 -1 4202560 1608 0 0 0 250544 11 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839231995712 139840266388817 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7700] ppid=7668 vsize=26538700 memory=1716 CPUtime=2515.78 cores=0-7
/proc/7670/task/7700/stat : 7700 (java) R 7668 7668 7514 0 -1 4202560 4184 0 0 0 251576 2 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839230947440 139840266650226 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7701] ppid=7668 vsize=26538700 memory=10596 CPUtime=2492.15 cores=0-7
/proc/7670/task/7701/stat : 7701 (java) R 7668 7668 7514 0 -1 4202560 11177 0 0 0 249119 96 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839229895208 139840266176896 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7702] ppid=7668 vsize=26538700 memory=1200 CPUtime=2515.38 cores=0-7
/proc/7670/task/7702/stat : 7702 (java) R 7668 7668 7514 0 -1 4202560 22771 0 0 0 251474 64 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839233053608 139840262609225 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7703] ppid=7668 vsize=26538700 memory=15872 CPUtime=2515.19 cores=0-7
/proc/7670/task/7703/stat : 7703 (java) R 7668 7668 7514 0 -1 4202560 1894 0 0 0 251518 1 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839305212472 139840266388735 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7704] ppid=7668 vsize=26538700 memory=4044 CPUtime=2515.34 cores=0-7
/proc/7670/task/7704/stat : 7704 (java) R 7668 7668 7514 0 -1 4202560 1768 0 0 0 251532 2 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839234105512 139840266388898 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
[pid=7670/tid=7705] ppid=7668 vsize=26538700 memory=16444 CPUtime=2515.39 cores=0-7
/proc/7670/task/7705/stat : 7705 (java) R 7668 7668 7514 0 -1 4202560 15541 0 0 0 251499 40 0 0 20 0 28 0 109302008 27175628800 1406433 33554432000 4194304 4196468 140730000776352 139839228837400 139840266388986 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18530304 140730000782482 140730000782659 140730000782659 140730000785359 0
Current children cumulated CPU time: 20099.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5627116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 7668 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001908 s, system=0 s
[startup+2520.14 s]
# the end of solver process 7670 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20096.6 s, system=3.63392 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.14
CPU time (s): 20100.2
CPU user time (s): 20096.6
CPU system time (s): 3.63392
CPU usage (%): 797.585
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5627116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20096.6
system time used= 3.63392
maximum resident set size= 5626424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60076
involuntary context switches= 204093
# summary of solver processes directly reported to runsolver:
# pid: 7668,7670
# total CPU time (s): 20100.2
# total CPU user time (s): 20096.6
# total CPU system time (s): 3.63392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 29.1608 second user time and 20.368 second system time
The end
Begin job on node150 at 2017-08-15 03:42:28 IDJOB=4270496 IDBENCH=133707 IDSOLVER=2662 FILE ID=node150/4270496-1502762206 RUNJOBID= node150-1502761346-7541 PBS_JOBID= 20629086 Free space on /tmp= 61636 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-c1a.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270496-1502762206/watcher-4270496-1502762206 -o /tmp/evaluation-result-4270496-1502762206/solver-4270496-1502762206 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502761346-7541 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 376243351 HOME/instance-4270496-1502762206.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 030948c230c0936ebc743af4f555c996 RANDOM SEED=376243351 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27123860 kB MemAvailable: 31973188 kB Buffers: 286252 kB Cached: 4838868 kB SwapCached: 0 kB Active: 742344 kB Inactive: 4436624 kB Active(anon): 56952 kB Inactive(anon): 25068 kB Active(file): 685392 kB Inactive(file): 4411556 kB Unevictable: 6228 kB Mlocked: 6228 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7944 kB Writeback: 4 kB AnonPages: 60128 kB Mapped: 45748 kB Shmem: 25224 kB Slab: 162292 kB SReclaimable: 136428 kB SUnreclaim: 25864 kB KernelStack: 3248 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61628 MiB End job on node150 at 2017-08-15 04:24:28