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-07-26 | SAT (TO) | 31 | 19921.5 | 2520.1699 |
| 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.29/0.26 c version: 2017-07-26 0.29/0.26 c seed: 1560457423 0.29/0.26 c timeout: 20160 0.29/0.26 c memlimit: 11000 0.29/0.26 c nbcore: 8 0.29/0.28 c Parsing instance... 2.12/0.89 c Parsing done, starting search... 313.84/61.15 o 32 1810.32/249.13 o 31 19920.33/2520.08 s SATISFIABLE 19920.33/2520.11 v <instantiation> 19920.33/2520.11 v <list> 19920.33/2520.11 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] 19921.27/2520.13 v </list> 19921.27/2520.13 v <values> 19921.27/2520.13 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 19921.27/2520.13 v </values> 19921.27/2520.13 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 (13289 MiB free)
memory of node 1: 16384 MiB (13788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274906-1502762208/watcher-4274906-1502762208 -o /tmp/evaluation-result-4274906-1502762208/solver-4274906-1502762208 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502753606-9050 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1560457423 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274906-1502762208.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11376, runsolver pid=11373
Current StackSize limit: 8192 KiB
[startup+0.101037 s]*
/proc/loadavg: 7.80 8.48 8.61 1/200 11396
/proc/meminfo: memFree=27710160/32770624 swapFree=67108860/67108860
[pid=11376] ppid=11373 vsize=14325320 memory=33248 CPUtime=0.13 cores=0-7
/proc/11376/stat : 11376 (java) S 11373 11376 9023 0 -1 1077944320 8177 0 0 0 10 3 0 0 20 0 20 0 109301674 14669127680 8312 33554432000 4194304 4196468 140725290852528 140725290835072 139653310140151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
/proc/11376/statm: 3581330 8312 3405 1 0 3569050 0
[pid=11376/tid=11378] ppid=11373 vsize=14325320 memory=7896387329779998622 CPUtime=0.09 cores=0-7
/proc/11376/task/11378/stat : 11378 (java) R 11373 11376 9023 0 -1 4202560 6085 0 0 0 7 2 0 0 20 0 20 0 109301674 14669127680 8312 33554432000 4194304 4196468 140725290852528 139653314318064 139653294220638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11379] ppid=11373 vsize=14325320 memory=732370257120005093 CPUtime=0 cores=0-7
/proc/11376/task/11379/stat : 11379 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652906286224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11380] ppid=11373 vsize=14325320 memory=140118782551680 CPUtime=0 cores=0-7
/proc/11376/task/11380/stat : 11380 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652905233424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11381] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11381/stat : 11381 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652904180624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11382] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11382/stat : 11382 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652903127824 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11383] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11383/stat : 11383 (java) S 11373 11376 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652902075024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11384] ppid=11373 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/11376/task/11384/stat : 11384 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652901022224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11385] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11385/stat : 11385 (java) S 11373 11376 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652899969424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11386] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11386/stat : 11386 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652898916624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11387] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11387/stat : 11387 (java) S 11373 11376 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301677 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652768226160 139653310151298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11388] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11388/stat : 11388 (java) S 11373 11376 9023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109301677 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652767172128 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11389] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11389/stat : 11389 (java) S 11373 11376 9023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109301677 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652766119280 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11390] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11390/stat : 11390 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652765067600 139653310158747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11391] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11391/stat : 11391 (java) S 11373 11376 9023 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652764014960 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11392] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11392/stat : 11392 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652762962160 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11393] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11393/stat : 11393 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652761909360 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11394] ppid=11373 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/11376/task/11394/stat : 11394 (java) S 11373 11376 9023 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 109301680 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652760856560 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11395] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11395/stat : 11395 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652759805024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11396] ppid=11373 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/11376/task/11396/stat : 11396 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 8312 33554432000 4194304 4196468 140725290852528 139652758752304 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33248 KiB
[startup+0.21053 s]*
/proc/loadavg: 7.80 8.48 8.61 3/200 11396
/proc/meminfo: memFree=27699428/32770624 swapFree=67108860/67108860
[pid=11376] ppid=11373 vsize=14325320 memory=42688 CPUtime=0.29 cores=0-7
/proc/11376/stat : 11376 (java) S 11373 11376 9023 0 -1 1077944320 9267 0 0 0 26 3 0 0 20 0 20 0 109301674 14669127680 10672 33554432000 4194304 4196468 140725290852528 140725290835072 139653310140151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
/proc/11376/statm: 3581330 10672 3638 1 0 3569050 0
[pid=11376/tid=11378] ppid=11373 vsize=14325320 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/11376/task/11378/stat : 11378 (java) R 11373 11376 9023 0 -1 4202560 6712 0 0 0 17 3 0 0 20 0 20 0 109301674 14669127680 10672 33554432000 4194304 4196468 140725290852528 139653314365232 139653310162077 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11379] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11379/stat : 11379 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652906286224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11380] ppid=11373 vsize=14325320 memory=140118783340894 CPUtime=0 cores=0-7
/proc/11376/task/11380/stat : 11380 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652905233424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11381] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11381/stat : 11381 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652904180624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11382] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11382/stat : 11382 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652903127824 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11383] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11383/stat : 11383 (java) S 11373 11376 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652902075024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11384] ppid=11373 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/11376/task/11384/stat : 11384 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652901022224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11385] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11385/stat : 11385 (java) S 11373 11376 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652899969424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11386] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11386/stat : 11386 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652898916624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11387] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11387/stat : 11387 (java) S 11373 11376 9023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109301677 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652768226160 139653310151298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11388] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11388/stat : 11388 (java) S 11373 11376 9023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109301677 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652767172128 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11389] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11389/stat : 11389 (java) S 11373 11376 9023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109301677 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652766119280 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11390] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11390/stat : 11390 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652765067600 139653310158747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11391] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11391/stat : 11391 (java) S 11373 11376 9023 0 -1 1077944384 482 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652764014960 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11392] ppid=11373 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/11376/task/11392/stat : 11392 (java) S 11373 11376 9023 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 109301680 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652762962160 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11393] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11393/stat : 11393 (java) S 11373 11376 9023 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652761909360 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11394] ppid=11373 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/11376/task/11394/stat : 11394 (java) S 11373 11376 9023 0 -1 1077944384 495 0 0 0 5 0 0 0 20 0 20 0 109301680 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652760856560 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11395] ppid=11373 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11395/stat : 11395 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652759805024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11396] ppid=11373 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/11376/task/11396/stat : 11396 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301680 14669127680 10672 33554432000 4194304 4196468 140725290852528 139652758752304 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42688 KiB
[startup+0.310514 s]*
/proc/loadavg: 7.80 8.48 8.61 2/200 11396
/proc/meminfo: memFree=27692884/32770624 swapFree=67108860/67108860
[pid=11376] ppid=11373 vsize=14325340 memory=49568 CPUtime=0.47 cores=0-7
/proc/11376/stat : 11376 (java) S 11373 11376 9023 0 -1 1077944320 10178 0 0 0 43 4 0 0 20 0 20 0 109301674 14669148160 12392 33554432000 4194304 4196468 140725290852528 140725290835072 139653310140151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
/proc/11376/statm: 3581335 12392 3702 1 0 3569050 0
[pid=11376/tid=11378] ppid=11373 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11376/task/11378/stat : 11378 (java) R 11373 11376 9023 0 -1 4202560 7280 0 0 0 26 3 0 0 20 0 20 0 109301674 14669148160 12392 33554432000 4194304 4196468 140725290852528 139653314357024 139653291718035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11379] ppid=11373 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11379/stat : 11379 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652906286224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11380] ppid=11373 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11380/stat : 11380 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652905233424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11381] ppid=11373 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11381/stat : 11381 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301675 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652904180624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11382] ppid=11373 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11382/stat : 11382 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652903127824 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11383] ppid=11373 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/11376/task/11383/stat : 11383 (java) S 11373 11376 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301675 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652902075024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11384] ppid=11373 vsize=14325340 memory=140118677615535 CPUtime=0 cores=0-7
/proc/11376/task/11384/stat : 11384 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652901022224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11385] ppid=11373 vsize=14325340 memory=140118677617840 CPUtime=0 cores=0-7
/proc/11376/task/11385/stat : 11385 (java) S 11373 11376 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301675 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652899969424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11386] ppid=11373 vsize=14325340 memory=140118677620144 CPUtime=0 cores=0-7
/proc/11376/task/11386/stat : 11386 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652898916624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11387] ppid=11373 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11387/stat : 11387 (java) S 11373 11376 9023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109301677 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652768226160 139653310151298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11388] ppid=11373 vsize=14325340 memory=280237355247248 CPUtime=0 cores=0-7
/proc/11376/task/11388/stat : 11388 (java) S 11373 11376 9023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109301677 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652767172128 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11389] ppid=11373 vsize=14325340 memory=280237355254160 CPUtime=0 cores=0-7
/proc/11376/task/11389/stat : 11389 (java) S 11373 11376 9023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109301677 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652766119280 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11390] ppid=11373 vsize=14325340 memory=280237355195440 CPUtime=0 cores=0-7
/proc/11376/task/11390/stat : 11390 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301680 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652765067600 139653310158747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11391] ppid=11373 vsize=14325340 memory=280237355267984 CPUtime=0.02 cores=0-7
/proc/11376/task/11391/stat : 11391 (java) S 11373 11376 9023 0 -1 1077944384 572 0 0 0 2 0 0 0 20 0 20 0 109301680 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652764014960 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11392] ppid=11373 vsize=14325340 memory=280237355274896 CPUtime=0.04 cores=0-7
/proc/11376/task/11392/stat : 11392 (java) S 11373 11376 9023 0 -1 1077944384 296 0 0 0 4 0 0 0 20 0 20 0 109301680 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652762962160 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11393] ppid=11373 vsize=14325340 memory=280237355272592 CPUtime=0.01 cores=0-7
/proc/11376/task/11393/stat : 11393 (java) S 11373 11376 9023 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 109301680 14669148160 12392 33554432000 4194304 4196468 140725290852528 139652761909360 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11394] ppid=11373 vsize=14325340 memory=280237355289152 CPUtime=0.08 cores=0-7
/proc/11376/task/11394/stat : 11394 (java) S 11373 11376 9023 0 -1 1077944384 596 0 0 0 8 0 0 0 20 0 20 0 109301680 14669148160 12457 33554432000 4194304 4196468 140725290852528 139652760856560 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11395] ppid=11373 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11395/stat : 11395 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301680 14669148160 12457 33554432000 4194304 4196468 140725290852528 139652759805024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11396] ppid=11373 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/11376/task/11396/stat : 11396 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301680 14669148160 12457 33554432000 4194304 4196468 140725290852528 139652758752304 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 49568 KiB
[startup+0.700935 s]
/proc/loadavg: 7.80 8.48 8.61 6/200 11396
/proc/meminfo: memFree=27674520/32770624 swapFree=67108860/67108860
[pid=11376] ppid=11373 vsize=14327388 memory=113356 CPUtime=1.73 cores=0-7
/proc/11376/stat : 11376 (java) S 11373 11376 9023 0 -1 1077944320 15845 0 0 0 167 6 0 0 20 0 20 0 109301674 14671245312 28339 33554432000 4194304 4196468 140725290852528 140725290835072 139653310140151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
/proc/11376/statm: 3581847 28339 3784 1 0 3569562 0
[pid=11376/tid=11378] ppid=11373 vsize=14327388 memory=6152006496376214887 CPUtime=0.67 cores=0-7
/proc/11376/task/11378/stat : 11378 (java) R 11373 11376 9023 0 -1 4202560 8062 0 0 0 63 4 0 0 20 0 20 0 109301674 14671245312 28339 33554432000 4194304 4196468 140725290852528 139653314376320 139653310161498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11379] ppid=11373 vsize=14327388 memory=48941152360710 CPUtime=0 cores=0-7
/proc/11376/task/11379/stat : 11379 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14671245312 28339 33554432000 4194304 4196468 140725290852528 139652906286224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11380] ppid=11373 vsize=14327388 memory=140118677629097 CPUtime=0 cores=0-7
/proc/11376/task/11380/stat : 11380 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14671245312 28339 33554432000 4194304 4196468 140725290852528 139652905233424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11381] ppid=11373 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11381/stat : 11381 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109301675 14671245312 28339 33554432000 4194304 4196468 140725290852528 139652904180624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11382] ppid=11373 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11382/stat : 11382 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14671245312 28339 33554432000 4194304 4196468 140725290852528 139652903127824 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11383] ppid=11373 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11383/stat : 11383 (java) S 11373 11376 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301675 14671245312 28339 33554432000 4194304 4196468 140725290852528 139652902075024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11384] ppid=11373 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11384/stat : 11384 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14671245312 28339 33554432000 4194304 4196468 140725290852528 139652901022224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11385] ppid=11373 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/11376/task/11385/stat : 11385 (java) S 11373 11376 9023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109301675 14671245312 28339 33554432000 4194304 4196468 140725290852528 139652899969424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11386] ppid=11373 vsize=14327388 memory=1732 CPUtime=0 cores=0-7
/proc/11376/task/11386/stat : 11386 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109301675 14671245312 28339 33554432000 4194304 4196468 140725290852528 139652898916624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11387] ppid=11373 vsize=14327388 memory=1224 CPUtime=0 cores=0-7
/proc/11376/task/11387/stat : 11387 (java) S 11373 11376 9023 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109301677 14671245312 28339 33554432000 4194304 4196468 140725290852528 139652768226160 139653310151298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
################
# More data... #
################
/proc/11376/task/11390/stat : 11390 (java) S 11373 11376 9023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 109301680 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652765067600 139653310158747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11391] ppid=11373 vsize=15668944 memory=912 CPUtime=1.52 cores=0-7
/proc/11376/task/11391/stat : 11391 (java) S 11373 11376 9023 0 -1 1077944384 8382 0 0 0 150 2 0 0 20 0 40 0 109301680 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652764014960 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11392] ppid=11373 vsize=15668944 memory=3551256 CPUtime=1.47 cores=0-7
/proc/11376/task/11392/stat : 11392 (java) S 11373 11376 9023 0 -1 1077944384 9846 0 0 0 145 2 0 0 20 0 40 0 109301680 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652762962160 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11393] ppid=11373 vsize=15668944 memory=12032 CPUtime=1.53 cores=0-7
/proc/11376/task/11393/stat : 11393 (java) S 11373 11376 9023 0 -1 1077944384 10735 0 0 0 151 2 0 0 20 0 40 0 109301680 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652761909360 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11394] ppid=11373 vsize=15668944 memory=3551256 CPUtime=0.99 cores=0-7
/proc/11376/task/11394/stat : 11394 (java) S 11373 11376 9023 0 -1 1077944384 16967 0 0 0 97 2 0 0 20 0 40 0 109301680 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652760856560 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11395] ppid=11373 vsize=15668944 memory=3551256 CPUtime=0 cores=0-7
/proc/11376/task/11395/stat : 11395 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 109301680 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652759805024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11396] ppid=11373 vsize=15668944 memory=280237355683616 CPUtime=0.91 cores=0-7
/proc/11376/task/11396/stat : 11396 (java) S 11373 11376 9023 0 -1 1077944384 2609 0 0 0 38 53 0 0 20 0 40 0 109301680 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652758752304 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11397] ppid=11373 vsize=15668944 memory=7092439803012409152 CPUtime=0 cores=0-7
/proc/11376/task/11397/stat : 11397 (java) S 11373 11376 9023 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 40 0 109304190 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652748465280 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11398] ppid=11373 vsize=15668944 memory=288230574492221466 CPUtime=4.71 cores=0-7
/proc/11376/task/11398/stat : 11398 (java) S 11373 11376 9023 0 -1 1077944384 9754 0 0 0 274 197 0 0 20 0 40 0 109304202 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652745315616 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11399] ppid=11373 vsize=15668944 memory=288230621803970871 CPUtime=2487.55 cores=0-7
/proc/11376/task/11399/stat : 11399 (java) R 11373 11376 9023 0 -1 4202560 21181 0 0 0 248706 49 0 0 20 0 40 0 109304211 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652744256416 139652956429912 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11400] ppid=11373 vsize=15668944 memory=56 CPUtime=2473.08 cores=0-7
/proc/11376/task/11400/stat : 11400 (java) R 11373 11376 9023 0 -1 4202560 20460 0 0 0 247267 41 0 0 20 0 40 0 109304212 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652743204328 139652954584775 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11401] ppid=11373 vsize=15668944 memory=6943526294502006880 CPUtime=2487.97 cores=0-7
/proc/11376/task/11401/stat : 11401 (java) R 11373 11376 9023 0 -1 4202560 61073 0 0 0 248626 171 0 0 20 0 40 0 109304212 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652742151528 139652956430055 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11402] ppid=11373 vsize=15668944 memory=1732 CPUtime=2481.76 cores=0-7
/proc/11376/task/11402/stat : 11402 (java) R 11373 11376 9023 0 -1 4202560 15114 0 0 0 248138 38 0 0 20 0 40 0 109304215 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652537239904 139652954079742 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11403] ppid=11373 vsize=15668944 memory=1224 CPUtime=0.3 cores=0-7
/proc/11376/task/11403/stat : 11403 (java) S 11373 11376 9023 0 -1 1077944384 162 0 0 0 29 1 0 0 20 0 40 0 109304215 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652536194608 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11404] ppid=11373 vsize=15668944 memory=12032 CPUtime=0.29 cores=0-7
/proc/11376/task/11404/stat : 11404 (java) S 11373 11376 9023 0 -1 1077944384 149 0 0 0 29 0 0 0 20 0 40 0 109304215 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652535141808 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11405] ppid=11373 vsize=15668944 memory=3551256 CPUtime=2475.05 cores=0-7
/proc/11376/task/11405/stat : 11405 (java) R 11373 11376 9023 0 -1 4202560 56686 0 0 0 247322 183 0 0 20 0 40 0 109304215 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652534083176 139652954584596 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11406] ppid=11373 vsize=15668944 memory=2408 CPUtime=0.3 cores=0-7
/proc/11376/task/11406/stat : 11406 (java) S 11373 11376 9023 0 -1 1077944384 371 0 0 0 30 0 0 0 20 0 40 0 109304215 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652533036208 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11407] ppid=11373 vsize=15668944 memory=3551256 CPUtime=2487.8 cores=0-7
/proc/11376/task/11407/stat : 11407 (java) R 11373 11376 9023 0 -1 4202560 18398 0 0 0 248732 48 0 0 20 0 40 0 109304215 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652531977832 139652956430224 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11408] ppid=11373 vsize=15668944 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11376/task/11408/stat : 11408 (java) S 11373 11376 9023 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 40 0 109304215 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652530930608 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11409] ppid=11373 vsize=15668944 memory=2208 CPUtime=2478.92 cores=0-7
/proc/11376/task/11409/stat : 11409 (java) R 11373 11376 9023 0 -1 4202560 25066 0 0 0 247838 54 0 0 20 0 40 0 109304215 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652529871656 139652954584794 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11410] ppid=11373 vsize=15668944 memory=6508 CPUtime=2484.16 cores=0-7
/proc/11376/task/11410/stat : 11410 (java) R 11373 11376 9023 0 -1 4202560 32424 0 0 0 248353 63 0 0 20 0 40 0 109304216 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652528821696 139652956431398 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11411] ppid=11373 vsize=15668944 memory=4144 CPUtime=0 cores=0-7
/proc/11376/task/11411/stat : 11411 (java) S 11373 11376 9023 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 40 0 109304352 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652527773232 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11412] ppid=11373 vsize=15668944 memory=31332 CPUtime=0 cores=0-7
/proc/11376/task/11412/stat : 11412 (java) S 11373 11376 9023 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 40 0 109307791 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652524586416 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11413] ppid=11373 vsize=15668944 memory=1296 CPUtime=0 cores=0-7
/proc/11376/task/11413/stat : 11413 (java) S 11373 11376 9023 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 109307793 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652523533616 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11414] ppid=11373 vsize=15668944 memory=3551256 CPUtime=0 cores=0-7
/proc/11376/task/11414/stat : 11414 (java) S 11373 11376 9023 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 109307793 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652522480816 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11415] ppid=11373 vsize=15668944 memory=3551256 CPUtime=0 cores=0-7
/proc/11376/task/11415/stat : 11415 (java) S 11373 11376 9023 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 40 0 109307793 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652521428016 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11416] ppid=11373 vsize=15668944 memory=3551256 CPUtime=0 cores=0-7
/proc/11376/task/11416/stat : 11416 (java) S 11373 11376 9023 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 109307793 16044998656 887814 33554432000 4194304 4196468 140725290852528 139652520375216 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
Current children cumulated CPU time: 19920.3 s
Current children cumulated vsize: 15668944 KiB
Current children cumulated memory: 3551256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.17 s]
# the end of solver process 11376 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19911.1 s, system=10.4254 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.11 s]*
/proc/loadavg: 8.98 8.82 8.82 15/221 11475
/proc/meminfo: memFree=24185828/32770624 swapFree=67108860/67108860
[pid=11376] ppid=11373 vsize=15802072 memory=3551528 CPUtime=19921.3 cores=0-7
/proc/11376/stat : 11376 (java) S 11373 11376 9023 0 -1 1077944320 480646 0 0 0 1991087 1040 0 0 20 0 42 0 109301674 16181321728 887882 33554432000 4194304 4196468 140725290852528 140725290835072 139653310140151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
/proc/11376/statm: 3950518 887882 3865 1 0 3937712 0
[pid=11376/tid=11378] ppid=11373 vsize=15802072 memory=4872558044660077418 CPUtime=25.16 cores=0-7
/proc/11376/task/11378/stat : 11378 (java) S 11373 11376 9023 0 -1 1077944384 18745 0 0 0 2501 15 0 0 20 0 42 0 109301674 16181321728 887882 33554432000 4194304 4196468 140725290852528 139653314377856 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11379] ppid=11373 vsize=15802072 memory=-7003737579269690708 CPUtime=3.23 cores=0-7
/proc/11376/task/11379/stat : 11379 (java) S 11373 11376 9023 0 -1 1077944384 17720 0 0 0 279 44 0 0 20 0 42 0 109301675 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652906286224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11380] ppid=11373 vsize=15802072 memory=4144 CPUtime=3.25 cores=0-7
/proc/11376/task/11380/stat : 11380 (java) S 11373 11376 9023 0 -1 1077944384 13598 0 0 0 281 44 0 0 20 0 42 0 109301675 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652905233424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11381] ppid=11373 vsize=15802072 memory=31332 CPUtime=3.24 cores=0-7
/proc/11376/task/11381/stat : 11381 (java) S 11373 11376 9023 0 -1 1077944384 13433 0 0 0 283 41 0 0 20 0 42 0 109301675 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652904180624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11382] ppid=11373 vsize=15802072 memory=1296 CPUtime=3.24 cores=0-7
/proc/11376/task/11382/stat : 11382 (java) S 11373 11376 9023 0 -1 1077944384 12587 0 0 0 281 43 0 0 20 0 42 0 109301675 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652903127824 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11383] ppid=11373 vsize=15802072 memory=2408 CPUtime=3.18 cores=0-7
/proc/11376/task/11383/stat : 11383 (java) S 11373 11376 9023 0 -1 1077944384 14742 0 0 0 274 44 0 0 20 0 42 0 109301675 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652902075024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11384] ppid=11373 vsize=15802072 memory=2208 CPUtime=3.25 cores=0-7
/proc/11376/task/11384/stat : 11384 (java) S 11373 11376 9023 0 -1 1077944384 17455 0 0 0 281 44 0 0 20 0 42 0 109301675 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652901022224 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11385] ppid=11373 vsize=15802072 memory=6508 CPUtime=3.25 cores=0-7
/proc/11376/task/11385/stat : 11385 (java) S 11373 11376 9023 0 -1 1077944384 13879 0 0 0 283 42 0 0 20 0 42 0 109301675 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652899969424 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11386] ppid=11373 vsize=15802072 memory=6791534058613427641 CPUtime=3.25 cores=0-7
/proc/11376/task/11386/stat : 11386 (java) S 11373 11376 9023 0 -1 1077944384 16420 0 0 0 283 42 0 0 20 0 42 0 109301675 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652898916624 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11387] ppid=11373 vsize=15802072 memory=1692 CPUtime=0.72 cores=0-7
/proc/11376/task/11387/stat : 11387 (java) S 11373 11376 9023 0 -1 1077944384 28634 0 0 0 66 6 0 0 20 0 42 0 109301677 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652768226160 139653310151298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11388] ppid=11373 vsize=15802072 memory=3551256 CPUtime=0 cores=0-7
/proc/11376/task/11388/stat : 11388 (java) S 11373 11376 9023 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 42 0 109301677 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652767172192 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11389] ppid=11373 vsize=15802072 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11376/task/11389/stat : 11389 (java) S 11373 11376 9023 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 42 0 109301677 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652766119296 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11390] ppid=11373 vsize=15802072 memory=302639476889616671 CPUtime=0 cores=0-7
/proc/11376/task/11390/stat : 11390 (java) S 11373 11376 9023 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 42 0 109301680 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652765067600 139653310158747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11391] ppid=11373 vsize=15802072 memory=288292181687665908 CPUtime=1.53 cores=0-7
/proc/11376/task/11391/stat : 11391 (java) S 11373 11376 9023 0 -1 1077944384 8741 0 0 0 151 2 0 0 20 0 42 0 109301680 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652764014960 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11392] ppid=11373 vsize=15802072 memory=7228704288872638866 CPUtime=1.47 cores=0-7
/proc/11376/task/11392/stat : 11392 (java) S 11373 11376 9023 0 -1 1077944384 9846 0 0 0 145 2 0 0 20 0 42 0 109301680 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652762962160 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11393] ppid=11373 vsize=15802072 memory=7228704288872638866 CPUtime=1.54 cores=0-7
/proc/11376/task/11393/stat : 11393 (java) S 11373 11376 9023 0 -1 1077944384 11173 0 0 0 152 2 0 0 20 0 42 0 109301680 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652761909360 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11394] ppid=11373 vsize=15802072 memory=280237357096392 CPUtime=0.99 cores=0-7
/proc/11376/task/11394/stat : 11394 (java) S 11373 11376 9023 0 -1 1077944384 17503 0 0 0 97 2 0 0 20 0 42 0 109301680 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652760856560 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11395] ppid=11373 vsize=15802072 memory=7228704288872638866 CPUtime=0 cores=0-7
/proc/11376/task/11395/stat : 11395 (java) S 11373 11376 9023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 109301680 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652759805024 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11396] ppid=11373 vsize=15802072 memory=3551256 CPUtime=0.91 cores=0-7
/proc/11376/task/11396/stat : 11396 (java) S 11373 11376 9023 0 -1 1077944384 2609 0 0 0 38 53 0 0 20 0 42 0 109301680 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652758752304 139653310151298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11397] ppid=11373 vsize=15802072 memory=31332 CPUtime=0 cores=0-7
/proc/11376/task/11397/stat : 11397 (java) S 11373 11376 9023 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 42 0 109304190 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652748465280 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11398] ppid=11373 vsize=15802072 memory=1296 CPUtime=4.71 cores=0-7
/proc/11376/task/11398/stat : 11398 (java) R 11373 11376 9023 0 -1 1077944384 9754 0 0 0 274 197 0 0 20 0 42 0 109304202 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652745315616 139653310151298 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11399] ppid=11373 vsize=15802072 memory=3551256 CPUtime=2487.65 cores=0-7
/proc/11376/task/11399/stat : 11399 (java) R 11373 11376 9023 0 -1 4202560 21181 0 0 0 248716 49 0 0 20 0 42 0 109304211 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652744256552 139652954487656 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11400] ppid=11373 vsize=15802072 memory=3551256 CPUtime=2473.19 cores=0-7
/proc/11376/task/11400/stat : 11400 (java) R 11373 11376 9023 0 -1 4202560 20460 0 0 0 247278 41 0 0 20 0 42 0 109304212 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652743204328 139652956430224 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11401] ppid=11373 vsize=15802072 memory=796 CPUtime=2488.09 cores=0-7
/proc/11376/task/11401/stat : 11401 (java) R 11373 11376 9023 0 -1 4202560 61073 0 0 0 248638 171 0 0 20 0 42 0 109304212 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652742151528 139652956431097 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11402] ppid=11373 vsize=15802072 memory=1436 CPUtime=2481.87 cores=0-7
/proc/11376/task/11402/stat : 11402 (java) R 11373 11376 9023 0 -1 4202560 15114 0 0 0 248149 38 0 0 20 0 42 0 109304215 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652537239792 139652956429912 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11403] ppid=11373 vsize=15802072 memory=1012 CPUtime=0.3 cores=0-7
/proc/11376/task/11403/stat : 11403 (java) S 11373 11376 9023 0 -1 1077944384 162 0 0 0 29 1 0 0 20 0 42 0 109304215 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652536194608 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11404] ppid=11373 vsize=15802072 memory=1712 CPUtime=0.29 cores=0-7
/proc/11376/task/11404/stat : 11404 (java) S 11373 11376 9023 0 -1 1077944384 149 0 0 0 29 0 0 0 20 0 42 0 109304215 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652535141808 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11405] ppid=11373 vsize=15802072 memory=1952 CPUtime=2475.17 cores=0-7
/proc/11376/task/11405/stat : 11405 (java) R 11373 11376 9023 0 -1 4202560 56686 0 0 0 247334 183 0 0 20 0 42 0 109304215 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652534083176 139652954584804 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11406] ppid=11373 vsize=15802072 memory=8616 CPUtime=0.3 cores=0-7
/proc/11376/task/11406/stat : 11406 (java) S 11373 11376 9023 0 -1 1077944384 371 0 0 0 30 0 0 0 20 0 42 0 109304215 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652533036208 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11407] ppid=11373 vsize=15802072 memory=4620 CPUtime=2487.92 cores=0-7
/proc/11376/task/11407/stat : 11407 (java) R 11373 11376 9023 0 -1 4202560 18398 0 0 0 248744 48 0 0 20 0 42 0 109304215 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652531977832 139652956430045 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11408] ppid=11373 vsize=15802072 memory=1196 CPUtime=0 cores=0-7
/proc/11376/task/11408/stat : 11408 (java) S 11373 11376 9023 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 42 0 109304215 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652530930608 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11409] ppid=11373 vsize=15802072 memory=15872 CPUtime=2479.01 cores=0-7
/proc/11376/task/11409/stat : 11409 (java) R 11373 11376 9023 0 -1 4202560 25066 0 0 0 247847 54 0 0 20 0 42 0 109304215 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652529871656 139652948916056 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11410] ppid=11373 vsize=15802072 memory=18476 CPUtime=2484.28 cores=0-7
/proc/11376/task/11410/stat : 11410 (java) R 11373 11376 9023 0 -1 4202560 32424 0 0 0 248365 63 0 0 20 0 42 0 109304216 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652528821696 139652948916099 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11411] ppid=11373 vsize=15802072 memory=18504 CPUtime=0 cores=0-7
/proc/11376/task/11411/stat : 11411 (java) S 11373 11376 9023 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 42 0 109304352 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652527773232 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11412] ppid=11373 vsize=15802072 memory=4048 CPUtime=0 cores=0-7
/proc/11376/task/11412/stat : 11412 (java) S 11373 11376 9023 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 42 0 109307791 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652524586416 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11413] ppid=11373 vsize=15802072 memory=2208 CPUtime=0 cores=0-7
/proc/11376/task/11413/stat : 11413 (java) S 11373 11376 9023 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 42 0 109307793 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652523533616 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11414] ppid=11373 vsize=15802072 memory=6508 CPUtime=0 cores=0-7
/proc/11376/task/11414/stat : 11414 (java) S 11373 11376 9023 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 42 0 109307793 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652522480816 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11415] ppid=11373 vsize=15802072 memory=844 CPUtime=0 cores=0-7
/proc/11376/task/11415/stat : 11415 (java) S 11373 11376 9023 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 42 0 109307793 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652521428016 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11416] ppid=11373 vsize=15802072 memory=3551256 CPUtime=0 cores=0-7
/proc/11376/task/11416/stat : 11416 (java) S 11373 11376 9023 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 42 0 109307793 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652520375216 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11474] ppid=11373 vsize=15802072 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11376/task/11474/stat : 11474 (java) S 11373 11376 9023 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 42 0 109553678 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652519321712 139653310150357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
[pid=11376/tid=11475] ppid=11373 vsize=15802072 memory=4180 CPUtime=0.02 cores=0-7
/proc/11376/task/11475/stat : 11475 (java) R 11373 11376 9023 0 -1 4202560 211 0 0 0 2 0 0 0 20 0 42 0 109553680 16181321728 887882 33554432000 4194304 4196468 140725290852528 139652518259984 139652947926448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13086720 140725290857569 140725290857755 140725290857755 140725290860495 0
Current children cumulated CPU time: 19921.3 s
Current children cumulated vsize: 15802072 KiB
Current children cumulated memory: 3551528 KiB
Child status: 143
Real time (s): 2520.17
CPU time (s): 19921.5
CPU user time (s): 19911.1
CPU system time (s): 10.4254
CPU usage (%): 790.483
Max. virtual memory (cumulated for all children) (KiB): 15802072
Max. memory (cumulated for all children) (KiB): 4146216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19911.1
system time used= 10.4254
maximum resident set size= 4146216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 480892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302348
involuntary context switches= 418705
# summary of solver processes directly reported to runsolver:
# pid: 11376
# total CPU time (s): 19921.5
# total CPU user time (s): 19911.1
# total CPU system time (s): 10.4254
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.6122 second user time and 33.1347 second system time
The end
Begin job on node149 at 2017-08-15 03:42:29 IDJOB=4274906 IDBENCH=133707 IDSOLVER=2668 FILE ID=node149/4274906-1502762208 RUNJOBID= node149-1502753606-9050 PBS_JOBID= 20629079 Free space on /tmp= 61936 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-c1a.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274906-1502762208/watcher-4274906-1502762208 -o /tmp/evaluation-result-4274906-1502762208/solver-4274906-1502762208 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502753606-9050 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1560457423 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274906-1502762208.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 030948c230c0936ebc743af4f555c996 RANDOM SEED=1560457423 node149.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.43 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.43 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.43 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.43 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: 27728100 kB MemAvailable: 31969704 kB Buffers: 309632 kB Cached: 4204772 kB SwapCached: 0 kB Active: 1221416 kB Inactive: 3346772 kB Active(anon): 57112 kB Inactive(anon): 24944 kB Active(file): 1164304 kB Inactive(file): 3321828 kB Unevictable: 6360 kB Mlocked: 6360 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42436 kB Writeback: 0 kB AnonPages: 60380 kB Mapped: 45476 kB Shmem: 25224 kB Slab: 169524 kB SReclaimable: 142616 kB SUnreclaim: 26908 kB KernelStack: 3584 kB PageTables: 4192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323608 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61892 MiB End job on node149 at 2017-08-15 04:24:30