Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 36 | 20095.5 | 2520.1499 |
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-4280306-1503153083.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280306-1503153083.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 3.97/1.27 c solve instance... 13.40/2.51 o 36 20094.62/2520.10 s SATISFIABLE 20094.62/2520.10 v <instantiation> 20094.62/2520.10 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> 20094.62/2520.11 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> 20094.62/2520.11 v </instantiation> 20094.62/2520.11 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 (12703 MiB free) memory of node 1: 16384 MiB (13860 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280306-1503153083/watcher-4280306-1503153083 -o /tmp/evaluation-result-4280306-1503153083/solver-4280306-1503153083 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503152222-9390 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1018322132 HOME/instance-4280306-1503153083.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 Current StackSize limit: 8192 KiB solver pid=9517, runsolver pid=9514 [startup+0.100154 s]* /proc/loadavg: 7.92 8.38 8.35 2/199 9538 /proc/meminfo: memFree=27185840/32770624 swapFree=67108860/67108860 [pid=9517] ppid=9514 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/9517/stat : 9517 (xcsp3-exec) S 9514 9517 9363 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148395913 9740288 346 33554432000 4194304 5098028 140727440785984 140727440784088 140296299721340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26693632 140727440794724 140727440794935 140727440794935 140727440797675 0 /proc/9517/statm: 2378 346 289 221 0 87 0 [pid=9519] ppid=9517 vsize=25999808 memory=26196 CPUtime=0.11 cores=0-7 /proc/9519/stat : 9519 (java) S 9517 9517 9363 0 -1 1077944320 5472 0 0 0 10 1 0 0 20 0 20 0 148395913 26623803392 6549 33554432000 4194304 4196468 140731550804272 140731550786816 139730099015415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 /proc/9519/statm: 6499952 6549 2847 1 0 6488269 0 [pid=9519/tid=9520] ppid=9517 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/9519/task/9520/stat : 9520 (java) R 9517 9517 9363 0 -1 4202560 3479 0 0 0 8 0 0 0 20 0 20 0 148395914 26623803392 6549 33554432000 4194304 4196468 140731550804272 139730103241952 139730099027350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9521] ppid=9517 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9519/task/9521/stat : 9521 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395914 26623803392 6549 33554432000 4194304 4196468 140731550804272 139730051635472 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9522] ppid=9517 vsize=25999808 memory=140500437415552 CPUtime=0 cores=0-7 /proc/9519/task/9522/stat : 9522 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395914 26623803392 6549 33554432000 4194304 4196468 140731550804272 139729656215952 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9523] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9523/stat : 9523 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395914 26623803392 6549 33554432000 4194304 4196468 140731550804272 139729655163408 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9524] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9524/stat : 9524 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395915 26623803392 6549 33554432000 4194304 4196468 140731550804272 139729654110864 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9525] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9525/stat : 9525 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395915 26623803392 6549 33554432000 4194304 4196468 140731550804272 139729653058320 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9526] ppid=9517 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/9519/task/9526/stat : 9526 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395915 26623803392 6549 33554432000 4194304 4196468 140731550804272 139729652005776 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9527] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9527/stat : 9527 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395915 26623803392 6549 33554432000 4194304 4196468 140731550804272 139729650953232 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9528] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9528/stat : 9528 (java) S 9517 9517 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148395915 26623803392 6549 33554432000 4194304 4196468 140731550804272 139729649900688 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9529] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9529/stat : 9529 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395916 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728773961712 139730099026562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9530] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9530/stat : 9530 (java) S 9517 9517 9363 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148395916 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728772907936 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9531] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9531/stat : 9531 (java) S 9517 9517 9363 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148395917 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728771855344 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9532] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9532/stat : 9532 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395919 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728770803920 139730099034011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9533] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9533/stat : 9533 (java) S 9517 9517 9363 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 148395919 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728769751536 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9534] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9534/stat : 9534 (java) S 9517 9517 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148395919 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728768698992 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9535] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9535/stat : 9535 (java) S 9517 9517 9363 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 148395919 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728767646448 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9536] ppid=9517 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/9519/task/9536/stat : 9536 (java) R 9517 9517 9363 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 20 0 148395919 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728766593904 139730077639456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9537] ppid=9517 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9537/stat : 9537 (java) S 9517 9517 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148395919 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728765540576 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9538] ppid=9517 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/9519/task/9538/stat : 9538 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395920 26623803392 6549 33554432000 4194304 4196468 140731550804272 139728764488112 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27580 KiB [startup+0.210413 s]* /proc/loadavg: 7.92 8.38 8.35 4/199 9538 /proc/meminfo: memFree=27173800/32770624 swapFree=67108860/67108860 [pid=9517] ppid=9514 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/9517/stat : 9517 (xcsp3-exec) S 9514 9517 9363 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148395913 9740288 346 33554432000 4194304 5098028 140727440785984 140727440784088 140296299721340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26693632 140727440794724 140727440794935 140727440794935 140727440797675 0 /proc/9517/statm: 2378 346 289 221 0 87 0 [pid=9519] ppid=9517 vsize=26004064 memory=39136 CPUtime=0.33 cores=0-7 /proc/9519/stat : 9519 (java) S 9517 9517 9363 0 -1 1077944320 8305 0 0 0 30 3 0 0 20 0 20 0 148395913 26628161536 9784 33554432000 4194304 4196468 140731550804272 140731550786816 139730099015415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 /proc/9519/statm: 6501016 9784 3073 1 0 6488269 0 [pid=9519/tid=9520] ppid=9517 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/9519/task/9520/stat : 9520 (java) R 9517 9517 9363 0 -1 4202560 5404 0 0 0 18 1 0 0 20 0 20 0 148395914 26628161536 9784 33554432000 4194304 4196468 140731550804272 139730103227696 139730091693429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9521] ppid=9517 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/9519/task/9521/stat : 9521 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395914 26628161536 9784 33554432000 4194304 4196468 140731550804272 139730051635472 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9522] ppid=9517 vsize=26004064 memory=3688649283964090016 CPUtime=0 cores=0-7 /proc/9519/task/9522/stat : 9522 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395914 26628161536 9784 33554432000 4194304 4196468 140731550804272 139729656215952 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9523] ppid=9517 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/9519/task/9523/stat : 9523 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395914 26628161536 9784 33554432000 4194304 4196468 140731550804272 139729655163408 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9524] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9524/stat : 9524 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 9784 33554432000 4194304 4196468 140731550804272 139729654110864 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9525] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9525/stat : 9525 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 9784 33554432000 4194304 4196468 140731550804272 139729653058320 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9526] ppid=9517 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/9519/task/9526/stat : 9526 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 9784 33554432000 4194304 4196468 140731550804272 139729652005776 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9527] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9527/stat : 9527 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 9784 33554432000 4194304 4196468 140731550804272 139729650953232 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9528] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9528/stat : 9528 (java) S 9517 9517 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 9784 33554432000 4194304 4196468 140731550804272 139729649900688 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9529] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9529/stat : 9529 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395916 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728773961712 139730099026562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9530] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9530/stat : 9530 (java) S 9517 9517 9363 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148395916 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728772907936 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9531] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9531/stat : 9531 (java) S 9517 9517 9363 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148395917 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728771855344 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9532] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9532/stat : 9532 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395919 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728770803920 139730099034011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9533] ppid=9517 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/9519/task/9533/stat : 9533 (java) S 9517 9517 9363 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 20 0 148395919 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728769751536 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9534] ppid=9517 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/9519/task/9534/stat : 9534 (java) S 9517 9517 9363 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 148395919 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728768698992 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9535] ppid=9517 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/9519/task/9535/stat : 9535 (java) S 9517 9517 9363 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 20 0 148395919 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728767646448 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9536] ppid=9517 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/9519/task/9536/stat : 9536 (java) R 9517 9517 9363 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 20 0 148395919 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728766593904 139730077940438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9537] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9537/stat : 9537 (java) S 9517 9517 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148395919 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728765540576 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9538] ppid=9517 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/9519/task/9538/stat : 9538 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395920 26628161536 9784 33554432000 4194304 4196468 140731550804272 139728764488112 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40520 KiB [startup+0.310262 s]* /proc/loadavg: 7.92 8.38 8.35 3/199 9538 /proc/meminfo: memFree=27169396/32770624 swapFree=67108860/67108860 [pid=9517] ppid=9514 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/9517/stat : 9517 (xcsp3-exec) S 9514 9517 9363 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148395913 9740288 346 33554432000 4194304 5098028 140727440785984 140727440784088 140296299721340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26693632 140727440794724 140727440794935 140727440794935 140727440797675 0 /proc/9517/statm: 2378 346 289 221 0 87 0 [pid=9519] ppid=9517 vsize=26004064 memory=47432 CPUtime=0.52 cores=0-7 /proc/9519/stat : 9519 (java) S 9517 9517 9363 0 -1 1077944320 9519 0 0 0 48 4 0 0 20 0 20 0 148395913 26628161536 11858 33554432000 4194304 4196468 140731550804272 140731550786816 139730099015415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 /proc/9519/statm: 6501016 11858 3112 1 0 6488269 0 [pid=9519/tid=9520] ppid=9517 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9519/task/9520/stat : 9520 (java) R 9517 9517 9363 0 -1 4202560 6078 0 0 0 27 2 0 0 20 0 20 0 148395914 26628161536 11858 33554432000 4194304 4196468 140731550804272 139730103252288 139730099027350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9521] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9521/stat : 9521 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395914 26628161536 11858 33554432000 4194304 4196468 140731550804272 139730051635472 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9522] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9522/stat : 9522 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395914 26628161536 11858 33554432000 4194304 4196468 140731550804272 139729656215952 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9523] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9523/stat : 9523 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395914 26628161536 11858 33554432000 4194304 4196468 140731550804272 139729655163408 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9524] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9524/stat : 9524 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 11858 33554432000 4194304 4196468 140731550804272 139729654110864 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9525] ppid=9517 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/9519/task/9525/stat : 9525 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 11858 33554432000 4194304 4196468 140731550804272 139729653058320 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9526] ppid=9517 vsize=26004064 memory=140500325725103 CPUtime=0 cores=0-7 /proc/9519/task/9526/stat : 9526 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 11858 33554432000 4194304 4196468 140731550804272 139729652005776 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9527] ppid=9517 vsize=26004064 memory=140500325727408 CPUtime=0 cores=0-7 /proc/9519/task/9527/stat : 9527 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 11858 33554432000 4194304 4196468 140731550804272 139729650953232 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9528] ppid=9517 vsize=26004064 memory=3472464398506898912 CPUtime=0 cores=0-7 /proc/9519/task/9528/stat : 9528 (java) S 9517 9517 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148395915 26628161536 11858 33554432000 4194304 4196468 140731550804272 139729649900688 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9529] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9529/stat : 9529 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395916 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728773961712 139730099026562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9530] ppid=9517 vsize=26004064 memory=281000651466384 CPUtime=0 cores=0-7 /proc/9519/task/9530/stat : 9530 (java) S 9517 9517 9363 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148395916 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728772907936 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9531] ppid=9517 vsize=26004064 memory=281000651473296 CPUtime=0 cores=0-7 /proc/9519/task/9531/stat : 9531 (java) S 9517 9517 9363 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148395917 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728771855344 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9532] ppid=9517 vsize=26004064 memory=281000651414448 CPUtime=0 cores=0-7 /proc/9519/task/9532/stat : 9532 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395919 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728770803920 139730099034011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9533] ppid=9517 vsize=26004064 memory=281000651487120 CPUtime=0.03 cores=0-7 /proc/9519/task/9533/stat : 9533 (java) R 9517 9517 9363 0 -1 4202560 680 0 0 0 3 0 0 0 20 0 20 0 148395919 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728769732552 139730080543479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9534] ppid=9517 vsize=26004064 memory=281000651494032 CPUtime=0.02 cores=0-7 /proc/9519/task/9534/stat : 9534 (java) R 9517 9517 9363 0 -1 4202560 178 0 0 0 2 0 0 0 20 0 20 0 148395919 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728768698992 139730076610320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9535] ppid=9517 vsize=26004064 memory=281000651491728 CPUtime=0.02 cores=0-7 /proc/9519/task/9535/stat : 9535 (java) R 9517 9517 9363 0 -1 4202560 270 0 0 0 2 0 0 0 20 0 20 0 148395919 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728767646448 139730078261699 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9536] ppid=9517 vsize=26004064 memory=281000651507888 CPUtime=0.13 cores=0-7 /proc/9519/task/9536/stat : 9536 (java) R 9517 9517 9363 0 -1 4202560 1010 0 0 0 13 0 0 0 20 0 20 0 148395919 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728766590840 139730077824383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9537] ppid=9517 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9537/stat : 9537 (java) S 9517 9517 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148395919 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728765540576 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9538] ppid=9517 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/9519/task/9538/stat : 9538 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395920 26628161536 11858 33554432000 4194304 4196468 140731550804272 139728764488112 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 48816 KiB [startup+0.700992 s] /proc/loadavg: 7.92 8.38 8.35 6/199 9538 /proc/meminfo: memFree=27126012/32770624 swapFree=67108860/67108860 [pid=9517] ppid=9514 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/9517/stat : 9517 (xcsp3-exec) S 9514 9517 9363 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148395913 9740288 346 33554432000 4194304 5098028 140727440785984 140727440784088 140296299721340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26693632 140727440794724 140727440794935 140727440794935 140727440797675 0 /proc/9517/statm: 2378 346 289 221 0 87 0 [pid=9519] ppid=9517 vsize=26006188 memory=128936 CPUtime=2.06 cores=0-7 /proc/9519/stat : 9519 (java) S 9517 9517 9363 0 -1 1077944320 14674 0 0 0 199 7 0 0 20 0 20 0 148395913 26630336512 32234 33554432000 4194304 4196468 140731550804272 140731550786816 139730099015415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 /proc/9519/statm: 6501547 32234 3213 1 0 6488781 0 [pid=9519/tid=9520] ppid=9517 vsize=26006188 memory=281000651865776 CPUtime=0.66 cores=0-7 /proc/9519/task/9520/stat : 9520 (java) R 9517 9517 9363 0 -1 4202560 6729 0 0 0 63 3 0 0 20 0 20 0 148395914 26630336512 32234 33554432000 4194304 4196468 140731550804272 139730103251232 139729735124661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9521] ppid=9517 vsize=26006188 memory=140500325933936 CPUtime=0 cores=0-7 /proc/9519/task/9521/stat : 9521 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395914 26630336512 32234 33554432000 4194304 4196468 140731550804272 139730051635472 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9522] ppid=9517 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9522/stat : 9522 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148395914 26630336512 32234 33554432000 4194304 4196468 140731550804272 139729656215952 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9523] ppid=9517 vsize=26006188 memory=11108 CPUtime=0 cores=0-7 /proc/9519/task/9523/stat : 9523 (java) S 9517 9517 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148395914 26630336512 32234 33554432000 4194304 4196468 140731550804272 139729655163408 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 ################ # More data... # ################ /proc/meminfo: memFree=21660276/32770624 swapFree=67108860/67108860 [pid=9517] ppid=9514 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/9517/stat : 9517 (xcsp3-exec) S 9514 9517 9363 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148395913 9740288 346 33554432000 4194304 5098028 140727440785984 140727440784088 140296299721340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26693632 140727440794724 140727440794935 140727440794935 140727440797675 0 /proc/9517/statm: 2378 346 289 221 0 87 0 [pid=9519] ppid=9517 vsize=26538700 memory=5547268 CPUtime=19953.3 cores=0-7 /proc/9519/stat : 9519 (java) S 9517 9517 9363 0 -1 1077944320 160498 0 0 0 1995031 303 0 0 20 0 28 0 148395913 27175628800 1386817 33554432000 4194304 4196468 140731550804272 140731550786816 139730099015415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 /proc/9519/statm: 6634675 1386817 3302 1 0 6621909 0 [pid=9519/tid=9520] ppid=9517 vsize=26538700 memory=5547268 CPUtime=1.21 cores=0-7 /proc/9519/task/9520/stat : 9520 (java) S 9517 9517 9363 0 -1 1077944384 6841 0 0 0 117 4 0 0 20 0 28 0 148395914 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139730103256192 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9521] ppid=9517 vsize=26538700 memory=121 CPUtime=0.68 cores=0-7 /proc/9519/task/9521/stat : 9521 (java) S 9517 9517 9363 0 -1 1077944384 2602 0 0 0 57 11 0 0 20 0 28 0 148395914 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139730051635472 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9522] ppid=9517 vsize=26538700 memory=1384 CPUtime=0.7 cores=0-7 /proc/9519/task/9522/stat : 9522 (java) S 9517 9517 9363 0 -1 1077944384 1723 0 0 0 60 10 0 0 20 0 28 0 148395914 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729656215952 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9523] ppid=9517 vsize=26538700 memory=2408 CPUtime=0.75 cores=0-7 /proc/9519/task/9523/stat : 9523 (java) S 9517 9517 9363 0 -1 1077944384 1033 0 0 0 64 11 0 0 20 0 28 0 148395914 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729655163408 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9524] ppid=9517 vsize=26538700 memory=1728 CPUtime=0.73 cores=0-7 /proc/9519/task/9524/stat : 9524 (java) S 9517 9517 9363 0 -1 1077944384 1088 0 0 0 62 11 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729654110864 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9525] ppid=9517 vsize=26538700 memory=5547268 CPUtime=0.72 cores=0-7 /proc/9519/task/9525/stat : 9525 (java) S 9517 9517 9363 0 -1 1077944384 1330 0 0 0 60 12 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729653058320 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9526] ppid=9517 vsize=26538700 memory=4132 CPUtime=0.71 cores=0-7 /proc/9519/task/9526/stat : 9526 (java) S 9517 9517 9363 0 -1 1077944384 1587 0 0 0 60 11 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729652005776 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9527] ppid=9517 vsize=26538700 memory=5547268 CPUtime=0.71 cores=0-7 /proc/9519/task/9527/stat : 9527 (java) S 9517 9517 9363 0 -1 1077944384 762 0 0 0 61 10 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729650953232 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9528] ppid=9517 vsize=26538700 memory=-3967418655009478193 CPUtime=0.7 cores=0-7 /proc/9519/task/9528/stat : 9528 (java) S 9517 9517 9363 0 -1 1077944384 652 0 0 0 59 11 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729649900688 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9529] ppid=9517 vsize=26538700 memory=1384 CPUtime=0.79 cores=0-7 /proc/9519/task/9529/stat : 9529 (java) S 9517 9517 9363 0 -1 1077944384 9509 0 0 0 76 3 0 0 20 0 28 0 148395916 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728773961712 139730099026562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9530] ppid=9517 vsize=26538700 memory=5547268 CPUtime=0 cores=0-7 /proc/9519/task/9530/stat : 9530 (java) S 9517 9517 9363 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 148395916 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728772908000 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9531] ppid=9517 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/9519/task/9531/stat : 9531 (java) S 9517 9517 9363 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 148395917 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728771855360 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9532] ppid=9517 vsize=26538700 memory=6944603652687160673 CPUtime=0 cores=0-7 /proc/9519/task/9532/stat : 9532 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728770803920 139730099034011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9533] ppid=9517 vsize=26538700 memory=1384 CPUtime=1.96 cores=0-7 /proc/9519/task/9533/stat : 9533 (java) S 9517 9517 9363 0 -1 1077944384 13295 0 0 0 194 2 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728769751536 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9534] ppid=9517 vsize=26538700 memory=5547268 CPUtime=2.02 cores=0-7 /proc/9519/task/9534/stat : 9534 (java) S 9517 9517 9363 0 -1 1077944384 9838 0 0 0 200 2 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728768698992 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9535] ppid=9517 vsize=26538700 memory=1384 CPUtime=1.9 cores=0-7 /proc/9519/task/9535/stat : 9535 (java) S 9517 9517 9363 0 -1 1077944384 8749 0 0 0 189 1 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728767646448 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9536] ppid=9517 vsize=26538700 memory=5547268 CPUtime=0.75 cores=0-7 /proc/9519/task/9536/stat : 9536 (java) S 9517 9517 9363 0 -1 1077944384 12483 0 0 0 72 3 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728766593904 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9537] ppid=9517 vsize=26538700 memory=5784 CPUtime=0 cores=0-7 /proc/9519/task/9537/stat : 9537 (java) S 9517 9517 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728765540576 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9538] ppid=9517 vsize=26538700 memory=4132 CPUtime=0.71 cores=0-7 /proc/9519/task/9538/stat : 9538 (java) S 9517 9517 9363 0 -1 1077944384 2851 0 0 0 0 71 0 0 20 0 28 0 148395920 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728764488112 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9547] ppid=9517 vsize=26538700 memory=836 CPUtime=2485.41 cores=0-7 /proc/9519/task/9547/stat : 9547 (java) R 9517 9517 9363 0 -1 4202560 6638 0 0 0 248540 1 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728751213560 139729737943656 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9548] ppid=9517 vsize=26538700 memory=5547268 CPUtime=2497.51 cores=0-7 /proc/9519/task/9548/stat : 9548 (java) R 9517 9517 9363 0 -1 4202560 1677 0 0 0 249749 2 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728749109320 139729737943616 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9549] ppid=9517 vsize=26538700 memory=1384 CPUtime=2497.72 cores=0-7 /proc/9519/task/9549/stat : 9549 (java) R 9517 9517 9363 0 -1 4202560 5700 0 0 0 249770 2 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728753319896 139729738305520 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9550] ppid=9517 vsize=26538700 memory=1384 CPUtime=2472.67 cores=0-7 /proc/9519/task/9550/stat : 9550 (java) R 9517 9517 9363 0 -1 4202560 25569 0 0 0 247208 59 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728750162456 139729738224644 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9551] ppid=9517 vsize=26538700 memory=5547268 CPUtime=2486.75 cores=0-7 /proc/9519/task/9551/stat : 9551 (java) R 9517 9517 9363 0 -1 4202560 24205 0 0 0 248602 73 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728756478408 139729737944246 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9552] ppid=9517 vsize=26538700 memory=1384 CPUtime=2497.84 cores=0-7 /proc/9519/task/9552/stat : 9552 (java) R 9517 9517 9363 0 -1 4202560 1783 0 0 0 249783 1 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728754372944 139729737920032 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9553] ppid=9517 vsize=26538700 memory=5547268 CPUtime=2495.72 cores=0-7 /proc/9519/task/9553/stat : 9553 (java) R 9517 9517 9363 0 -1 4202560 2360 0 0 0 249570 2 0 0 20 0 28 0 148396166 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728755424968 139729737929831 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9554] ppid=9517 vsize=26538700 memory=1384 CPUtime=2497.18 cores=0-7 /proc/9519/task/9554/stat : 9554 (java) R 9517 9517 9363 0 -1 4202560 16405 0 0 0 249670 48 0 0 20 0 28 0 148396166 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728752267416 139729737920170 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 Current children cumulated CPU time: 19953.3 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5548652 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.06 8.31 8.34 9/207 9587 /proc/meminfo: memFree=21660116/32770624 swapFree=67108860/67108860 [pid=9517] ppid=9514 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/9517/stat : 9517 (xcsp3-exec) S 9514 9517 9363 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148395913 9740288 346 33554432000 4194304 5098028 140727440785984 140727440784088 140296299721340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26693632 140727440794724 140727440794935 140727440794935 140727440797675 0 /proc/9517/statm: 2378 346 289 221 0 87 0 [pid=9519] ppid=9517 vsize=26538700 memory=5547268 CPUtime=20094.6 cores=0-7 /proc/9519/stat : 9519 (java) S 9517 9517 9363 0 -1 1077944320 161273 0 0 0 2009159 303 0 0 20 0 28 0 148395913 27175628800 1386817 33554432000 4194304 4196468 140731550804272 140731550786816 139730099015415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 /proc/9519/statm: 6634675 1386817 3302 1 0 6621909 0 [pid=9519/tid=9520] ppid=9517 vsize=26538700 memory=1696 CPUtime=1.21 cores=0-7 /proc/9519/task/9520/stat : 9520 (java) S 9517 9517 9363 0 -1 1077944384 6841 0 0 0 117 4 0 0 20 0 28 0 148395914 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139730103256192 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9521] ppid=9517 vsize=26538700 memory=920 CPUtime=0.68 cores=0-7 /proc/9519/task/9521/stat : 9521 (java) S 9517 9517 9363 0 -1 1077944384 2602 0 0 0 57 11 0 0 20 0 28 0 148395914 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139730051635472 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9522] ppid=9517 vsize=26538700 memory=4872558044660077418 CPUtime=0.7 cores=0-7 /proc/9519/task/9522/stat : 9522 (java) S 9517 9517 9363 0 -1 1077944384 1723 0 0 0 60 10 0 0 20 0 28 0 148395914 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729656215952 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9523] ppid=9517 vsize=26538700 memory=5547268 CPUtime=0.75 cores=0-7 /proc/9519/task/9523/stat : 9523 (java) S 9517 9517 9363 0 -1 1077944384 1033 0 0 0 64 11 0 0 20 0 28 0 148395914 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729655163408 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9524] ppid=9517 vsize=26538700 memory=1384 CPUtime=0.73 cores=0-7 /proc/9519/task/9524/stat : 9524 (java) S 9517 9517 9363 0 -1 1077944384 1088 0 0 0 62 11 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729654110864 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9525] ppid=9517 vsize=26538700 memory=1384 CPUtime=0.72 cores=0-7 /proc/9519/task/9525/stat : 9525 (java) S 9517 9517 9363 0 -1 1077944384 1330 0 0 0 60 12 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729653058320 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9526] ppid=9517 vsize=26538700 memory=5547268 CPUtime=0.71 cores=0-7 /proc/9519/task/9526/stat : 9526 (java) S 9517 9517 9363 0 -1 1077944384 1587 0 0 0 60 11 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729652005776 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9527] ppid=9517 vsize=26538700 memory=8660 CPUtime=0.71 cores=0-7 /proc/9519/task/9527/stat : 9527 (java) S 9517 9517 9363 0 -1 1077944384 762 0 0 0 61 10 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729650953232 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9528] ppid=9517 vsize=26538700 memory=5784 CPUtime=0.7 cores=0-7 /proc/9519/task/9528/stat : 9528 (java) S 9517 9517 9363 0 -1 1077944384 652 0 0 0 59 11 0 0 20 0 28 0 148395915 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139729649900688 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9529] ppid=9517 vsize=26538700 memory=4616 CPUtime=0.79 cores=0-7 /proc/9519/task/9529/stat : 9529 (java) S 9517 9517 9363 0 -1 1077944384 9516 0 0 0 76 3 0 0 20 0 28 0 148395916 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728773961712 139730099026562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9530] ppid=9517 vsize=26538700 memory=1228 CPUtime=0 cores=0-7 /proc/9519/task/9530/stat : 9530 (java) S 9517 9517 9363 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 148395916 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728772908000 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9531] ppid=9517 vsize=26538700 memory=11108 CPUtime=0 cores=0-7 /proc/9519/task/9531/stat : 9531 (java) S 9517 9517 9363 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 148395917 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728771855360 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9532] ppid=9517 vsize=26538700 memory=796 CPUtime=0 cores=0-7 /proc/9519/task/9532/stat : 9532 (java) S 9517 9517 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728770803920 139730099034011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9533] ppid=9517 vsize=26538700 memory=1424 CPUtime=1.96 cores=0-7 /proc/9519/task/9533/stat : 9533 (java) S 9517 9517 9363 0 -1 1077944384 13298 0 0 0 194 2 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728769751536 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9534] ppid=9517 vsize=26538700 memory=15876 CPUtime=2.02 cores=0-7 /proc/9519/task/9534/stat : 9534 (java) S 9517 9517 9363 0 -1 1077944384 9841 0 0 0 200 2 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728768698992 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9535] ppid=9517 vsize=26538700 memory=4052 CPUtime=1.9 cores=0-7 /proc/9519/task/9535/stat : 9535 (java) S 9517 9517 9363 0 -1 1077944384 8757 0 0 0 189 1 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728767646448 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9536] ppid=9517 vsize=26538700 memory=23776 CPUtime=0.75 cores=0-7 /proc/9519/task/9536/stat : 9536 (java) S 9517 9517 9363 0 -1 1077944384 12487 0 0 0 72 3 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728766593904 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9537] ppid=9517 vsize=26538700 memory=18444 CPUtime=0 cores=0-7 /proc/9519/task/9537/stat : 9537 (java) S 9517 9517 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148395919 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728765540576 139730099025621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9538] ppid=9517 vsize=26538700 memory=4132 CPUtime=0.71 cores=0-7 /proc/9519/task/9538/stat : 9538 (java) S 9517 9517 9363 0 -1 1077944384 2875 0 0 0 0 71 0 0 20 0 28 0 148395920 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728764488112 139730099026562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9547] ppid=9517 vsize=26538700 memory=8112282956445269571 CPUtime=2503.11 cores=0-7 /proc/9519/task/9547/stat : 9547 (java) R 9517 9517 9363 0 -1 4202560 6706 0 0 0 250310 1 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728751213560 139729738224814 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9548] ppid=9517 vsize=26538700 memory=288230596050944315 CPUtime=2515.22 cores=0-7 /proc/9519/task/9548/stat : 9548 (java) R 9517 9517 9363 0 -1 4202560 1688 0 0 0 251520 2 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728749109320 139729737943706 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9549] ppid=9517 vsize=26538700 memory=13569292880845068 CPUtime=2515.43 cores=0-7 /proc/9519/task/9549/stat : 9549 (java) R 9517 9517 9363 0 -1 4202560 5796 0 0 0 251541 2 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728753319896 139729738183756 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9550] ppid=9517 vsize=26538700 memory=4616 CPUtime=2490.38 cores=0-7 /proc/9519/task/9550/stat : 9550 (java) R 9517 9517 9363 0 -1 4202560 25756 0 0 0 248979 59 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728750162456 139729733991274 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9551] ppid=9517 vsize=26538700 memory=1228 CPUtime=2504.46 cores=0-7 /proc/9519/task/9551/stat : 9551 (java) R 9517 9517 9363 0 -1 4202560 24331 0 0 0 250373 73 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728756478408 139729737943706 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9552] ppid=9517 vsize=26538700 memory=11108 CPUtime=2515.54 cores=0-7 /proc/9519/task/9552/stat : 9552 (java) R 9517 9517 9363 0 -1 4202560 1797 0 0 0 251553 1 0 0 20 0 28 0 148396165 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728754372944 139729738183769 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9553] ppid=9517 vsize=26538700 memory=796 CPUtime=2513.07 cores=0-7 /proc/9519/task/9553/stat : 9553 (java) R 9517 9517 9363 0 -1 4202560 2391 0 0 0 251305 2 0 0 20 0 28 0 148396166 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728755424968 139729737920055 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 [pid=9519/tid=9554] ppid=9517 vsize=26538700 memory=1424 CPUtime=2514.89 cores=0-7 /proc/9519/task/9554/stat : 9554 (java) R 9517 9517 9363 0 -1 4202560 16598 0 0 0 251440 49 0 0 20 0 28 0 148396166 27175628800 1386817 33554432000 4194304 4196468 140731550804272 139728752267416 139729737943517 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11956224 140731550811282 140731550811459 140731550811459 140731550814159 0 Current children cumulated CPU time: 20094.6 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5548652 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 9517 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001305 s, system=0.000652 s [startup+2520.15 s] # the end of solver process 9519 was just reported to runsolver # cumulated CPU time of all completed processes: user=20092.5 s, system=3.0659 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 [startup+2520.14 s]* /proc/loadavg: 8.06 8.31 8.34 2/180 9589 /proc/meminfo: memFree=27135432/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.001957 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.15 CPU time (s): 20095.5 CPU user time (s): 20092.5 CPU system time (s): 3.0659 CPU usage (%): 797.394 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 5548652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20092.5 system time used= 3.0659 maximum resident set size= 5547988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163490 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= 59871 involuntary context switches= 202095 # summary of solver processes directly reported to runsolver: # pid: 9517,9519 # total CPU time (s): 20095.5 # total CPU user time (s): 20092.5 # total CPU system time (s): 3.0659 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.246 second user time and 25.8428 second system time The end
Begin job on node115 at 2017-08-19 16:17:03 IDJOB=4280306 IDBENCH=133707 IDSOLVER=2675 FILE ID=node115/4280306-1503153083 RUNJOBID= node115-1503152222-9390 PBS_JOBID= 20630812 Free space on /tmp= 61868 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-4280306-1503153083/watcher-4280306-1503153083 -o /tmp/evaluation-result-4280306-1503153083/solver-4280306-1503153083 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503152222-9390 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1018322132 HOME/instance-4280306-1503153083.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 030948c230c0936ebc743af4f555c996 RANDOM SEED=1018322132 node115.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27202272 kB MemAvailable: 31972836 kB Buffers: 242284 kB Cached: 4821132 kB SwapCached: 0 kB Active: 895668 kB Inactive: 4223780 kB Active(anon): 6740 kB Inactive(anon): 85176 kB Active(file): 888928 kB Inactive(file): 4138604 kB Unevictable: 7056 kB Mlocked: 7056 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7680 kB Writeback: 0 kB AnonPages: 73268 kB Mapped: 51188 kB Shmem: 33416 kB Slab: 144332 kB SReclaimable: 117732 kB SUnreclaim: 26600 kB KernelStack: 3520 kB PageTables: 4436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332308 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61860 MiB End job on node115 at 2017-08-19 16:59:04