Trace number 4293907

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 1.12SAT (TO)275085566 2519.95 2520.01

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-04-0300_c18.xml
MD5SUMd2f9cd7b3c3026f57264f10c0685d9a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26739930
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables5284
Number of constraints3360
Number of domains68
Minimum domain size1
Maximum domain size135
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 degree2
Maximum variable degree1562
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 arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":238},{"arity":3,"count":1561},{"arity":6,"count":1561}]
Number of extensional constraints1561
Number of intensional constraints1799
Distribution of constraint types[{"type":"extension","count":1561},{"type":"intension","count":1799}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
43.18/43.28	c best=?? lower=0 upper=292422130 
425.05/425.12	c
425.05/425.12	c This is cosoco 1.12 --  
425.05/425.12	c
425.05/425.12	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293907-1532376951.xml 
425.05/425.12	c enable optimization
425.05/425.12	c ========================================[ Problem Statistics ]===========================================
425.05/425.12	c |                                                                                                       
425.05/425.12	c |  Parse time        :        43.05 s 
425.05/425.12	c |
425.05/425.12	c |               Variables: 5284
425.05/425.12	c |            Domain Sizes: 1..135
425.05/425.12	c |
425.05/425.12	c |             Constraints: 3361
425.05/425.12	c |                   Arity: 2..3123  -- Binary: 238  -- Ternary: 1561
425.05/425.12	c | 
425.05/425.12	c |                   Types: 
425.05/425.12	c |                          (X != Y): 18
425.05/425.12	c |                          (X = Y): 31
425.05/425.12	c |                          Extension: 1561  (nb tuples: 268..6444) -- (shared: 0)
425.05/425.12	c |                          Intension: 1750
425.05/425.12	c |                          Sum: 1
425.05/425.12	c |                          
425.05/425.12	c |               Objective: Minimize Sum
425.05/425.12	
425.05/425.12	c =========================================================================================================
425.05/425.12	o 275085566
425.05/425.12	c    1 calls to solver: best=275085566 lower=0 upper=275085565 
2519.93/2520.01	
2519.93/2520.01	c *** INTERRUPTED ***
2519.93/2520.01	c restarts              : 47          
2519.93/2520.01	c conflicts             : 84765        (34 /sec)
2519.93/2520.01	c decisions             : 581347       (231 /sec)
2519.93/2520.01	c propagations          : 108666065   (43134 /sec)
2519.93/2520.01	c root propagations     : 8204        
2519.93/2520.01	c filter calls          : 13891939       (5514 /sec)
2519.93/2520.01	c useless filter calls  : 9186942        (66 %)
2519.93/2520.01	c Memory used           : 748.15 MB
2519.93/2520.01	c CPU time              : 2519.25 s
2519.93/2520.01	
2519.93/2520.01	c nb Solutions = 1
2519.93/2520.01	s SATISFIABLE
2519.93/2520.01	c Best value found: 275085566
2519.93/2520.01	
2519.93/2520.01	
2519.93/2520.01	v <instantiation type='solution' cost='275085566'>
2519.93/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.93/2520.01	v <values>452 68 0 364 364 364 364 364 40 324 164 424 40 40 412 420 0 0 52 304 76 384 384 384 344 332 0 344 0 364 0 284 12 108 128 276 60 236 96 0 0 0 372 40 8 40 40 364 100 448 72 40 0 0 200 20 0 0 0 440 40 364 364 68 364 72 20 72 252 20 232 20 72 156 0 328 484 384 364 0 40 180 40 0 40 40 8 140 148 380 100 8 40 40 72 108 40 412 424 116 0 488 132 40 0 444 40 520 40 52 188 320 424 384 256 92 212 92 192 16 92 32 216 152 0 40 0 0 40 0 0 488 0 188 40 0 40 280 0 520 52 408 0 0 176 180 196 116 64 0 0 40 40 0 348 76 40 72 40 272 304 144 0 88 36 180 116 120 0 40 452 40 40 368 368 4 4 148 448 448 488 448 208 268 488 44 300 40 188 404 0 92 40 0 0 0 52 0 40 136 0 40 328 40 0 0 0 0 372 392 0 256 72 40 364 364 0 324 68 0 0 52 320 108 384 60 384 32 332 332 236 0 444 0 40 0 440 40 40 40 40 0 0 40 0 280 200 200 240 200 240 240 240 40 324 0 216 40 112 0 40 0 0 0 40 40 0 120 120 188 120 0 40 240 40 72 40 472 296 0 364 0 372 8 372 360 40 484 40 280 336 40 40 228 40 92 384 132 352 132 40 412 0 0 40 0 128 68 188 372 80 0 452 272 40 180 40 52 12 516 148 0 152 476 0 40 0 404 296 0 528 0 0 208 280 0 0 180 140 140 40 140 300 180 200 180 180 364 0 40 0 40 344 0 0 288 40 0 404 40 296 96 88 500 92 40 184 168 128 484 364 0 240 52 92 24 392 160 444 484 0 480 0 40 40 40 0 240 88 180 40 0 12 316 276 116 72 0 412 160 344 0 48 76 344 152 0 444 40 488 160 296 0 528 56 152 36 364 392 68 0 136 0 0 440 0 40 40 52 0 0 0 160 40 404 108 240 0 0 148 40 220 0 324 320 520 40 52 60 20 464 352 424 240 280 160 0 28 292 364 40 388 92 328 192 296 92 224 216 256 68 40 280 220 0 52 480 436 0 0 324 0 284 384 0 344 120 88 52 48 0 0 40 0 188 200 384 40 220 92 52 80 60 44 392 296 328 328 368 128 148 52 0 0 40 240 0 148 372 12 364 92 272 164 208 172 404 312 28 28 392 48 52 380 240 60 240 240 88 324 40 360 56 352 404 32 8 292 372 12 484 100 524 236 52 280 108 124 40 40 0 40 48 220 168 40 0 40 0 268 124 72 52 448 192 40 52 296 40 40 0 0 40 40 0 0 0 20 388 480 116 196 480 12 348 64 0 216 364 48 176 480 480 480 384 40 384 80 108 304 108 144 148 240 448 0 0 232 296 60 0 8 528 32 148 108 108 280 92 476 516 280 276 476 152 476 424 476 280 404 416 0 72 0 0 364 40 0 40 280 0 108 52 0 0 40 40 40 40 40 280 240 180 40 0 180 72 308 56 76 140 280 452 452 0 424 276 40 40 316 316 0 0 280 0 488 364 40 452 0 0 0 380 0 320 112 40 40 40 404 40 40 256 272 152 320 232 92 152 140 232 4 272 172 372 40 116 140 100 0 40 348 268 384 424 364 40 352 452 484 404 232 112 40 40 0 0 0 20 0 0 0 40 0 520 40 52 464 464 72 32 120 80 188 464 504 80 140 208 40 72 100 40 304 100 272 28 140 196 100 100 72 0 324 12 324 40 0 0 12 324 424 32 412 40 244 352 40 0 40 40 40 40 0 0 40 364 0 0 40 412 452 452 20 88 32 0 128 272 488 332 488 420 124 52 92 32 92 92 88 0 352 136 92 340 140 0 72 364 0 72 0 364 476 404 372 52 52 316 184 424 52 12 52 312 256 176 244 424 0 284 40 384 424 60 60 20 192 324 0 40 200 0 0 140 40 0 0 0 0 440 0 40 40 332 148 384 20 384 100 332 244 40 488 384 40 40 0 336 40 40 524 132 0 452 40 40 40 40 40 40 0 40 40 40 488 0 12 60 372 40 344 344 0 40 32 40 364 412 40 144 28 20 384 100 384 344 40 344 20 276 344 156 272 40 92 256 52 0 92 276 8 40 48 284 60 60 60 128 0 60 60 528 488 488 488 488 48 76 528 40 476 528 40 60 384 52 384 384 92 384 52 36 40 48 188 364 312 324 20 0 40 0 40 136 32 32 268 48 60 372 340 316 40 160 108 332 344 344 68 384 344 292 68 40 0 292 344 272 40 0 0 488 0 40 0 324 280 220 520 40 52 20 372 412 372 412 40 88 48 312 252 232 132 96 40 308 268 0 268 60 56 144 64 272 256 32 372 372 0 128 412 292 412 0 372 372 0 384 484 276 0 40 480 0 40 308 40 40 0 364 240 40 460 0 40 40 40 40 40 404 0 344 40 40 0 0 40 40 40 40 0 40 364 92 0 0 384 0 40 40 120 40 236 0 248 228 56 208 284 208 324 304 332 20 40 48 404 20 40 60 72 88 84 224 0 0 344 0 424 40 324 216 432 100 28 0 360 0 100 100 184 28 392 312 352 392 392 352 0 84 244 48 64 412 372 136 0 8 320 200 280 172 320 0 384 40 40 180 40 40 0 40 0 276 0 448 448 448 488 272 448 140 36 448 40 40 408 72 40 40 216 108 40 40 40 384 0 72 400 32 32 32 332 0 32 360 332 72 20 252 0 72 272 112 0 72 32 272 128 320 0 12 324 0 140 440 144 0 424 52 0 412 40 0 40 40 500 40 364 0 0 232 384 344 100 292 68 12 0 384 384 344 344 104 484 484 100 444 484 40 484 444 444 44 484 40 40 0 40 0 40 476 0 240 0 424 20 424 40 344 40 0 40 364 268 188 40 284 144 232 284 84 0 104 80 472 400 40 0 0 0 0 40 40 220 40 52 364 52 308 308 112 308 16 0 56 308 40 40 40 448 0 0 40 0 488 0 12 0 40 364 40 0 0 0 0 40 0 380 0 316 40 324 40 236 0 40 200 40 0 0 0 0 440 364 324 312 264 272 0 380 16 24 152 380 0 364 0 40 40 220 0 108 0 0 0 0 0 0 40 232 0 296 308 40 324 140 0 40 0 52 68 52 0 0 140 0 40 40 0 0 40 280 488 92 40 40 452 460 324 40 0 0 432 40 0 40 296 528 0 276 40 0 336 0 344 0 0 304 80 40 296 364 40 0 52 0 0 0 156 460 344 0 324 40 372 0 200 412 40 40 40 480 0 472 0 0 0 40 140 352 320 0 436 0 40 92 380 236 432 0 432 88 432 156 380 384 384 384 108 344 40 68 252 324 244 156 40 88 124 272 40 0 408 224 12 48 52 92 0 60 308 348 40 348 308 308 92 324 20 0 60 40 364 60 324 40 0 0 40 40 0 344 28 384 0 136 232 372 48 372 372 224 344 180 384 424 92 0 284 268 0 236 196 196 196 236 424 196 196 188 224 184 88 100 0 284 24 20 452 2612 2200 2544 2200 2160 2160 2272 2200 2632 2544 2524 2160 2252 2508 2160 2524 2200 2544 2532 2160 2200 2396 2360 2524 2524 2524 2200 2584 2200 2436 2200 2200 2200 2252 2524 2272 2200 2160 2300 2160 2160 2292 2636 2200 2308 2160 2160 2356 2200 2504 2340 2160 2568 2648 2500 2676 2160 2200 2200 2200 2200 2564 2200 2544 2232 2200 2160 2160 2400 2160 2200 2280 2200 2200 2572 2160 2160 2200 2292 2200 2200 2496 2612 2200 2676 2200 2160 2160 2508 2340 2200 2200 2200 2160 2660 2436 2160 2644 2160 2160 2200 2476 2200 2544 2160 2200 2620 2200 2200 2200 2160 2480 2160 2160 2624 2440 2564 2564 2160 2200 2340 2252 2160 2268 2160 2160 2200 2200 2564 2524 2200 2200 2160 2432 2604 2636 2528 2200 2200 2160 2240 2524 2476 2564 2200 2564 2592 2440 2484 2252 2564 2300 2200 2684 2376 2160 2160 2160 2612 2380 2160 2200 2200 2268 2200 2160 2160 2200 2200 2252 2160 2200 2292 2572 2680 2200 2548 2664 2200 2468 2564 2388 2200 2640 2544 2564 2612 2200 2300 2504 2160 2200 2160 2200 2400 2484 2160 2648 2200 2300 2160 2592 2200 2212 2392 2456 2160 2272 2584 2160 2200 2212 2260 2252 2160 2160 2688 2160 2200 2308 2340 2584 2232 2160 2612 2688 2252 2160 2212 2584 2200 2584 2160 2160 2200 2200 2544 2252 2260 2688 2584 2524 2232 2544 2200 2160 2572 2524 2468 2292 2572 2160 2200 2160 2160 2200 2160 2336 2200 2564 2160 2300 2552 2572 2160 2648 2160 2160 2232 2272 2200 2160 2544 2572 2544 2644 2160 2200 2584 2200 2444 2212 2160 2160 2508 2200 2160 2160 2584 2200 2524 2540 2160 2160 2200 2160 2160 2160 2160 2348 11 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 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 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 1 9 0 9 10 0 10 0 8 0 10 1 10 10 9 0 10 1 10 10 0 0 0 0 10 1 0 0 0 10 0 0 0 0 10 0 7 0 7 0 0 0 0 10 10 0 10 0 0 0 0 10 1 10 0 10 6 10 0 10 0 0 10 6 0 0 5 0 0 0 0 0 1 10 1 10 0 10 0 10 2 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 10 0 0 10 10 1 10 7 10 0 10 5 1 0 0 0 0 10 0 0 0 10 0 0 0 0 1 0 0 10 10 10 10 1 0 0 0 0 10 0 0 10 10 10 0 10 0 5 0 10 10 1 10 0 10 0 0 0 5 10 0 0 10 10 10 0 0 0 10 0 10 10 0 0 8 0 0 10 10 0 0 10 0 0 2 10 0 0 0 10 0 10 0 10 0 10 10 10 7 0 10 0 0 0 1 0 4 0 0 10 0 0 10 10 0 0 0 10 10 0 10 10 10 0 10 9 0 0 0 0 10 0 10 10 0 0 10 0 0 0 10 1 0 10 0 10 0 10 0 0 0 0 10 0 0 0 10 0 1 0 0 10 0 0 10 0 0 0 0 0 8 10 9 0 9 10 0 0 0 0 1 10 10 1 0 8 10 0 0 10 10 8 10 10 0 10 10 0 8 0 5 0 10 0 2 0 0 0 0 10 10 10 0 10 0 1 10 1 2 0 8 0 0 0 0 10 10 4 0 0 1 0 10 10 0 0 0 0 0 10 8 1 0 0 10 10 1 7 10 1 8 0 10 9 2 0 10 9 0 0 10 10 0 10 1 0 10 0 0 0 0 10 10 0 10 10 9 0 0 0 8 10 0 0 1 10 0 0 10 10 7 10 0 0 0 0 10 1 1 10 0 1 0 0 8 1 0 3 0 1 0 10 0 10 0 10 10 0 4 0 10 0 2 0 0 0 0 10 0 9 0 0 10 10 0 10 10 8 8 0 6 0 0 0 0 0 10 0 10 0 8 5 10 0 1 10 0 10 0 0 0 10 10 0 2 0 10 4 0 7 1 10 0 9 10 10 0 0 6 10 10 0 0 0 10 10 0 0 10 10 10 0 0 2 10 0 0 5 0 10 0 0 0 10 10 10 10 0 0 0 10 0 10 0 10 10 1 10 0 0 1 0 0 0 10 5 0 7 10 10 10 0 0 0 0 0 0 1 0 10 0 0 0 0 10 0 10 0 10 0 10 10 10 10 0 8 0 6 10 0 0 1 10 0 7 0 10 0 10 0 0 10 0 10 1 0 10 10 10 0 0 0 10 0 1 0 0 10 10 10 0 1 0 10 1 0 10 0 0 10 0 0 10 1 0 0 0 5 10 0 6 0 0 5 0 0 10 0 0 0 1 0 0 0 10 0 10 10 9 0 0 0 0 10 0 1 10 1 0 2 0 0 0 0 10 0 0 2 0 0 0 10 10 10 0 10 10 10 8 0 0 1 0 0 0 0 10 10 0 0 10 0 10 0 0 5 1 0 0 0 10 10 0 10 10 8 10 1 0 0 10 0 0 0 10 1 10 10 1 10 0 10 0 0 1 10 0 4 0 9 0 0 0 0 0 10 0 10 0 10 3 0 0 0 0 10 0 10 0 10 0 0 1 0 0 0 1 10 10 2 10 1 0 10 0 10 0 10 0 0 1 0 10 0 0 5 0 10 0 0 0 0 10 0 10 0 0 10 7 3 0 10 1 0 10 0 10 10 10 0 10 0 0 1 0 10 10 10 0 7 0 1 0 1 0 0 10 10 0 10 10 0 10 0 1 0 0 10 10 1 0 10 9 0 10 0 0 0 0 0 5 0 0 7 0 4 0 10 1 0 0 10 0 10 10 0 0 0 0 10 0 4 9 0 10 1 10 0 0 0 1 0 10 0 0 10 5 10 0 10 0 0 1 0 3 0 0 2 10 1 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 1 0 7 10 0 10 10 0 3 10 10 10 0 0 0 3 10 0 0 0 8 0 0 10 10 0 0 5 10 0 0 9 10 0 0 0 0 0 0 0 10 6 10 3 0 10 0 0 0 0 0 0 0 10 8 10 10 0 0 9 10 0 0 2 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 10 0 1 4 10 10 0 0 0 0 4 9 10 10 0 10 9 1 10 10 10 0 0 0 0 0 0 0 0 10 0 0 5 10 0 0 0 0 8 0 0 0 0 0 0 10 10 10 0 10 10 0 0 0 10 10 0 0 10 10 0 10 0 10 0 8 0 0 0 10 10 0 10 10 10 0 0 0 10 10 0 10 0 0 10 10 0 9 10 0 1 0 10 10 10 0 0 7 0 10 3 0 10 0 1 0 0 10 10 0 10 0 0 0 10 0 1 10 0 10 0 0 0 0 0 10 10 10 10 10 10 10 0 10 0 0 0 0 0 10 0 0 4 10 0 7 0 2 0 0 10 10 0 0 0 0 0 10 0 10 0 10 10 0 0 0 10 10 0 0 10 1 0 0 10 0 10 10 9 0 10 10 10 0 10 10 10 0 1 0 0 10 0 10 10 10 0 0 7 0 0 5 0 0 10 0 1 10 0 10 10 10 10 0 0 0 10 10 0 1 0 10 3 3 0 10 0 0 0 9 10 10 4 9 0 10 0 0 7 0 1 10 0 0 10 7 1 0 10 6 10 10 10 0 0 0 0 0 6 0 5 10 10 0 9 10 0 10 0 0 0 10 0 5 10 0 0 0 5 0 10 10 0 8 10 0 6 7 1 0 0 10 10 0 0 0 1 1 10 0 0 2 10 0 0 6 0 0 4 0 0 0 0 1 10 10 0 10 9 0 10 10 0 10 6 0 9 10 0 0 0 0 10 10 0 10 10 0 0 0 0 10 10 0 0 10 0 10 1 0 0 1 0 10 8 0 0 9 10 0 0 10 0 7 0 0 10 0 10 10 0 8 0 10 0 0 0 0 10 0 9 10 3 1 0 7 0 4 9 0 0 10 5 10 0 0 0 0 0 10 0 0 0 10 5 8 0 0 0 0 0 0 10 0 0 10 0 1 0 2 0 0 0 10 10 1 0 10 1 0 10 10 0 0 10 0 0 0 10 0 0 0 10 0 10 6 10 0 0 0 10 6 0 10 0 1 0 0 3 10 0 0 10 9 0 0 0 2 0 0 6 10 10 0 0 10 0 10 10 0 10 10 0 0 10 0 0 10 10 0 0 10 10 0 0 0 10 9 10 0 10 0 10 10 10 0 0 0 0 3 10 0 10 0 0 3 10 10 10 0 0 10 10 10 1 10 0 1 0 10 10 0 10 10 1 0 10 10 0 10 0 0 0 10 0 9 0 0 0 1 0 8 0 0 0 10 3 0 1 10 0 0 0 10 10 0 0 6 10 0 0 10 10 10 0 10 0 0 10 10 10 10 10 7 10 10 0 0 10 1 0 0 0 6 10 10 </values>
2519.93/2520.01	v </instantiation>
2519.93/2520.01

Verifier Data 

OK	275085566

Watcher Data 

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 (12809 MiB free)
  memory of node 1: 16384 MiB (13635 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293907-1532376951/watcher-4293907-1532376951 -o /tmp/evaluation-result-4293907-1532376951/solver-4293907-1532376951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20797 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293907-1532376951.xml 

running on 4 cores: 1,3,5,7

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=21589, runsolver pid=21586

[startup+0.100116 s]*
/proc/loadavg: 1.92 2.00 2.04 3/190 21590
/proc/meminfo: memFree=27057584/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=50276 memory=26368 CPUtime=0.1 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 6812 0 0 0 10 0 0 0 20 0 1 0 55258403 51482624 6592 33554432000 4194304 6142532 140725253538480 140725253535128 140144655674341 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 12569 6592 803 476 0 5891 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50276 KiB
Current children cumulated memory: 26368 KiB

[startup+0.20966 s]*
/proc/loadavg: 1.92 2.00 2.04 3/190 21590
/proc/meminfo: memFree=27042332/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=65536 memory=41908 CPUtime=0.2 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 10656 0 0 0 20 0 0 0 20 0 1 0 55258403 67108864 10477 33554432000 4194304 6142532 140725253538480 140725253535128 140144655674341 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 16384 10477 807 476 0 9706 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65536 KiB
Current children cumulated memory: 41908 KiB

[startup+0.309615 s]*
/proc/loadavg: 1.92 2.00 2.04 3/190 21590
/proc/meminfo: memFree=27023360/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=84492 memory=60880 CPUtime=0.31 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 15367 0 0 0 30 1 0 0 20 0 1 0 55258403 86519808 15154 33554432000 4194304 6142532 140725253538480 140725253535128 140144655674341 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 21123 15154 807 476 0 14445 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 84492 KiB
Current children cumulated memory: 60880 KiB

[startup+0.700318 s]
/proc/loadavg: 1.92 2.00 2.04 3/190 21590
/proc/meminfo: memFree=26985416/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=141440 memory=117676 CPUtime=0.69 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 29619 0 0 0 66 3 0 0 20 0 1 0 55258403 144834560 29419 33554432000 4194304 6142532 140725253538480 140725253535128 5801086 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 35360 29419 812 476 0 28682 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 141440 KiB
Current children cumulated memory: 117676 KiB

[startup+1.50024 s]
/proc/loadavg: 1.92 2.00 2.04 3/190 21590
/proc/meminfo: memFree=26962352/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=148860 memory=124804 CPUtime=1.49 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 31406 0 0 0 145 4 0 0 20 0 1 0 55258403 152432640 31201 33554432000 4194304 6142532 140725253538480 140725253535128 5800116 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 37215 31201 812 476 0 30537 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 148860 KiB
Current children cumulated memory: 124804 KiB

[startup+3.10952 s]
/proc/loadavg: 1.93 2.00 2.04 3/190 21590
/proc/meminfo: memFree=26944496/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=163592 memory=138972 CPUtime=3.09 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 35766 0 0 0 305 4 0 0 20 0 1 0 55258403 167518208 34743 33554432000 4194304 6142532 140725253538480 140725253535128 5802391 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 40898 34743 812 476 0 34220 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 163592 KiB
Current children cumulated memory: 138972 KiB

[startup+6.30022 s]
/proc/loadavg: 1.93 2.00 2.04 3/190 21590
/proc/meminfo: memFree=26917532/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=193176 memory=166996 CPUtime=6.29 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 44153 0 0 0 623 6 0 0 20 0 1 0 55258403 197812224 41749 33554432000 4194304 6142532 140725253538480 140725253533192 5800163 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 48294 41749 812 476 0 41616 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 193176 KiB
Current children cumulated memory: 166996 KiB

[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 2.04 3/190 21590
/proc/meminfo: memFree=26861004/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=252976 memory=223916 CPUtime=12.69 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 60167 0 0 0 1260 9 0 0 20 0 1 0 55258403 259047424 55979 33554432000 4194304 6142532 140725253538480 140725253535128 5801870 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 63244 55979 812 476 0 56566 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 252976 KiB
Current children cumulated memory: 223916 KiB

[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.04 3/190 21590
/proc/meminfo: memFree=26739132/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=372032 memory=336964 CPUtime=25.48 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 91580 0 0 0 2535 13 0 0 20 0 1 0 55258403 380960768 84241 33554432000 4194304 6142532 140725253538480 140725253535128 140144656112640 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 93008 84241 812 476 0 86330 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 372032 KiB
Current children cumulated memory: 336964 KiB

[startup+51.1093 s]
/proc/loadavg: 1.97 2.00 2.04 3/191 21591
/proc/meminfo: memFree=26474736/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=632276 memory=590140 CPUtime=51.1 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 239302 0 0 0 5084 26 0 0 20 0 1 0 55258403 647450624 147535 33554432000 4194304 6142532 140725253538480 140725253535192 5371800 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 158069 147535 860 476 0 151391 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 632276 KiB
Current children cumulated memory: 590140 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/191 21592
/proc/meminfo: memFree=26432520/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=660400 memory=618156 CPUtime=102.29 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 367457 0 0 0 10196 33 0 0 20 0 1 0 55258403 676249600 154539 33554432000 4194304 6142532 140725253538480 140725253535192 5363539 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 165100 154539 860 476 0 158422 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 660400 KiB
Current children cumulated memory: 618156 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 21593
/proc/meminfo: memFree=26400620/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=692492 memory=649324 CPUtime=162.29 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 513042 0 0 0 16188 41 0 0 20 0 1 0 55258403 709111808 162331 33554432000 4194304 6142532 140725253538480 140725253535192 5372468 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 173123 162331 860 476 0 166445 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 692492 KiB
Current children cumulated memory: 649324 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 21594
/proc/meminfo: memFree=26377748/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=716396 memory=672740 CPUtime=222.28 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 653626 0 0 0 22180 48 0 0 20 0 1 0 55258403 733589504 168185 33554432000 4194304 6142532 140725253538480 140725253535192 5371778 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 179099 168185 860 476 0 172421 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 716396 KiB
Current children cumulated memory: 672740 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 21602
/proc/meminfo: memFree=26363144/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=725968 memory=686860 CPUtime=282.27 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 780081 0 0 0 28173 54 0 0 20 0 1 0 55258403 743391232 171715 33554432000 4194304 6142532 140725253538480 140725253535224 5372465 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 181492 171715 860 476 0 174814 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 725968 KiB
Current children cumulated memory: 686860 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/191 21603
/proc/meminfo: memFree=26339216/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=745784 memory=711292 CPUtime=342.26 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 893153 0 0 0 34166 60 0 0 20 0 1 0 55258403 763682816 177823 33554432000 4194304 6142532 140725253538480 140725253535112 140144656598339 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 186446 177823 860 476 0 179768 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 745784 KiB
Current children cumulated memory: 711292 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 21604
/proc/meminfo: memFree=26322868/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=758508 memory=727896 CPUtime=402.25 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 968676 0 0 0 40160 65 0 0 20 0 1 0 55258403 776712192 181974 33554432000 4194304 6142532 140725253538480 140725253535224 5366716 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 189627 181974 860 476 0 182949 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 758508 KiB
Current children cumulated memory: 727896 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 21605
/proc/meminfo: memFree=26313580/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=764848 memory=737588 CPUtime=462.24 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1000202 0 0 0 46157 67 0 0 20 0 1 0 55258403 783204352 184397 33554432000 4194304 6142532 140725253538480 140725253535336 5372473 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191212 184397 862 476 0 184534 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 764848 KiB
Current children cumulated memory: 737588 KiB


################
# More data... #
################

/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21647
/proc/meminfo: memFree=26309232/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=1782.23 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1021377 0 0 0 178154 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5372403 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21648
/proc/meminfo: memFree=26309728/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=1842.23 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1021935 0 0 0 184154 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5376422 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21649
/proc/meminfo: memFree=26308296/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=1902.23 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1022723 0 0 0 190154 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 140144656600479 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21650
/proc/meminfo: memFree=26308156/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=1962.23 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1023281 0 0 0 196154 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5363636 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 21651
/proc/meminfo: memFree=26308476/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2022.23 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1023912 0 0 0 202154 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5366716 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 21660
/proc/meminfo: memFree=26307420/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2082.23 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1024841 0 0 0 208154 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 140144665619270 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 21662
/proc/meminfo: memFree=26307500/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2142.23 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1025459 0 0 0 214154 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5146904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21663
/proc/meminfo: memFree=26308148/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2202.23 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1026067 0 0 0 220154 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5371752 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21664
/proc/meminfo: memFree=26308272/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2262.22 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1026663 0 0 0 226153 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5146777 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21666
/proc/meminfo: memFree=26308264/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2322.22 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1027269 0 0 0 232153 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5175088 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21668
/proc/meminfo: memFree=26307744/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2382.22 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1027856 0 0 0 238153 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5146943 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21669
/proc/meminfo: memFree=26307884/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2442.22 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1028422 0 0 0 244153 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5375758 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 21699
/proc/meminfo: memFree=26099304/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2502.22 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1028989 0 0 0 250153 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5371724 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.08 2.03 2.05 3/191 21734
/proc/meminfo: memFree=25934512/32770624 swapFree=67108860/67108860
[pid=21589] ppid=21586 vsize=766104 memory=742632 CPUtime=2519.93 cores=1,3,5,7
/proc/21589/stat : 21589 (cosoco) R 21586 21589 20765 0 -1 4202496 1029510 0 0 0 251924 69 0 0 20 0 1 0 55258403 784490496 185658 33554432000 4194304 6142532 140725253538480 140725253535192 5363684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 38981632 140725253543046 140725253543176 140725253543176 140725253545934 0
/proc/21589/statm: 191526 185658 862 476 0 184848 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 766104 KiB
Current children cumulated memory: 742632 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 21589 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.25 s, system=0.701995 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.95
CPU user time (s): 2519.25
CPU system time (s): 0.701995
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 766104
Max. memory (cumulated for all children) (KiB): 742632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.25
system time used= 0.701995
maximum resident set size= 742692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1029553
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= 108
involuntary context switches= 726


# summary of solver processes directly reported to runsolver:
#   pid: 21589
#   total CPU time (s): 2519.95
#   total CPU user time (s): 2519.25
#   total CPU system time (s): 0.701995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31832 second user time and 17.2982 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-23 22:15:52
IDJOB=4293907
IDBENCH=141261
IDSOLVER=2752
FILE ID=node134/4293907-1532376951
RUNJOBID= node134-1532369368-20797
PBS_JOBID= 21021570
Free space on /tmp= 55844 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293907-1532376951/watcher-4293907-1532376951 -o /tmp/evaluation-result-4293907-1532376951/solver-4293907-1532376951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20797 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293907-1532376951.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=610936137

node134.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.68
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.68
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.68
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.68
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:        27079768 kB
MemAvailable:   31753268 kB
Buffers:          197048 kB
Cached:          4740116 kB
SwapCached:            0 kB
Active:          1802748 kB
Inactive:        3411224 kB
Active(anon):     226336 kB
Inactive(anon):    70292 kB
Active(file):    1576412 kB
Inactive(file):  3340932 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            108280 kB
Writeback:           304 kB
AnonPages:        271760 kB
Mapped:            39496 kB
Shmem:             17056 kB
Slab:             172280 kB
SReclaimable:     143984 kB
SUnreclaim:        28296 kB
KernelStack:        3408 kB
PageTables:         5296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     572484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55676 MiB
End job on node134 at 2018-07-23 22:57:52