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