Trace number 4298450

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
MiniCPFever 2018-04-29SAT (TO)4145 2520.12 2457.65

General information on the benchmark

NameGraphColoring/
GraphColoring-4-fullins-5_c18.xml
MD5SUM95ec92f657fea8ce6e93e6f35592ce49
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark2519.92
Satisfiable
(Un)Satisfiability was proved
Number of variables4146
Number of constraints77305
Number of domains1
Minimum domain size4146
Maximum domain size4146
Distribution of domain sizes[{"size":4146,"count":4146}]
Minimum variable degree9
Maximum variable degree696
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":18},{"degree":11,"count":14},{"degree":12,"count":56},{"degree":13,"count":22},{"degree":14,"count":94},{"degree":15,"count":28},{"degree":16,"count":112},{"degree":17,"count":54},{"degree":18,"count":216},{"degree":19,"count":62},{"degree":20,"count":248},{"degree":21,"count":24},{"degree":22,"count":96},{"degree":23,"count":78},{"degree":24,"count":312},{"degree":25,"count":10},{"degree":26,"count":40},{"degree":27,"count":40},{"degree":28,"count":166},{"degree":29,"count":40},{"degree":30,"count":160},{"degree":31,"count":166},{"degree":32,"count":664},{"degree":33,"count":30},"...",{"degree":36,"count":96}, {"degree":37,"count":6}, {"degree":38,"count":24}, {"degree":39,"count":24}, {"degree":40,"count":96}, {"degree":49,"count":6}, {"degree":50,"count":24}, {"degree":51,"count":6}, {"degree":52,"count":24}, {"degree":57,"count":6}, {"degree":58,"count":24}, {"degree":59,"count":24}, {"degree":60,"count":96}, {"degree":61,"count":24}, {"degree":62,"count":96}, {"degree":63,"count":96}, {"degree":64,"count":384}, {"degree":93,"count":6}, {"degree":94,"count":24}, {"degree":95,"count":24}, {"degree":96,"count":96}, {"degree":122,"count":6}, {"degree":239,"count":6}, {"degree":240,"count":24}, {"degree":696,"count":6}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":77305}]
Number of extensional constraints0
Number of intensional constraints77305
Distribution of constraint types[{"type":"intension","count":77305}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
69.56/38.43	o 4145
69.56/38.43	objective:4145
2520.05/2457.60	s SATISFIABLE
2520.05/2457.61	v <instantiation>
2520.05/2457.61	v 	<list>
2520.05/2457.61	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145] 
2520.05/2457.61	v 	</list>
2520.05/2457.61	v 	<values>
2520.05/2457.61	v 		0 4143 4142 4142 4143 4143 4140 4140 4141 4141 0 0 4145 4143 4142 4141 4140 4139 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4143 4143 4138 4143 4142 4141 4138 4144 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 0 0 4143 4143 4143 4143 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4144 4144 4144 4144 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4145 0 4144 4143 4142 4141 0 4145 0 4145 0 0 0 0 4145 4145 0 0 4145 0 0 0 0 4144 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4144 4144 4145 4144 4144 4144 4144 4144 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4145 4140 4144 4140 4142 4141 4144 4144 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4145 4143 4143 4143 4143 4143 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4143 4143 4143 4143 4143 4143 4143 4144 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4145 4143 4144 4143 4143 4143 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4142 4142 4145 4142 4142 4142 4142 4144 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4144 4144 4145 4144 4144 4144 4144 4144 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4145 4142 4144 4142 4142 4142 4144 4144 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4145 4143 4143 4143 4143 4143 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4143 4143 4143 4143 4143 4143 4143 4144 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4145 4143 4144 4143 4143 4143 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4142 4142 4145 4142 4142 4142 4142 4144 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4144 4144 4145 4144 4144 4144 4144 4144 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4145 4142 4144 4142 4142 4142 4141 4143 4142 4140 4139 4138 4141 4143 4142 4142 4143 4143 4142 4142 4142 4142 4143 4143 4137 4143 4142 4141 4140 4139 4141 4143 4142 4142 4143 4143 4142 4142 4143 4143 4143 4143 4138 4143 4142 4141 4138 4139 4143 4143 4142 4142 4143 4143 4143 4143 4142 4142 4143 4143 4140 4143 4142 4141 4140 4140 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4142 4142 4142 4142 4142 4142 4142 4142 4143 4143 4143 4143 4143 4142 4142 4143 4143 4143 4139 4139 4139 4143 4142 4141 4141 4141 4142 4142 4141 4141 4142 4142 4142 4142 4142 4142 4137 4137 4142 4141 4140 4139 4141 4141 4142 4142 4141 4141 4142 4142 4142 4142 4142 4142 4138 4138 4142 4141 4140 4139 4142 4142 4142 4142 4141 4141 4142 4142 4142 4142 4142 4142 4140 4140 4142 4141 4140 4140 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4141 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4142 4140 4140 4140 4140 4142 4141 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4143 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4144 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4145 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 4144 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4144 0 0 0 0 4145 4144 4143 4142 4141 4140 
2520.05/2457.61	v 	</values>
2520.05/2457.61	v </instantiation>

Verifier Data

OK	4145

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298450-1532761149/watcher-4298450-1532761149 -o /tmp/evaluation-result-4298450-1532761149/solver-4298450-1532761149 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532741282-23862 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298450-1532761149.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
solver pid=26129, runsolver pid=26126
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.70 1.67 1.73 4/214 26144
/proc/meminfo: memFree=26299616/32770624 swapFree=67108496/67108860
[pid=26129] ppid=26126 vsize=10658972 memory=27496 CPUtime=0.13 cores=1,3,5,7
/proc/26129/stat : 26129 (java) S 26126 26129 23830 0 -1 1077944320 5283 0 0 0 12 1 0 0 20 0 15 0 93678072 10914787328 6874 33554432000 4194304 4196468 140727967906560 140727967889104 139827617492727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
/proc/26129/statm: 2664743 6874 2836 1 0 2627263 0
[pid=26129/tid=26131] ppid=26126 vsize=10658972 memory=-7254949987974015097 CPUtime=0.09 cores=1,3,5,7
/proc/26129/task/26131/stat : 26131 (java) S 26126 26129 23830 0 -1 1077944384 3104 0 0 0 8 1 0 0 20 0 15 0 93678072 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827621718976 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26132] ppid=26126 vsize=10658972 memory=5793855178740660665 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26132/stat : 26132 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827224566800 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26133] ppid=26126 vsize=10658972 memory=139927730767488 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26133/stat : 26133 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827223514256 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26134] ppid=26126 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26134/stat : 26134 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827222461200 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26135] ppid=26126 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26135/stat : 26135 (java) S 26126 26129 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827221408656 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26136] ppid=26126 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26136/stat : 26136 (java) S 26126 26129 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93678074 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827177134320 139827617503874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26137] ppid=26126 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26137/stat : 26137 (java) S 26126 26129 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93678075 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827176080544 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26138] ppid=26126 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26138/stat : 26138 (java) S 26126 26129 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93678075 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827175027440 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26139] ppid=26126 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26139/stat : 26139 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827173976016 139827617511323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26140] ppid=26126 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26140/stat : 26140 (java) S 26126 26129 23830 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827172924144 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26141] ppid=26126 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26141/stat : 26141 (java) R 26126 26129 23830 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827171871600 139827617503874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26142] ppid=26126 vsize=10658972 memory=139927730767488 CPUtime=0.02 cores=1,3,5,7
/proc/26129/task/26142/stat : 26142 (java) R 26126 26129 23830 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 93678077 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827170818544 139827601573214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26143] ppid=26126 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26143/stat : 26143 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827169766240 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26144] ppid=26126 vsize=10658972 memory=139927730767488 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26144/stat : 26144 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 6874 33554432000 4194304 4196468 140727967906560 139827168713264 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27496 KiB

[startup+0.215095 s]*
/proc/loadavg: 1.70 1.67 1.73 5/214 26144
/proc/meminfo: memFree=26287164/32770624 swapFree=67108496/67108860
[pid=26129] ppid=26126 vsize=10658972 memory=40108 CPUtime=0.35 cores=1,3,5,7
/proc/26129/stat : 26129 (java) S 26126 26129 23830 0 -1 1077944320 8133 0 0 0 33 2 0 0 20 0 15 0 93678072 10914787328 10027 33554432000 4194304 4196468 140727967906560 140727967889104 139827617492727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
/proc/26129/statm: 2664743 10027 2997 1 0 2627263 0
[pid=26129/tid=26131] ppid=26126 vsize=10658972 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/26129/task/26131/stat : 26131 (java) S 26126 26129 23830 0 -1 1077944384 5063 0 0 0 19 1 0 0 20 0 15 0 93678072 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827621730896 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26132] ppid=26126 vsize=10658972 memory=4211973653935558026 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26132/stat : 26132 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827224566800 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26133] ppid=26126 vsize=10658972 memory=139927730767488 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26133/stat : 26133 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827223514256 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26134] ppid=26126 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26134/stat : 26134 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827222461200 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26135] ppid=26126 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26135/stat : 26135 (java) S 26126 26129 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827221408656 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26136] ppid=26126 vsize=10658972 memory=139927730767488 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26136/stat : 26136 (java) S 26126 26129 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93678074 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827177134320 139827617503874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26137] ppid=26126 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26137/stat : 26137 (java) S 26126 26129 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93678075 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827176080544 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26138] ppid=26126 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26138/stat : 26138 (java) S 26126 26129 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93678075 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827175027440 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26139] ppid=26126 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26139/stat : 26139 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827173976016 139827617511323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26140] ppid=26126 vsize=10658972 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26129/task/26140/stat : 26140 (java) R 26126 26129 23830 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 93678077 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827172924144 139827617503874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26141] ppid=26126 vsize=10658972 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26129/task/26141/stat : 26141 (java) R 26126 26129 23830 0 -1 4202560 386 0 0 0 3 0 0 0 20 0 15 0 93678077 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827171871600 139827600991881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26142] ppid=26126 vsize=10658972 memory=139927730767488 CPUtime=0.09 cores=1,3,5,7
/proc/26129/task/26142/stat : 26142 (java) R 26126 26129 23830 0 -1 4202560 900 0 0 0 9 0 0 0 20 0 15 0 93678077 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827170815480 139827597209920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26143] ppid=26126 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26143/stat : 26143 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827169766240 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26144] ppid=26126 vsize=10658972 memory=139927730767488 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26144/stat : 26144 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 10027 33554432000 4194304 4196468 140727967906560 139827168713264 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40108 KiB

[startup+0.311088 s]*
/proc/loadavg: 1.70 1.67 1.73 5/214 26144
/proc/meminfo: memFree=26270912/32770624 swapFree=67108496/67108860
[pid=26129] ppid=26126 vsize=10658972 memory=57740 CPUtime=0.66 cores=1,3,5,7
/proc/26129/stat : 26129 (java) S 26126 26129 23830 0 -1 1077944320 10006 0 0 0 63 3 0 0 20 0 15 0 93678072 10914787328 14435 33554432000 4194304 4196468 140727967906560 140727967889104 139827617492727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
/proc/26129/statm: 2664743 14435 3017 1 0 2627263 0
[pid=26129/tid=26131] ppid=26126 vsize=10658972 memory=279855237169392 CPUtime=0.3 cores=1,3,5,7
/proc/26129/task/26131/stat : 26131 (java) R 26126 26129 23830 0 -1 4202560 5079 0 0 0 28 2 0 0 20 0 15 0 93678072 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827621730752 139827617504662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26132] ppid=26126 vsize=10658972 memory=4211973653935558026 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26132/stat : 26132 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827224566800 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26133] ppid=26126 vsize=10658972 memory=139927730769824 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26133/stat : 26133 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827223514256 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26134] ppid=26126 vsize=10658972 memory=139927618693688 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26134/stat : 26134 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827222461200 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26135] ppid=26126 vsize=10658972 memory=139927618698191 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26135/stat : 26135 (java) S 26126 26129 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93678073 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827221408656 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26136] ppid=26126 vsize=10658972 memory=139927730791344 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26136/stat : 26136 (java) S 26126 26129 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93678074 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827177134320 139827617503874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26137] ppid=26126 vsize=10658972 memory=139927618698191 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26137/stat : 26137 (java) S 26126 26129 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93678075 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827176080544 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26138] ppid=26126 vsize=10658972 memory=279855237417104 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26138/stat : 26138 (java) S 26126 26129 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93678075 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827175027440 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26139] ppid=26126 vsize=10658972 memory=279855237414800 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26139/stat : 26139 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827173976016 139827617511323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26140] ppid=26126 vsize=10658972 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26129/task/26140/stat : 26140 (java) R 26126 26129 23830 0 -1 4202560 1050 0 0 0 10 0 0 0 20 0 15 0 93678077 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827172910168 139827597186512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26141] ppid=26126 vsize=10658972 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/26129/task/26141/stat : 26141 (java) R 26126 26129 23830 0 -1 4202560 1224 0 0 0 12 0 0 0 20 0 15 0 93678077 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827171853400 139827603202401 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26142] ppid=26126 vsize=10658972 memory=139927730767488 CPUtime=0.12 cores=1,3,5,7
/proc/26129/task/26142/stat : 26142 (java) R 26126 26129 23830 0 -1 1077944384 1285 0 0 0 12 0 0 0 20 0 15 0 93678077 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827170818544 139827617503874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26143] ppid=26126 vsize=10658972 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26143/stat : 26143 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827169766240 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26144] ppid=26126 vsize=10658972 memory=139927730767488 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26144/stat : 26144 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678077 10914787328 14435 33554432000 4194304 4196468 140727967906560 139827168713264 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 57740 KiB

[startup+0.701134 s]
/proc/loadavg: 1.70 1.67 1.73 5/214 26144
/proc/meminfo: memFree=26240064/32770624 swapFree=67108496/67108860
[pid=26129] ppid=26126 vsize=10659048 memory=141868 CPUtime=1.77 cores=1,3,5,7
/proc/26129/stat : 26129 (java) S 26126 26129 23830 0 -1 1077944320 11040 0 0 0 172 5 0 0 20 0 15 0 93678072 10914865152 35467 33554432000 4194304 4196468 140727967906560 140727967889104 139827617492727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
/proc/26129/statm: 2664762 35467 3082 1 0 2627263 0
[pid=26129/tid=26131] ppid=26126 vsize=10659048 memory=1616 CPUtime=0.67 cores=1,3,5,7
/proc/26129/task/26131/stat : 26131 (java) R 26126 26129 23830 0 -1 4202560 5441 0 0 0 64 3 0 0 20 0 15 0 93678072 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827621725216 139827243500334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26132] ppid=26126 vsize=10659048 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26132/stat : 26132 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827224566800 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26133] ppid=26126 vsize=10659048 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26133/stat : 26133 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827223514256 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26134] ppid=26126 vsize=10659048 memory=7235408084361307456 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26134/stat : 26134 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678073 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827222461200 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26135] ppid=26126 vsize=10659048 memory=7739276948478193257 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26135/stat : 26135 (java) S 26126 26129 23830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93678073 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827221408656 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26136] ppid=26126 vsize=10659048 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26136/stat : 26136 (java) S 26126 26129 23830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93678074 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827177134320 139827617503874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26137] ppid=26126 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26137/stat : 26137 (java) S 26126 26129 23830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827176080544 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26138] ppid=26126 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26138/stat : 26138 (java) S 26126 26129 23830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827175027440 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26139] ppid=26126 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26139/stat : 26139 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827173976016 139827617511323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26140] ppid=26126 vsize=10659048 memory=3252 CPUtime=0.4 cores=1,3,5,7
/proc/26129/task/26140/stat : 26140 (java) R 26126 26129 23830 0 -1 4202560 1353 0 0 0 40 0 0 0 20 0 15 0 93678077 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827172912976 139827595319872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26141] ppid=26126 vsize=10659048 memory=4 CPUtime=0.42 cores=1,3,5,7
/proc/26129/task/26141/stat : 26141 (java) R 26126 26129 23830 0 -1 4202560 1337 0 0 0 42 0 0 0 20 0 15 0 93678077 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827171871600 139827597185811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26142] ppid=26126 vsize=10659048 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/26129/task/26142/stat : 26142 (java) S 26126 26129 23830 0 -1 1077944384 1538 0 0 0 23 0 0 0 20 0 15 0 93678077 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827170818544 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26143] ppid=26126 vsize=10659048 memory=279855237594096 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26143/stat : 26143 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827169766240 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26144] ppid=26126 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26144/stat : 26144 (java) S 26126 26129 23830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 35467 33554432000 4194304 4196468 140727967906560 139827168713264 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 141868 KiB

[startup+1.50809 s]
/proc/loadavg: 1.70 1.67 1.73 3/215 26145
/proc/meminfo: memFree=26086144/32770624 swapFree=67108496/67108860
[pid=26129] ppid=26126 vsize=10659048 memory=429036 CPUtime=4.1 cores=1,3,5,7
/proc/26129/stat : 26129 (java) S 26126 26129 23830 0 -1 1077944320 13150 0 0 0 387 23 0 0 20 0 15 0 93678072 10914865152 107259 33554432000 4194304 4196468 140727967906560 140727967889104 139827617492727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
/proc/26129/statm: 2664762 107259 3136 1 0 2627263 0
[pid=26129/tid=26131] ppid=26126 vsize=10659048 memory=313688 CPUtime=1.37 cores=1,3,5,7
/proc/26129/task/26131/stat : 26131 (java) R 26126 26129 23830 0 -1 4202560 5688 0 0 0 132 5 0 0 20 0 15 0 93678072 10914865152 107259 33554432000 4194304 4196468 140727967906560 139827621729392 139827240634016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26132] ppid=26126 vsize=10659048 memory=279855237267592 CPUtime=0.1 cores=1,3,5,7
/proc/26129/task/26132/stat : 26132 (java) S 26126 26129 23830 0 -1 1077944384 132 0 0 0 6 4 0 0 20 0 15 0 93678073 10914865152 107259 33554432000 4194304 4196468 140727967906560 139827224566800 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26133] ppid=26126 vsize=10659048 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26129/task/26133/stat : 26133 (java) S 26126 26129 23830 0 -1 1077944384 118 0 0 0 6 3 0 0 20 0 15 0 93678073 10914865152 107259 33554432000 4194304 4196468 140727967906560 139827223514256 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26134] ppid=26126 vsize=10659048 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26129/task/26134/stat : 26134 (java) S 26126 26129 23830 0 -1 1077944384 257 0 0 0 6 4 0 0 20 0 15 0 93678073 10914865152 107259 33554432000 4194304 4196468 140727967906560 139827222461200 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26135] ppid=26126 vsize=10659048 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26129/task/26135/stat : 26135 (java) S 26126 26129 23830 0 -1 1077944384 137 0 0 0 6 3 0 0 20 0 15 0 93678073 10914865152 107259 33554432000 4194304 4196468 140727967906560 139827221408656 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26136] ppid=26126 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26136/stat : 26136 (java) S 26126 26129 23830 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 93678074 10914865152 107259 33554432000 4194304 4196468 140727967906560 139827177134320 139827617503874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0

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

/proc/26129/task/26131/stat : 26131 (java) R 26126 26129 23830 0 -1 4202560 632188 0 0 0 230032 56 0 0 20 0 15 0 93678072 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827621732256 139827247508297 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26132] ppid=26126 vsize=10659048 memory=8260056 CPUtime=17.94 cores=1,3,5,7
/proc/26129/task/26132/stat : 26132 (java) S 26126 26129 23830 0 -1 1077944384 21582 0 0 0 1587 207 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827224566800 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26133] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.03 cores=1,3,5,7
/proc/26129/task/26133/stat : 26133 (java) S 26126 26129 23830 0 -1 1077944384 20017 0 0 0 1617 186 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827223514256 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26134] ppid=26126 vsize=10659048 memory=8260056 CPUtime=17.86 cores=1,3,5,7
/proc/26129/task/26134/stat : 26134 (java) S 26126 26129 23830 0 -1 1077944384 19777 0 0 0 1584 202 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827222461200 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26135] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.01 cores=1,3,5,7
/proc/26129/task/26135/stat : 26135 (java) S 26126 26129 23830 0 -1 1077944384 34727 0 0 0 1629 172 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827221408656 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26136] ppid=26126 vsize=10659048 memory=8260056 CPUtime=3.21 cores=1,3,5,7
/proc/26129/task/26136/stat : 26136 (java) S 26126 26129 23830 0 -1 1077944384 285188 0 0 0 306 15 0 0 20 0 15 0 93678074 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827177134320 139827617503874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26137] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26137/stat : 26137 (java) S 26126 26129 23830 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827176080608 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26138] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26138/stat : 26138 (java) S 26126 26129 23830 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827175027440 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26139] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26139/stat : 26139 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827173976016 139827617511323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26140] ppid=26126 vsize=10659048 memory=27140 CPUtime=3 cores=1,3,5,7
/proc/26129/task/26140/stat : 26140 (java) S 26126 26129 23830 0 -1 1077944384 7572 0 0 0 298 2 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827172924144 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26141] ppid=26126 vsize=10659048 memory=8260056 CPUtime=2.58 cores=1,3,5,7
/proc/26129/task/26141/stat : 26141 (java) S 26126 26129 23830 0 -1 1077944384 7846 0 0 0 257 1 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827171871600 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26142] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0.52 cores=1,3,5,7
/proc/26129/task/26142/stat : 26142 (java) S 26126 26129 23830 0 -1 1077944384 4878 0 0 0 51 1 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827170818544 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26143] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26143/stat : 26143 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827169766240 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26144] ppid=26126 vsize=10659048 memory=8260056 CPUtime=1.32 cores=1,3,5,7
/proc/26129/task/26144/stat : 26144 (java) S 26126 26129 23830 0 -1 1077944384 2396 0 0 0 57 75 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827168713264 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
Current children cumulated CPU time: 2383.43 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 8260056 KiB

[startup+2382.3 s]
/proc/loadavg: 1.71 1.77 1.75 3/215 26415
/proc/meminfo: memFree=18873844/32770624 swapFree=67108496/67108860
[pid=26129] ppid=26126 vsize=10659048 memory=8260056 CPUtime=2443.87 cores=1,3,5,7
/proc/26129/stat : 26129 (java) S 26126 26129 23830 0 -1 1077944320 1060458 0 0 0 243475 912 0 0 20 0 15 0 93678072 10914865152 2065014 33554432000 4194304 4196468 140727967906560 140727967889104 139827617492727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
/proc/26129/statm: 2664762 2065014 3175 1 0 2627263 0
[pid=26129/tid=26131] ppid=26126 vsize=10659048 memory=6791534058613427641 CPUtime=2360.68 cores=1,3,5,7
/proc/26129/task/26131/stat : 26131 (java) R 26126 26129 23830 0 -1 4202560 648059 0 0 0 236010 58 0 0 20 0 15 0 93678072 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827621732176 139827247033230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26132] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.08 cores=1,3,5,7
/proc/26129/task/26132/stat : 26132 (java) S 26126 26129 23830 0 -1 1077944384 21801 0 0 0 1601 207 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827224566800 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26133] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.17 cores=1,3,5,7
/proc/26129/task/26133/stat : 26133 (java) S 26126 26129 23830 0 -1 1077944384 20191 0 0 0 1631 186 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827223514256 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26134] ppid=26126 vsize=10659048 memory=8260056 CPUtime=17.99 cores=1,3,5,7
/proc/26129/task/26134/stat : 26134 (java) S 26126 26129 23830 0 -1 1077944384 20148 0 0 0 1597 202 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827222461200 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26135] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.15 cores=1,3,5,7
/proc/26129/task/26135/stat : 26135 (java) S 26126 26129 23830 0 -1 1077944384 34862 0 0 0 1643 172 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827221408656 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26136] ppid=26126 vsize=10659048 memory=8260056 CPUtime=3.25 cores=1,3,5,7
/proc/26129/task/26136/stat : 26136 (java) S 26126 26129 23830 0 -1 1077944384 291215 0 0 0 310 15 0 0 20 0 15 0 93678074 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827177134320 139827617503874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26137] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26137/stat : 26137 (java) S 26126 26129 23830 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827176080608 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26138] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26138/stat : 26138 (java) S 26126 26129 23830 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827175027440 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26139] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26139/stat : 26139 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827173976016 139827617511323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26140] ppid=26126 vsize=10659048 memory=8260056 CPUtime=3 cores=1,3,5,7
/proc/26129/task/26140/stat : 26140 (java) S 26126 26129 23830 0 -1 1077944384 7580 0 0 0 298 2 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827172924144 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26141] ppid=26126 vsize=10659048 memory=8260056 CPUtime=2.58 cores=1,3,5,7
/proc/26129/task/26141/stat : 26141 (java) S 26126 26129 23830 0 -1 1077944384 7860 0 0 0 257 1 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827171871600 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26142] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0.52 cores=1,3,5,7
/proc/26129/task/26142/stat : 26142 (java) S 26126 26129 23830 0 -1 1077944384 4886 0 0 0 51 1 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827170818544 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26143] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26143/stat : 26143 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827169766240 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26144] ppid=26126 vsize=10659048 memory=2048 CPUtime=1.35 cores=1,3,5,7
/proc/26129/task/26144/stat : 26144 (java) S 26126 26129 23830 0 -1 1077944384 2471 0 0 0 59 76 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827168713264 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
Current children cumulated CPU time: 2443.87 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 8260056 KiB

[startup+2442.3 s]
/proc/loadavg: 1.89 1.82 1.77 3/215 26416
/proc/meminfo: memFree=18869076/32770624 swapFree=67108496/67108860
[pid=26129] ppid=26126 vsize=10659048 memory=8260056 CPUtime=2504.74 cores=1,3,5,7
/proc/26129/stat : 26129 (java) S 26126 26129 23830 0 -1 1077944320 1083842 0 0 0 249558 916 0 0 20 0 15 0 93678072 10914865152 2065014 33554432000 4194304 4196468 140727967906560 140727967889104 139827617492727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
/proc/26129/statm: 2664762 2065014 3175 1 0 2627263 0
[pid=26129/tid=26131] ppid=26126 vsize=10659048 memory=8260056 CPUtime=2420.33 cores=1,3,5,7
/proc/26129/task/26131/stat : 26131 (java) R 26126 26129 23830 0 -1 4202560 657556 0 0 0 241974 59 0 0 20 0 15 0 93678072 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827621732080 139827247489183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26132] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.35 cores=1,3,5,7
/proc/26129/task/26132/stat : 26132 (java) S 26126 26129 23830 0 -1 1077944384 22367 0 0 0 1628 207 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827224566800 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26133] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.44 cores=1,3,5,7
/proc/26129/task/26133/stat : 26133 (java) S 26126 26129 23830 0 -1 1077944384 20558 0 0 0 1658 186 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827223514256 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26134] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.27 cores=1,3,5,7
/proc/26129/task/26134/stat : 26134 (java) S 26126 26129 23830 0 -1 1077944384 20566 0 0 0 1625 202 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827222461200 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26135] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.43 cores=1,3,5,7
/proc/26129/task/26135/stat : 26135 (java) S 26126 26129 23830 0 -1 1077944384 35313 0 0 0 1671 172 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827221408656 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26136] ppid=26126 vsize=10659048 memory=8260056 CPUtime=3.34 cores=1,3,5,7
/proc/26129/task/26136/stat : 26136 (java) S 26126 26129 23830 0 -1 1077944384 303246 0 0 0 318 16 0 0 20 0 15 0 93678074 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827177134320 139827617503874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26137] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26137/stat : 26137 (java) S 26126 26129 23830 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827176080608 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26138] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26138/stat : 26138 (java) S 26126 26129 23830 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827175027440 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26139] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26139/stat : 26139 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827173976016 139827617511323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26140] ppid=26126 vsize=10659048 memory=1132 CPUtime=3 cores=1,3,5,7
/proc/26129/task/26140/stat : 26140 (java) S 26126 26129 23830 0 -1 1077944384 7584 0 0 0 298 2 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827172924144 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26141] ppid=26126 vsize=10659048 memory=8260056 CPUtime=2.58 cores=1,3,5,7
/proc/26129/task/26141/stat : 26141 (java) S 26126 26129 23830 0 -1 1077944384 7866 0 0 0 257 1 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827171871600 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26142] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0.52 cores=1,3,5,7
/proc/26129/task/26142/stat : 26142 (java) S 26126 26129 23830 0 -1 1077944384 4891 0 0 0 51 1 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827170818544 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26143] ppid=26126 vsize=10659048 memory=8260056 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26143/stat : 26143 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827169766240 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26144] ppid=26126 vsize=10659048 memory=8260056 CPUtime=1.39 cores=1,3,5,7
/proc/26129/task/26144/stat : 26144 (java) S 26126 26129 23830 0 -1 1077944384 2510 0 0 0 61 78 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827168713264 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
Current children cumulated CPU time: 2504.74 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 8260056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.6 s]
/proc/loadavg: 1.92 1.82 1.77 3/216 26424
/proc/meminfo: memFree=18867604/32770624 swapFree=67108496/67108860
[pid=26129] ppid=26126 vsize=10659048 memory=8260056 CPUtime=2520.05 cores=1,3,5,7
/proc/26129/stat : 26129 (java) S 26126 26129 23830 0 -1 1077944320 1086195 0 0 0 251088 917 0 0 20 0 15 0 93678072 10914865152 2065014 33554432000 4194304 4196468 140727967906560 140727967889104 139827617492727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
/proc/26129/statm: 2664762 2065014 3175 1 0 2627263 0
[pid=26129/tid=26131] ppid=26126 vsize=10659048 memory=756 CPUtime=2435.63 cores=1,3,5,7
/proc/26129/task/26131/stat : 26131 (java) R 26126 26129 23830 0 -1 4202560 659907 0 0 0 243504 59 0 0 20 0 15 0 93678072 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827621732080 139827247394444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26132] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.35 cores=1,3,5,7
/proc/26129/task/26132/stat : 26132 (java) S 26126 26129 23830 0 -1 1077944384 22367 0 0 0 1628 207 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827224566800 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26133] ppid=26126 vsize=10659048 memory=932 CPUtime=18.44 cores=1,3,5,7
/proc/26129/task/26133/stat : 26133 (java) S 26126 26129 23830 0 -1 1077944384 20558 0 0 0 1658 186 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827223514256 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26134] ppid=26126 vsize=10659048 memory=8260056 CPUtime=18.27 cores=1,3,5,7
/proc/26129/task/26134/stat : 26134 (java) S 26126 26129 23830 0 -1 1077944384 20566 0 0 0 1625 202 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827222461200 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26135] ppid=26126 vsize=10659048 memory=1380 CPUtime=18.43 cores=1,3,5,7
/proc/26129/task/26135/stat : 26135 (java) S 26126 26129 23830 0 -1 1077944384 35313 0 0 0 1671 172 0 0 20 0 15 0 93678073 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827221408656 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26136] ppid=26126 vsize=10659048 memory=1160 CPUtime=3.34 cores=1,3,5,7
/proc/26129/task/26136/stat : 26136 (java) S 26126 26129 23830 0 -1 1077944384 303246 0 0 0 318 16 0 0 20 0 15 0 93678074 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827177134320 139827617503874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26137] ppid=26126 vsize=10659048 memory=15184 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26137/stat : 26137 (java) S 26126 26129 23830 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827176080608 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26138] ppid=26126 vsize=10659048 memory=1180 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26138/stat : 26138 (java) S 26126 26129 23830 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93678075 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827175027440 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26139] ppid=26126 vsize=10659048 memory=504 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26139/stat : 26139 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827173976016 139827617511323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26140] ppid=26126 vsize=10659048 memory=1720 CPUtime=3 cores=1,3,5,7
/proc/26129/task/26140/stat : 26140 (java) S 26126 26129 23830 0 -1 1077944384 7584 0 0 0 298 2 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827172924144 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26141] ppid=26126 vsize=10659048 memory=279855239122928 CPUtime=2.58 cores=1,3,5,7
/proc/26129/task/26141/stat : 26141 (java) S 26126 26129 23830 0 -1 1077944384 7866 0 0 0 257 1 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827171871600 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26142] ppid=26126 vsize=10659048 memory=302022857008087344 CPUtime=0.52 cores=1,3,5,7
/proc/26129/task/26142/stat : 26142 (java) S 26126 26129 23830 0 -1 1077944384 4891 0 0 0 51 1 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827170818544 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26143] ppid=26126 vsize=10659048 memory=14979979167401906 CPUtime=0 cores=1,3,5,7
/proc/26129/task/26143/stat : 26143 (java) S 26126 26129 23830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827169766240 139827617502933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
[pid=26129/tid=26144] ppid=26126 vsize=10659048 memory=8260056 CPUtime=1.4 cores=1,3,5,7
/proc/26129/task/26144/stat : 26144 (java) S 26126 26129 23830 0 -1 1077944384 2512 0 0 0 61 79 0 0 20 0 15 0 93678077 10914865152 2065014 33554432000 4194304 4196468 140727967906560 139827168713264 139827617503874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13717504 140727967909037 140727967909129 140727967909129 140727967911887 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 8260056 KiB

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

[startup+2457.65 s]
# the end of solver process 26129 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510.92 s, system=9.20527 s

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

Child status: 143
Real time (s): 2457.65
CPU time (s): 2520.12
CPU user time (s): 2510.92
CPU system time (s): 9.20527
CPU usage (%): 102.542
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 8260056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.92
system time used= 9.20527
maximum resident set size= 8260508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1086919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58782
involuntary context switches= 1953


# summary of solver processes directly reported to runsolver:
#   pid: 26129
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2510.92
#   total CPU system time (s): 9.20527

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2992 second user time and 23.8012 second system time

The end

Launcher Data

Begin job on node149 at 2018-07-28 08:59:09
IDJOB=4298450
IDBENCH=141141
IDSOLVER=2763
FILE ID=node149/4298450-1532761149
RUNJOBID= node149-1532741282-23862
PBS_JOBID= 21022453
Free space on /tmp= 43252 MiB

SOLVER NAME= MiniCPFever 2018-04-29
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298450-1532761149/watcher-4298450-1532761149 -o /tmp/evaluation-result-4298450-1532761149/solver-4298450-1532761149 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532741282-23862 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298450-1532761149.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=1066414672

node149.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.60
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.60
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.60
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.60
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:        26315976 kB
MemAvailable:   30724440 kB
Buffers:          124028 kB
Cached:          4503884 kB
SwapCached:           60 kB
Active:          2746216 kB
Inactive:        3141028 kB
Active(anon):    1209272 kB
Inactive(anon):    78008 kB
Active(file):    1536944 kB
Inactive(file):  3063020 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:              3940 kB
Writeback:             0 kB
AnonPages:       1313960 kB
Mapped:            46556 kB
Shmem:             25040 kB
Slab:             265220 kB
SReclaimable:     236960 kB
SUnreclaim:        28260 kB
KernelStack:        3792 kB
PageTables:         7272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2946984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1206272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43252 MiB
End job on node149 at 2018-07-28 09:40:07