Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Parallel with EPS 2017-08-22 | SAT (TO) | 31 | 19914.9 | 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.24/0.39 c version: 2017-08-22 0.24/0.39 c seed: 592838492 0.24/0.40 c timeout: 20160 0.24/0.40 c memlimit: 22000 0.24/0.40 c nbcore: 8 0.42/0.42 c Parsing instance... 2.49/1.02 c Parsing done, starting search... 303.81/61.13 o 32 2007.88/274.84 o 31 19914.09/2520.08 s SATISFIABLE 19914.09/2520.09 v <instantiation> 19914.09/2520.09 v <list> 19914.09/2520.09 v 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] 19914.09/2520.09 v </list> 19914.09/2520.09 v <values> 19914.09/2520.09 v 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 19914.09/2520.09 v </values> 19914.09/2520.09 v </instantiation>
OK 31
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 (15438 MiB free)
memory of node 1: 16384 MiB (15725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284716-1503444294/watcher-4284716-1503444294 -o /tmp/evaluation-result-4284716-1503444294/solver-4284716-1503444294 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 592838492 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284716-1503444294.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=7100, runsolver pid=7097
[startup+0.10011 s]*
/proc/loadavg: 8.60 8.73 8.31 2/178 7102
/proc/meminfo: memFree=31907548/32770624 swapFree=67108860/67108860
[pid=7100] ppid=7097 vsize=25300336 memory=16240 CPUtime=0 cores=0-7
/proc/7100/stat : 7100 (java) S 7097 7100 2337 0 -1 1077944320 3385 0 0 0 0 0 0 0 20 0 10 0 2313443 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140737401894592 140531558080247 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
/proc/7100/statm: 6325084 4060 1910 1 0 6314581 0
[pid=7100/tid=7102] ppid=7097 vsize=25300336 memory=140463259189713 CPUtime=0 cores=0-7
/proc/7100/task/7102/stat : 7102 (java) R 7097 7100 2337 0 -1 4202560 2062 0 0 0 0 0 0 0 20 0 10 0 2313452 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140531562316368 140531543762773 0 4 1 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7103] ppid=7097 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7103/stat : 7103 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2313453 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140531469986448 140531558090453 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7104] ppid=7097 vsize=25300336 memory=140463259182720 CPUtime=0 cores=0-7
/proc/7100/task/7104/stat : 7104 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 2313453 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140531468933648 140531558090453 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7105] ppid=7097 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7105/stat : 7105 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2313453 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140531467880848 140531558090453 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7106] ppid=7097 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7106/stat : 7106 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2313453 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140531466828048 140531558090453 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7107] ppid=7097 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7107/stat : 7107 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2313453 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140531465776272 140531558090453 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7108] ppid=7097 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7108/stat : 7108 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2313453 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140531115330576 140531558090453 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7109] ppid=7097 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7109/stat : 7109 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2313453 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140531114277776 140531558090453 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7110] ppid=7097 vsize=25300336 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7110/stat : 7110 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2313453 25907544064 4060 18446744073709551615 4194304 4196468 140737401912048 140531113224976 140531558090453 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25300336 KiB
Current children cumulated memory: 16240 KiB
[startup+0.209579 s]*
/proc/loadavg: 8.00 8.60 8.27 2/196 7120
/proc/meminfo: memFree=31900024/32770624 swapFree=67108860/67108860
[pid=7100] ppid=7097 vsize=25996608 memory=28632 CPUtime=0.07 cores=0-7
/proc/7100/stat : 7100 (java) S 7097 7100 2337 0 -1 1077944320 6494 0 0 0 6 1 0 0 20 0 20 0 2313443 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140737401894592 140531558080247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
/proc/7100/statm: 6499152 7158 3328 1 0 6487930 0
[pid=7100/tid=7102] ppid=7097 vsize=25996608 memory=32213995742560408 CPUtime=0.06 cores=0-7
/proc/7100/task/7102/stat : 7102 (java) R 7097 7100 2337 0 -1 4202560 4558 0 0 0 5 1 0 0 20 0 20 0 2313452 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140531562309992 140531558102173 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7103] ppid=7097 vsize=25996608 memory=288230583199608117 CPUtime=0 cores=0-7
/proc/7100/task/7103/stat : 7103 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140531469986448 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7104] ppid=7097 vsize=25996608 memory=140463259215363 CPUtime=0 cores=0-7
/proc/7100/task/7104/stat : 7104 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140531468933648 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7105] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7105/stat : 7105 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140531467880848 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7106] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7106/stat : 7106 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140531466828048 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7107] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7107/stat : 7107 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140531465776272 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7108] ppid=7097 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/7100/task/7108/stat : 7108 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140531115330576 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7109] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7109/stat : 7109 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140531114277776 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7110] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7110/stat : 7110 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140531113224976 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7111] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7111/stat : 7111 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313454 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530824399216 140531558091394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7112] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7112/stat : 7112 (java) S 7097 7100 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2313455 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530823345184 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7113] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7113/stat : 7113 (java) S 7097 7100 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2313455 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530822292336 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7114] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7114/stat : 7114 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530821240656 140531558098843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7115] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7115/stat : 7115 (java) S 7097 7100 2337 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530820189040 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7116] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7116/stat : 7116 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530819136240 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7117] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7117/stat : 7117 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530818083440 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7118] ppid=7097 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/7100/task/7118/stat : 7118 (java) S 7097 7100 2337 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530817030640 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7119] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7119/stat : 7119 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530815978080 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7120] ppid=7097 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/7100/task/7120/stat : 7120 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313463 26620526592 7158 18446744073709551615 4194304 4196468 140737401912048 140530814925360 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 25996608 KiB
Current children cumulated memory: 28632 KiB
[startup+0.309351 s]*
/proc/loadavg: 8.00 8.60 8.27 2/196 7120
/proc/meminfo: memFree=31887744/32770624 swapFree=67108860/67108860
[pid=7100] ppid=7097 vsize=25996608 memory=39036 CPUtime=0.24 cores=0-7
/proc/7100/stat : 7100 (java) S 7097 7100 2337 0 -1 1077944320 9999 0 0 0 21 3 0 0 20 0 20 0 2313443 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140737401894592 140531558080247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
/proc/7100/statm: 6499152 9759 3521 1 0 6487930 0
[pid=7100/tid=7102] ppid=7097 vsize=25996608 memory=7680170660397595203 CPUtime=0.16 cores=0-7
/proc/7100/task/7102/stat : 7102 (java) R 7097 7100 2337 0 -1 4202560 7695 0 0 0 14 2 0 0 20 0 20 0 2313452 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140531562305232 140531542160734 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7103] ppid=7097 vsize=25996608 memory=-3252517613198930781 CPUtime=0 cores=0-7
/proc/7100/task/7103/stat : 7103 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140531469986448 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7104] ppid=7097 vsize=25996608 memory=4137548663497135221 CPUtime=0 cores=0-7
/proc/7100/task/7104/stat : 7104 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140531468933648 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7105] ppid=7097 vsize=25996608 memory=7684433391216329786 CPUtime=0 cores=0-7
/proc/7100/task/7105/stat : 7105 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140531467880848 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7106] ppid=7097 vsize=25996608 memory=-7385037593950845031 CPUtime=0 cores=0-7
/proc/7100/task/7106/stat : 7106 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140531466828048 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7107] ppid=7097 vsize=25996608 memory=8514701219781834910 CPUtime=0 cores=0-7
/proc/7100/task/7107/stat : 7107 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140531465776272 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7108] ppid=7097 vsize=25996608 memory=7391413433648273289 CPUtime=0 cores=0-7
/proc/7100/task/7108/stat : 7108 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140531115330576 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7109] ppid=7097 vsize=25996608 memory=7681649517364344339 CPUtime=0 cores=0-7
/proc/7100/task/7109/stat : 7109 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140531114277776 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7110] ppid=7097 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/7100/task/7110/stat : 7110 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313453 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140531113224976 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7111] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7111/stat : 7111 (java) S 7097 7100 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2313454 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530824399216 140531558091394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7112] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7112/stat : 7112 (java) S 7097 7100 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2313455 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530823345184 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7113] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7113/stat : 7113 (java) S 7097 7100 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2313455 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530822292336 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7114] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7114/stat : 7114 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530821240656 140531558098843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7115] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7115/stat : 7115 (java) S 7097 7100 2337 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530820189040 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7116] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7116/stat : 7116 (java) S 7097 7100 2337 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530819136240 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7117] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7117/stat : 7117 (java) S 7097 7100 2337 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530818083440 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7118] ppid=7097 vsize=25996608 memory=0 CPUtime=0.04 cores=0-7
/proc/7100/task/7118/stat : 7118 (java) S 7097 7100 2337 0 -1 1077944384 398 0 0 0 4 0 0 0 20 0 20 0 2313457 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530817030640 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7119] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7119/stat : 7119 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2313457 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530815978080 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7120] ppid=7097 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7120/stat : 7120 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313463 26620526592 9759 18446744073709551615 4194304 4196468 140737401912048 140530814925360 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 25996608 KiB
Current children cumulated memory: 39036 KiB
[startup+0.700837 s]
/proc/loadavg: 8.00 8.60 8.27 2/196 7120
/proc/meminfo: memFree=31876080/32770624 swapFree=67108860/67108860
[pid=7100] ppid=7097 vsize=25998676 memory=76480 CPUtime=1.17 cores=0-7
/proc/7100/stat : 7100 (java) S 7097 7100 2337 0 -1 1077944320 14823 0 0 0 111 6 0 0 20 0 20 0 2313443 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140737401894592 140531558080247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
/proc/7100/statm: 6499669 19120 3743 1 0 6488442 0
[pid=7100/tid=7102] ppid=7097 vsize=25998676 memory=6560 CPUtime=0.54 cores=0-7
/proc/7100/task/7102/stat : 7102 (java) R 7097 7100 2337 0 -1 4202560 10002 0 0 0 50 4 0 0 20 0 20 0 2313452 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140531562314928 140531558092182 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7103] ppid=7097 vsize=25998676 memory=1292 CPUtime=0 cores=0-7
/proc/7100/task/7103/stat : 7103 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140531469986448 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7104] ppid=7097 vsize=25998676 memory=164 CPUtime=0 cores=0-7
/proc/7100/task/7104/stat : 7104 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2313453 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140531468933648 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7105] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7105/stat : 7105 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313453 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140531467880848 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7106] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7106/stat : 7106 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313453 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140531466828048 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7107] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7107/stat : 7107 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140531465776272 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7108] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7108/stat : 7108 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140531115330576 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7109] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7109/stat : 7109 (java) S 7097 7100 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2313453 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140531114277776 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7110] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7110/stat : 7110 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313453 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140531113224976 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7111] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7111/stat : 7111 (java) S 7097 7100 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 2313454 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530824399216 140531558091394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7112] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7112/stat : 7112 (java) S 7097 7100 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2313455 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530823345184 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7113] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7113/stat : 7113 (java) S 7097 7100 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2313455 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530822292336 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7114] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7114/stat : 7114 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313457 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530821240656 140531558098843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7115] ppid=7097 vsize=25998676 memory=0 CPUtime=0.12 cores=0-7
/proc/7100/task/7115/stat : 7115 (java) R 7097 7100 2337 0 -1 4202560 963 0 0 0 12 0 0 0 20 0 20 0 2313457 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530820189040 140531544104162 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7116] ppid=7097 vsize=25998676 memory=0 CPUtime=0.13 cores=0-7
/proc/7100/task/7116/stat : 7116 (java) R 7097 7100 2337 0 -1 4202560 584 0 0 0 13 0 0 0 20 0 20 0 2313457 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530819136240 140531558101594 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7117] ppid=7097 vsize=25998676 memory=0 CPUtime=0.13 cores=0-7
/proc/7100/task/7117/stat : 7117 (java) R 7097 7100 2337 0 -1 4202560 884 0 0 0 13 0 0 0 20 0 20 0 2313457 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530818071024 140531537318731 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7118] ppid=7097 vsize=25998676 memory=0 CPUtime=0.21 cores=0-7
/proc/7100/task/7118/stat : 7118 (java) R 7097 7100 2337 0 -1 4202560 1004 0 0 0 21 0 0 0 20 0 20 0 2313457 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530817026368 140531537444706 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7119] ppid=7097 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/7100/task/7119/stat : 7119 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2313457 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530815978080 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7120] ppid=7097 vsize=25998676 memory=55 CPUtime=0 cores=0-7
/proc/7100/task/7120/stat : 7120 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2313463 26622644224 19120 18446744073709551615 4194304 4196468 140737401912048 140530814925360 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 25998676 KiB
################
# More data... #
################
/proc/7100/task/7114/stat : 7114 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530821240656 140531558098843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7115] ppid=7097 vsize=27340232 memory=5745464 CPUtime=1.53 cores=0-7
/proc/7100/task/7115/stat : 7115 (java) S 7097 7100 2337 0 -1 1077944384 10116 0 0 0 151 2 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530820189040 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7116] ppid=7097 vsize=27340232 memory=5797792 CPUtime=1.52 cores=0-7
/proc/7100/task/7116/stat : 7116 (java) S 7097 7100 2337 0 -1 1077944384 12515 0 0 0 149 3 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530819136240 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7117] ppid=7097 vsize=27340232 memory=5769576 CPUtime=1.58 cores=0-7
/proc/7100/task/7117/stat : 7117 (java) S 7097 7100 2337 0 -1 1077944384 12485 0 0 0 156 2 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530818083440 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7118] ppid=7097 vsize=27340232 memory=246304 CPUtime=1.04 cores=0-7
/proc/7100/task/7118/stat : 7118 (java) S 7097 7100 2337 0 -1 1077944384 19502 0 0 0 101 3 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530817030640 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7119] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0 cores=0-7
/proc/7100/task/7119/stat : 7119 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530815978080 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7120] ppid=7097 vsize=27340232 memory=0 CPUtime=0.96 cores=0-7
/proc/7100/task/7120/stat : 7120 (java) R 7097 7100 2337 0 -1 1077944384 2489 0 0 0 29 67 0 0 20 0 40 0 2313463 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530814925360 140531558091394 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7121] ppid=7097 vsize=27340232 memory=280926296066336 CPUtime=0 cores=0-7
/proc/7100/task/7121/stat : 7121 (java) S 7097 7100 2337 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 40 0 2316091 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530804634240 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7122] ppid=7097 vsize=27340232 memory=7446544102644804202 CPUtime=5.06 cores=0-7
/proc/7100/task/7122/stat : 7122 (java) S 7097 7100 2337 0 -1 1077944384 8527 0 0 0 152 354 0 0 20 0 40 0 2316102 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530801484576 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7123] ppid=7097 vsize=27340232 memory=5745464 CPUtime=2455.5 cores=0-7
/proc/7100/task/7123/stat : 7123 (java) R 7097 7100 2337 0 -1 4202560 38658 0 0 0 245504 46 0 0 20 0 40 0 2316112 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530800426328 140531149063700 0 4 1 16800974 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7124] ppid=7097 vsize=27340232 memory=648 CPUtime=0.4 cores=0-7
/proc/7100/task/7124/stat : 7124 (java) S 7097 7100 2337 0 -1 1077944384 111 0 0 0 40 0 0 0 20 0 40 0 2316113 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530799379888 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7125] ppid=7097 vsize=27340232 memory=956 CPUtime=2472.41 cores=0-7
/proc/7100/task/7125/stat : 7125 (java) R 7097 7100 2337 0 -1 4202560 39077 0 0 0 247188 53 0 0 20 0 40 0 2316113 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530796224360 140531152157135 0 4 1 16800974 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7126] ppid=7097 vsize=27340232 memory=1236 CPUtime=2471.2 cores=0-7
/proc/7100/task/7126/stat : 7126 (java) R 7097 7100 2337 0 -1 4202560 31984 0 0 0 247017 103 0 0 20 0 40 0 2316115 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530795171288 140531153878547 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7127] ppid=7097 vsize=27340232 memory=5769576 CPUtime=0.42 cores=0-7
/proc/7100/task/7127/stat : 7127 (java) S 7097 7100 2337 0 -1 1077944384 111 0 0 0 42 0 0 0 20 0 40 0 2316115 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530794124336 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7128] ppid=7097 vsize=27340232 memory=4120 CPUtime=2472.4 cores=0-7
/proc/7100/task/7128/stat : 7128 (java) R 7097 7100 2337 0 -1 4202560 41277 0 0 0 247176 64 0 0 20 0 40 0 2316115 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530725932248 140531153878882 0 4 1 16800974 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7129] ppid=7097 vsize=27340232 memory=6620 CPUtime=0.44 cores=0-7
/proc/7100/task/7129/stat : 7129 (java) S 7097 7100 2337 0 -1 1077944384 82 0 0 0 44 0 0 0 20 0 40 0 2316116 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530724885296 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7130] ppid=7097 vsize=27340232 memory=5745464 CPUtime=2472.44 cores=0-7
/proc/7100/task/7130/stat : 7130 (java) R 7097 7100 2337 0 -1 4202560 88645 0 0 0 247163 81 0 0 20 0 40 0 2316116 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530723826328 140531153878685 0 4 1 16800974 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7131] ppid=7097 vsize=27340232 memory=7680170660397595203 CPUtime=2454.37 cores=0-7
/proc/7100/task/7131/stat : 7131 (java) R 7097 7100 2337 0 -1 4202560 30294 0 0 0 245389 48 0 0 20 0 40 0 2316116 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530722774896 140531146503130 0 4 1 16800974 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7132] ppid=7097 vsize=27340232 memory=4120 CPUtime=0 cores=0-7
/proc/7100/task/7132/stat : 7132 (java) S 7097 7100 2337 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 40 0 2316116 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530721727920 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7133] ppid=7097 vsize=27340232 memory=6620 CPUtime=2461.42 cores=0-7
/proc/7100/task/7133/stat : 7133 (java) R 7097 7100 2337 0 -1 4202560 66200 0 0 0 245994 148 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530720669272 140531147603273 0 4 1 16800974 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7134] ppid=7097 vsize=27340232 memory=5745464 CPUtime=2460.38 cores=0-7
/proc/7100/task/7134/stat : 7134 (java) R 7097 7100 2337 0 -1 4202560 69377 0 0 0 245889 149 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530719618992 140531151913904 0 4 1 16800974 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7135] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0 cores=0-7
/proc/7100/task/7135/stat : 7135 (java) S 7097 7100 2337 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530717520944 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7136] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0 cores=0-7
/proc/7100/task/7136/stat : 7136 (java) S 7097 7100 2337 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530714334128 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7137] ppid=7097 vsize=27340232 memory=5769576 CPUtime=0 cores=0-7
/proc/7100/task/7137/stat : 7137 (java) S 7097 7100 2337 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530713281328 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7138] ppid=7097 vsize=27340232 memory=4120 CPUtime=0 cores=0-7
/proc/7100/task/7138/stat : 7138 (java) S 7097 7100 2337 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530712228528 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7140] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0 cores=0-7
/proc/7100/task/7140/stat : 7140 (java) S 7097 7100 2337 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 40 0 2319557 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530711176752 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7144] ppid=7097 vsize=27340232 memory=588898638029088539 CPUtime=0 cores=0-7
/proc/7100/task/7144/stat : 7144 (java) S 7097 7100 2337 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 40 0 2340928 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530710123952 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
Current children cumulated CPU time: 19772.9 s
Current children cumulated vsize: 27340232 KiB
Current children cumulated memory: 5745464 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.51 8.60 8.61 9/213 7240
/proc/meminfo: memFree=26174388/32770624 swapFree=67108860/67108860
[pid=7100] ppid=7097 vsize=27340232 memory=5745464 CPUtime=19914.1 cores=0-7
/proc/7100/stat : 7100 (java) S 7097 7100 2337 0 -1 1077944320 687357 0 0 0 1990455 954 0 0 20 0 40 0 2313443 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140737401894592 140531558080247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
/proc/7100/statm: 6835058 1436366 3841 1 0 6823310 0
[pid=7100/tid=7102] ppid=7097 vsize=27340232 memory=7680170660397595203 CPUtime=26.33 cores=0-7
/proc/7100/task/7102/stat : 7102 (java) S 7097 7100 2337 0 -1 1077944384 20570 0 0 0 2609 24 0 0 20 0 40 0 2313452 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140531562317952 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7103] ppid=7097 vsize=27340232 memory=4195447490462202311 CPUtime=1.61 cores=0-7
/proc/7100/task/7103/stat : 7103 (java) S 7097 7100 2337 0 -1 1077944384 22219 0 0 0 134 27 0 0 20 0 40 0 2313453 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140531469986448 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7104] ppid=7097 vsize=27340232 memory=4120 CPUtime=1.61 cores=0-7
/proc/7100/task/7104/stat : 7104 (java) S 7097 7100 2337 0 -1 1077944384 19550 0 0 0 135 26 0 0 20 0 40 0 2313453 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140531468933648 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7105] ppid=7097 vsize=27340232 memory=6620 CPUtime=1.62 cores=0-7
/proc/7100/task/7105/stat : 7105 (java) S 7097 7100 2337 0 -1 1077944384 23845 0 0 0 135 27 0 0 20 0 40 0 2313453 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140531467880848 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7106] ppid=7097 vsize=27340232 memory=1292 CPUtime=1.62 cores=0-7
/proc/7100/task/7106/stat : 7106 (java) S 7097 7100 2337 0 -1 1077944384 19900 0 0 0 137 25 0 0 20 0 40 0 2313453 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140531466828048 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7107] ppid=7097 vsize=27340232 memory=2408 CPUtime=1.61 cores=0-7
/proc/7100/task/7107/stat : 7107 (java) S 7097 7100 2337 0 -1 1077944384 19424 0 0 0 136 25 0 0 20 0 40 0 2313453 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140531465776272 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7108] ppid=7097 vsize=27340232 memory=1728 CPUtime=1.6 cores=0-7
/proc/7100/task/7108/stat : 7108 (java) S 7097 7100 2337 0 -1 1077944384 25341 0 0 0 133 27 0 0 20 0 40 0 2313453 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140531115330576 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7109] ppid=7097 vsize=27340232 memory=1696 CPUtime=1.62 cores=0-7
/proc/7100/task/7109/stat : 7109 (java) S 7097 7100 2337 0 -1 1077944384 22463 0 0 0 135 27 0 0 20 0 40 0 2313453 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140531114277776 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7110] ppid=7097 vsize=27340232 memory=5745464 CPUtime=1.6 cores=0-7
/proc/7100/task/7110/stat : 7110 (java) S 7097 7100 2337 0 -1 1077944384 20254 0 0 0 134 26 0 0 20 0 40 0 2313453 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140531113224976 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7111] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0.37 cores=0-7
/proc/7100/task/7111/stat : 7111 (java) S 7097 7100 2337 0 -1 1077944384 18569 0 0 0 34 3 0 0 20 0 40 0 2313454 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530824399216 140531558091394 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7112] ppid=7097 vsize=27340232 memory=1584 CPUtime=0 cores=0-7
/proc/7100/task/7112/stat : 7112 (java) S 7097 7100 2337 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 40 0 2313455 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530823345248 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7113] ppid=7097 vsize=27340232 memory=2168 CPUtime=0 cores=0-7
/proc/7100/task/7113/stat : 7113 (java) S 7097 7100 2337 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 40 0 2313455 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530822292352 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7114] ppid=7097 vsize=27340232 memory=840 CPUtime=0 cores=0-7
/proc/7100/task/7114/stat : 7114 (java) S 7097 7100 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530821240656 140531558098843 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7115] ppid=7097 vsize=27340232 memory=5820 CPUtime=1.53 cores=0-7
/proc/7100/task/7115/stat : 7115 (java) S 7097 7100 2337 0 -1 1077944384 10116 0 0 0 151 2 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530820189040 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7116] ppid=7097 vsize=27340232 memory=4068 CPUtime=1.52 cores=0-7
/proc/7100/task/7116/stat : 7116 (java) S 7097 7100 2337 0 -1 1077944384 12515 0 0 0 149 3 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530819136240 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7117] ppid=7097 vsize=27340232 memory=1156 CPUtime=1.58 cores=0-7
/proc/7100/task/7117/stat : 7117 (java) S 7097 7100 2337 0 -1 1077944384 12485 0 0 0 156 2 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530818083440 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7118] ppid=7097 vsize=27340232 memory=4256 CPUtime=1.04 cores=0-7
/proc/7100/task/7118/stat : 7118 (java) S 7097 7100 2337 0 -1 1077944384 19502 0 0 0 101 3 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530817030640 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7119] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0 cores=0-7
/proc/7100/task/7119/stat : 7119 (java) S 7097 7100 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 2313457 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530815978080 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7120] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0.99 cores=0-7
/proc/7100/task/7120/stat : 7120 (java) S 7097 7100 2337 0 -1 1077944384 2491 0 0 0 32 67 0 0 20 0 40 0 2313463 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530814925360 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7121] ppid=7097 vsize=27340232 memory=7738986535942908007 CPUtime=0 cores=0-7
/proc/7100/task/7121/stat : 7121 (java) S 7097 7100 2337 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 40 0 2316091 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530804634240 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7122] ppid=7097 vsize=27340232 memory=7738986535942908007 CPUtime=5.12 cores=0-7
/proc/7100/task/7122/stat : 7122 (java) S 7097 7100 2337 0 -1 1077944384 8596 0 0 0 152 360 0 0 20 0 40 0 2316102 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530801484576 140531558091394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7123] ppid=7097 vsize=27340232 memory=5745464 CPUtime=2472.8 cores=0-7
/proc/7100/task/7123/stat : 7123 (java) R 7097 7100 2337 0 -1 4202560 38726 0 0 0 247234 46 0 0 20 0 40 0 2316112 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530800426328 140531146503119 0 4 1 16800974 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7124] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0.4 cores=0-7
/proc/7100/task/7124/stat : 7124 (java) S 7097 7100 2337 0 -1 1077944384 111 0 0 0 40 0 0 0 20 0 40 0 2316113 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530799379888 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7125] ppid=7097 vsize=27340232 memory=1792 CPUtime=2490.1 cores=0-7
/proc/7100/task/7125/stat : 7125 (java) R 7097 7100 2337 0 -1 4202560 39169 0 0 0 248957 53 0 0 20 0 40 0 2316113 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530796224088 140531152322695 0 4 1 16800974 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7126] ppid=7097 vsize=27340232 memory=648 CPUtime=2488.9 cores=0-7
/proc/7100/task/7126/stat : 7126 (java) R 7097 7100 2337 0 -1 4202560 32102 0 0 0 248787 103 0 0 20 0 40 0 2316115 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530795171312 140531153879681 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7127] ppid=7097 vsize=27340232 memory=956 CPUtime=0.42 cores=0-7
/proc/7100/task/7127/stat : 7127 (java) S 7097 7100 2337 0 -1 1077944384 111 0 0 0 42 0 0 0 20 0 40 0 2316115 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530794124336 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7128] ppid=7097 vsize=27340232 memory=1236 CPUtime=2490.1 cores=0-7
/proc/7100/task/7128/stat : 7128 (java) R 7097 7100 2337 0 -1 4202560 41314 0 0 0 248946 64 0 0 20 0 40 0 2316115 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530725931472 140531153878864 0 4 1 16800974 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7129] ppid=7097 vsize=27340232 memory=2244 CPUtime=0.44 cores=0-7
/proc/7100/task/7129/stat : 7129 (java) S 7097 7100 2337 0 -1 1077944384 82 0 0 0 44 0 0 0 20 0 40 0 2316116 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530724885296 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7130] ppid=7097 vsize=27340232 memory=4300 CPUtime=2490.14 cores=0-7
/proc/7100/task/7130/stat : 7130 (java) R 7097 7100 2337 0 -1 4202560 88707 0 0 0 248933 81 0 0 20 0 40 0 2316116 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530723826192 140531153878552 0 4 1 16800974 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7131] ppid=7097 vsize=27340232 memory=928 CPUtime=2472.06 cores=0-7
/proc/7100/task/7131/stat : 7131 (java) R 7097 7100 2337 0 -1 4202560 30624 0 0 0 247158 48 0 0 20 0 40 0 2316116 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530722777456 140531153879937 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7132] ppid=7097 vsize=27340232 memory=1584 CPUtime=0 cores=0-7
/proc/7100/task/7132/stat : 7132 (java) S 7097 7100 2337 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 40 0 2316116 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530721727920 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7133] ppid=7097 vsize=27340232 memory=2168 CPUtime=2479.12 cores=0-7
/proc/7100/task/7133/stat : 7133 (java) R 7097 7100 2337 0 -1 4202560 66504 0 0 0 247763 149 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530720669136 140531153878895 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7134] ppid=7097 vsize=27340232 memory=840 CPUtime=2478.05 cores=0-7
/proc/7100/task/7134/stat : 7134 (java) R 7097 7100 2337 0 -1 4202560 69606 0 0 0 247655 150 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530719615960 140531147603702 0 4 1 16800974 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7135] ppid=7097 vsize=27340232 memory=5820 CPUtime=0 cores=0-7
/proc/7100/task/7135/stat : 7135 (java) S 7097 7100 2337 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530717520944 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7136] ppid=7097 vsize=27340232 memory=4068 CPUtime=0 cores=0-7
/proc/7100/task/7136/stat : 7136 (java) S 7097 7100 2337 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530714334128 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7137] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0 cores=0-7
/proc/7100/task/7137/stat : 7137 (java) S 7097 7100 2337 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530713281328 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7138] ppid=7097 vsize=27340232 memory=4256 CPUtime=0 cores=0-7
/proc/7100/task/7138/stat : 7138 (java) S 7097 7100 2337 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 40 0 2316309 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530712228528 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7140] ppid=7097 vsize=27340232 memory=5745464 CPUtime=0 cores=0-7
/proc/7100/task/7140/stat : 7140 (java) S 7097 7100 2337 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 40 0 2319557 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530711176752 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
[pid=7100/tid=7144] ppid=7097 vsize=27340232 memory=7680170660397595203 CPUtime=0 cores=0-7
/proc/7100/task/7144/stat : 7144 (java) S 7097 7100 2337 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 40 0 2340928 27996397568 1436366 18446744073709551615 4194304 4196468 140737401912048 140530710123952 140531558090453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14200832 140737401913711 140737401913896 140737401913896 140737401917391 0
Current children cumulated CPU time: 19914.1 s
Current children cumulated vsize: 27340232 KiB
Current children cumulated memory: 5745464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.15 s]
# the end of solver process 7100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19905.3 s, system=9.58939 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.15
CPU time (s): 19914.9
CPU user time (s): 19905.3
CPU system time (s): 9.58939
CPU usage (%): 790.228
Max. virtual memory (cumulated for all children) (KiB): 27340232
Max. memory (cumulated for all children) (KiB): 6266164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19905.3
system time used= 9.58939
maximum resident set size= 6266164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 689242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 297517
involuntary context switches= 409500
# summary of solver processes directly reported to runsolver:
# pid: 7100
# total CPU time (s): 19914.9
# total CPU user time (s): 19905.3
# total CPU system time (s): 9.58939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7416 second user time and 34.1682 second system time
The end
Begin job on node129 at 2017-08-23 01:10:58 IDJOB=4284716 IDBENCH=133707 IDSOLVER=2681 FILE ID=node129/4284716-1503444294 RUNJOBID= node129-1503420419-2425 PBS_JOBID= Free space on /tmp= 62016 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-c1a.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284716-1503444294/watcher-4284716-1503444294 -o /tmp/evaluation-result-4284716-1503444294/solver-4284716-1503444294 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 592838492 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284716-1503444294.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 030948c230c0936ebc743af4f555c996 RANDOM SEED=592838492 node129.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.53 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.53 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.53 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.53 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: 31913604 kB MemAvailable: 32026256 kB Buffers: 95556 kB Cached: 301044 kB SwapCached: 0 kB Active: 252172 kB Inactive: 201040 kB Active(anon): 56916 kB Inactive(anon): 8556 kB Active(file): 195256 kB Inactive(file): 192484 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42380 kB Writeback: 0 kB AnonPages: 56176 kB Mapped: 29212 kB Shmem: 8868 kB Slab: 105116 kB SReclaimable: 81492 kB SUnreclaim: 23624 kB KernelStack: 3200 kB PageTables: 5404 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 284540 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 61972 MiB End job on node129 at 2017-08-23 01:52:58