Trace number 4309913

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
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)4113 252.117 214.18

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 benchmark251.918
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 1000110056
0.68/0.56	c timeout: 252
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
65.95/32.22	c Parsing done, starting search...
69.44/35.02	o 4145
78.74/43.98	o 4144
87.17/52.18	o 4142
95.34/60.21	o 4141
103.60/68.39	o 4139
103.70/68.41	o 4138
112.00/76.47	o 4136
120.26/84.55	o 4135
128.66/92.71	o 4133
136.67/100.74	o 4131
144.93/108.80	o 4129
153.20/116.94	o 4128
161.32/125.05	o 4127
169.63/133.13	o 4125
177.95/141.21	o 4124
185.96/149.29	o 4123
194.26/157.36	o 4122
202.54/165.46	o 4120
210.66/173.54	o 4118
218.94/181.62	o 4117
227.24/189.76	o 4116
235.24/197.78	o 4115
243.52/205.85	o 4114
251.63/213.93	o 4113
252.04/214.11	s SATISFIABLE
252.04/214.12	v <instantiation>
252.04/214.12	v 	<list>
252.04/214.12	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]
252.04/214.12	v 	</list>
252.04/214.12	v 	<values>
252.04/214.12	v 		2738 1647 1805 919 1811 4099 2056 484 209 2511 1491 1381 3866 3602 3146 2023 1493 1076 529 3145 781 1657 3483 3709 529 1899 3088 2894 3693 2336 2289 455 2013 1849 1779 3386 2642 3304 2603 1362 503 201 2181 1033 1833 589 2335 2089 1720 1353 1609 4102 609 2159 463 1108 879 1642 1700 1153 2499 3976 563 1349 11 2004 2468 499 3455 2718 2416 2384 133 173 488 49 2765 4002 1700 3736 1793 2094 135 1007 2039 3974 5 159 912 1145 2243 3082 3643 1375 12 3112 1610 2928 489 2948 976 2913 678 1547 2941 1704 555 422 1253 2225 1570 689 1724 466 665 2890 3644 1908 1895 2792 3502 2960 723 3132 2665 1657 686 2586 2929 779 3439 1337 2846 2856 1143 2966 4072 262 524 1793 3448 938 2054 1308 1241 3755 2905 3406 2304 74 1988 243 662 2926 1799 635 3806 1990 3176 3676 1368 470 3924 854 2769 3245 2299 1318 2687 1388 8 4017 2427 1327 2022 4106 138 2036 3781 2673 1817 40 3319 893 739 2238 2355 1661 903 309 1190 215 226 3812 2812 3196 3620 2275 3737 3507 1402 1389 3385 144 1519 2060 1046 2328 2664 3566 2801 2609 1856 3943 2917 3317 2264 254 2368 1328 3482 1912 693 1661 1445 3347 523 774 3187 2797 2071 2591 109 978 3205 256 2057 3408 2911 1979 783 1128 1433 518 762 3250 971 1345 3635 3157 386 331 441 2415 2484 3995 147 3528 1453 386 1110 1707 3786 3199 2957 880 468 454 1328 3175 216 2582 2184 1093 2385 2235 1327 2420 364 2898 1230 150 2043 797 2460 3146 2698 1990 3441 504 118 677 70 3549 3568 1127 2729 2076 563 848 2537 735 2392 791 2154 419 3303 3688 943 384 2523 3232 390 3798 1047 3543 2426 665 1589 2395 2788 2458 3482 2502 4103 892 4032 3147 1341 2322 28 1829 3654 823 1840 2737 877 3369 891 1481 4052 1620 3135 3594 522 2082 2990 1659 3266 742 52 2042 1179 609 4019 3604 2862 1166 2042 2811 652 745 2504 335 3494 3590 1184 3825 2450 823 15 3181 143 2355 717 127 3596 2588 3978 1077 2976 1246 3724 743 1802 2255 4073 2803 852 2565 1767 1432 3305 2448 3671 258 332 1530 2044 1373 1076 2555 463 2874 507 1139 3134 1593 2887 4024 1471 2823 1854 1956 3088 3635 3601 3207 761 2495 595 3579 3739 3867 3148 1422 480 3575 3953 3036 995 1451 2251 59 4113 1328 704 4112 1813 3 4101 1027 2919 2095 1974 1239 1150 1786 1341 721 1037 996 2974 2290 4060 315 1913 776 247 3182 1000 2144 3600 3198 3895 3413 872 3853 890 2625 1904 1014 3620 333 3304 2474 3983 280 2412 3280 3487 3157 3372 589 1582 1436 2769 1696 2585 3384 159 1711 3902 2763 3426 231 2885 552 1541 2107 1925 2358 3684 869 371 3983 1536 4072 1048 3792 7 374 2166 3243 2010 104 3625 2836 889 1479 1213 2139 1320 2260 1102 1189 2087 981 2729 2256 266 3184 2538 1468 1121 237 1061 2297 3143 2631 1015 1886 4084 604 2444 1549 2730 1339 3447 812 3633 1667 619 2047 3012 2865 2499 2005 330 1231 3792 1536 3649 2634 2422 236 1960 3880 3801 2134 2968 4010 3143 2870 2361 2520 2531 32 3856 1521 2530 2276 1684 2134 4048 116 209 2829 2436 2388 3007 1645 573 4085 1751 1812 1461 3116 1859 1302 1263 3782 2391 2903 3818 690 402 56 530 508 3134 3352 3980 2492 2414 1381 2489 1240 3118 753 3199 2324 2263 3530 2200 3363 2339 844 3094 1398 3365 2644 1514 2803 1353 1073 516 886 2322 3486 705 1496 3773 2456 379 2164 2971 597 3734 2385 99 639 2833 2425 3226 3115 3290 1713 1924 766 555 4027 3907 1312 1172 3868 1942 1482 2556 4004 3390 341 2213 3373 711 3324 3798 3605 2352 1030 3081 3008 1733 3677 100 518 3799 2246 3763 2963 296 2855 394 3103 2380 92 2243 726 983 1606 2386 2676 2963 3938 939 2102 3395 1738 3180 3745 4008 517 1835 3005 1161 1679 1812 4100 2649 262 960 1374 1373 314 726 4022 1465 3892 1289 1701 2522 1569 1529 1687 4080 3081 151 4060 4107 1720 1147 3122 2748 675 219 3879 493 4081 596 3881 3507 1960 2572 2198 1574 3273 2872 3217 797 3058 4027 2342 1220 3497 2411 1690 3929 3364 2737 3895 2339 67 2362 2516 3077 2289 1579 2098 3644 2511 3156 1662 1115 2431 3181 3604 719 2014 3635 2359 1762 3048 3486 1018 3568 4018 2644 3549 2423 3576 2484 1574 3441 2509 2281 3255 163 1425 1893 3982 2491 1077 335 2697 3101 2014 804 377 2966 2215 428 3036 378 1145 1468 1310 1427 1518 560 233 2553 2652 1212 3044 2750 1940 3713 1591 2258 1344 1402 1625 946 855 2827 4008 2889 2043 1597 1934 1396 2335 371 51 2327 3957 744 1374 2095 2867 1800 3336 2683 2398 1708 2770 3024 3509 3953 359 943 2799 2263 3910 1005 542 4009 2530 3620 2466 2655 1498 3665 2343 1294 1013 942 2964 3757 2284 2186 524 1485 521 159 3580 1916 255 3199 2275 1432 742 3637 3974 2165 2828 793 206 369 3922 1868 1030 1546 148 2077 557 570 3172 728 3440 2680 482 4055 4102 1585 3562 4031 1538 1026 3601 1089 3124 692 4054 169 2239 657 1509 2345 3684 2176 1240 3026 1445 1626 231 3580 3137 3935 2439 320 2392 1236 2462 2874 862 2453 186 222 3055 212 1755 101 1288 2420 716 3896 1317 560 3884 2200 3113 1184 1398 1071 254 4013 3457 383 60 1590 1743 1632 3281 3279 737 1867 2106 2462 159 1836 611 567 1716 4028 2841 717 1272 3345 2834 3796 1359 1537 986 2700 42 2821 866 3238 595 217 816 2661 1639 2741 1662 1794 849 326 2839 11 3447 1418 1643 2828 853 3796 1727 2364 3475 1578 3075 604 1484 3786 1311 1798 3651 1618 3056 4063 413 1255 3756 128 385 3541 174 2478 225 145 3643 785 3045 3822 486 2820 2943 3822 2069 259 3339 1360 1591 2467 3051 2153 2492 2331 2635 2735 1221 1571 2101 1463 1331 975 498 2417 694 409 2338 762 4045 523 1074 2815 1801 3573 984 3020 997 2498 3291 3172 1395 2083 3483 1540 2801 3240 1742 3905 2224 845 2958 1489 2291 3435 173 2482 2345 3822 134 13 884 1846 2612 2447 1911 2423 572 443 2030 3962 3914 3992 2019 3351 1824 3675 576 2725 305 2128 1425 4033 1305 1639 214 3995 2399 442 2310 3746 1358 2681 226 2733 3179 1411 3073 460 609 1559 1898 3286 2291 944 1274 1600 2713 634 3243 4034 3852 1944 2539 2590 1128 2622 2993 3847 1028 3490 2139 2722 3776 1339 1189 1281 3733 197 1037 799 1533 1845 2622 3787 2112 636 748 1161 196 128 3810 2348 1033 3856 1297 3128 138 3589 2866 3805 500 355 742 3503 1365 2798 1051 3152 1780 2754 877 3335 3287 2383 508 3647 846 3270 578 2476 2112 3849 3982 397 1318 866 3968 689 3977 388 938 3077 2816 3127 790 2992 71 1042 2391 180 929 3153 1652 3373 1476 3773 2015 1528 1279 4011 1155 1151 3632 436 1920 1659 3107 1030 3769 990 2035 926 3071 2070 650 2233 2627 1791 2996 3948 3650 4046 509 1957 1766 746 14 451 3391 477 505 3817 204 951 2496 434 3603 379 337 1608 427 2576 3686 438 903 1866 3990 1631 2550 125 1709 1981 3 648 3626 2365 719 1484 1229 3418 576 2388 1019 3948 500 1115 2944 687 8 1437 2462 3182 2505 1951 3318 3607 416 1367 975 1789 1653 3370 1451 848 2705 250 3054 4009 389 2414 3405 432 3566 2636 3409 539 1278 2868 311 1692 303 4015 3581 2875 2398 1546 1299 2084 3182 3138 94 1860 1647 2617 489 4012 184 1495 2510 1012 1613 1535 1812 3056 2987 531 1926 167 2599 777 2954 340 4050 1954 1866 3425 3059 3360 1599 1892 1989 2207 961 864 2948 2927 2555 410 1610 733 1810 1452 4067 721 2050 2864 1493 151 854 784 2771 2400 3149 542 2331 1762 3967 1350 1971 570 1998 3198 3061 3590 3832 762 713 622 3055 2649 3057 2288 460 2089 3307 1031 3338 3978 2634 949 977 83 1945 1076 3421 443 1556 2665 3583 384 411 1896 3186 2060 1180 2746 1600 249 2317 331 1226 2179 4082 2744 176 3721 3940 3552 3931 562 3472 2145 1550 872 1853 424 3158 3494 3795 2282 1136 255 1303 31 1426 3751 1374 3451 771 3954 1355 2569 1540 3661 2663 742 3598 3687 195 566 3233 3135 1597 289 1388 901 3332 1334 1297 3481 2661 3839 1035 2442 3692 3018 3812 1876 2959 483 1101 3580 2112 2039 1511 3869 1377 2232 1394 1809 2745 2788 3034 403 2101 197 2661 2353 2305 3043 1431 3983 2048 424 2935 3315 3112 989 3785 2243 1125 1233 2397 1555 3899 965 3906 2342 3612 3010 2654 3490 3155 1167 278 83 3557 1365 3902 2710 3529 3624 2924 3486 2905 1111 3342 2373 3730 3385 718 847 2857 2721 2744 572 863 2604 1288 562 2559 4015 524 3087 1210 3177 2215 490 133 788 143 818 3918 953 3079 976 3857 287 1780 1659 2006 3657 1567 180 3511 1839 1646 2911 1177 1297 72 3191 3172 523 3020 1005 2991 1397 1341 223 3422 1745 3845 1277 161 3702 2962 1123 746 1013 2643 1022 3265 3115 2976 1904 3368 221 1013 3864 3304 2488 404 4054 3791 722 964 3683 3815 52 2237 388 514 566 2583 3085 7 550 1499 2616 3781 3348 3458 1528 3416 2202 2118 3578 3650 174 1258 211 2563 1210 775 1630 916 1946 1792 371 1483 2052 2137 1958 1148 497 1952 2480 3735 495 1166 3436 861 2669 3359 1336 496 817 3460 3737 694 2316 3935 1533 375 1826 3656 1260 4113 2360 1709 3148 3087 496 2966 1770 1448 866 1009 1880 1022 3879 1137 2836 1446 3084 4026 1192 433 1852 1530 1633 4084 2623 2655 364 1594 1132 2849 1991 2876 791 1419 3490 2158 1923 563 509 991 3187 2138 610 1099 1527 3348 3315 3972 833 259 567 1371 2290 3653 3054 1678 580 1689 1699 3591 2953 881 969 1665 7 2412 379 248 477 3916 3360 3550 3889 2711 380 845 2606 117 1008 1983 2301 2254 259 463 1599 1220 462 2436 1837 3224 2743 938 3242 3200 2043 3868 14 1631 4059 3442 2321 3667 3872 2905 3576 2391 1335 57 2048 226 2416 2782 300 3761 705 2606 1419 3135 292 3591 3760 1215 1039 4086 2873 1371 46 991 3846 3607 1327 662 928 2231 3222 2858 1050 270 2900 74 2638 430 3607 1073 2314 821 3259 2636 283 854 427 942 262 437 3380 1285 33 3139 4027 112 3569 3866 931 2857 1900 2637 298 457 468 360 165 3971 3114 2028 2492 3254 64 470 1627 1519 2249 1616 2055 1089 3145 1011 910 792 3495 234 1827 3423 1782 4068 31 3717 536 1702 3233 1558 988 151 3457 2737 3959 3040 3744 632 3474 3112 3831 518 248 1558 2952 1826 2441 3272 1906 3176 248 1900 3906 3790 2761 3011 3743 110 243 2952 3456 1065 2591 825 2220 3771 3338 3958 4018 804 1254 904 777 1072 818 278 4046 1968 1655 329 3992 3392 1656 3934 4091 2125 4070 1206 2331 1885 2946 1517 225 3444 3783 14 2270 1582 1311 2860 347 2373 2459 2547 2124 3040 928 889 3094 3098 1815 2628 4058 2844 3669 1157 1419 75 1138 2152 1706 1582 758 2274 1987 2254 3808 2916 461 260 3953 357 3359 623 519 3247 1965 1072 2145 2116 1971 3046 873 2780 1161 3744 4079 4009 1859 2838 1353 4073 1059 3951 323 1718 598 348 3151 3681 520 1908 3039 266 115 667 3186 296 3218 117 1995 3043 2381 3514 350 3249 529 249 881 3621 478 693 1023 2309 3010 2114 1293 1570 2618 3772 615 2853 3867 1202 2656 2731 3254 813 3042 2064 3546 1515 1133 660 3672 3074 2812 3505 375 3182 3621 1675 2288 241 1579 2291 1092 723 1109 418 2225 1303 1543 2270 1249 2125 3332 1408 1843 2667 3720 1960 3731 3719 3990 814 2627 1229 1531 43 950 2313 983 1550 3570 2652 2243 3034 2772 3551 1750 1274 4013 2130 2216 3590 1197 835 2594 2473 1159 3124 2908 465 2138 595 1248 3860 1782 2199 911 2758 1676 1456 3862 937 901 3423 2167 2234 3014 126 2079 3578 2477 3367 1999 3864 2778 1989 485 566 1938 1782 3214 2293 2551 1240 3480 688 1208 45 1954 3160 883 3578 277 3794 658 3551 516 555 913 2772 3887 3945 875 3299 2987 1552 1367 3928 3045 3423 1019 1558 3119 2064 1711 1257 2373 2654 2266 2890 3470 3429 4014 1208 3819 1360 3838 1506 2990 4073 2714 3648 3844 2842 4064 1354 2696 3322 2420 1035 1373 2547 2330 4002 1481 1683 2267 3565 3033 2351 1594 3746 681 1414 1265 1711 1505 3393 3747 1944 3697 3349 3449 3591 2577 42 3231 836 1026 1357 2346 2081 286 30 2553 448 1397 3748 2809 3913 1617 3324 2155 284 2218 2601 48 525 1989 409 1630 1369 108 2337 2016 3948 2698 3940 231 1051 4044 1196 287 2083 3712 2000 514 2456 2323 2373 1615 2358 3920 602 1580 2951 2326 446 863 1743 1941 2171 1637 3427 213 2938 599 2309 1488 4112 7 2719 581 1979 111 998 3690 1463 254 606 1737 1808 3935 3828 2074 791 2440 2371 1594 2444 3514 977 3128 1116 2200 2098 1726 2221 922 2183 1794 1712 43 3536 3459 122 574 1609 1859 412 855 2873 1087 3911 3508 3352 3442 255 1856 3726 4 2885 581 1241 157 3389 3357 848 3 562 1830 1663 346 1900 2606 1004 2145 1125 1808 2898 1017 3309 856 3277 3793 364 163 147 611 2853 4085 2206 4074 440 1988 2226 4013 636 4054 1644 826 1009 2759 2800 3174 51 2833 479 364 195 2654 201 3937 1142 883 1055 272 1223 3427 794 836 2096 3078 2727 98 2002 342 934 2723 3747 3312 1659 2375 1912 1701 774 3794 3952 3051 2223 1685 2303 2472 2364 2192 1846 3213 1005 665 1443 604 3503 2875 277 1525 2169 2358 853 2533 879 3035 2285 2353 867 1994 2532 986 1267 3298 4042 663 3482 192 439 568 2160 131 1086 3306 1053 3764 1897 2002 2764 813 3340 233 3444 2211 1049 2497 1032 2086 933 1130 3803 3952 2920 3407 2550 3330 1933 3025 1768 2399 2041 1404 3646 634 1784 494 2858 2162 2612 1967 2395 2205 4047 2223 1646 3669 2148 3901 1454 1605 1248 2232 927 2328 1252 342 2047 2230 3163 2342 17 586 2767 799 1656 358 2902 3475 2342 3298 2387 3763 3913 289 63 1764 3387 1122 48 3727 126 3380 110 1667 2556 1443 2018 2545 2644 1306 2884 1618 2029 568 1322 2827 2021 1026 2993 1521 3268 1151 3069 1203 1768 124 3202 3402 3918 1425 4087 1256 2979 1132 2449 572 14 909 3215 444 3879 1625 3958 675 2560 903 1757 3789 4001 1222 560 2904 50 3025 4112 2764 169 1299 139 2844 3803 500 3674 1770 2794 3210 2070 3793 3866 476 2686 1029 68 2324 3131 1939 1669 3159 867 2662 927 3069 895 4043 4047 202 2558 843 495 1611 1907 3489 3541 476 3268 407 1128 462 1585 2886 3712 2660 399 3964 1740 3528 1732 1916 160 1117 1540 2425 299 1294 2385 1239 1713 2132 2846 994 621 652 22 3070 824 187 3412 1839 224 1483 3887 1320 2394 1247 2174 2355 691 2316 3241 161 1900 1815 2238 2203 4093 409 566 3320 748 384 465 1346 2326 376 1579 2030 2469 2507 797 2747 3263 3596 2015 10 1580 2664 898 2629 3961 1404 2477 2242 2890 2509 2832 1898 980 279 3357 729 1722 2661 2523 3235 172 186 1510 465 1502 3681 896 1439 3057 709 441 1350 1448 1524 1005 464 115 2484 2739 3276 444 43 2532 342 3519 3797 2595 499 3741 604 2546 3023 3555 343 472 2305 4029 3995 280 1962 2485 3761 512 2149 2968 3754 3851 4084 91 1362 3445 1610 3403 1510 2160 268 3095 3905 3836 293 2343 3473 2051 718 1692 3298 3677 2462 926 3885 3583 104 375 2504 2830 3244 3546 3953 2692 198 2797 702 616 660 2853 2842 2943 2201 3242 3050 108 4028 2811 4002 3327 1836 1460 3132 3085 1712 3631 3592 441 1544 3741 2108 282 942 2928 3810 1126 3456 2441 536 3363 2709 1217 3421 690 1422 1823 809 2246 2233 1051 3154 3189 3233 366 3661 2726 3965 77 1730 262 2150 455 358 2312 4066 3740 1 1912 2846 3608 3640 3050 2706 2774 882 3445 798 3283 2502 3945 2309 2409 3250 1113 2152 2815 1472 1244 1214 2669 2781 2900 3913 2235 1543 3416 1579 2409 618 354 3703 1105 1162 2841 2847 3999 1045 3068 588 2223 3679 2510 3858 1155 3100 165 1238 1088 3166 92 3681 342 26 2565 3652 2122 2103 2685 3698 645 2893 3589 1273 1997 1442 1374 3217 393 2621 1763 1558 1779 1730 2370 4007 591 3563 3110 3803 3961 1063 141 3781 740 3349 1914 2032 1389 3997 4033 3016 113 2354 3354 520 274 1775 402 3314 3316 1080 317 1331 2050 4030 1691 3111 2879 346 3915 4106 12 1704 3626 1557 2825 988 2316 498 3897 2946 913 3911 1490 2062 2250 3979 1453 2234 1480 3050 3194 1924 1743 2891 3022 3433 372 3344 1670 831 3792 3224 3676 2124 2777 3548 499 2256 3120 299 2920 1311 677 2185 528 2513 4100 2815 3329 2375 2414 812 2244 154 2758 911 743 548 1889 1164 2996 2701 3998 1807 3112 329 3327 2527 1736 1398 1151 1088 3961 2931 1610 3578 603 1861 4055 3204 359 1037 2353 3295 618 1142 566 1444 3949 2614 2396 661 3087 3235 2979 1099 3886 3234 2489 809 2450 3524 1944 2208 357 3335 2557 1174 1719 2591 0 1748 1093 2993 1944 508 1763 3397 2778 4094 1548 1876 2474 1918 1748 3442 3870 3278 3747 2625 2279 3348 3248 153 1454 3532 3320 2827 998 2298 2740 1854 3072 2668 3872 1359 275 3708 3355 2485 629 3386 3069 2569 413 2796 1452 3425 983 909 1708 3473 2180 3724 197 3737 938 2704 3294 2802 1919 837 3505 1283 3778 3963 3822 1332 1713 2606 1330 3850 728 3748 820 3981 2588 131 1161 2246 3987 1444 2810 28 710 772 4104 3738 1417 498 1198 2435 2633 1279 3113 2199 173 1590 318 3898 3714 3199 3215 1778 3525 3167 3485 121 2889 2483 2208 351 2545 142 2839 3147 2014 166 2910 1912 2690 2929 1523 52 1566 2048 1886 3667 2134 361 1694 3126 813 3315 2259 2762 3768 1895 2897 1050 4100 2428 39 1321 2796 1649 2989 960 832 544 864 1932 3316 2239 1063 471 1174 504 2199 2365 3685 2480 3406 1274 2486 1682 3394 239 2474 454 3057 329 815 3658 3702 2495 1603 3170 2671 1804 3367 1639 424 3250 3733 3091 916 329 97 2209 1241 3395 515 2051 395 2462 3436 2703 2128 1311 702 1058 1155 3267 1488 143 2220 878 3953 1564 2347 3184 2001 1639 1101 966 1572 160 1697 1742 913 646 654 1434 1598 1535 1412 1185 389 1223 2526 1394 3219 4048 2937 2751 409 2892 1221 3943 1989 3847 1036 3439 1298 2288 2987 3958 614 1054 2061 3561 178 1433 70 2907 451 3635 645 1775 505 1342 964 2298 230 2835 3220 1921 2320 4106 1987 1108 1386 3976 443 104 878 2047 1176 2842 1412 3618 13 2501 3874 1932 2486 3016 1566 2880 4093 3727 1260 1759 2495 3521 59 1714 3027 2532 747 2889 1373 392 4053 2236 3012 3426 3547 430 349 2913 1012 3509 911 2010 623 2504 3666 3052 3050 522 2311 2865 66 1921 775 1480 4090 3973 166 1321 3357 715 1192 2377 1623 1418 3406 1180 1831 2801 3668 191 1849 2152 3787 3103 4044 1067 1484 2927 3550 2542 2011 2101 949 3715 1554 3875 1022 1334 1718 2580 1930 94 84 2031 2171 3433 2567 2344 3674 2813 2966 1662 3743 481 3406 3329 1602 3484 2679 1930 1221 1391 2207 2592 2729 2327 2869 1516 996 3820 955 1421 1447 1216 1983 3231 1741 59 3491 3011 3728 3024 3980 1428 573 3977 1135 3347 1281 655 556 2223 3386 3423 3176 3020 486 1661 1907 3385 3811 2389 2884 3205 2838 2552 4040 2747 2694 1388 1356 1060 3305 4068 3428 3769 1826 2579 305 2772 2784 1754 1539 2493 2202 1589 1423 2584 2053 465 1140 4021 2551 1327 1814 1646 350 232 2661 3812 590 1527 3194 1993 3738 744 62 908 3493 1069 3958 2115 2149 279 3636 3353 652 3640 124 2358 2778 2976 3414 132 1943 3416 381 3945 833 1864 1284 3751 1302 1615 475 2693 565 2074 3532 3355 3334 1372 1238 3801 3816 1512 4016 1037 2916 322 1427 2823 910 2586 1456 115 1963 3442 166 1445 318 739 390 3270 1802 2097 3270 2540 1641 956 3707 3502 2703 3285 2526 2340 476 3120 2017 3391 584 3390 1077 3860 4107 2073 2388 51 1929 1041 3553 2884 2905 2092 3337 3767 4082 3214 342 60 990 405 811 2810 42 270 4073 15 4040 1476 1004 1100 4007 3281 615 1132 424 2329 1879 1448 2319 2970 1662 3227 3313 32 3765 1829 3720 1795 1292 3457 3425 702 2868 1276 1404 1573 1779 970 34 924 3209 232 3629 232 1751 61 397 1207 2326 1038 3164 1461 1646 3601 1265 1106 3340 1610 1275 611 4105 2252 2681 2076 1321 462 326 1128 1114 17 2222 481 2818 2792 2187 2050 2103 1191 428 1286 2736 2417 1626 3568 1474 1980 1505 2009 2044 1825 236 3856 3811 4086 2274 375 1699 2724 2180 333 2703 358 866 2635 888 2637 2592 447 3410 211 445 2179 1394 1946 1021 1007 2657 3320 2220 1398 239 3605 3426 3050 361 2694 2395 2103 1016 321 943 277 458 3539 1130 1060 1268 3203 2354 904 1435 3769 3357 2106 2340 2562 1471 2633 1507 3155 691 1509 389 767 614 3085 4068 522 3746 3861 3374 937 2124 550 2091 1770 3287 2545 4102 2805 1834 654 1995 290 1423 3636 2736 494 3558 1389 2951 2183 1741 946 1954 342 3639 716 1219 1953 682 3251 1863 819 3213 1007 4029 3783 3319 366 1925 2431 423 1968 2620 65 2034 3672 300 3569 2292 1021 2067 1524 1947 1402 1807 2607 1441 1342 3985 2224 1853 4077 1085 2227 3527 2519 385 2081 521 3407 349 2068 1408 3698 2323 2364 1778 1774 2839 222 2035 269 3650 3690 3416 3681 2184 1165 671 2189 2459 888 3274 590 669 1454 2481 1638 3075 1938 1721 906 1759 3344 2899 1736 2314 1657 708 1374 3957 442 3546 219 1166 1004 1855 2219 3417 1688 528 3619 3266 3044 2376 166 2877 1538 1613 2750 2425 91 3141 2525 3431 652 3455 3523 2729 1134 2573 2942 3473 3259 3413 65 2827 665 3026 1635 1178 1188 2656 1504 3422 2848 3352 2371 3 2014 1098 1490 2257 2978 2790 2346 2343 476 1315 964 2796 2391 193 2523 3424 1880 3998 1741 2744 675 1081 1691 3541 2148 874 2862 3694 74 570 2559 2859 1637 381 2631 3024 2151 2533 2786 3540 2811 429 373 3020 899 1144 1398 3939 569 3358 1382 2141 1279 1495 1999 2849 358 3747 2961 175 842 332 1970 1525 3770 1937 3577 2469 2487 763 2377 1978 2498 4030 1418 1358 253 3451 2299 3305 3949 228 2903 1327 89 3607 377 3558 3877 2251 3720 3287 2351 3467 1238 3030 2338 1458 3637 2794 742 2277 1193 4113 524 349 3266 3143 3553 714 1680 2096 3734 3450 2940 2192 1592 4001 793 1844 23 1219 3840 3704 4038 2919 
252.04/214.12	v 	</values>
252.04/214.12	v </instantiation>

Verifier Data 

OK	4113

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309913-1534328695/watcher-4309913-1534328695 -o /tmp/evaluation-result-4309913-1534328695/solver-4309913-1534328695 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534325999-6915 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1000110056 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4309913-1534328695.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8783, runsolver pid=8780


[startup+0.100124 s]*
/proc/loadavg: 2.23 2.16 1.88 4/219 8798
/proc/meminfo: memFree=20609544/32770624 swapFree=67108688/67108860
[pid=8783] ppid=8780 vsize=14082736 memory=31196 CPUtime=0.12 cores=0,2,4,6
/proc/8783/stat : 8783 (java) S 8780 8783 2816 0 -1 1077944320 6686 0 0 0 11 1 0 0 20 0 15 0 250432713 14420721664 7799 33554432000 4194304 4196468 140732116665552 140732116648096 140671728262903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
/proc/8783/statm: 3520684 7799 3155 1 0 3482761 0
[pid=8783/tid=8785] ppid=8780 vsize=14082736 memory=-8535554365063001280 CPUtime=0.08 cores=0,2,4,6
/proc/8783/task/8785/stat : 8785 (java) R 8780 8783 2816 0 -1 4202560 4738 0 0 0 8 0 0 0 20 0 15 0 250432714 14420721664 7799 33554432000 4194304 4196468 140732116665552 140671732500928 140671712343420 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8786] ppid=8780 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8786/stat : 8786 (java) S 8780 8783 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 7799 33554432000 4194304 4196468 140732116665552 140671658350864 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8787] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8787/stat : 8787 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 7799 33554432000 4194304 4196468 140732116665552 140671657298320 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8788] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8788/stat : 8788 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 7799 33554432000 4194304 4196468 140732116665552 140671656245776 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8789] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8789/stat : 8789 (java) S 8780 8783 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 7799 33554432000 4194304 4196468 140732116665552 140671320767120 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8790] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8790/stat : 8790 (java) S 8780 8783 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250432716 14420721664 7799 33554432000 4194304 4196468 140732116665552 140670640552432 140671728274050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8791] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8791/stat : 8791 (java) S 8780 8783 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250432717 14420721664 7799 33554432000 4194304 4196468 140732116665552 140670639498656 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8792] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8792/stat : 8792 (java) S 8780 8783 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250432717 14420721664 7799 33554432000 4194304 4196468 140732116665552 140670638446064 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8793] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8793/stat : 8793 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14420721664 7799 33554432000 4194304 4196468 140732116665552 140670637394640 140671728281499 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8794] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8794/stat : 8794 (java) S 8780 8783 2816 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 250432719 14420721664 7799 33554432000 4194304 4196468 140732116665552 140670636341232 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8795] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8795/stat : 8795 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432719 14420721664 7799 33554432000 4194304 4196468 140732116665552 140670635288688 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8796] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0.01 cores=0,2,4,6
/proc/8783/task/8796/stat : 8796 (java) S 8780 8783 2816 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 250432719 14420721664 7799 33554432000 4194304 4196468 140732116665552 140670634236144 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8797] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8797/stat : 8797 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14420721664 7799 33554432000 4194304 4196468 140732116665552 140670633183840 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8798] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8798/stat : 8798 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432720 14420721664 7799 33554432000 4194304 4196468 140732116665552 140670632131376 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31196 KiB

[startup+0.213175 s]*
/proc/loadavg: 2.23 2.16 1.88 5/219 8798
/proc/meminfo: memFree=20593372/32770624 swapFree=67108688/67108860
[pid=8783] ppid=8780 vsize=14082736 memory=46992 CPUtime=0.31 cores=0,2,4,6
/proc/8783/stat : 8783 (java) S 8780 8783 2816 0 -1 1077944320 10382 0 0 0 29 2 0 0 20 0 15 0 250432713 14420721664 11748 33554432000 4194304 4196468 140732116665552 140732116648096 140671728262903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
/proc/8783/statm: 3520684 11748 3367 1 0 3482761 0
[pid=8783/tid=8785] ppid=8780 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/8783/task/8785/stat : 8785 (java) R 8780 8783 2816 0 -1 4202560 8087 0 0 0 19 1 0 0 20 0 15 0 250432714 14420721664 11748 33554432000 4194304 4196468 140732116665552 140671732491872 140671712306533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8786] ppid=8780 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8786/stat : 8786 (java) S 8780 8783 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 11748 33554432000 4194304 4196468 140732116665552 140671658350864 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8787] ppid=8780 vsize=14082736 memory=140029087095248 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8787/stat : 8787 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 11748 33554432000 4194304 4196468 140732116665552 140671657298320 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8788] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8788/stat : 8788 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 11748 33554432000 4194304 4196468 140732116665552 140671656245776 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8789] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8789/stat : 8789 (java) S 8780 8783 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 11748 33554432000 4194304 4196468 140732116665552 140671320767120 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8790] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8790/stat : 8790 (java) S 8780 8783 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250432716 14420721664 11748 33554432000 4194304 4196468 140732116665552 140670640552432 140671728274050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8791] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8791/stat : 8791 (java) S 8780 8783 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250432717 14420721664 11748 33554432000 4194304 4196468 140732116665552 140670639498656 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8792] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8792/stat : 8792 (java) S 8780 8783 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250432717 14420721664 11748 33554432000 4194304 4196468 140732116665552 140670638446064 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8793] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8793/stat : 8793 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14420721664 11748 33554432000 4194304 4196468 140732116665552 140670637394640 140671728281499 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8794] ppid=8780 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8783/task/8794/stat : 8794 (java) R 8780 8783 2816 0 -1 4202560 551 0 0 0 2 0 0 0 20 0 15 0 250432719 14420721664 11748 33554432000 4194304 4196468 140732116665552 140670636341232 140671713171807 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8795] ppid=8780 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8783/task/8795/stat : 8795 (java) R 8780 8783 2816 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 250432719 14420721664 11748 33554432000 4194304 4196468 140732116665552 140670635288784 140671728273109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8796] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0.06 cores=0,2,4,6
/proc/8783/task/8796/stat : 8796 (java) R 8780 8783 2816 0 -1 4202560 309 0 0 0 6 0 0 0 20 0 15 0 250432719 14420721664 11748 33554432000 4194304 4196468 140732116665552 140670634235328 140671707561216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8797] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8797/stat : 8797 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14420721664 11748 33554432000 4194304 4196468 140732116665552 140670633183840 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8798] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8798/stat : 8798 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432720 14420721664 11748 33554432000 4194304 4196468 140732116665552 140670632131376 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46992 KiB

[startup+0.310745 s]*
/proc/loadavg: 2.23 2.16 1.88 4/219 8798
/proc/meminfo: memFree=20590208/32770624 swapFree=67108688/67108860
[pid=8783] ppid=8780 vsize=14082736 memory=50272 CPUtime=0.44 cores=0,2,4,6
/proc/8783/stat : 8783 (java) S 8780 8783 2816 0 -1 1077944320 10776 0 0 0 42 2 0 0 20 0 15 0 250432713 14420721664 12568 33554432000 4194304 4196468 140732116665552 140732116648096 140671728262903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
/proc/8783/statm: 3520684 12568 3370 1 0 3482761 0
[pid=8783/tid=8785] ppid=8780 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/8783/task/8785/stat : 8785 (java) R 8780 8783 2816 0 -1 4202560 8450 0 0 0 28 2 0 0 20 0 15 0 250432714 14420721664 12619 33554432000 4194304 4196468 140732116665552 140671732474416 140671712343390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8786] ppid=8780 vsize=14082736 memory=4294980954 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8786/stat : 8786 (java) S 8780 8783 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 12619 33554432000 4194304 4196468 140732116665552 140671658350864 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8787] ppid=8780 vsize=14082736 memory=140029088489322 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8787/stat : 8787 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 12619 33554432000 4194304 4196468 140732116665552 140671657298320 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8788] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8788/stat : 8788 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 12619 33554432000 4194304 4196468 140732116665552 140671656245776 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8789] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8789/stat : 8789 (java) S 8780 8783 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250432715 14420721664 12619 33554432000 4194304 4196468 140732116665552 140671320767120 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8790] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8790/stat : 8790 (java) S 8780 8783 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250432716 14420721664 12619 33554432000 4194304 4196468 140732116665552 140670640552432 140671728274050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8791] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8791/stat : 8791 (java) S 8780 8783 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250432717 14420721664 12619 33554432000 4194304 4196468 140732116665552 140670639498656 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8792] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8792/stat : 8792 (java) S 8780 8783 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250432717 14420721664 12619 33554432000 4194304 4196468 140732116665552 140670638446064 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8793] ppid=8780 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8793/stat : 8793 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14420721664 12619 33554432000 4194304 4196468 140732116665552 140670637394640 140671728281499 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8794] ppid=8780 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8783/task/8794/stat : 8794 (java) S 8780 8783 2816 0 -1 1077944384 558 0 0 0 3 0 0 0 20 0 15 0 250432719 14420721664 12619 33554432000 4194304 4196468 140732116665552 140670636341232 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8795] ppid=8780 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8783/task/8795/stat : 8795 (java) S 8780 8783 2816 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 250432719 14420721664 12619 33554432000 4194304 4196468 140732116665552 140670635288688 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8796] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0.08 cores=0,2,4,6
/proc/8783/task/8796/stat : 8796 (java) S 8780 8783 2816 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 15 0 250432719 14420721664 12619 33554432000 4194304 4196468 140732116665552 140670634236144 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8797] ppid=8780 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8797/stat : 8797 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14420721664 12619 33554432000 4194304 4196468 140732116665552 140670633183840 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8798] ppid=8780 vsize=14082736 memory=140029087086208 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8798/stat : 8798 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432720 14420721664 12619 33554432000 4194304 4196468 140732116665552 140670632131376 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50272 KiB

[startup+0.700788 s]
/proc/loadavg: 2.23 2.16 1.88 3/219 8798
/proc/meminfo: memFree=20566396/32770624 swapFree=67108688/67108860
[pid=8783] ppid=8780 vsize=14084804 memory=88860 CPUtime=0.99 cores=0,2,4,6
/proc/8783/stat : 8783 (java) S 8780 8783 2816 0 -1 1077944320 17629 0 0 0 95 4 0 0 20 0 15 0 250432713 14422839296 22215 33554432000 4194304 4196468 140732116665552 140732116648096 140671728262903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
/proc/8783/statm: 3521201 22215 3502 1 0 3483273 0
[pid=8783/tid=8785] ppid=8780 vsize=14084804 memory=1172 CPUtime=0.67 cores=0,2,4,6
/proc/8783/task/8785/stat : 8785 (java) R 8780 8783 2816 0 -1 4202560 14891 0 0 0 64 3 0 0 20 0 15 0 250432714 14422839296 22215 33554432000 4194304 4196468 140732116665552 140671732473680 140671728284829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8786] ppid=8780 vsize=14084804 memory=37664 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8786/stat : 8786 (java) S 8780 8783 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250432715 14422839296 22215 33554432000 4194304 4196468 140732116665552 140671658350864 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8787] ppid=8780 vsize=14084804 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8787/stat : 8787 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432715 14422839296 22215 33554432000 4194304 4196468 140732116665552 140671657298320 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8788] ppid=8780 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8788/stat : 8788 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432715 14422839296 22215 33554432000 4194304 4196468 140732116665552 140671656245776 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8789] ppid=8780 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8789/stat : 8789 (java) S 8780 8783 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250432715 14422839296 22215 33554432000 4194304 4196468 140732116665552 140671320767120 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8790] ppid=8780 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8790/stat : 8790 (java) S 8780 8783 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250432716 14422839296 22215 33554432000 4194304 4196468 140732116665552 140670640552432 140671728274050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8791] ppid=8780 vsize=14084804 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8791/stat : 8791 (java) S 8780 8783 2816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250432717 14422839296 22215 33554432000 4194304 4196468 140732116665552 140670639498656 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8792] ppid=8780 vsize=14084804 memory=924 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8792/stat : 8792 (java) S 8780 8783 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250432717 14422839296 22215 33554432000 4194304 4196468 140732116665552 140670638446064 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8793] ppid=8780 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8793/stat : 8793 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14422839296 22215 33554432000 4194304 4196468 140732116665552 140670637394640 140671728281499 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8794] ppid=8780 vsize=14084804 memory=7237400421024098393 CPUtime=0.08 cores=0,2,4,6
/proc/8783/task/8794/stat : 8794 (java) S 8780 8783 2816 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 15 0 250432719 14422839296 22215 33554432000 4194304 4196468 140732116665552 140670636341232 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8795] ppid=8780 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=0,2,4,6
/proc/8783/task/8795/stat : 8795 (java) S 8780 8783 2816 0 -1 1077944384 220 0 0 0 6 0 0 0 20 0 15 0 250432719 14422839296 22215 33554432000 4194304 4196468 140732116665552 140670635288688 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8796] ppid=8780 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/8783/task/8796/stat : 8796 (java) S 8780 8783 2816 0 -1 1077944384 422 0 0 0 15 0 0 0 20 0 15 0 250432719 14422839296 22215 33554432000 4194304 4196468 140732116665552 140670634236144 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8797] ppid=8780 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8797/stat : 8797 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14422839296 22215 33554432000 4194304 4196468 140732116665552 140670633183840 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8798] ppid=8780 vsize=14084804 memory=8700 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8798/stat : 8798 (java) S 8780 8783 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250432720 14422839296 22215 33554432000 4194304 4196468 140732116665552 140670632131376 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88860 KiB

[startup+1.50066 s]
/proc/loadavg: 2.23 2.16 1.88 6/219 8798
/proc/meminfo: memFree=20491656/32770624 swapFree=67108688/67108860
[pid=8783] ppid=8780 vsize=14086852 memory=288404 CPUtime=3.4 cores=0,2,4,6
/proc/8783/stat : 8783 (java) S 8780 8783 2816 0 -1 1077944320 22876 0 0 0 325 15 0 0 20 0 15 0 250432713 14424936448 72101 33554432000 4194304 4196468 140732116665552 140732116648096 140671728262903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
/proc/8783/statm: 3521713 72101 3567 1 0 3483785 0
[pid=8783/tid=8785] ppid=8780 vsize=14086852 memory=262596 CPUtime=1.39 cores=0,2,4,6
/proc/8783/task/8785/stat : 8785 (java) S 8780 8783 2816 0 -1 1077944384 15577 0 0 0 134 5 0 0 20 0 15 0 250432714 14424936448 72101 33554432000 4194304 4196468 140732116665552 140671732499008 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8786] ppid=8780 vsize=14086852 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/8783/task/8786/stat : 8786 (java) R 8780 8783 2816 0 -1 4202560 241 0 0 0 5 2 0 0 20 0 15 0 250432715 14424936448 72101 33554432000 4194304 4196468 140732116665552 140671658350864 140671720891111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8787] ppid=8780 vsize=14086852 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8783/task/8787/stat : 8787 (java) R 8780 8783 2816 0 -1 4202560 277 0 0 0 5 2 0 0 20 0 15 0 250432715 14424936448 72101 33554432000 4194304 4196468 140732116665552 140671657298320 140671720891111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8788] ppid=8780 vsize=14086852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8783/task/8788/stat : 8788 (java) R 8780 8783 2816 0 -1 4202560 79 0 0 0 3 1 0 0 20 0 15 0 250432715 14424936448 72101 33554432000 4194304 4196468 140732116665552 140671656245776 140671720891111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8789] ppid=8780 vsize=14086852 memory=6943526294502006880 CPUtime=0.06 cores=0,2,4,6
/proc/8783/task/8789/stat : 8789 (java) R 8780 8783 2816 0 -1 4202560 169 0 0 0 4 2 0 0 20 0 15 0 250432715 14424936448 72101 33554432000 4194304 4196468 140732116665552 140671320767008 140671712711118 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8790] ppid=8780 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8790/stat : 8790 (java) S 8780 8783 2816 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 250432716 14424936448 72101 33554432000 4194304 4196468 140732116665552 140670640550944 140671728273109 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0

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

/proc/8783/task/8785/stat : 8785 (java) R 8780 8783 2816 0 -1 4202560 55826 0 0 0 9175 46 0 0 20 0 15 0 250432714 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140671732497920 140671347143933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8786] ppid=8780 vsize=14090948 memory=9112148 CPUtime=9.37 cores=0,2,4,6
/proc/8783/task/8786/stat : 8786 (java) S 8780 8783 2816 0 -1 1077944384 13112 0 0 0 769 168 0 0 20 0 15 0 250432715 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140671658350864 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8787] ppid=8780 vsize=14090948 memory=9089888 CPUtime=9.3 cores=0,2,4,6
/proc/8783/task/8787/stat : 8787 (java) S 8780 8783 2816 0 -1 1077944384 19159 0 0 0 754 176 0 0 20 0 15 0 250432715 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140671657298320 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8788] ppid=8780 vsize=14090948 memory=9089888 CPUtime=9.34 cores=0,2,4,6
/proc/8783/task/8788/stat : 8788 (java) S 8780 8783 2816 0 -1 1077944384 12863 0 0 0 761 173 0 0 20 0 15 0 250432715 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140671656245776 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8789] ppid=8780 vsize=14090948 memory=6 CPUtime=9.35 cores=0,2,4,6
/proc/8783/task/8789/stat : 8789 (java) S 8780 8783 2816 0 -1 1077944384 41176 0 0 0 783 152 0 0 20 0 15 0 250432715 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140671320767120 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8790] ppid=8780 vsize=14090948 memory=3824 CPUtime=0.31 cores=0,2,4,6
/proc/8783/task/8790/stat : 8790 (java) S 8780 8783 2816 0 -1 1077944384 16740 0 0 0 29 2 0 0 20 0 15 0 250432716 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140670640552432 140671728274050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8791] ppid=8780 vsize=14090948 memory=280057772076132 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8791/stat : 8791 (java) S 8780 8783 2816 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250432717 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140670639498720 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8792] ppid=8780 vsize=14090948 memory=9112148 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8792/stat : 8792 (java) S 8780 8783 2816 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250432717 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140670638446080 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8793] ppid=8780 vsize=14090948 memory=3824 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8793/stat : 8793 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140670637394640 140671728281499 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8794] ppid=8780 vsize=14090948 memory=9089888 CPUtime=3.77 cores=0,2,4,6
/proc/8783/task/8794/stat : 8794 (java) S 8780 8783 2816 0 -1 1077944384 8624 0 0 0 376 1 0 0 20 0 15 0 250432719 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140670636341232 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8795] ppid=8780 vsize=14090948 memory=1612 CPUtime=3.51 cores=0,2,4,6
/proc/8783/task/8795/stat : 8795 (java) S 8780 8783 2816 0 -1 1077944384 9802 0 0 0 350 1 0 0 20 0 15 0 250432719 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140670635288688 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8796] ppid=8780 vsize=14090948 memory=1808 CPUtime=0.96 cores=0,2,4,6
/proc/8783/task/8796/stat : 8796 (java) S 8780 8783 2816 0 -1 1077944384 11739 0 0 0 95 1 0 0 20 0 15 0 250432719 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140670634236144 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8797] ppid=8780 vsize=14090948 memory=8700 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8797/stat : 8797 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140670633183840 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8798] ppid=8780 vsize=14090948 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/8783/task/8798/stat : 8798 (java) S 8780 8783 2816 0 -1 1077944384 228 0 0 0 3 3 0 0 20 0 15 0 250432720 14429130752 2272472 33554432000 4194304 4196468 140732116665552 140670632131376 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
Current children cumulated CPU time: 138.27 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 9089888 KiB

[startup+162.301 s]
/proc/loadavg: 2.21 2.23 1.96 3/218 8877
/proc/meminfo: memFree=12775648/32770624 swapFree=67108688/67108860
[pid=8783] ppid=8780 vsize=14090948 memory=8909488 CPUtime=199.44 cores=0,2,4,6
/proc/8783/stat : 8783 (java) S 8780 8783 2816 0 -1 1077944320 235483 0 0 0 19212 732 0 0 20 0 15 0 250432713 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140732116648096 140671728262903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
/proc/8783/statm: 3522737 2227372 3612 1 0 3484809 0
[pid=8783/tid=8785] ppid=8780 vsize=14090948 memory=8980796 CPUtime=151.86 cores=0,2,4,6
/proc/8783/task/8785/stat : 8785 (java) R 8780 8783 2816 0 -1 4202560 87663 0 0 0 15138 48 0 0 20 0 15 0 250432714 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140671732501264 140671347143876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8786] ppid=8780 vsize=14090948 memory=8980796 CPUtime=9.71 cores=0,2,4,6
/proc/8783/task/8786/stat : 8786 (java) S 8780 8783 2816 0 -1 1077944384 16420 0 0 0 803 168 0 0 20 0 15 0 250432715 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140671658350864 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8787] ppid=8780 vsize=14090948 memory=8980796 CPUtime=9.65 cores=0,2,4,6
/proc/8783/task/8787/stat : 8787 (java) S 8780 8783 2816 0 -1 1077944384 19591 0 0 0 788 177 0 0 20 0 15 0 250432715 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140671657298320 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8788] ppid=8780 vsize=14090948 memory=8980796 CPUtime=9.68 cores=0,2,4,6
/proc/8783/task/8788/stat : 8788 (java) S 8780 8783 2816 0 -1 1077944384 13230 0 0 0 795 173 0 0 20 0 15 0 250432715 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140671656245776 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8789] ppid=8780 vsize=14090948 memory=8980796 CPUtime=9.7 cores=0,2,4,6
/proc/8783/task/8789/stat : 8789 (java) S 8780 8783 2816 0 -1 1077944384 46570 0 0 0 817 153 0 0 20 0 15 0 250432715 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140671320767120 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8790] ppid=8780 vsize=14090948 memory=8980796 CPUtime=0.32 cores=0,2,4,6
/proc/8783/task/8790/stat : 8790 (java) S 8780 8783 2816 0 -1 1077944384 16985 0 0 0 30 2 0 0 20 0 15 0 250432716 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140670640552432 140671728274050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8791] ppid=8780 vsize=14090948 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8791/stat : 8791 (java) S 8780 8783 2816 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250432717 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140670639498720 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8792] ppid=8780 vsize=14090948 memory=8980796 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8792/stat : 8792 (java) S 8780 8783 2816 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250432717 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140670638446080 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8793] ppid=8780 vsize=14090948 memory=3824 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8793/stat : 8793 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140670637394640 140671728281499 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8794] ppid=8780 vsize=14090948 memory=14884 CPUtime=3.83 cores=0,2,4,6
/proc/8783/task/8794/stat : 8794 (java) S 8780 8783 2816 0 -1 1077944384 9917 0 0 0 382 1 0 0 20 0 15 0 250432719 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140670636341232 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8795] ppid=8780 vsize=14090948 memory=15784 CPUtime=3.55 cores=0,2,4,6
/proc/8783/task/8795/stat : 8795 (java) S 8780 8783 2816 0 -1 1077944384 10173 0 0 0 354 1 0 0 20 0 15 0 250432719 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140670635288688 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8796] ppid=8780 vsize=14090948 memory=8112282956445269571 CPUtime=0.97 cores=0,2,4,6
/proc/8783/task/8796/stat : 8796 (java) S 8780 8783 2816 0 -1 1077944384 13082 0 0 0 96 1 0 0 20 0 15 0 250432719 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140670634236144 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8797] ppid=8780 vsize=14090948 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8797/stat : 8797 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140670633183840 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8798] ppid=8780 vsize=14090948 memory=3824 CPUtime=0.09 cores=0,2,4,6
/proc/8783/task/8798/stat : 8798 (java) S 8780 8783 2816 0 -1 1077944384 409 0 0 0 5 4 0 0 20 0 15 0 250432720 14429130752 2227372 33554432000 4194304 4196468 140732116665552 140670632131376 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
Current children cumulated CPU time: 199.44 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 8909488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+214.111 s]
/proc/loadavg: 2.08 2.19 1.96 6/218 8879
/proc/meminfo: memFree=12278308/32770624 swapFree=67108688/67108860
[pid=8783] ppid=8780 vsize=14090948 memory=8749908 CPUtime=252.04 cores=0,2,4,6
/proc/8783/stat : 8783 (java) S 8780 8783 2816 0 -1 1077944320 278076 0 0 0 24466 738 0 0 20 0 15 0 250432713 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140732116648096 140671728262903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
/proc/8783/statm: 3522737 2187477 3612 1 0 3484809 0
[pid=8783/tid=8785] ppid=8780 vsize=14090948 memory=8773040 CPUtime=203.41 cores=0,2,4,6
/proc/8783/task/8785/stat : 8785 (java) R 8780 8783 2816 0 -1 4202560 119632 0 0 0 20292 49 0 0 20 0 15 0 250432714 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671732500768 140671347143456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8786] ppid=8780 vsize=14090948 memory=8773040 CPUtime=9.94 cores=0,2,4,6
/proc/8783/task/8786/stat : 8786 (java) S 8780 8783 2816 0 -1 1077944384 22055 0 0 0 825 169 0 0 20 0 15 0 250432715 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671658350864 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8787] ppid=8780 vsize=14090948 memory=8773040 CPUtime=9.9 cores=0,2,4,6
/proc/8783/task/8787/stat : 8787 (java) S 8780 8783 2816 0 -1 1077944384 19872 0 0 0 813 177 0 0 20 0 15 0 250432715 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671657298320 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8788] ppid=8780 vsize=14090948 memory=8773040 CPUtime=9.92 cores=0,2,4,6
/proc/8783/task/8788/stat : 8788 (java) S 8780 8783 2816 0 -1 1077944384 13384 0 0 0 819 173 0 0 20 0 15 0 250432715 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671656245776 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8789] ppid=8780 vsize=14090948 memory=8773040 CPUtime=9.95 cores=0,2,4,6
/proc/8783/task/8789/stat : 8789 (java) S 8780 8783 2816 0 -1 1077944384 50112 0 0 0 841 154 0 0 20 0 15 0 250432715 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671320767120 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8790] ppid=8780 vsize=14090948 memory=8773040 CPUtime=0.32 cores=0,2,4,6
/proc/8783/task/8790/stat : 8790 (java) S 8780 8783 2816 0 -1 1077944384 17223 0 0 0 30 2 0 0 20 0 15 0 250432716 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670640552432 140671728274050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8791] ppid=8780 vsize=14090948 memory=55 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8791/stat : 8791 (java) S 8780 8783 2816 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250432717 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670639498720 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8792] ppid=8780 vsize=14090948 memory=8773040 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8792/stat : 8792 (java) S 8780 8783 2816 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250432717 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670638446080 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8793] ppid=8780 vsize=14090948 memory=8773040 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8793/stat : 8793 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670637394640 140671728281499 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8794] ppid=8780 vsize=14090948 memory=0 CPUtime=3.84 cores=0,2,4,6
/proc/8783/task/8794/stat : 8794 (java) S 8780 8783 2816 0 -1 1077944384 10031 0 0 0 383 1 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670636341232 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8795] ppid=8780 vsize=14090948 memory=8773040 CPUtime=3.56 cores=0,2,4,6
/proc/8783/task/8795/stat : 8795 (java) S 8780 8783 2816 0 -1 1077944384 10350 0 0 0 355 1 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670635288688 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8796] ppid=8780 vsize=14090948 memory=280057907567008 CPUtime=0.98 cores=0,2,4,6
/proc/8783/task/8796/stat : 8796 (java) S 8780 8783 2816 0 -1 1077944384 13533 0 0 0 96 2 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670634236144 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8797] ppid=8780 vsize=14090948 memory=8773040 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8797/stat : 8797 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670633183840 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8798] ppid=8780 vsize=14090948 memory=280057906127344 CPUtime=0.13 cores=0,2,4,6
/proc/8783/task/8798/stat : 8798 (java) S 8780 8783 2816 0 -1 1077944384 441 0 0 0 7 6 0 0 20 0 15 0 250432720 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670632131376 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 8749908 KiB

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

[startup+214.18 s]
# the end of solver process 8783 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.687 s, system=7.43026 s

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

[startup+214.111 s]
/proc/loadavg: 2.08 2.19 1.96 6/218 8879
/proc/meminfo: memFree=12278308/32770624 swapFree=67108688/67108860
[pid=8783] ppid=8780 vsize=14090948 memory=8749908 CPUtime=252.04 cores=0,2,4,6
/proc/8783/stat : 8783 (java) S 8780 8783 2816 0 -1 1077944320 278076 0 0 0 24466 738 0 0 20 0 15 0 250432713 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140732116648096 140671728262903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
/proc/8783/statm: 3522737 2187477 3612 1 0 3484809 0
[pid=8783/tid=8785] ppid=8780 vsize=14090948 memory=8773040 CPUtime=203.41 cores=0,2,4,6
/proc/8783/task/8785/stat : 8785 (java) R 8780 8783 2816 0 -1 4202560 119632 0 0 0 20292 49 0 0 20 0 15 0 250432714 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671732500768 140671347143456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8786] ppid=8780 vsize=14090948 memory=8773040 CPUtime=9.94 cores=0,2,4,6
/proc/8783/task/8786/stat : 8786 (java) S 8780 8783 2816 0 -1 1077944384 22055 0 0 0 825 169 0 0 20 0 15 0 250432715 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671658350864 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8787] ppid=8780 vsize=14090948 memory=8773040 CPUtime=9.9 cores=0,2,4,6
/proc/8783/task/8787/stat : 8787 (java) S 8780 8783 2816 0 -1 1077944384 19872 0 0 0 813 177 0 0 20 0 15 0 250432715 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671657298320 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8788] ppid=8780 vsize=14090948 memory=8773040 CPUtime=9.92 cores=0,2,4,6
/proc/8783/task/8788/stat : 8788 (java) S 8780 8783 2816 0 -1 1077944384 13384 0 0 0 819 173 0 0 20 0 15 0 250432715 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671656245776 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8789] ppid=8780 vsize=14090948 memory=8773040 CPUtime=9.95 cores=0,2,4,6
/proc/8783/task/8789/stat : 8789 (java) S 8780 8783 2816 0 -1 1077944384 50112 0 0 0 841 154 0 0 20 0 15 0 250432715 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140671320767120 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8790] ppid=8780 vsize=14090948 memory=8773040 CPUtime=0.32 cores=0,2,4,6
/proc/8783/task/8790/stat : 8790 (java) S 8780 8783 2816 0 -1 1077944384 17223 0 0 0 30 2 0 0 20 0 15 0 250432716 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670640552432 140671728274050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8791] ppid=8780 vsize=14090948 memory=55 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8791/stat : 8791 (java) S 8780 8783 2816 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250432717 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670639498720 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8792] ppid=8780 vsize=14090948 memory=8773040 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8792/stat : 8792 (java) S 8780 8783 2816 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 250432717 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670638446080 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8793] ppid=8780 vsize=14090948 memory=8773040 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8793/stat : 8793 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670637394640 140671728281499 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8794] ppid=8780 vsize=14090948 memory=0 CPUtime=3.84 cores=0,2,4,6
/proc/8783/task/8794/stat : 8794 (java) S 8780 8783 2816 0 -1 1077944384 10031 0 0 0 383 1 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670636341232 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8795] ppid=8780 vsize=14090948 memory=8773040 CPUtime=3.56 cores=0,2,4,6
/proc/8783/task/8795/stat : 8795 (java) S 8780 8783 2816 0 -1 1077944384 10350 0 0 0 355 1 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670635288688 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8796] ppid=8780 vsize=14090948 memory=280057907567008 CPUtime=0.98 cores=0,2,4,6
/proc/8783/task/8796/stat : 8796 (java) S 8780 8783 2816 0 -1 1077944384 13533 0 0 0 96 2 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670634236144 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8797] ppid=8780 vsize=14090948 memory=8773040 CPUtime=0 cores=0,2,4,6
/proc/8783/task/8797/stat : 8797 (java) S 8780 8783 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250432719 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670633183840 140671728273109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
[pid=8783/tid=8798] ppid=8780 vsize=14090948 memory=280057906127344 CPUtime=0.13 cores=0,2,4,6
/proc/8783/task/8798/stat : 8798 (java) S 8780 8783 2816 0 -1 1077944384 441 0 0 0 7 6 0 0 20 0 15 0 250432720 14429130752 2187477 33554432000 4194304 4196468 140732116665552 140670632131376 140671728274050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 8445952 140732116673614 140732116673806 140732116673806 140732116676559 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 8749908 KiB

Child status: 143
Real time (s): 214.18
CPU time (s): 252.117
CPU user time (s): 244.687
CPU system time (s): 7.43026
CPU usage (%): 117.713
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 9112260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.687
system time used= 7.43026
maximum resident set size= 9112260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10471
involuntary context switches= 730


# summary of solver processes directly reported to runsolver:
#   pid: 8783
#   total CPU time (s): 252.117
#   total CPU user time (s): 244.687
#   total CPU system time (s): 7.43026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35057 second user time and 2.05805 second system time

The end

Launcher Data 

Begin job on node134 at 2018-08-15 12:24:55
IDJOB=4309913
IDBENCH=141141
IDSOLVER=2795
FILE ID=node134/4309913-1534328695
RUNJOBID= node134-1534325999-6915
PBS_JOBID= 21038145
Free space on /tmp= 43368 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309913-1534328695/watcher-4309913-1534328695 -o /tmp/evaluation-result-4309913-1534328695/solver-4309913-1534328695 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534325999-6915 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1000110056 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4309913-1534328695.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=1000110056

node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20627592 kB
MemAvailable:   28045512 kB
Buffers:          201988 kB
Cached:          7430604 kB
SwapCached:           32 kB
Active:          7844180 kB
Inactive:        3686424 kB
Active(anon):    3847756 kB
Inactive(anon):   111440 kB
Active(file):    3996424 kB
Inactive(file):  3574984 kB
Unevictable:        7392 kB
Mlocked:            7392 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             38728 kB
Writeback:             0 kB
AnonPages:       3936656 kB
Mapped:            68676 kB
Shmem:             57844 kB
Slab:             304276 kB
SReclaimable:     274972 kB
SUnreclaim:        29304 kB
KernelStack:        3856 kB
PageTables:        13568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4871328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3790848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 43332 MiB
End job on node134 at 2018-08-15 12:28:29