Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 20 | 19973.699 | 2520.1201 |
Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml |
MD5SUM | 9e99b8f50ba877dbe58773e5c08a73e4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 2400.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3015 |
Number of constraints | 125 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":3015}] |
Minimum variable degree | 5 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":5,"count":17},{"degree":6,"count":1236},{"degree":7,"count":1323},{"degree":8,"count":439}] |
Minimum constraint arity | 12 |
Maximum constraint arity | 261 |
Distribution of constraint arities | [{"arity":12,"count":3},{"arity":14,"count":2},{"arity":15,"count":2},{"arity":17,"count":2},{"arity":18,"count":1},{"arity":25,"count":2},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":1},{"arity":41,"count":1},{"arity":50,"count":7},{"arity":52,"count":1},{"arity":58,"count":2},{"arity":63,"count":2},{"arity":70,"count":2},{"arity":77,"count":2},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":87,"count":2},{"arity":90,"count":1},{"arity":91,"count":2},{"arity":95,"count":3},{"arity":105,"count":2},{"arity":107,"count":1},{"arity":108,"count":2},"...",{"arity":196,"count":3}, {"arity":197,"count":1}, {"arity":198,"count":2}, {"arity":199,"count":2}, {"arity":201,"count":3}, {"arity":202,"count":2}, {"arity":204,"count":3}, {"arity":206,"count":1}, {"arity":207,"count":2}, {"arity":214,"count":2}, {"arity":218,"count":2}, {"arity":219,"count":4}, {"arity":221,"count":1}, {"arity":222,"count":1}, {"arity":230,"count":1}, {"arity":231,"count":1}, {"arity":233,"count":1}, {"arity":235,"count":1}, {"arity":237,"count":1}, {"arity":241,"count":1}, {"arity":245,"count":1}, {"arity":246,"count":1}, {"arity":249,"count":1}, {"arity":254,"count":1}, {"arity":261,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":125}] |
Optimization problem | YES |
Type of objective | min SUM |
0.29/0.25 c version: 2017-07-26 0.29/0.25 c seed: 1704304093 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 11000 0.29/0.26 c nbcore: 8 0.29/0.28 c Parsing instance... 1.64/0.74 c Parsing done, starting search... 15.84/8.39 o 21 1581.11/204.63 o 20 19972.94/2520.08 s SATISFIABLE 19972.94/2520.10 v <instantiation> 19972.94/2520.10 v <list> 19972.94/2520.10 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] 19972.94/2520.10 v </list> 19972.94/2520.10 v <values> 19972.94/2520.10 v 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 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 1 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 19972.94/2520.10 v </values> 19972.94/2520.10 v </instantiation>
OK 20
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12228 MiB free) memory of node 1: 16384 MiB (13557 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274914-1502763626/watcher-4274914-1502763626 -o /tmp/evaluation-result-4274914-1502763626/solver-4274914-1502763626 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502755165-11494 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1704304093 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274914-1502763626.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=13081, runsolver pid=13078 [startup+0.101353 s]* /proc/loadavg: 9.17 8.88 8.46 2/198 13101 /proc/meminfo: memFree=26388840/32770624 swapFree=67108860/67108860 [pid=13081] ppid=13078 vsize=14325320 memory=33248 CPUtime=0.12 cores=0-7 /proc/13081/stat : 13081 (java) S 13078 13081 11467 0 -1 1077944320 8154 0 0 0 10 2 0 0 20 0 20 0 109434169 14669127680 8312 33554432000 4194304 4196468 140731116499952 140731116482496 139861035155191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 /proc/13081/statm: 3581330 8312 3402 1 0 3569050 0 [pid=13081/tid=13083] ppid=13078 vsize=14325320 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/13081/task/13083/stat : 13083 (java) R 13078 13081 11467 0 -1 4202560 6069 0 0 0 7 1 0 0 20 0 20 0 109434170 14669127680 8312 33554432000 4194304 4196468 140731116499952 139861039333104 139861035167126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13084] ppid=13078 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13081/task/13084/stat : 13084 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860987776016 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13085] ppid=13078 vsize=14325320 memory=140186915104384 CPUtime=0 cores=0-7 /proc/13081/task/13085/stat : 13085 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860986723472 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13086] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13086/stat : 13086 (java) S 13078 13081 11467 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860985670416 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13087] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13087/stat : 13087 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860984617872 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13088] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13088/stat : 13088 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860983564816 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13089] ppid=13078 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/13081/task/13089/stat : 13089 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860982512272 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13090] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13090/stat : 13090 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860981459216 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13091] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13091/stat : 13091 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860623157648 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13092] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13092/stat : 13092 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434172 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860224436976 139861035166338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13093] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13093/stat : 13093 (java) S 13078 13081 11467 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109434172 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860223383200 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13094] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13094/stat : 13094 (java) S 13078 13081 11467 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109434173 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860222330096 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13095] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13095/stat : 13095 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434175 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860221278672 139861035173787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13096] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13096/stat : 13096 (java) S 13078 13081 11467 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 109434175 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860220225776 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13097] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13097/stat : 13097 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434175 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860219173232 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13098] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13098/stat : 13098 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434175 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860218120176 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13099] ppid=13078 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/13081/task/13099/stat : 13099 (java) R 13078 13081 11467 0 -1 4202560 406 0 0 0 1 0 0 0 20 0 20 0 109434175 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860217067632 139861019235678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13100] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13100/stat : 13100 (java) S 13078 13081 11467 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109434176 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860216015840 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13101] ppid=13078 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/13081/task/13101/stat : 13101 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434176 14669127680 8312 33554432000 4194304 4196468 140731116499952 139860214963376 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 33248 KiB [startup+0.210465 s]* /proc/loadavg: 9.17 8.88 8.46 2/198 13101 /proc/meminfo: memFree=26377364/32770624 swapFree=67108860/67108860 [pid=13081] ppid=13078 vsize=14325320 memory=42300 CPUtime=0.29 cores=0-7 /proc/13081/stat : 13081 (java) S 13078 13081 11467 0 -1 1077944320 9219 0 0 0 26 3 0 0 20 0 20 0 109434169 14669127680 10575 33554432000 4194304 4196468 140731116499952 140731116482496 139861035155191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 /proc/13081/statm: 3581330 10575 3583 1 0 3569050 0 [pid=13081/tid=13083] ppid=13078 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/13081/task/13083/stat : 13083 (java) R 13078 13081 11467 0 -1 4202560 6749 0 0 0 17 2 0 0 20 0 20 0 109434170 14669127680 10575 33554432000 4194304 4196468 140731116499952 139861039380272 139861019235678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13084] ppid=13078 vsize=14325320 memory=12833 CPUtime=0 cores=0-7 /proc/13081/task/13084/stat : 13084 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860987776016 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13085] ppid=13078 vsize=14325320 memory=140186915116135 CPUtime=0 cores=0-7 /proc/13081/task/13085/stat : 13085 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860986723472 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13086] ppid=13078 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/13081/task/13086/stat : 13086 (java) S 13078 13081 11467 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860985670416 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13087] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13087/stat : 13087 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860984617872 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13088] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13088/stat : 13088 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860983564816 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13089] ppid=13078 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/13081/task/13089/stat : 13089 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860982512272 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13090] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13090/stat : 13090 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860981459216 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13091] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13091/stat : 13091 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860623157648 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13092] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13092/stat : 13092 (java) S 13078 13081 11467 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109434172 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860224436976 139861035166338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13093] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13093/stat : 13093 (java) S 13078 13081 11467 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109434172 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860223383200 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13094] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13094/stat : 13094 (java) S 13078 13081 11467 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109434173 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860222330096 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13095] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13095/stat : 13095 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434175 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860221278672 139861035173787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13096] ppid=13078 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/13081/task/13096/stat : 13096 (java) S 13078 13081 11467 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 109434175 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860220225776 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13097] ppid=13078 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7 /proc/13081/task/13097/stat : 13097 (java) S 13078 13081 11467 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 20 0 109434175 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860219173232 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13098] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13098/stat : 13098 (java) S 13078 13081 11467 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 20 0 109434175 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860218120176 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13099] ppid=13078 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7 /proc/13081/task/13099/stat : 13099 (java) S 13078 13081 11467 0 -1 1077944384 455 0 0 0 5 0 0 0 20 0 20 0 109434175 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860217067632 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13100] ppid=13078 vsize=14325320 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13100/stat : 13100 (java) S 13078 13081 11467 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109434176 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860216015840 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13101] ppid=13078 vsize=14325320 memory=-1 CPUtime=0 cores=0-7 /proc/13081/task/13101/stat : 13101 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434176 14669127680 10575 33554432000 4194304 4196468 140731116499952 139860214963376 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 14325320 KiB Current children cumulated memory: 42300 KiB [startup+0.31001 s]* /proc/loadavg: 9.17 8.88 8.46 3/198 13101 /proc/meminfo: memFree=26370168/32770624 swapFree=67108860/67108860 [pid=13081] ppid=13078 vsize=14325340 memory=50892 CPUtime=0.48 cores=0-7 /proc/13081/stat : 13081 (java) S 13078 13081 11467 0 -1 1077944320 10468 0 0 0 44 4 0 0 20 0 20 0 109434169 14669148160 12723 33554432000 4194304 4196468 140731116499952 140731116482496 139861035155191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 /proc/13081/statm: 3581335 12723 3719 1 0 3569050 0 [pid=13081/tid=13083] ppid=13078 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13081/task/13083/stat : 13083 (java) R 13078 13081 11467 0 -1 4202560 7530 0 0 0 27 2 0 0 20 0 20 0 109434170 14669148160 12723 33554432000 4194304 4196468 140731116499952 139861039384720 139861019198821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13084] ppid=13078 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13084/stat : 13084 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860987776016 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13085] ppid=13078 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13085/stat : 13085 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860986723472 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13086] ppid=13078 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13086/stat : 13086 (java) S 13078 13081 11467 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109434170 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860985670416 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13087] ppid=13078 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13087/stat : 13087 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860984617872 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13088] ppid=13078 vsize=14325340 memory=2244 CPUtime=0 cores=0-7 /proc/13081/task/13088/stat : 13088 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434170 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860983564816 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13089] ppid=13078 vsize=14325340 memory=140186793112495 CPUtime=0 cores=0-7 /proc/13081/task/13089/stat : 13089 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434170 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860982512272 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13090] ppid=13078 vsize=14325340 memory=140186793114800 CPUtime=0 cores=0-7 /proc/13081/task/13090/stat : 13090 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860981459216 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13091] ppid=13078 vsize=14325340 memory=140186793117104 CPUtime=0 cores=0-7 /proc/13081/task/13091/stat : 13091 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860623157648 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13092] ppid=13078 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13092/stat : 13092 (java) S 13078 13081 11467 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109434172 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860224436976 139861035166338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13093] ppid=13078 vsize=14325340 memory=280373586241168 CPUtime=0 cores=0-7 /proc/13081/task/13093/stat : 13093 (java) S 13078 13081 11467 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109434172 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860223383200 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13094] ppid=13078 vsize=14325340 memory=280373586248080 CPUtime=0 cores=0-7 /proc/13081/task/13094/stat : 13094 (java) S 13078 13081 11467 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109434173 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860222330096 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13095] ppid=13078 vsize=14325340 memory=280373586189360 CPUtime=0 cores=0-7 /proc/13081/task/13095/stat : 13095 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434175 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860221278672 139861035173787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13096] ppid=13078 vsize=14325340 memory=280373586261904 CPUtime=0.03 cores=0-7 /proc/13081/task/13096/stat : 13096 (java) S 13078 13081 11467 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 20 0 109434175 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860220225776 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13097] ppid=13078 vsize=14325340 memory=280373586268816 CPUtime=0.02 cores=0-7 /proc/13081/task/13097/stat : 13097 (java) S 13078 13081 11467 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 20 0 109434175 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860219173232 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13098] ppid=13078 vsize=14325340 memory=280373586266512 CPUtime=0.03 cores=0-7 /proc/13081/task/13098/stat : 13098 (java) S 13078 13081 11467 0 -1 1077944384 380 0 0 0 3 0 0 0 20 0 20 0 109434175 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860218120176 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13099] ppid=13078 vsize=14325340 memory=280373586283120 CPUtime=0.08 cores=0-7 /proc/13081/task/13099/stat : 13099 (java) S 13078 13081 11467 0 -1 1077944384 568 0 0 0 8 0 0 0 20 0 20 0 109434175 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860217067632 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13100] ppid=13078 vsize=14325340 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13100/stat : 13100 (java) S 13078 13081 11467 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109434176 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860216015840 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13101] ppid=13078 vsize=14325340 memory=-1 CPUtime=0 cores=0-7 /proc/13081/task/13101/stat : 13101 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434176 14669148160 12723 33554432000 4194304 4196468 140731116499952 139860214963376 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 14325340 KiB Current children cumulated memory: 50892 KiB [startup+0.700917 s] /proc/loadavg: 9.17 8.88 8.46 3/198 13101 /proc/meminfo: memFree=26355216/32770624 swapFree=67108860/67108860 [pid=13081] ppid=13078 vsize=14327388 memory=93288 CPUtime=1.64 cores=0-7 /proc/13081/stat : 13081 (java) S 13078 13081 11467 0 -1 1077944320 14362 0 0 0 159 5 0 0 20 0 20 0 109434169 14671245312 23322 33554432000 4194304 4196468 140731116499952 140731116482496 139861035155191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 /proc/13081/statm: 3581847 23322 3780 1 0 3569562 0 [pid=13081/tid=13083] ppid=13078 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7 /proc/13081/task/13083/stat : 13083 (java) R 13078 13081 11467 0 -1 4202560 8430 0 0 0 64 3 0 0 20 0 20 0 109434170 14671245312 23322 33554432000 4194304 4196468 140731116499952 139861039391952 139861035167126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13084] ppid=13078 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13084/stat : 13084 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14671245312 23322 33554432000 4194304 4196468 140731116499952 139860987776016 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13085] ppid=13078 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13085/stat : 13085 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14671245312 23322 33554432000 4194304 4196468 140731116499952 139860986723472 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13086] ppid=13078 vsize=14327388 memory=0 CPUtime=0 cores=0-7 /proc/13081/task/13086/stat : 13086 (java) S 13078 13081 11467 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109434170 14671245312 23322 33554432000 4194304 4196468 140731116499952 139860985670416 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13087] ppid=13078 vsize=14327388 memory=1928 CPUtime=0 cores=0-7 /proc/13081/task/13087/stat : 13087 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14671245312 23322 33554432000 4194304 4196468 140731116499952 139860984617872 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13088] ppid=13078 vsize=14327388 memory=1428 CPUtime=0 cores=0-7 /proc/13081/task/13088/stat : 13088 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434170 14671245312 23322 33554432000 4194304 4196468 140731116499952 139860983564816 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13089] ppid=13078 vsize=14327388 memory=1196 CPUtime=0 cores=0-7 /proc/13081/task/13089/stat : 13089 (java) S 13078 13081 11467 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109434170 14671245312 23322 33554432000 4194304 4196468 140731116499952 139860982512272 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13090] ppid=13078 vsize=14327388 memory=10652 CPUtime=0 cores=0-7 /proc/13081/task/13090/stat : 13090 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14671245312 23322 33554432000 4194304 4196468 140731116499952 139860981459216 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13091] ppid=13078 vsize=14327388 memory=15876 CPUtime=0 cores=0-7 /proc/13081/task/13091/stat : 13091 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109434170 14671245312 23322 33554432000 4194304 4196468 140731116499952 139860623157648 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13092] ppid=13078 vsize=14327388 memory=17316 CPUtime=0 cores=0-7 /proc/13081/task/13092/stat : 13092 (java) S 13078 13081 11467 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109434172 14671245312 23322 33554432000 4194304 4196468 140731116499952 139860224436976 139861035166338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 ################ # More data... # ################ /proc/13081/task/13095/stat : 13095 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 109434175 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860221278672 139861035173787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13096] ppid=13078 vsize=15668944 memory=2344 CPUtime=1.51 cores=0-7 /proc/13081/task/13096/stat : 13096 (java) S 13078 13081 11467 0 -1 1077944384 7633 0 0 0 149 2 0 0 20 0 40 0 109434175 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860220225776 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13097] ppid=13078 vsize=15668944 memory=6791534058613427641 CPUtime=1.45 cores=0-7 /proc/13081/task/13097/stat : 13097 (java) S 13078 13081 11467 0 -1 1077944384 5425 0 0 0 144 1 0 0 20 0 40 0 109434175 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860219173232 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13098] ppid=13078 vsize=15668944 memory=3158092 CPUtime=1.46 cores=0-7 /proc/13081/task/13098/stat : 13098 (java) S 13078 13081 11467 0 -1 1077944384 8500 0 0 0 144 2 0 0 20 0 40 0 109434175 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860218120176 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13099] ppid=13078 vsize=15668944 memory=3158060 CPUtime=0.99 cores=0-7 /proc/13081/task/13099/stat : 13099 (java) S 13078 13081 11467 0 -1 1077944384 13706 0 0 0 96 3 0 0 20 0 40 0 109434175 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860217067632 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13100] ppid=13078 vsize=15668944 memory=7812726576340533336 CPUtime=0 cores=0-7 /proc/13081/task/13100/stat : 13100 (java) S 13078 13081 11467 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 109434176 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860216015840 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13101] ppid=13078 vsize=15668944 memory=280373587059616 CPUtime=0.79 cores=0-7 /proc/13081/task/13101/stat : 13101 (java) S 13078 13081 11467 0 -1 1077944384 6761 0 0 0 51 28 0 0 20 0 40 0 109434176 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860214963376 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13102] ppid=13078 vsize=15668944 memory=7521693514385877095 CPUtime=0 cores=0-7 /proc/13081/task/13102/stat : 13102 (java) S 13078 13081 11467 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 40 0 109434910 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860204676096 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13103] ppid=13078 vsize=15668944 memory=3158136 CPUtime=3.81 cores=0-7 /proc/13081/task/13103/stat : 13103 (java) R 13078 13081 11467 0 -1 1077944384 13794 0 0 0 154 227 0 0 20 0 40 0 109434922 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860201526688 139861035166338 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13104] ppid=13078 vsize=15668944 memory=1196 CPUtime=2471.63 cores=0-7 /proc/13081/task/13104/stat : 13104 (java) R 13078 13081 11467 0 -1 4202560 44501 0 0 0 247106 57 0 0 20 0 40 0 109434931 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860200471456 139860668070178 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13105] ppid=13078 vsize=15668944 memory=10652 CPUtime=2463.09 cores=0-7 /proc/13081/task/13105/stat : 13105 (java) R 13078 13081 11467 0 -1 4202560 37288 0 0 0 246267 42 0 0 20 0 40 0 109434932 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860199418672 139860666019244 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13106] ppid=13078 vsize=15668944 memory=4012 CPUtime=2474.59 cores=0-7 /proc/13081/task/13106/stat : 13106 (java) R 13078 13081 11467 0 -1 4202560 41677 0 0 0 247412 47 0 0 20 0 40 0 109434932 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860196264288 139860665890704 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13107] ppid=13078 vsize=15668944 memory=31056 CPUtime=0.13 cores=0-7 /proc/13081/task/13107/stat : 13107 (java) S 13078 13081 11467 0 -1 1077944384 223 0 0 0 13 0 0 0 20 0 40 0 109434932 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860195218224 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13108] ppid=13078 vsize=15668944 memory=1296 CPUtime=0.14 cores=0-7 /proc/13081/task/13108/stat : 13108 (java) S 13078 13081 11467 0 -1 1077944384 71 0 0 0 14 0 0 0 20 0 40 0 109434932 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860194166192 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13109] ppid=13078 vsize=15668944 memory=6791534058613427641 CPUtime=0.11 cores=0-7 /proc/13081/task/13109/stat : 13109 (java) S 13078 13081 11467 0 -1 1077944384 64 0 0 0 11 0 0 0 20 0 40 0 109434935 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860193113648 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13110] ppid=13078 vsize=15668944 memory=719 CPUtime=2469.73 cores=0-7 /proc/13081/task/13110/stat : 13110 (java) R 13078 13081 11467 0 -1 4202560 42054 0 0 0 246925 48 0 0 20 0 40 0 109434935 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860192054112 139860668070843 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13111] ppid=13078 vsize=15668944 memory=587 CPUtime=2470.29 cores=0-7 /proc/13081/task/13111/stat : 13111 (java) R 13078 13081 11467 0 -1 4202560 32789 0 0 0 246984 45 0 0 20 0 40 0 109434936 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860191001576 139860666019209 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13112] ppid=13078 vsize=15668944 memory=3158136 CPUtime=0 cores=0-7 /proc/13081/task/13112/stat : 13112 (java) S 13078 13081 11467 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 40 0 109434936 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860189954992 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13113] ppid=13078 vsize=15668944 memory=2400 CPUtime=2468.73 cores=0-7 /proc/13081/task/13113/stat : 13113 (java) R 13078 13081 11467 0 -1 4202560 39184 0 0 0 246830 43 0 0 20 0 40 0 109434936 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860188895968 139860668069555 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13114] ppid=13078 vsize=15668944 memory=1728 CPUtime=2470.6 cores=0-7 /proc/13081/task/13114/stat : 13114 (java) R 13078 13081 11467 0 -1 4202560 39151 0 0 0 247015 45 0 0 20 0 40 0 109434936 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860187843048 139860668070562 0 4 0 16800975 0 0 0 -1 5 0 0 33 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13115] ppid=13078 vsize=15668944 memory=928 CPUtime=2473.56 cores=0-7 /proc/13081/task/13115/stat : 13115 (java) R 13078 13081 11467 0 -1 4202560 38270 0 0 0 247311 45 0 0 20 0 40 0 109434936 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860186793552 139860664127419 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13116] ppid=13078 vsize=15668944 memory=2240 CPUtime=0 cores=0-7 /proc/13081/task/13116/stat : 13116 (java) S 13078 13081 11467 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 40 0 109434963 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860185744816 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13117] ppid=13078 vsize=15668944 memory=4128 CPUtime=0 cores=0-7 /proc/13081/task/13117/stat : 13117 (java) S 13078 13081 11467 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 40 0 109434963 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860184692272 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13118] ppid=13078 vsize=15668944 memory=1152 CPUtime=0 cores=0-7 /proc/13081/task/13118/stat : 13118 (java) S 13078 13081 11467 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 40 0 109434963 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860183639216 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13119] ppid=13078 vsize=15668944 memory=4272 CPUtime=0 cores=0-7 /proc/13081/task/13119/stat : 13119 (java) S 13078 13081 11467 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 40 0 109434963 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860182586672 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13120] ppid=13078 vsize=15668944 memory=3158136 CPUtime=0 cores=0-7 /proc/13081/task/13120/stat : 13120 (java) S 13078 13081 11467 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 40 0 109435016 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860179399600 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13121] ppid=13078 vsize=15668944 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13081/task/13121/stat : 13121 (java) S 13078 13081 11467 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 40 0 109435016 16044998656 789534 33554432000 4194304 4196468 140731116499952 139860178347056 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 Current children cumulated CPU time: 19832.6 s Current children cumulated vsize: 15668944 KiB Current children cumulated memory: 3158136 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520.01 s] /proc/loadavg: 9.06 8.92 8.78 10/218 13152 /proc/meminfo: memFree=23253820/32770624 swapFree=67108860/67108860 [pid=13081] ppid=13078 vsize=15668944 memory=3158152 CPUtime=19972.9 cores=0-7 /proc/13081/stat : 13081 (java) S 13078 13081 11467 0 -1 1077944320 929765 0 0 0 1996595 699 0 0 20 0 40 0 109434169 16044998656 789538 33554432000 4194304 4196468 140731116499952 140731116482496 139861035155191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 /proc/13081/statm: 3917236 789538 3853 1 0 3904430 0 [pid=13081/tid=13083] ppid=13078 vsize=15668944 memory=2240 CPUtime=7.19 cores=0-7 /proc/13081/task/13083/stat : 13083 (java) S 13078 13081 11467 0 -1 1077944384 14416 0 0 0 710 9 0 0 20 0 40 0 109434170 16044998656 789538 33554432000 4194304 4196468 140731116499952 139861039392896 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13084] ppid=13078 vsize=15668944 memory=4128 CPUtime=6.11 cores=0-7 /proc/13081/task/13084/stat : 13084 (java) S 13078 13081 11467 0 -1 1077944384 52189 0 0 0 580 31 0 0 20 0 40 0 109434170 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860987776016 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13085] ppid=13078 vsize=15668944 memory=2200 CPUtime=6.15 cores=0-7 /proc/13081/task/13085/stat : 13085 (java) S 13078 13081 11467 0 -1 1077944384 62472 0 0 0 583 32 0 0 20 0 40 0 109434170 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860986723472 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13086] ppid=13078 vsize=15668944 memory=6508 CPUtime=6.14 cores=0-7 /proc/13081/task/13086/stat : 13086 (java) S 13078 13081 11467 0 -1 1077944384 50919 0 0 0 583 31 0 0 20 0 40 0 109434170 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860985670416 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13087] ppid=13078 vsize=15668944 memory=840 CPUtime=6.15 cores=0-7 /proc/13081/task/13087/stat : 13087 (java) S 13078 13081 11467 0 -1 1077944384 51253 0 0 0 583 32 0 0 20 0 40 0 109434170 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860984617872 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13088] ppid=13078 vsize=15668944 memory=1692 CPUtime=6.17 cores=0-7 /proc/13081/task/13088/stat : 13088 (java) S 13078 13081 11467 0 -1 1077944384 50592 0 0 0 587 30 0 0 20 0 40 0 109434170 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860983564816 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13089] ppid=13078 vsize=15668944 memory=916 CPUtime=6.1 cores=0-7 /proc/13081/task/13089/stat : 13089 (java) S 13078 13081 11467 0 -1 1077944384 55700 0 0 0 582 28 0 0 20 0 40 0 109434170 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860982512272 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13090] ppid=13078 vsize=15668944 memory=5904 CPUtime=6.14 cores=0-7 /proc/13081/task/13090/stat : 13090 (java) S 13078 13081 11467 0 -1 1077944384 58686 0 0 0 584 30 0 0 20 0 40 0 109434170 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860981459216 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13091] ppid=13078 vsize=15668944 memory=4100 CPUtime=6.1 cores=0-7 /proc/13081/task/13091/stat : 13091 (java) S 13078 13081 11467 0 -1 1077944384 51232 0 0 0 581 29 0 0 20 0 40 0 109434170 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860623157648 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13092] ppid=13078 vsize=15668944 memory=1152 CPUtime=3.9 cores=0-7 /proc/13081/task/13092/stat : 13092 (java) S 13078 13081 11467 0 -1 1077944384 104980 0 0 0 340 50 0 0 20 0 40 0 109434172 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860224436976 139861035166338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13093] ppid=13078 vsize=15668944 memory=4272 CPUtime=0 cores=0-7 /proc/13081/task/13093/stat : 13093 (java) S 13078 13081 11467 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 40 0 109434172 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860223383264 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13094] ppid=13078 vsize=15668944 memory=3158152 CPUtime=0 cores=0-7 /proc/13081/task/13094/stat : 13094 (java) S 13078 13081 11467 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 40 0 109434173 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860222330112 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13095] ppid=13078 vsize=15668944 memory=5904 CPUtime=0 cores=0-7 /proc/13081/task/13095/stat : 13095 (java) S 13078 13081 11467 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 109434175 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860221278672 139861035173787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13096] ppid=13078 vsize=15668944 memory=17344 CPUtime=1.51 cores=0-7 /proc/13081/task/13096/stat : 13096 (java) S 13078 13081 11467 0 -1 1077944384 7639 0 0 0 149 2 0 0 20 0 40 0 109434175 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860220225776 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13097] ppid=13078 vsize=15668944 memory=16432 CPUtime=1.45 cores=0-7 /proc/13081/task/13097/stat : 13097 (java) S 13078 13081 11467 0 -1 1077944384 5429 0 0 0 144 1 0 0 20 0 40 0 109434175 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860219173232 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13098] ppid=13078 vsize=15668944 memory=4040 CPUtime=1.46 cores=0-7 /proc/13081/task/13098/stat : 13098 (java) S 13078 13081 11467 0 -1 1077944384 8504 0 0 0 144 2 0 0 20 0 40 0 109434175 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860218120176 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13099] ppid=13078 vsize=15668944 memory=1792 CPUtime=0.99 cores=0-7 /proc/13081/task/13099/stat : 13099 (java) S 13078 13081 11467 0 -1 1077944384 13710 0 0 0 96 3 0 0 20 0 40 0 109434175 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860217067632 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13100] ppid=13078 vsize=15668944 memory=640 CPUtime=0 cores=0-7 /proc/13081/task/13100/stat : 13100 (java) S 13078 13081 11467 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 109434176 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860216015840 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13101] ppid=13078 vsize=15668944 memory=960 CPUtime=0.79 cores=0-7 /proc/13081/task/13101/stat : 13101 (java) S 13078 13081 11467 0 -1 1077944384 6836 0 0 0 51 28 0 0 20 0 40 0 109434176 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860214963376 139861035166338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13102] ppid=13078 vsize=15668944 memory=1236 CPUtime=0 cores=0-7 /proc/13081/task/13102/stat : 13102 (java) S 13078 13081 11467 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 40 0 109434910 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860204676096 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13103] ppid=13078 vsize=15668944 memory=2344 CPUtime=3.81 cores=0-7 /proc/13081/task/13103/stat : 13103 (java) R 13078 13081 11467 0 -1 1077944384 13880 0 0 0 154 227 0 0 20 0 40 0 109434922 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860201526688 139861035166338 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13104] ppid=13078 vsize=15668944 memory=1576 CPUtime=2489.1 cores=0-7 /proc/13081/task/13104/stat : 13104 (java) R 13078 13081 11467 0 -1 4202560 45185 0 0 0 248852 58 0 0 20 0 40 0 109434931 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860200467176 139860668070652 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13105] ppid=13078 vsize=15668944 memory=928 CPUtime=2480.62 cores=0-7 /proc/13081/task/13105/stat : 13105 (java) R 13078 13081 11467 0 -1 4202560 37738 0 0 0 248020 42 0 0 20 0 40 0 109434932 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860199417648 139860664989120 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13106] ppid=13078 vsize=15668944 memory=2240 CPUtime=2492 cores=0-7 /proc/13081/task/13106/stat : 13106 (java) R 13078 13081 11467 0 -1 4202560 42002 0 0 0 249152 48 0 0 20 0 40 0 109434932 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860196264424 139860665890810 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13107] ppid=13078 vsize=15668944 memory=4128 CPUtime=0.13 cores=0-7 /proc/13081/task/13107/stat : 13107 (java) S 13078 13081 11467 0 -1 1077944384 223 0 0 0 13 0 0 0 20 0 40 0 109434932 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860195218224 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13108] ppid=13078 vsize=15668944 memory=2200 CPUtime=0.14 cores=0-7 /proc/13081/task/13108/stat : 13108 (java) S 13078 13081 11467 0 -1 1077944384 71 0 0 0 14 0 0 0 20 0 40 0 109434932 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860194166192 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13109] ppid=13078 vsize=15668944 memory=6508 CPUtime=0.11 cores=0-7 /proc/13081/task/13109/stat : 13109 (java) S 13078 13081 11467 0 -1 1077944384 64 0 0 0 11 0 0 0 20 0 40 0 109434935 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860193113648 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13110] ppid=13078 vsize=15668944 memory=840 CPUtime=2487.29 cores=0-7 /proc/13081/task/13110/stat : 13110 (java) R 13078 13081 11467 0 -1 4202560 42515 0 0 0 248680 49 0 0 20 0 40 0 109434935 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860192054248 139860668070403 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13111] ppid=13078 vsize=15668944 memory=1692 CPUtime=2487.78 cores=0-7 /proc/13081/task/13111/stat : 13111 (java) R 13078 13081 11467 0 -1 4202560 33300 0 0 0 248732 46 0 0 20 0 40 0 109434936 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860191001440 139860668070665 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13112] ppid=13078 vsize=15668944 memory=916 CPUtime=0 cores=0-7 /proc/13081/task/13112/stat : 13112 (java) S 13078 13081 11467 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 40 0 109434936 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860189954992 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13113] ppid=13078 vsize=15668944 memory=5904 CPUtime=2486.17 cores=0-7 /proc/13081/task/13113/stat : 13113 (java) R 13078 13081 11467 0 -1 4202560 39772 0 0 0 248573 44 0 0 20 0 40 0 109434936 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860188896376 139860666093441 0 4 0 16800975 0 0 0 -1 7 0 0 27 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13114] ppid=13078 vsize=15668944 memory=4100 CPUtime=2488.12 cores=0-7 /proc/13081/task/13114/stat : 13114 (java) R 13078 13081 11467 0 -1 4202560 39657 0 0 0 248766 46 0 0 20 0 40 0 109434936 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860187842912 139860668070403 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13115] ppid=13078 vsize=15668944 memory=1152 CPUtime=2491.08 cores=0-7 /proc/13081/task/13115/stat : 13115 (java) R 13078 13081 11467 0 -1 4202560 38733 0 0 0 249062 46 0 0 20 0 40 0 109434936 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860186791016 139860665969280 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13116] ppid=13078 vsize=15668944 memory=4272 CPUtime=0 cores=0-7 /proc/13081/task/13116/stat : 13116 (java) S 13078 13081 11467 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 40 0 109434963 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860185744816 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13117] ppid=13078 vsize=15668944 memory=3158152 CPUtime=0 cores=0-7 /proc/13081/task/13117/stat : 13117 (java) S 13078 13081 11467 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 40 0 109434963 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860184692272 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13118] ppid=13078 vsize=15668944 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13081/task/13118/stat : 13118 (java) S 13078 13081 11467 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 40 0 109434963 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860183639216 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13119] ppid=13078 vsize=15668944 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13081/task/13119/stat : 13119 (java) S 13078 13081 11467 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 40 0 109434963 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860182586672 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13120] ppid=13078 vsize=15668944 memory=1708 CPUtime=0 cores=0-7 /proc/13081/task/13120/stat : 13120 (java) S 13078 13081 11467 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 40 0 109435016 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860179399600 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 [pid=13081/tid=13121] ppid=13078 vsize=15668944 memory=1012 CPUtime=0 cores=0-7 /proc/13081/task/13121/stat : 13121 (java) S 13078 13081 11467 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 40 0 109435016 16044998656 789538 33554432000 4194304 4196468 140731116499952 139860178347056 139861035165397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25821184 140731116504161 140731116504347 140731116504347 140731116507087 0 Current children cumulated CPU time: 19972.9 s Current children cumulated vsize: 15668944 KiB Current children cumulated memory: 3158152 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.12 s] # the end of solver process 13081 was just reported to runsolver # cumulated CPU time of all completed processes: user=19966.7 s, system=7.01324 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.12 CPU time (s): 19973.7 CPU user time (s): 19966.7 CPU system time (s): 7.01324 CPU usage (%): 792.571 Max. virtual memory (cumulated for all children) (KiB): 15668944 Max. memory (cumulated for all children) (KiB): 3374936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19966.7 system time used= 7.01324 maximum resident set size= 3376984 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 930399 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 527661 involuntary context switches= 424853 # summary of solver processes directly reported to runsolver: # pid: 13081 # total CPU time (s): 19973.7 # total CPU user time (s): 19966.7 # total CPU system time (s): 7.01324 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.2951 second user time and 32.7231 second system time The end
Begin job on node105 at 2017-08-15 04:06:07 IDJOB=4274914 IDBENCH=133714 IDSOLVER=2668 FILE ID=node105/4274914-1502763626 RUNJOBID= node105-1502755165-11494 PBS_JOBID= 20629083 Free space on /tmp= 60664 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-t2.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274914-1502763626/watcher-4274914-1502763626 -o /tmp/evaluation-result-4274914-1502763626/solver-4274914-1502763626 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502755165-11494 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1704304093 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274914-1502763626.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9e99b8f50ba877dbe58773e5c08a73e4 RANDOM SEED=1704304093 node105.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.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26405056 kB MemAvailable: 31972616 kB Buffers: 222912 kB Cached: 5617584 kB SwapCached: 0 kB Active: 783196 kB Inactive: 5112288 kB Active(anon): 57684 kB Inactive(anon): 25060 kB Active(file): 725512 kB Inactive(file): 5087228 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42356 kB Writeback: 36 kB AnonPages: 60808 kB Mapped: 45328 kB Shmem: 25228 kB Slab: 166876 kB SReclaimable: 141308 kB SUnreclaim: 25568 kB KernelStack: 3184 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324900 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60620 MiB End job on node105 at 2017-08-15 04:48:07