| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 244954546 | 2519.99 | 2520.02 |
| Name | Fapp/Fapp-ext/ Fapp-ext-04-0300_c18.xml |
| MD5SUM | fe02389438635ce836f3ec0e18156e6a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 244954546 |
| Best CPU time to get the best result obtained on this benchmark | 2519.99 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5284 |
| Number of constraints | 3360 |
| Number of domains | 68 |
| Minimum domain size | 1 |
| Maximum domain size | 135 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":1859},{"size":11,"count":1561},{"size":12,"count":1},{"size":25,"count":10},{"size":29,"count":10},{"size":31,"count":42},{"size":33,"count":12},{"size":36,"count":26},{"size":39,"count":45},{"size":41,"count":7},{"size":45,"count":9},{"size":50,"count":6},{"size":51,"count":9},{"size":53,"count":7},{"size":57,"count":23},{"size":58,"count":6},{"size":61,"count":6},{"size":62,"count":10},{"size":67,"count":13},{"size":73,"count":1},{"size":74,"count":2},{"size":75,"count":8},{"size":77,"count":3},{"size":79,"count":9},{"size":81,"count":11},{"size":83,"count":7},{"size":84,"count":1},{"size":85,"count":1},{"size":87,"count":11},{"size":89,"count":6},{"size":93,"count":4},{"size":95,"count":35},{"size":97,"count":5},{"size":100,"count":29},{"size":102,"count":51},{"size":104,"count":11},{"size":105,"count":5},{"size":107,"count":8},{"size":109,"count":6},{"size":110,"count":32},{"size":117,"count":53},{"size":118,"count":63},{"size":122,"count":30},{"size":127,"count":118},{"size":130,"count":112},{"size":132,"count":30},{"size":135,"count":968}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1562 |
| Distribution of variable degrees | [{"degree":2,"count":4684},{"degree":3,"count":6},{"degree":4,"count":6},{"degree":5,"count":11},{"degree":6,"count":24},{"degree":7,"count":24},{"degree":8,"count":40},{"degree":9,"count":42},{"degree":10,"count":48},{"degree":11,"count":68},{"degree":12,"count":79},{"degree":13,"count":128},{"degree":14,"count":97},{"degree":15,"count":11},{"degree":16,"count":8},{"degree":17,"count":6},{"degree":18,"count":1},{"degree":1562,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":238},{"arity":3,"count":1561},{"arity":6,"count":1561}] |
| Number of extensional constraints | 3360 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":3360}] |
| Optimization problem | YES |
| Type of objective | min SUM |
126.47/126.57 c best=?? lower=0 upper=292422130 999.49/999.51 c 999.49/999.51 c This is cosoco 1.12 -- 999.49/999.51 c 999.49/999.51 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299011-1532781290.xml 999.49/999.51 c enable optimization 999.49/999.51 c ========================================[ Problem Statistics ]=========================================== 999.49/999.51 c | 999.49/999.51 c | Parse time : 125.83 s 999.49/999.51 c | 999.49/999.51 c | Variables: 5284 999.49/999.51 c | Domain Sizes: 1..135 999.49/999.51 c | 999.49/999.51 c | Constraints: 3361 999.49/999.51 c | Arity: 2..3123 -- Binary: 238 -- Ternary: 1561 999.49/999.51 c | 999.49/999.51 c | Types: 999.49/999.51 c | Extension: 3360 (nb tuples: 0..18225) -- (shared: 0) 999.49/999.51 c | Sum: 1 999.49/999.51 c | 999.49/999.51 c | Objective: Minimize Sum 999.49/999.51 999.49/999.51 c ========================================================================================================= 999.49/999.51 o 244954546 999.49/999.51 c 1 calls to solver: best=244954546 lower=0 upper=244954545 2519.97/2520.01 2519.97/2520.01 c *** INTERRUPTED *** 2519.97/2520.01 c restarts : 52 2519.97/2520.01 c conflicts : 146268 (58 /sec) 2519.97/2520.01 c decisions : 341269 (136 /sec) 2519.97/2520.01 c propagations : 199149136 (79181 /sec) 2519.97/2520.01 c root propagations : 9310 2519.97/2520.01 c filter calls : 39322961 (15635 /sec) 2519.97/2520.01 c useless filter calls : 22516957 (57 %) 2519.97/2520.01 c Memory used : 1754.29 MB 2519.97/2520.01 c CPU time : 2515.13 s 2519.97/2520.01 2519.97/2520.01 c nb Solutions = 1 2519.97/2520.01 s SATISFIABLE 2519.97/2520.01 c Best value found: 244954546 2519.97/2520.01 2519.97/2520.01 2519.97/2520.01 v <instantiation type='solution' cost='244954546'> 2519.97/2520.01 v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[156] d[157] d[158] d[159] d[15] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[16] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[17] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[18] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[19] d[1] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[20] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[156] v1[157] v1[158] v1[159] v1[15] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[16] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[17] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[18] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[19] v1[1] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[20] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[156] v2[157] v2[158] v2[159] v2[15] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[16] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[17] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[18] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[19] v2[1] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list> 2519.97/2520.01 v <values>408 36 72 396 96 324 228 324 152 188 132 288 400 256 84 120 124 304 144 368 32 424 220 152 328 16 96 204 184 184 228 224 20 16 64 308 264 112 160 20 496 456 80 44 36 324 216 364 140 64 128 152 292 60 76 32 96 36 356 124 40 156 76 64 84 64 56 340 436 40 408 92 400 100 192 8 184 164 12 208 92 188 188 516 508 448 260 124 88 140 20 28 40 216 48 192 32 376 400 12 84 44 276 84 200 312 284 156 352 216 64 156 316 36 192 248 276 152 204 92 148 156 180 280 380 388 204 8 116 64 260 32 60 60 8 416 360 200 452 232 292 356 40 152 288 140 312 248 252 388 124 376 72 12 324 56 28 56 16 204 132 228 80 48 104 164 40 80 104 40 276 136 64 372 356 12 32 212 40 80 244 328 168 208 420 132 268 144 128 236 64 160 120 84 264 132 156 32 468 128 56 356 380 56 452 24 216 136 416 404 332 380 128 16 28 404 240 92 24 204 216 320 120 144 212 428 412 388 344 380 260 228 52 92 424 340 184 20 380 368 68 48 356 300 108 140 172 92 288 204 116 244 232 72 88 88 236 76 184 296 12 132 376 392 56 416 184 468 44 292 40 476 64 320 476 348 44 100 284 16 400 416 172 12 20 208 524 48 124 368 328 240 60 156 224 136 160 368 76 168 196 216 196 188 152 300 68 68 80 356 276 4 260 272 284 248 460 72 300 208 196 372 108 240 240 32 28 176 88 276 60 96 80 92 256 156 412 120 0 244 188 320 88 76 488 284 272 428 372 496 240 296 264 136 24 216 56 452 436 8 348 56 40 264 96 40 64 108 112 436 468 456 488 164 124 60 36 448 44 220 448 208 392 156 464 324 408 248 416 288 500 476 340 336 204 52 16 256 396 44 368 216 32 52 164 28 220 48 432 420 432 104 468 252 100 68 24 216 216 16 268 148 244 320 88 168 272 368 280 412 72 40 236 396 252 112 264 248 68 152 252 132 344 228 132 124 320 184 108 28 392 280 64 276 100 416 20 28 304 304 432 352 120 164 156 76 260 148 216 356 280 56 216 176 36 124 240 180 44 56 332 276 176 264 180 132 208 96 228 92 76 16 40 40 128 488 400 84 36 44 16 88 52 372 232 324 24 436 436 92 12 300 72 40 396 160 68 72 360 68 104 148 184 116 148 316 152 296 4 68 336 48 28 228 184 40 32 228 16 208 348 16 328 136 164 92 48 264 16 228 100 180 64 336 232 48 76 88 336 264 304 128 40 212 52 160 188 96 96 340 196 52 112 64 428 24 160 96 336 24 164 400 52 84 520 340 140 12 60 196 176 280 192 136 56 60 32 184 404 92 36 164 196 184 368 56 368 452 24 344 24 416 80 332 408 360 348 148 184 76 180 92 36 12 152 192 32 28 204 304 236 160 64 312 284 208 112 128 224 96 100 184 72 296 40 400 16 444 212 124 160 192 164 300 368 232 336 228 80 60 156 136 96 116 92 232 4 108 180 104 140 216 364 360 224 424 340 364 536 380 380 144 16 216 56 216 336 32 396 16 428 36 268 272 340 36 108 184 372 476 372 412 364 244 80 180 360 104 44 264 444 128 276 144 420 148 20 220 100 392 456 356 308 400 184 192 120 360 252 276 200 228 72 32 36 316 4 56 56 104 412 272 356 448 228 424 8 284 344 228 104 20 56 12 64 112 72 84 216 40 352 140 120 296 140 100 152 232 40 60 292 28 68 392 412 284 240 324 392 256 368 332 108 336 80 288 380 68 12 72 344 244 52 372 20 336 272 124 460 376 176 360 292 112 80 68 52 360 180 120 240 80 48 304 456 60 144 416 44 196 324 20 288 456 52 60 156 388 180 184 136 212 284 40 184 376 84 284 288 332 228 260 12 164 296 296 116 328 104 476 100 4 152 344 92 124 68 44 60 20 372 236 408 144 276 396 276 32 44 16 188 40 352 4 264 88 108 88 156 28 12 248 72 272 424 444 56 12 340 252 432 260 92 140 244 236 472 136 108 32 92 16 140 308 484 68 460 324 84 232 184 244 204 88 144 96 28 284 272 168 264 32 76 120 344 72 344 12 384 84 152 384 216 256 12 100 192 92 452 120 272 160 184 396 232 44 100 312 68 312 132 136 396 304 76 208 52 120 336 76 464 84 64 92 32 112 144 104 424 184 424 328 8 40 12 296 84 84 304 24 44 12 80 48 244 156 304 152 60 284 320 300 280 228 312 64 60 328 60 56 392 164 4 24 120 32 324 384 308 332 336 16 48 76 32 432 144 216 256 248 444 308 52 332 280 192 104 176 40 68 20 404 384 48 68 68 336 376 24 240 60 28 188 192 256 244 172 184 360 148 360 264 344 144 16 240 164 304 348 436 84 40 32 200 4 148 92 40 296 56 188 140 96 240 16 84 356 24 348 348 344 472 88 420 388 180 92 216 224 256 196 244 280 156 168 280 172 428 188 116 536 56 176 344 180 308 288 60 284 300 268 352 252 196 80 152 12 132 24 56 100 124 72 244 128 60 160 140 320 72 360 96 420 92 176 212 144 172 172 128 108 284 4 228 268 68 132 164 120 120 16 252 68 104 12 76 120 48 60 20 96 368 68 296 196 68 148 232 84 208 240 268 212 260 76 188 232 48 216 260 196 200 68 184 220 288 16 40 348 24 24 360 204 192 436 48 52 420 64 360 160 112 104 356 108 72 320 340 84 56 292 76 328 252 336 184 124 52 236 380 256 20 412 308 360 96 48 72 132 324 356 84 372 308 96 136 96 320 148 372 360 120 292 360 276 52 312 108 68 436 360 388 428 172 364 220 292 168 52 72 404 44 180 168 12 24 228 80 188 96 292 472 152 144 192 36 128 16 376 4 404 288 456 72 376 324 144 32 272 100 200 252 396 336 356 96 236 40 212 216 44 4 312 256 124 136 324 188 300 136 200 160 76 168 40 440 92 308 4 240 316 284 324 364 208 44 408 112 24 136 96 264 360 40 104 348 236 448 36 244 24 316 152 64 184 188 164 12 240 488 332 200 444 460 288 92 268 200 80 240 24 268 60 56 140 292 272 20 420 404 460 200 48 228 176 512 472 412 484 264 40 428 12 380 316 432 376 140 16 28 212 400 192 288 32 196 228 260 328 368 212 96 40 120 108 256 360 80 276 240 224 176 376 28 80 332 320 460 132 280 316 152 132 336 152 224 320 188 264 68 168 212 116 244 272 152 112 60 248 120 352 348 292 108 400 88 112 104 276 260 16 260 276 104 60 160 280 140 4 12 316 332 356 76 132 132 388 56 380 88 472 204 12 72 472 92 308 140 192 300 8 116 12 48 240 52 336 112 60 64 136 228 112 72 364 288 4 48 84 312 72 40 300 140 392 100 304 116 72 324 52 76 16 36 148 16 188 76 60 360 408 116 40 388 28 64 8 72 316 144 56 40 256 344 180 292 72 84 340 264 128 76 40 104 40 328 144 120 356 344 224 56 276 236 76 8 92 320 20 8 32 2580 2384 2680 2268 2504 2472 2236 2308 2632 2492 2552 2532 2252 2516 2200 2600 2276 2548 2616 2632 2432 2544 2648 2576 2600 2524 2696 2584 2384 2500 2656 2160 2524 2460 2528 2232 2604 2676 2300 2200 2284 2364 2440 2580 2352 2208 2200 2504 2232 2452 2340 2296 2556 2240 2428 2384 2440 2480 2216 2184 2160 2564 2416 2588 2248 2584 2200 2268 2448 2472 2620 2216 2636 2216 2572 2684 2172 2544 2560 2356 2696 2500 2612 2200 2400 2160 2452 2572 2496 2488 2200 2400 2296 2192 2616 2500 2200 2636 2608 2160 2160 2540 2176 2560 2644 2160 2576 2376 2488 2572 2216 2356 2424 2316 2568 2316 2676 2592 2204 2432 2420 2292 2200 2312 2624 2160 2336 2412 2628 2668 2244 2200 2484 2628 2596 2344 2596 2572 2568 2376 2256 2508 2540 2560 2200 2568 2592 2408 2560 2600 2524 2300 2592 2420 2236 2360 2656 2360 2572 2448 2416 2160 2168 2392 2160 2660 2212 2228 2232 2272 2696 2256 2252 2576 2440 2636 2556 2528 2644 2508 2616 2328 2612 2400 2544 2612 2616 2320 2300 2640 2160 2392 2352 2212 2688 2160 2176 2224 2320 2460 2564 2564 2396 2500 2588 2540 2204 2288 2600 2612 2244 2364 2484 2324 2216 2176 2392 2356 2632 2272 2340 2628 2268 2236 2520 2264 2616 2384 2212 2544 2212 2588 2160 2172 2176 2344 2544 2324 2260 2280 2584 2572 2276 2596 2456 2192 2576 2636 2536 2312 2560 2200 2376 2224 2440 2352 2160 2276 2200 2468 2656 2444 2524 2620 2424 2432 2648 2596 2272 2308 2244 2296 2584 2532 2588 2380 2496 2172 2548 2184 2200 2656 2312 2228 2468 2524 2336 2224 2556 2688 2564 2468 2620 2160 2200 2528 2336 2672 2348 2288 10 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 1 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 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 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 7 1 0 0 0 0 0 0 8 9 0 0 9 9 0 0 0 0 1 0 0 0 0 1 9 0 0 0 0 0 5 1 3 0 0 0 0 0 1 0 0 0 1 0 1 0 7 0 0 0 0 6 4 0 0 0 0 1 0 0 0 0 9 1 0 8 1 0 0 6 0 0 1 0 5 0 7 0 8 0 0 3 0 0 0 8 9 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 9 9 0 8 0 0 0 1 0 0 0 9 9 0 0 6 1 8 0 0 9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 1 9 0 0 0 0 0 1 0 0 1 0 9 0 0 0 0 0 0 0 1 0 0 0 9 0 0 1 0 0 0 0 0 0 0 6 0 1 5 8 9 4 1 0 0 0 1 9 0 0 0 1 0 0 0 9 0 9 0 0 0 0 0 0 8 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 9 0 0 0 0 0 0 0 5 0 1 0 0 1 0 1 0 0 0 9 0 0 1 0 0 9 9 9 0 7 0 0 1 9 7 0 0 0 0 0 3 0 0 0 0 1 9 0 7 6 0 7 0 9 0 2 0 0 7 1 0 0 1 0 0 0 1 0 9 4 0 0 5 0 0 0 0 0 0 0 1 5 0 1 0 0 9 0 1 0 0 0 0 9 0 1 0 9 0 0 1 0 0 0 9 0 9 8 0 0 0 0 7 9 9 1 9 0 8 0 0 0 9 0 0 0 0 0 0 0 0 9 0 0 0 0 1 0 0 0 0 1 0 8 0 0 0 0 1 0 0 0 0 0 0 9 0 0 0 0 4 1 9 9 0 0 0 7 0 7 0 9 1 0 2 1 0 0 9 0 1 0 0 0 0 0 3 1 0 0 0 1 0 0 1 0 0 0 0 0 0 8 6 0 0 4 8 2 1 0 0 3 3 0 0 0 0 0 9 0 0 0 8 0 5 0 4 0 0 0 0 9 5 8 6 0 3 9 0 7 9 0 9 0 1 0 0 0 8 9 0 0 0 0 0 0 0 0 3 0 0 1 0 1 0 8 0 1 9 0 0 0 0 0 7 0 1 0 8 0 1 0 0 0 1 0 2 0 0 1 0 0 0 9 0 9 0 1 0 0 1 0 9 0 4 0 0 0 1 1 0 0 7 1 0 0 0 0 9 6 5 0 1 0 0 1 0 0 0 1 1 0 9 9 0 9 1 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 0 1 0 0 3 0 7 9 0 1 7 0 7 0 2 0 0 0 0 1 6 0 3 5 0 0 1 9 0 1 7 0 9 0 0 0 1 0 3 0 0 0 0 0 0 6 3 0 0 0 0 0 8 0 0 0 0 8 0 9 9 0 0 0 0 0 0 0 0 0 0 8 0 0 5 7 0 0 1 0 0 0 0 0 4 0 0 0 0 0 0 0 5 0 1 0 0 0 9 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 9 0 0 1 1 6 9 8 1 0 0 0 0 1 4 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 8 0 9 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 6 0 8 7 0 0 0 0 0 0 1 0 0 1 0 2 0 0 0 0 0 0 6 0 0 0 0 0 0 1 0 9 0 0 0 1 0 0 0 0 7 1 0 2 1 6 0 0 0 0 9 0 0 0 0 0 0 0 0 0 1 0 0 8 0 0 0 0 1 0 8 0 0 0 7 1 0 1 0 0 0 0 0 1 0 0 0 9 0 0 2 1 9 0 5 0 0 6 1 9 0 0 8 0 1 0 0 0 3 0 9 0 0 0 0 1 8 0 6 5 0 0 0 1 2 0 9 0 0 8 1 0 1 0 0 9 0 9 3 0 6 0 0 0 0 1 1 0 0 9 0 0 1 0 0 0 0 1 0 9 0 0 0 0 0 0 0 9 0 0 1 8 0 6 4 0 1 0 1 0 0 1 0 0 2 0 0 0 1 0 0 0 0 0 9 9 6 1 0 0 0 0 0 0 0 9 0 0 9 7 0 0 0 0 8 0 1 8 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 5 9 0 0 0 0 4 0 0 0 6 0 0 0 0 0 0 0 0 0 1 6 0 9 0 0 1 0 0 0 0 0 0 1 7 6 0 0 0 0 0 0 6 0 9 0 0 0 0 0 9 0 0 0 0 9 8 0 0 7 0 0 0 0 9 9 0 9 1 0 0 0 0 0 0 9 0 9 0 0 0 0 0 0 0 0 0 9 0 0 1 0 6 9 0 0 0 0 9 9 0 0 0 0 0 0 1 0 0 1 7 4 0 0 0 0 0 0 2 3 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 6 1 0 9 0 0 0 8 9 0 0 0 1 0 0 1 0 0 8 0 0 0 0 9 9 9 0 0 0 7 1 0 0 0 5 0 6 0 0 0 1 0 9 0 8 0 9 0 0 1 0 0 0 1 0 0 2 0 0 9 5 1 0 0 1 0 1 0 9 0 0 0 0 3 0 0 0 5 0 0 9 0 0 0 1 5 9 1 6 0 0 1 1 0 0 0 1 0 0 0 0 0 0 5 2 0 0 0 2 0 0 6 0 0 0 0 9 0 0 0 0 1 0 0 0 0 8 0 9 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 9 0 6 0 9 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 6 0 0 8 2 0 0 0 0 0 1 0 2 0 0 1 0 0 1 9 8 0 0 0 0 0 0 0 0 9 0 5 9 0 0 0 0 9 0 7 1 8 1 0 0 0 8 0 0 0 1 0 0 5 0 0 0 1 0 0 0 0 0 0 7 0 0 0 2 0 1 0 0 0 9 0 9 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 6 0 0 0 0 9 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 8 0 0 0 0 0 0 0 0 0 1 0 0 8 0 0 0 1 0 0 0 0 0 7 0 0 0 0 0 1 6 8 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 9 0 1 0 0 3 0 0 0 1 0 1 0 1 0 7 0 0 0 2 0 0 0 0 1 9 0 0 9 1 0 0 0 1 9 9 0 0 9 0 0 0 0 0 0 8 0 0 0 0 0 0 6 9 0 0 0 4 0 0 6 2 0 9 0 0 1 0 0 4 9 0 0 0 8 0 0 0 3 0 0 </values> 2519.97/2520.01 v </instantiation> 2519.97/2520.01
OK 244954546
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 (8106 MiB free)
memory of node 1: 16384 MiB (8901 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299011-1532781290/watcher-4299011-1532781290 -o /tmp/evaluation-result-4299011-1532781290/solver-4299011-1532781290 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299011-1532781290.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12096, runsolver pid=12093
[startup+0.100362 s]*
/proc/loadavg: 2.34 2.09 2.07 3/187 12097
/proc/meminfo: memFree=17397936/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=45596 memory=21980 CPUtime=0.09 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 5652 0 0 0 9 0 0 0 20 0 1 0 95692345 46690304 5495 33554432000 4194304 6142532 140734486534096 140734486530744 5408490 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 11399 5495 790 476 0 4721 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45596 KiB
Current children cumulated memory: 21980 KiB
[startup+0.209666 s]*
/proc/loadavg: 2.34 2.09 2.07 3/187 12097
/proc/meminfo: memFree=17391256/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=52136 memory=28316 CPUtime=0.2 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 7273 0 0 0 20 0 0 0 20 0 1 0 95692345 53387264 7079 33554432000 4194304 6142532 140734486534096 140734486530744 5801707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 13034 7079 791 476 0 6356 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52136 KiB
Current children cumulated memory: 28316 KiB
[startup+0.309454 s]*
/proc/loadavg: 2.34 2.09 2.07 3/187 12097
/proc/meminfo: memFree=17389644/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=53352 memory=29636 CPUtime=0.3 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 7563 0 0 0 30 0 0 0 20 0 1 0 95692345 54632448 7343 33554432000 4194304 6142532 140734486534096 140734486530744 139645435501099 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 13338 7343 791 476 0 6660 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53352 KiB
Current children cumulated memory: 29636 KiB
[startup+0.700236 s]
/proc/loadavg: 2.34 2.09 2.07 3/187 12097
/proc/meminfo: memFree=17385940/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=59404 memory=35008 CPUtime=0.68 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9222 0 0 0 68 0 0 0 20 0 1 0 95692345 60829696 8752 33554432000 4194304 6142532 140734486534096 140734486530744 5801481 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 14851 8752 791 476 0 8173 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59404 KiB
Current children cumulated memory: 35008 KiB
[startup+1.50025 s]
/proc/loadavg: 2.34 2.09 2.07 3/187 12097
/proc/meminfo: memFree=17381228/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=68136 memory=42664 CPUtime=1.49 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 11118 0 0 0 148 1 0 0 20 0 1 0 95692345 69771264 10666 33554432000 4194304 6142532 140734486534096 140734486530744 5800674 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 17034 10666 791 476 0 10356 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68136 KiB
Current children cumulated memory: 42664 KiB
[startup+3.10965 s]
/proc/loadavg: 2.32 2.09 2.07 3/187 12097
/proc/meminfo: memFree=17359796/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=87852 memory=60936 CPUtime=3.09 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 17167 0 0 0 308 1 0 0 20 0 1 0 95692345 89960448 15234 33554432000 4194304 6142532 140734486534096 140734486530744 5798068 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 21963 15234 791 476 0 15285 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 87852 KiB
Current children cumulated memory: 60936 KiB
[startup+6.3003 s]
/proc/loadavg: 2.32 2.09 2.07 3/187 12097
/proc/meminfo: memFree=17286368/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=123432 memory=93492 CPUtime=6.28 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 27027 0 0 0 620 8 0 0 20 0 1 0 95692345 126394368 23373 33554432000 4194304 6142532 140734486534096 140734486530744 5456129 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 30858 23373 791 476 0 24180 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 123432 KiB
Current children cumulated memory: 93492 KiB
[startup+12.7002 s]
/proc/loadavg: 2.37 2.11 2.07 3/187 12097
/proc/meminfo: memFree=17262168/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=197264 memory=161812 CPUtime=12.68 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 46131 0 0 0 1250 18 0 0 20 0 1 0 95692345 201998336 40453 33554432000 4194304 6142532 140734486534096 140734486530744 5800110 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 49316 40453 791 476 0 42638 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 197264 KiB
Current children cumulated memory: 161812 KiB
[startup+25.5002 s]
/proc/loadavg: 2.29 2.10 2.07 3/187 12097
/proc/meminfo: memFree=17120296/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=345696 memory=299824 CPUtime=25.48 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 83953 0 0 0 2524 24 0 0 20 0 1 0 95692345 353992704 74956 33554432000 4194304 6142532 140734486534096 140734486530744 5801854 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 86424 74956 791 476 0 79746 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 345696 KiB
Current children cumulated memory: 299824 KiB
[startup+51.1095 s]
/proc/loadavg: 2.19 2.09 2.07 3/187 12097
/proc/meminfo: memFree=16833684/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=644528 memory=576216 CPUtime=51.08 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 155537 0 0 0 5074 34 0 0 20 0 1 0 95692345 659996672 144054 33554432000 4194304 6142532 140734486534096 140734486530744 5802487 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 161132 144054 791 476 0 154454 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 644528 KiB
Current children cumulated memory: 576216 KiB
[startup+102.3 s]
/proc/loadavg: 2.12 2.09 2.07 3/187 12098
/proc/meminfo: memFree=16317480/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1193932 memory=1088960 CPUtime=102.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 286493 0 0 0 10174 53 0 0 20 0 1 0 95692345 1222586368 272240 33554432000 4194304 6142532 140734486534096 140734486530744 5796124 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 298483 272240 794 476 0 291805 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1193932 KiB
Current children cumulated memory: 1088960 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/187 12099
/proc/meminfo: memFree=15800616/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1712464 memory=1597780 CPUtime=162.26 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 816079 0 0 0 16141 85 0 0 20 0 1 0 95692345 1753563136 399445 33554432000 4194304 6142532 140734486534096 140734486530728 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 428116 399445 848 476 0 421438 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1712464 KiB
Current children cumulated memory: 1597780 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/187 12100
/proc/meminfo: memFree=15727108/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1724884 memory=1609728 CPUtime=222.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 1086042 0 0 0 22130 97 0 0 20 0 1 0 95692345 1766281216 402432 33554432000 4194304 6142532 140734486534096 140734486530728 5016552 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 431221 402432 848 476 0 424543 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1724884 KiB
Current children cumulated memory: 1609728 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 12101
/proc/meminfo: memFree=15711512/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1737880 memory=1621952 CPUtime=282.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 1422327 0 0 0 28114 113 0 0 20 0 1 0 95692345 1779589120 405488 33554432000 4194304 6142532 140734486534096 140734486530840 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 434470 405488 848 476 0 427792 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 1737880 KiB
Current children cumulated memory: 1621952 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 12109
/proc/meminfo: memFree=15707064/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1737880 memory=1622028 CPUtime=342.26 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 1782250 0 0 0 34099 127 0 0 20 0 1 0 95692345 1779589120 405507 33554432000 4194304 6142532 140734486534096 140734486530840 5335940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 434470 405507 848 476 0 427792 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 1737880 KiB
Current children cumulated memory: 1622028 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 12110
/proc/meminfo: memFree=15667448/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1765576 memory=1649360 CPUtime=402.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 2225986 0 0 0 40081 146 0 0 20 0 1 0 95692345 1807949824 412340 33554432000 4194304 6142532 140734486534096 140734486530808 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 441394 412340 848 476 0 434716 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 1765576 KiB
Current children cumulated memory: 1649360 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 12111
/proc/meminfo: memFree=15635796/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1770000 memory=1653600 CPUtime=462.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 2568183 0 0 0 46066 161 0 0 20 0 1 0 95692345 1812480000 413400 33554432000 4194304 6142532 140734486534096 140734486530728 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 442500 413400 848 476 0 435822 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 1770000 KiB
Current children cumulated memory: 1653600 KiB
################
# More data... #
################
/proc/12096/statm: 449096 428633 850 476 0 442418 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1714532 KiB
[startup+1782.3 s]
/proc/loadavg: 2.29 2.16 2.10 3/187 12172
/proc/meminfo: memFree=15477948/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1721692 CPUtime=1782.29 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 8607455 0 0 0 177791 438 0 0 20 0 1 0 95692345 1839497216 430423 33554432000 4194304 6142532 140734486534096 140734486521368 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 430423 850 476 0 442418 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1721692 KiB
[startup+1842.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/187 12173
/proc/meminfo: memFree=15471036/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1728800 CPUtime=1842.28 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 8861595 0 0 0 183781 447 0 0 20 0 1 0 95692345 1839497216 432200 33554432000 4194304 6142532 140734486534096 140734486521368 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 432200 850 476 0 442418 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1728800 KiB
[startup+1902.3 s]
/proc/loadavg: 2.09 2.14 2.10 3/187 12174
/proc/meminfo: memFree=15463504/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1736216 CPUtime=1902.28 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 8960867 0 0 0 189776 452 0 0 20 0 1 0 95692345 1839497216 434054 33554432000 4194304 6142532 140734486534096 140734486521368 5017820 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 434054 850 476 0 442418 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1736216 KiB
[startup+1962.3 s]
/proc/loadavg: 2.07 2.12 2.10 3/187 12175
/proc/meminfo: memFree=15455964/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1743780 CPUtime=1962.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9156129 0 0 0 195766 461 0 0 20 0 1 0 95692345 1839497216 435945 33554432000 4194304 6142532 140734486534096 140734486521368 5017902 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 435945 850 476 0 442418 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1743780 KiB
[startup+2022.3 s]
/proc/loadavg: 2.06 2.12 2.10 3/187 12176
/proc/meminfo: memFree=15449060/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1750660 CPUtime=2022.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9309779 0 0 0 201758 469 0 0 20 0 1 0 95692345 1839497216 437665 33554432000 4194304 6142532 140734486534096 140734486521368 5017767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 437665 850 476 0 442418 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1750660 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.10 2.09 3/187 12177
/proc/meminfo: memFree=15444748/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1755504 CPUtime=2082.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9390813 0 0 0 207753 474 0 0 20 0 1 0 95692345 1839497216 438876 33554432000 4194304 6142532 140734486534096 140734486521368 5017767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 438876 850 476 0 442418 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1755504 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.08 2.09 3/188 12186
/proc/meminfo: memFree=15438928/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1760512 CPUtime=2142.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9457717 0 0 0 213749 478 0 0 20 0 1 0 95692345 1839497216 440128 33554432000 4194304 6142532 140734486534096 140734486521368 5017767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 440128 850 476 0 442418 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1760512 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/188 12187
/proc/meminfo: memFree=15434616/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1765008 CPUtime=2202.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9503456 0 0 0 219746 481 0 0 20 0 1 0 95692345 1839497216 441252 33554432000 4194304 6142532 140734486534096 140734486521368 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 441252 850 476 0 442418 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1765008 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/188 12188
/proc/meminfo: memFree=15431164/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1768840 CPUtime=2262.26 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9557316 0 0 0 225743 483 0 0 20 0 1 0 95692345 1839497216 442210 33554432000 4194304 6142532 140734486534096 140734486521368 5017973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 442210 850 476 0 442418 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1768840 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/188 12189
/proc/meminfo: memFree=15431192/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1768840 CPUtime=2322.26 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9573789 0 0 0 231742 484 0 0 20 0 1 0 95692345 1839497216 442210 33554432000 4194304 6142532 140734486534096 140734486521368 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 442210 850 476 0 442418 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1768840 KiB
[startup+2382.3 s]
/proc/loadavg: 1.99 2.04 2.06 3/204 12222
/proc/meminfo: memFree=11535604/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1768840 CPUtime=2382.26 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9581021 0 0 0 237742 484 0 0 20 0 1 0 95692345 1839497216 442210 33554432000 4194304 6142532 140734486534096 140734486521368 5017767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 442210 850 476 0 442418 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1768840 KiB
[startup+2442.3 s]
/proc/loadavg: 2.27 2.13 2.09 3/187 12255
/proc/meminfo: memFree=17436900/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1768900 CPUtime=2442.27 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9584584 0 0 0 243742 485 0 0 20 0 1 0 95692345 1839497216 442225 33554432000 4194304 6142532 140734486534096 140734486521368 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 442225 850 476 0 442418 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1768900 KiB
[startup+2502.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/187 12256
/proc/meminfo: memFree=16792248/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1772832 CPUtime=2502.26 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9586050 0 0 0 249741 485 0 0 20 0 1 0 95692345 1839497216 443208 33554432000 4194304 6142532 140734486534096 140734486521368 5138432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 443208 850 476 0 442418 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1772832 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.07 2.10 2.09 3/187 12257
/proc/meminfo: memFree=16627188/32770624 swapFree=67108860/67108860
[pid=12096] ppid=12093 vsize=1796384 memory=1772832 CPUtime=2519.97 cores=0,2,4,6
/proc/12096/stat : 12096 (cosoco) R 12093 12096 11466 0 -1 4202496 9586543 0 0 0 251512 485 0 0 20 0 1 0 95692345 1839497216 443208 33554432000 4194304 6142532 140734486534096 140734486521368 5016542 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 30220288 140734486541446 140734486541576 140734486541576 140734486544334 0
/proc/12096/statm: 449096 443208 850 476 0 442418 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 1796384 KiB
Current children cumulated memory: 1772832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 12096 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.13 s, system=4.85707 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.99
CPU user time (s): 2515.13
CPU system time (s): 4.85707
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 1796384
Max. memory (cumulated for all children) (KiB): 1772832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.13
system time used= 4.85707
maximum resident set size= 1772896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9586595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149
involuntary context switches= 3275
# summary of solver processes directly reported to runsolver:
# pid: 12096
# total CPU time (s): 2519.99
# total CPU user time (s): 2515.13
# total CPU system time (s): 4.85707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.9784 second user time and 18.7155 second system time
The end
Begin job on node105 at 2018-07-28 14:34:52 IDJOB=4299011 IDBENCH=141283 IDSOLVER=2761 FILE ID=node105/4299011-1532781290 RUNJOBID= node105-1532776049-11497 PBS_JOBID= 21022469 Free space on /tmp= 43788 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-04-0300_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299011-1532781290/watcher-4299011-1532781290 -o /tmp/evaluation-result-4299011-1532781290/solver-4299011-1532781290 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11497 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299011-1532781290.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fe02389438635ce836f3ec0e18156e6a RANDOM SEED=89444630 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.32 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.32 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.32 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.32 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: 17416940 kB MemAvailable: 29733440 kB Buffers: 268840 kB Cached: 12174276 kB SwapCached: 0 kB Active: 5435320 kB Inactive: 9254468 kB Active(anon): 2201688 kB Inactive(anon): 73344 kB Active(file): 3233632 kB Inactive(file): 9181124 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 366000 kB Writeback: 0 kB AnonPages: 2254452 kB Mapped: 45072 kB Shmem: 25228 kB Slab: 358080 kB SReclaimable: 330204 kB SUnreclaim: 27876 kB KernelStack: 3296 kB PageTables: 9576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2623532 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 104448 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 43840 MiB End job on node105 at 2018-07-28 15:16:52