Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 181903419 | 2520.12 | 2520.02 |
| Name | Fapp/Fapp-ext/ Fapp-ext-02-0250_c18.xml |
| MD5SUM | 24bf88c1c49a1faaa01f312934ed4415 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 181903419 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4758 |
| Number of constraints | 3055 |
| Number of domains | 59 |
| Minimum domain size | 1 |
| Maximum domain size | 105 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1420 |
| Distribution of variable degrees | [{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}] |
| Number of extensional constraints | 3055 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":3055}] |
| Optimization problem | YES |
| Type of objective | min SUM |
64.89/64.90 c best=?? lower=0 upper=241641510 184.50/184.51 c 184.50/184.51 c This is cosoco 1.12 -- 184.50/184.51 c 184.50/184.51 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298997-1532780083.xml 184.50/184.51 c enable optimization 184.50/184.51 c ========================================[ Problem Statistics ]=========================================== 184.50/184.51 c | 184.50/184.51 c | Parse time : 64.58 s 184.50/184.51 c | 184.50/184.51 c | Variables: 4758 184.50/184.51 c | Domain Sizes: 1..105 184.50/184.51 c | 184.50/184.51 c | Constraints: 3056 184.50/184.51 c | Arity: 2..2839 -- Binary: 217 -- Ternary: 1419 184.50/184.51 c | 184.50/184.51 c | Types: 184.50/184.51 c | Extension: 3055 (nb tuples: 0..11025) -- (shared: 0) 184.50/184.51 c | Sum: 1 184.50/184.51 c | 184.50/184.51 c | Objective: Minimize Sum 184.50/184.51 184.50/184.51 c ========================================================================================================= 184.50/184.51 o 225852911 184.50/184.51 c 1 calls to solver: best=225852911 lower=0 upper=225852910 188.01/188.04 o 225796045 191.50/191.58 o 225796041 191.50/191.58 c 3 calls to solver: best=225796041 lower=0 upper=225796040 359.22/359.21 o 225085949 405.12/405.12 o 182102086 405.12/405.12 c 5 calls to solver: best=182102086 lower=0 upper=182102085 593.89/593.92 o 182045202 2446.28/2446.21 o 181903419 2446.28/2446.21 c 7 calls to solver: best=181903419 lower=0 upper=181903418 2520.10/2520.01 2520.10/2520.01 c *** INTERRUPTED *** 2520.10/2520.01 c restarts : 62 2520.10/2520.01 c conflicts : 357976 (142 /sec) 2520.10/2520.01 c decisions : 927214 (368 /sec) 2520.10/2520.01 c propagations : 406550370 (161415 /sec) 2520.10/2520.01 c root propagations : 7437 2520.10/2520.01 c filter calls : 131506472 (52213 /sec) 2520.10/2520.01 c useless filter calls : 73847291 (56 %) 2520.10/2520.01 c Memory used : 996.11 MB 2520.10/2520.01 c CPU time : 2518.67 s 2520.10/2520.01 2520.10/2520.01 c nb Solutions = 7 2520.10/2520.01 s SATISFIABLE 2520.10/2520.01 c Best value found: 181903419 2520.10/2520.01 2520.10/2520.01 2520.10/2520.01 v <instantiation type='solution' cost='181903419'> 2520.10/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[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[14] d[150] d[151] d[152] d[153] d[154] d[155] 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[25] f[26] f[27] f[28] 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[25] p[26] p[27] p[28] 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[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[14] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] 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[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[14] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] 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> 2520.10/2520.01 v <values>112 172 336 96 216 244 48 244 56 276 100 328 32 240 264 64 188 64 216 268 112 276 40 96 80 44 296 292 320 272 356 328 280 72 168 100 28 80 176 252 12 268 188 160 160 8 136 68 140 44 188 224 68 244 172 76 232 24 340 20 16 40 220 364 28 52 96 88 60 128 28 48 176 192 284 128 20 368 56 84 44 76 8 112 24 172 76 236 248 192 112 148 164 156 308 300 288 8 356 328 296 100 360 96 40 188 188 268 260 320 208 220 36 340 276 232 292 120 80 68 8 64 24 164 248 156 128 28 68 16 176 48 52 24 116 12 32 228 324 184 96 56 32 64 12 308 60 100 240 32 292 56 68 56 176 160 316 160 24 136 88 120 172 92 152 20 48 180 112 256 260 76 272 80 88 96 132 336 204 68 204 8 8 24 184 212 280 80 56 184 16 332 28 188 144 36 108 20 72 20 136 68 144 108 44 340 16 92 56 48 336 96 24 92 48 40 36 12 340 344 68 40 280 332 344 44 40 276 248 44 156 140 96 28 48 132 272 32 312 364 188 12 172 12 4 312 120 312 24 20 220 208 272 60 164 36 208 200 104 160 100 28 200 8 76 132 192 332 180 120 168 32 68 220 96 180 52 152 240 272 212 136 176 24 8 28 176 384 140 216 276 68 64 160 112 88 68 64 208 56 64 264 80 296 0 240 136 108 16 72 100 140 316 200 88 84 12 80 180 68 52 192 60 36 20 292 240 384 92 72 68 84 164 200 128 116 120 28 148 132 28 100 232 120 152 128 232 92 124 88 116 116 172 240 180 124 228 204 348 36 248 132 284 88 200 216 136 240 228 212 404 36 108 184 60 36 92 44 80 68 40 96 84 20 100 252 152 176 72 48 152 172 132 344 28 196 160 64 248 204 56 36 148 136 132 132 76 204 32 20 36 104 208 192 56 120 140 40 128 80 96 108 60 152 76 52 188 48 176 44 60 72 180 112 116 292 72 228 144 208 132 28 360 132 172 372 116 192 264 240 104 68 220 8 4 344 52 76 260 196 124 180 124 180 260 248 60 16 16 36 156 32 168 148 364 348 128 32 280 52 176 100 100 72 36 176 12 12 192 124 48 56 192 148 240 164 244 32 148 24 180 112 100 232 208 88 148 100 188 44 68 108 52 64 32 92 32 120 324 108 124 208 264 224 96 96 44 108 128 192 108 68 264 80 148 92 144 140 44 376 68 168 312 292 356 28 128 4 128 268 72 212 260 160 328 92 276 28 32 304 100 76 20 344 132 132 80 144 144 80 20 120 112 32 272 140 76 80 84 88 104 280 172 36 240 136 204 108 320 20 208 28 108 92 300 344 76 28 196 252 28 252 200 136 120 36 68 52 56 92 96 68 60 128 116 108 148 112 360 92 20 48 120 48 156 168 8 56 24 76 152 164 96 120 224 28 32 276 112 252 216 88 272 148 92 132 12 96 56 68 48 148 212 68 276 56 64 76 12 132 40 84 64 400 180 68 20 88 128 156 228 92 248 300 360 152 96 100 240 80 196 144 48 100 268 216 160 136 192 248 56 180 216 8 36 112 76 92 148 172 172 40 220 40 36 232 244 68 180 400 164 136 388 84 36 156 112 156 168 300 168 52 260 224 308 56 44 92 32 180 352 240 160 168 364 40 180 276 124 204 96 296 184 120 272 140 172 8 28 40 164 192 148 192 320 72 116 292 212 316 96 348 320 72 180 24 324 324 44 236 200 272 188 268 112 216 112 300 52 128 304 260 168 140 52 28 196 80 48 64 224 204 108 228 260 296 100 136 84 184 140 56 20 192 60 8 40 52 212 96 240 196 196 244 92 208 228 76 84 20 96 36 104 112 28 260 64 24 88 84 148 160 60 140 20 160 116 148 92 204 44 148 40 140 356 172 172 168 236 356 56 136 56 156 20 172 200 12 220 316 316 152 68 180 156 324 52 144 84 60 128 56 276 60 208 156 36 144 112 96 36 108 324 56 332 16 308 32 164 28 12 224 192 120 292 264 96 160 116 80 20 32 176 232 32 300 252 36 32 48 144 184 144 208 248 84 116 196 56 120 76 112 188 100 4 8 132 156 192 64 52 116 188 64 212 184 280 152 280 220 260 224 268 124 128 160 144 16 144 80 12 196 120 16 172 176 136 52 168 48 112 236 40 164 200 100 32 60 108 144 48 56 72 252 172 60 28 64 332 136 44 344 160 28 44 292 56 124 172 140 104 124 120 24 44 64 296 40 32 140 24 196 48 148 20 112 72 324 92 180 116 72 188 92 44 68 312 28 308 228 200 104 264 264 168 96 196 76 128 104 156 36 204 140 92 20 84 124 100 184 188 176 132 172 24 20 192 180 280 12 108 128 36 64 308 12 312 104 160 248 32 180 148 4 84 248 284 232 140 48 236 32 280 316 100 72 332 156 148 184 20 96 8 36 116 160 188 8 300 88 36 280 28 124 52 216 248 128 36 204 308 132 12 24 220 268 160 88 36 124 288 268 24 44 264 276 192 124 88 68 172 212 164 148 100 96 100 240 140 256 40 120 84 268 48 68 104 228 344 64 92 60 264 16 252 76 8 72 120 20 52 264 152 180 300 72 44 60 68 180 200 316 208 80 376 392 88 232 256 336 188 176 116 100 380 340 240 224 48 4 180 380 44 8 36 92 212 112 156 212 48 192 100 120 140 152 80 184 148 148 60 48 364 264 264 60 196 124 376 224 20 48 32 188 84 116 120 128 120 124 24 48 56 244 280 160 244 84 120 132 32 364 164 156 272 340 344 200 12 48 40 92 4 64 164 100 364 192 232 28 272 144 104 156 144 64 52 88 56 136 240 112 12 80 20 112 364 268 296 368 48 212 92 136 252 308 68 340 68 392 16 208 404 260 24 20 120 140 20 132 132 96 160 60 140 52 172 116 168 92 20 308 172 284 108 312 200 180 352 132 108 128 180 172 20 136 4 84 188 300 396 88 192 236 32 200 208 216 188 8 32 20 132 8 48 156 172 176 316 272 116 292 212 44 184 16 172 48 228 204 228 92 212 36 32 52 192 128 12 232 104 140 64 12 128 88 28 100 100 32 152 120 116 296 168 68 88 60 204 160 152 112 84 208 312 52 184 100 132 88 152 280 200 140 140 292 32 140 148 100 236 84 96 304 160 112 56 188 52 72 68 112 12 40 48 148 236 372 88 2464 2644 2428 2244 2364 2604 2600 2384 2524 2484 2424 2576 2492 2292 2544 2540 2536 2576 2340 2548 2336 2284 2420 2280 2304 2380 2380 2604 2480 2576 2472 2472 2404 2588 2284 2612 2304 2580 2560 2616 2576 2396 2332 2648 2544 2360 2632 2512 2444 2240 2440 2400 2572 2520 2580 2392 2480 2464 2264 2568 2540 2328 2604 2252 2604 2308 2472 2592 2584 2492 2572 2364 2292 2564 2652 2544 2448 2504 2292 2556 2360 2540 2372 2512 2624 2484 2536 2388 2240 2472 2384 2588 2268 2640 2608 2644 2612 2416 2332 2600 2516 2628 2432 2596 2572 2292 2584 2240 2540 2448 2572 2280 2580 2556 2420 2404 2608 2552 2592 2472 2536 2332 2412 2384 2600 2496 2444 2448 2624 2440 2528 2388 2240 2512 2240 2436 2616 2576 2240 2280 2432 2600 2532 2564 2280 2504 2332 2596 2384 2424 2424 2384 2428 2452 2400 2584 2552 2520 2556 2416 2612 2432 2292 2356 2552 2376 2456 2476 2416 2304 2424 2516 2640 2512 2332 2376 2472 2244 2592 2604 2280 2612 2264 2404 2564 2344 2320 2436 2384 2500 2424 2596 2292 2376 2500 2516 2612 2288 2560 2616 2488 2572 2368 2560 2384 2280 2624 2480 2584 2556 2400 2532 2448 2336 2380 2408 2328 2296 2488 2240 2572 2436 2544 2576 2316 2452 2520 2440 2584 2556 2584 2556 2240 2620 2432 2424 2644 2456 2280 2524 2240 2476 2280 2488 2408 2280 2644 2424 2444 2264 9 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 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 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 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 5 0 0 0 1 0 1 0 0 0 0 6 0 0 0 0 0 1 1 7 0 0 0 0 0 6 1 8 0 8 0 1 4 3 2 0 0 0 1 8 0 0 1 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 1 1 3 0 0 0 6 0 0 0 6 3 0 1 0 8 0 0 0 0 0 0 5 0 0 1 7 0 0 0 0 0 1 0 0 0 0 0 8 7 0 0 0 1 0 0 6 0 0 0 8 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 1 0 1 0 0 0 0 0 8 0 0 5 1 2 7 1 0 0 0 0 0 0 1 8 8 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 8 0 5 1 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 6 0 5 0 0 0 0 0 0 8 0 8 1 0 0 0 8 0 0 0 8 4 0 0 0 0 0 0 7 0 0 0 0 0 0 0 1 0 2 0 1 0 4 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 4 0 0 0 0 1 0 0 7 0 1 8 0 3 5 0 0 5 0 0 0 0 1 7 0 7 0 0 1 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 2 0 8 5 0 8 0 0 8 1 0 8 1 0 1 0 1 0 0 0 0 0 1 1 5 8 0 0 0 1 1 3 0 0 1 5 0 0 0 0 0 8 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 0 1 0 0 1 0 0 0 2 4 0 0 8 0 0 5 8 0 1 1 0 7 0 0 4 1 0 0 0 0 0 8 7 1 2 0 0 0 0 0 0 0 0 0 0 5 0 0 1 8 4 7 7 1 0 8 0 0 0 0 0 0 0 8 0 0 0 2 0 5 8 0 0 3 3 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 8 0 1 8 0 8 8 0 0 1 1 1 4 0 0 0 0 0 0 8 0 1 8 0 0 0 0 7 0 0 0 0 1 0 1 8 0 0 0 5 0 1 0 0 5 0 3 7 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 3 0 1 0 0 1 0 5 0 0 8 0 8 0 6 0 0 1 1 8 0 3 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 7 0 1 0 0 0 1 6 0 1 0 0 0 0 8 1 1 0 0 0 4 6 2 2 7 1 0 0 0 0 0 0 0 0 0 6 0 0 0 1 1 0 0 8 1 0 0 0 0 0 0 1 0 0 0 0 8 8 0 8 4 0 0 0 1 0 0 4 1 0 8 1 0 8 0 0 0 0 1 0 0 0 0 0 2 1 0 0 1 0 0 1 0 0 0 0 5 0 0 0 0 0 7 0 8 4 1 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 5 7 6 7 0 0 0 0 1 1 0 0 0 0 3 0 0 8 0 0 0 7 0 0 1 0 0 0 1 0 0 0 0 0 8 0 0 0 0 0 0 0 0 8 6 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 8 1 2 0 0 1 5 3 0 0 0 0 0 0 1 0 0 7 8 0 0 0 0 0 0 1 0 0 3 8 0 7 8 1 1 1 0 0 0 0 0 0 1 0 0 4 7 0 0 1 0 7 0 0 2 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 6 0 0 0 8 0 0 0 0 0 3 1 0 0 0 0 0 0 8 0 5 0 1 1 0 0 1 0 0 0 0 0 0 0 4 0 0 1 1 0 0 0 7 0 0 0 1 0 6 3 0 0 0 0 0 6 0 0 0 8 7 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 6 3 0 8 0 0 8 0 4 0 1 0 7 0 1 0 0 0 0 0 0 0 0 0 0 0 3 7 3 0 0 0 0 1 0 0 2 5 0 0 1 0 0 0 0 0 8 0 0 8 0 0 0 0 0 0 6 1 0 1 0 1 0 8 0 0 0 8 0 1 1 0 6 1 0 3 1 3 0 0 1 0 0 0 0 8 0 0 0 1 0 0 1 0 0 4 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 4 0 0 0 1 0 0 0 0 1 1 0 7 7 0 0 0 3 0 7 0 3 6 0 8 1 0 0 0 6 1 1 8 0 0 3 1 0 0 6 4 1 0 0 0 6 1 0 0 0 0 0 1 4 0 3 1 0 0 0 0 1 0 0 1 5 0 0 0 8 0 0 0 1 6 0 8 1 0 0 0 0 0 0 8 0 0 0 1 1 8 0 0 0 1 8 0 0 0 1 2 0 0 0 0 1 0 0 0 0 7 0 0 0 0 0 1 0 0 0 1 1 0 8 1 1 0 1 0 1 0 0 0 0 8 0 0 5 1 0 1 1 0 8 0 1 8 0 0 0 6 1 4 2 0 0 1 0 5 1 0 0 6 0 0 0 0 0 7 0 5 2 0 1 0 0 0 0 0 0 1 0 0 0 0 0 7 0 0 0 0 5 1 8 2 0 1 0 0 0 0 0 0 0 8 0 0 8 0 6 0 0 7 0 0 7 0 0 8 0 0 0 0 0 0 0 7 5 0 3 1 1 0 1 0 8 0 1 0 0 0 0 6 0 0 0 0 0 0 7 0 0 5 0 1 0 0 0 0 0 0 0 8 1 0 1 0 8 1 0 4 0 0 0 0 6 0 8 6 0 0 0 8 0 5 8 0 0 1 1 4 0 0 5 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 4 1 0 0 1 8 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 3 8 0 0 0 2 1 0 0 0 8 2 0 8 4 0 1 8 3 0 0 7 0 0 0 0 0 0 0 0 4 0 0 6 0 0 1 8 0 0 0 0 0 0 2 0 0 6 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 </values> 2520.10/2520.01 v </instantiation> 2520.10/2520.01
OK 181903419
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 (12989 MiB free)
memory of node 1: 16384 MiB (13493 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298997-1532780083/watcher-4298997-1532780083 -o /tmp/evaluation-result-4298997-1532780083/solver-4298997-1532780083 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27467 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298997-1532780083.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
solver pid=28092, runsolver pid=28089
Current StackSize limit: 8192 KiB
[startup+0.100208 s]*
/proc/loadavg: 2.13 2.11 2.08 3/191 28093
/proc/meminfo: memFree=27103412/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=42988 memory=19072 CPUtime=0.1 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 4973 0 0 0 10 0 0 0 20 0 1 0 95571560 44019712 4768 33554432000 4194304 6142532 140727159171008 140727159167640 140516410714016 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 10747 4768 790 476 0 4069 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42988 KiB
Current children cumulated memory: 19072 KiB
[startup+0.210336 s]*
/proc/loadavg: 2.13 2.11 2.08 3/191 28093
/proc/meminfo: memFree=27098284/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=46300 memory=22508 CPUtime=0.21 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 5890 0 0 0 21 0 0 0 20 0 1 0 95571560 47411200 5627 33554432000 4194304 6142532 140727159171008 140727159167640 5802363 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 11575 5627 791 476 0 4897 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 22508 KiB
[startup+0.309618 s]*
/proc/loadavg: 2.13 2.11 2.08 3/191 28093
/proc/meminfo: memFree=27096052/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=47716 memory=23560 CPUtime=0.3 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 6182 0 0 0 30 0 0 0 20 0 1 0 95571560 48861184 5890 33554432000 4194304 6142532 140727159171008 140727159167640 140516411104256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 11929 5890 791 476 0 5251 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47716 KiB
Current children cumulated memory: 23560 KiB
[startup+0.700346 s]
/proc/loadavg: 2.28 2.14 2.09 3/191 28093
/proc/meminfo: memFree=27052160/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=52488 memory=27784 CPUtime=0.68 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 7244 0 0 0 68 0 0 0 20 0 1 0 95571560 53747712 6946 33554432000 4194304 6142532 140727159171008 140727159167656 5802634 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 13122 6946 791 476 0 6444 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 27784 KiB
[startup+1.50035 s]
/proc/loadavg: 2.28 2.14 2.09 3/191 28093
/proc/meminfo: memFree=27037996/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=62124 memory=36496 CPUtime=1.49 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 9411 0 0 0 148 1 0 0 20 0 1 0 95571560 63614976 9124 33554432000 4194304 6142532 140727159171008 140727159167656 5801870 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 15531 9124 791 476 0 8853 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 62124 KiB
Current children cumulated memory: 36496 KiB
[startup+3.10969 s]
/proc/loadavg: 2.28 2.14 2.09 3/191 28093
/proc/meminfo: memFree=26992232/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=81100 memory=54572 CPUtime=3.1 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 14762 0 0 0 309 1 0 0 20 0 1 0 95571560 83046400 13643 33554432000 4194304 6142532 140727159171008 140727159166072 5406665 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 20275 13643 791 476 0 13597 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 81100 KiB
Current children cumulated memory: 54572 KiB
[startup+6.30033 s]
/proc/loadavg: 2.25 2.14 2.09 3/191 28093
/proc/meminfo: memFree=26971724/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=119720 memory=90080 CPUtime=6.29 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 24762 0 0 0 626 3 0 0 20 0 1 0 95571560 122593280 22520 33554432000 4194304 6142532 140727159171008 140727159167656 140516411104256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 29930 22520 791 476 0 23252 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 119720 KiB
Current children cumulated memory: 90080 KiB
[startup+12.7003 s]
/proc/loadavg: 2.23 2.14 2.09 3/191 28093
/proc/meminfo: memFree=26838328/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=198608 memory=162520 CPUtime=12.69 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 43891 0 0 0 1264 5 0 0 20 0 1 0 95571560 203374592 40630 33554432000 4194304 6142532 140727159171008 140727159167656 5425194 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 49652 40630 791 476 0 42974 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 198608 KiB
Current children cumulated memory: 162520 KiB
[startup+25.5004 s]
/proc/loadavg: 2.28 2.15 2.09 3/191 28093
/proc/meminfo: memFree=26552200/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=356260 memory=308120 CPUtime=25.49 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 82161 0 0 0 2538 11 0 0 20 0 1 0 95571560 364810240 77030 33554432000 4194304 6142532 140727159171008 140727159167656 5404833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 89065 77030 791 476 0 82387 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 356260 KiB
Current children cumulated memory: 308120 KiB
[startup+51.1099 s]
/proc/loadavg: 2.17 2.14 2.09 3/192 28094
/proc/meminfo: memFree=26031104/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=630544 memory=567164 CPUtime=51.1 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 150124 0 0 0 5087 23 0 0 20 0 1 0 95571560 645677056 141791 33554432000 4194304 6142532 140727159171008 140727159167656 5802071 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 157636 141791 794 476 0 150958 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 630544 KiB
Current children cumulated memory: 567164 KiB
[startup+102.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/192 28095
/proc/meminfo: memFree=25694120/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=945680 memory=877684 CPUtime=102.3 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 465568 0 0 0 10182 48 0 0 20 0 1 0 95571560 968376320 219421 33554432000 4194304 6142532 140727159171008 140727159167640 4991359 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 236420 219421 848 476 0 229742 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 945680 KiB
Current children cumulated memory: 877684 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/192 28096
/proc/meminfo: memFree=25641552/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=993480 memory=923848 CPUtime=162.29 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 621889 0 0 0 16172 57 0 0 20 0 1 0 95571560 1017323520 230962 33554432000 4194304 6142532 140727159171008 140727159167832 5017712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 248370 230962 848 476 0 241692 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 993480 KiB
Current children cumulated memory: 923848 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/192 28097
/proc/meminfo: memFree=25617772/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1012808 memory=942260 CPUtime=222.3 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 876979 0 0 0 22158 72 0 0 20 0 1 0 95571560 1037115392 235565 33554432000 4194304 6142532 140727159171008 140727159167832 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 253202 235565 850 476 0 246524 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 1012808 KiB
Current children cumulated memory: 942260 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/192 28098
/proc/meminfo: memFree=25612956/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1012808 memory=942260 CPUtime=282.3 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 1074254 0 0 0 28149 81 0 0 20 0 1 0 95571560 1037115392 235565 33554432000 4194304 6142532 140727159171008 140727159167832 5017438 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 253202 235565 850 476 0 246524 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 1012808 KiB
Current children cumulated memory: 942260 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 28106
/proc/meminfo: memFree=25609772/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1012808 memory=942260 CPUtime=342.31 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 1256935 0 0 0 34140 91 0 0 20 0 1 0 95571560 1037115392 235565 33554432000 4194304 6142532 140727159171008 140727159167832 5335940 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 253202 235565 850 476 0 246524 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 1012808 KiB
Current children cumulated memory: 942260 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/192 28108
/proc/meminfo: memFree=25607120/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1015488 memory=944720 CPUtime=402.32 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 1488554 0 0 0 40128 104 0 0 20 0 1 0 95571560 1039859712 236180 33554432000 4194304 6142532 140727159171008 140727159168536 4991359 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 253872 236180 850 476 0 247194 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 1015488 KiB
Current children cumulated memory: 944720 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 28109
/proc/meminfo: memFree=25599140/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1017744 memory=953640 CPUtime=462.3 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 1623044 0 0 0 46120 110 0 0 20 0 1 0 95571560 1042169856 238410 33554432000 4194304 6142532 140727159171008 140727159158280 5326516 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254436 238410 850 476 0 247758 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 1017744 KiB
Current children cumulated memory: 953640 KiB
################
# More data... #
################
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 28154
/proc/meminfo: memFree=25556512/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=1782.34 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2238614 0 0 0 178091 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28155
/proc/meminfo: memFree=25556872/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=1842.34 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2239635 0 0 0 184091 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28156
/proc/meminfo: memFree=25556904/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=1902.35 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2240777 0 0 0 190092 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5329971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28158
/proc/meminfo: memFree=25556472/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=1962.35 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2241928 0 0 0 196092 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5017775 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28159
/proc/meminfo: memFree=25556948/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=2022.36 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2242970 0 0 0 202093 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 2022.36 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28160
/proc/meminfo: memFree=25556580/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=2082.36 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2244014 0 0 0 208093 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5138432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28168
/proc/meminfo: memFree=25555852/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=2142.36 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2245144 0 0 0 214093 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28169
/proc/meminfo: memFree=25556580/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=2202.37 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2246178 0 0 0 220094 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 2202.37 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28171
/proc/meminfo: memFree=25556824/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=2262.37 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2247207 0 0 0 226094 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5017969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28172
/proc/meminfo: memFree=25557364/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=2322.38 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2248228 0 0 0 232095 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 2322.38 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28174
/proc/meminfo: memFree=25557268/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=2382.38 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2249304 0 0 0 238095 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5017886 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 2382.38 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28176
/proc/meminfo: memFree=25556764/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1019160 memory=995344 CPUtime=2442.38 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2250521 0 0 0 244095 143 0 0 20 0 1 0 95571560 1043619840 248836 33554432000 4194304 6142532 140727159171008 140727159168536 5215818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 254790 248836 850 476 0 248112 0
Current children cumulated CPU time: 2442.38 s
Current children cumulated vsize: 1019160 KiB
Current children cumulated memory: 995344 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 28177
/proc/meminfo: memFree=25556004/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1020016 memory=996208 CPUtime=2502.39 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2252400 0 0 0 250096 143 0 0 20 0 1 0 95571560 1044496384 249052 33554432000 4194304 6142532 140727159171008 140727159158280 5138432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 255004 249052 850 476 0 248326 0
Current children cumulated CPU time: 2502.39 s
Current children cumulated vsize: 1020016 KiB
Current children cumulated memory: 996208 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.03 2.05 3/205 28206
/proc/meminfo: memFree=25151032/32770624 swapFree=67108856/67108860
[pid=28092] ppid=28089 vsize=1020016 memory=996208 CPUtime=2520.1 cores=0,2,4,6
/proc/28092/stat : 28092 (cosoco) R 28089 28092 27436 0 -1 4202496 2252663 0 0 0 251867 143 0 0 20 0 1 0 95571560 1044496384 249052 33554432000 4194304 6142532 140727159171008 140727159158280 5335940 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15134720 140727159174278 140727159174408 140727159174408 140727159177166 0
/proc/28092/statm: 255004 249052 850 476 0 248326 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 1020016 KiB
Current children cumulated memory: 996208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 28092 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.67 s, system=1.4431 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): 2520.12
CPU user time (s): 2518.67
CPU system time (s): 1.4431
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1020016
Max. memory (cumulated for all children) (KiB): 996208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.67
system time used= 1.4431
maximum resident set size= 996272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2252717
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= 205
involuntary context switches= 778
# summary of solver processes directly reported to runsolver:
# pid: 28092
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.67
# total CPU system time (s): 1.4431
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.34144 second user time and 19.9325 second system time
The end
Begin job on node133 at 2018-07-28 14:14:44 IDJOB=4298997 IDBENCH=141281 IDSOLVER=2761 FILE ID=node133/4298997-1532780083 RUNJOBID= node133-1532775038-27467 PBS_JOBID= 21022462 Free space on /tmp= 47936 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-02-0250_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298997-1532780083/watcher-4298997-1532780083 -o /tmp/evaluation-result-4298997-1532780083/solver-4298997-1532780083 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27467 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298997-1532780083.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24bf88c1c49a1faaa01f312934ed4415 RANDOM SEED=1648758333 node133.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.24 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.24 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.24 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.24 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: 27119396 kB MemAvailable: 31901680 kB Buffers: 176944 kB Cached: 4852764 kB SwapCached: 0 kB Active: 2503708 kB Inactive: 2625264 kB Active(anon): 49932 kB Inactive(anon): 76688 kB Active(file): 2453776 kB Inactive(file): 2548576 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 324676 kB Writeback: 0 kB AnonPages: 106084 kB Mapped: 42648 kB Shmem: 25244 kB Slab: 219344 kB SReclaimable: 191536 kB SUnreclaim: 27808 kB KernelStack: 3392 kB PageTables: 5512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 400720 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 47932 MiB End job on node133 at 2018-07-28 14:56:44