Trace number 4312123

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-17SAT (TO)4114 252.426 213.842

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.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 1541612184
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.57	c nbcore: 1
0.67/0.59	c Parsing instance...
66.46/32.12	c Parsing done, starting search...
69.91/34.92	o 4145
79.22/43.88	o 4144
87.64/52.07	o 4142
95.72/60.10	o 4141
104.08/68.29	o 4139
104.18/68.31	o 4138
112.52/76.37	o 4136
120.80/84.45	o 4135
129.08/92.59	o 4133
137.19/100.61	o 4131
145.36/108.69	o 4129
153.72/116.82	o 4128
161.84/124.91	o 4127
170.17/133.01	o 4125
178.39/141.09	o 4124
186.52/149.18	o 4123
194.79/157.25	o 4122
203.09/165.35	o 4120
211.19/173.42	o 4118
219.49/181.50	o 4117
227.77/189.62	o 4116
235.78/197.63	o 4115
244.07/205.72	o 4114
252.08/213.77	s SATISFIABLE
252.08/213.77	v <instantiation>
252.08/213.77	v 	<list>
252.08/213.77	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.08/213.77	v 	</list>
252.08/213.77	v 	<values>
252.08/213.77	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 4114 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.08/213.77	v 	</values>
252.08/213.77	v </instantiation>

Verifier Data 

OK	4114

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312123-1534569082/watcher-4312123-1534569082 -o /tmp/evaluation-result-4312123-1534569082/solver-4312123-1534569082 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534568587-5847 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1541612184 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312123-1534569082.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
solver pid=6220, runsolver pid=6217
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.62 1.50 1.39 4/215 6235
/proc/meminfo: memFree=19809640/32770624 swapFree=67108368/67108860
[pid=6220] ppid=6217 vsize=14082736 memory=31336 CPUtime=0.11 cores=0,2,4,6
/proc/6220/stat : 6220 (java) S 6217 6220 2226 0 -1 1077944320 6727 0 0 0 10 1 0 0 20 0 15 0 274471381 14420721664 7834 33554432000 4194304 4196468 140730251082176 140730251064720 140500231266039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
/proc/6220/statm: 3520684 7834 3152 1 0 3482761 0
[pid=6220/tid=6222] ppid=6217 vsize=14082736 memory=-8537241015900009664 CPUtime=0.09 cores=0,2,4,6
/proc/6220/task/6222/stat : 6222 (java) R 6217 6220 2226 0 -1 4202560 4775 0 0 0 8 1 0 0 20 0 15 0 274471381 14420721664 7834 33554432000 4194304 4196468 140730251082176 140500235497536 140500217487359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6223] ppid=6217 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6223/stat : 6223 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499826748048 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6224] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6224/stat : 6224 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499825695248 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6225] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6225/stat : 6225 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499824642448 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6226] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6226/stat : 6226 (java) S 6217 6220 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499823589648 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6227] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6227/stat : 6227 (java) S 6217 6220 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471384 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499705854832 140500231277186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6228] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6228/stat : 6228 (java) S 6217 6220 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274471384 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499704800800 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6229] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6229/stat : 6229 (java) S 6217 6220 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274471384 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499703747952 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6230] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6230/stat : 6230 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499702696272 140500231284635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6231] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6231/stat : 6231 (java) S 6217 6220 2226 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499701643632 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6232] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6232/stat : 6232 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499700590832 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6233] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0.01 cores=0,2,4,6
/proc/6220/task/6233/stat : 6233 (java) S 6217 6220 2226 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 274471387 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499699538032 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6234] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6234/stat : 6234 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499698485472 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6235] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6235/stat : 6235 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 7834 33554432000 4194304 4196468 140730251082176 140499697433776 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31336 KiB

[startup+0.210365 s]*
/proc/loadavg: 1.62 1.50 1.39 5/215 6235
/proc/meminfo: memFree=19793640/32770624 swapFree=67108368/67108860
[pid=6220] ppid=6217 vsize=14082736 memory=46884 CPUtime=0.29 cores=0,2,4,6
/proc/6220/stat : 6220 (java) S 6217 6220 2226 0 -1 1077944320 10332 0 0 0 27 2 0 0 20 0 15 0 274471381 14420721664 11721 33554432000 4194304 4196468 140730251082176 140730251064720 140500231266039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
/proc/6220/statm: 3520684 11721 3347 1 0 3482761 0
[pid=6220/tid=6222] ppid=6217 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/6220/task/6222/stat : 6222 (java) S 6217 6220 2226 0 -1 1077944384 8113 0 0 0 18 1 0 0 20 0 15 0 274471381 14420721664 11721 33554432000 4194304 4196468 140730251082176 140500235493088 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6223] ppid=6217 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6223/stat : 6223 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499826748048 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6224] ppid=6217 vsize=14082736 memory=140037106414544 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6224/stat : 6224 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499825695248 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6225] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6225/stat : 6225 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499824642448 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6226] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6226/stat : 6226 (java) S 6217 6220 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499823589648 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6227] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6227/stat : 6227 (java) S 6217 6220 2226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274471384 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499705854832 140500231277186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6228] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6228/stat : 6228 (java) S 6217 6220 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274471384 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499704800800 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6229] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6229/stat : 6229 (java) S 6217 6220 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274471384 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499703747952 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6230] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6230/stat : 6230 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499702696272 140500231284635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6231] ppid=6217 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6220/task/6231/stat : 6231 (java) R 6217 6220 2226 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 274471387 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499701643632 140500231277186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6232] ppid=6217 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6220/task/6232/stat : 6232 (java) R 6217 6220 2226 0 -1 4202560 226 0 0 0 1 0 0 0 20 0 15 0 274471387 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499700590832 140500211966336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6233] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0.05 cores=0,2,4,6
/proc/6220/task/6233/stat : 6233 (java) R 6217 6220 2226 0 -1 4202560 305 0 0 0 5 0 0 0 20 0 15 0 274471387 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499699537216 140500210224649 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6234] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6234/stat : 6234 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499698485472 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6235] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6235/stat : 6235 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 11721 33554432000 4194304 4196468 140730251082176 140499697433776 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46884 KiB

[startup+0.310355 s]*
/proc/loadavg: 1.62 1.50 1.39 3/215 6235
/proc/meminfo: memFree=19790096/32770624 swapFree=67108368/67108860
[pid=6220] ppid=6217 vsize=14082736 memory=50668 CPUtime=0.44 cores=0,2,4,6
/proc/6220/stat : 6220 (java) S 6217 6220 2226 0 -1 1077944320 10817 0 0 0 42 2 0 0 20 0 15 0 274471381 14420721664 12667 33554432000 4194304 4196468 140730251082176 140730251064720 140500231266039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
/proc/6220/statm: 3520684 12667 3411 1 0 3482761 0
[pid=6220/tid=6222] ppid=6217 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/6220/task/6222/stat : 6222 (java) R 6217 6220 2226 0 -1 4202560 8475 0 0 0 28 2 0 0 20 0 15 0 274471381 14420721664 12667 33554432000 4194304 4196468 140730251082176 140500235475392 140500216959464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6223] ppid=6217 vsize=14082736 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6223/stat : 6223 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499826748048 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6224] ppid=6217 vsize=14082736 memory=140037106414038 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6224/stat : 6224 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499825695248 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6225] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6225/stat : 6225 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499824642448 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6226] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6226/stat : 6226 (java) S 6217 6220 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471382 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499823589648 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6227] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6227/stat : 6227 (java) S 6217 6220 2226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274471384 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499705854832 140500231277186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6228] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6228/stat : 6228 (java) S 6217 6220 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274471384 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499704800800 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6229] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6229/stat : 6229 (java) S 6217 6220 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274471384 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499703747952 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6230] ppid=6217 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6230/stat : 6230 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499702696272 140500231284635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6231] ppid=6217 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6220/task/6231/stat : 6231 (java) S 6217 6220 2226 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 274471387 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499701643632 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6232] ppid=6217 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6220/task/6232/stat : 6232 (java) S 6217 6220 2226 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 15 0 274471387 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499700590832 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6233] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0.08 cores=0,2,4,6
/proc/6220/task/6233/stat : 6233 (java) S 6217 6220 2226 0 -1 1077944384 328 0 0 0 8 0 0 0 20 0 15 0 274471387 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499699538032 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6234] ppid=6217 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6234/stat : 6234 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499698485472 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6235] ppid=6217 vsize=14082736 memory=140037106394752 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6235/stat : 6235 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471387 14420721664 12667 33554432000 4194304 4196468 140730251082176 140499697433776 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50668 KiB

[startup+0.700697 s]
/proc/loadavg: 1.62 1.50 1.39 3/215 6235
/proc/meminfo: memFree=19766160/32770624 swapFree=67108368/67108860
[pid=6220] ppid=6217 vsize=14084804 memory=88732 CPUtime=0.99 cores=0,2,4,6
/proc/6220/stat : 6220 (java) S 6217 6220 2226 0 -1 1077944320 17586 0 0 0 95 4 0 0 20 0 15 0 274471381 14422839296 22183 33554432000 4194304 4196468 140730251082176 140730251064720 140500231266039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
/proc/6220/statm: 3521201 22183 3499 1 0 3483273 0
[pid=6220/tid=6222] ppid=6217 vsize=14084804 memory=1764 CPUtime=0.68 cores=0,2,4,6
/proc/6220/task/6222/stat : 6222 (java) R 6217 6220 2226 0 -1 4202560 14906 0 0 0 65 3 0 0 20 0 15 0 274471381 14422839296 22183 33554432000 4194304 4196468 140730251082176 140500235489232 140500216947343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6223] ppid=6217 vsize=14084804 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6223/stat : 6223 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499826748048 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6224] ppid=6217 vsize=14084804 memory=756 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6224/stat : 6224 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499825695248 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6225] ppid=6217 vsize=14084804 memory=9168 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6225/stat : 6225 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471382 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499824642448 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6226] ppid=6217 vsize=14084804 memory=872 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6226/stat : 6226 (java) S 6217 6220 2226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471382 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499823589648 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6227] ppid=6217 vsize=14084804 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6227/stat : 6227 (java) S 6217 6220 2226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274471384 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499705854832 140500231277186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6228] ppid=6217 vsize=14084804 memory=6300 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6228/stat : 6228 (java) S 6217 6220 2226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274471384 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499704800800 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6229] ppid=6217 vsize=14084804 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6229/stat : 6229 (java) S 6217 6220 2226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274471384 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499703747952 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6230] ppid=6217 vsize=14084804 memory=3920 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6230/stat : 6230 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499702696272 140500231284635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6231] ppid=6217 vsize=14084804 memory=7302135314614015848 CPUtime=0.05 cores=0,2,4,6
/proc/6220/task/6231/stat : 6231 (java) S 6217 6220 2226 0 -1 1077944384 499 0 0 0 5 0 0 0 20 0 15 0 274471387 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499701643632 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6232] ppid=6217 vsize=14084804 memory=7885332796437780070 CPUtime=0.08 cores=0,2,4,6
/proc/6220/task/6232/stat : 6232 (java) S 6217 6220 2226 0 -1 1077944384 410 0 0 0 8 0 0 0 20 0 15 0 274471387 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499700590832 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6233] ppid=6217 vsize=14084804 memory=4641048821391970384 CPUtime=0.15 cores=0,2,4,6
/proc/6220/task/6233/stat : 6233 (java) S 6217 6220 2226 0 -1 1077944384 390 0 0 0 15 0 0 0 20 0 15 0 274471387 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499699538032 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6234] ppid=6217 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6234/stat : 6234 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499698485472 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6235] ppid=6217 vsize=14084804 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6235/stat : 6235 (java) S 6217 6220 2226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471387 14422839296 22183 33554432000 4194304 4196468 140730251082176 140499697433776 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88732 KiB

[startup+1.50075 s]
/proc/loadavg: 1.62 1.50 1.39 6/215 6235
/proc/meminfo: memFree=19672420/32770624 swapFree=67108368/67108860
[pid=6220] ppid=6217 vsize=14086852 memory=287944 CPUtime=3.36 cores=0,2,4,6
/proc/6220/stat : 6220 (java) S 6217 6220 2226 0 -1 1077944320 23610 0 0 0 326 10 0 0 20 0 15 0 274471381 14424936448 71986 33554432000 4194304 4196468 140730251082176 140730251064720 140500231266039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
/proc/6220/statm: 3521713 71986 3569 1 0 3483785 0
[pid=6220/tid=6222] ppid=6217 vsize=14086852 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/6220/task/6222/stat : 6222 (java) R 6217 6220 2226 0 -1 4202560 15922 0 0 0 135 4 0 0 20 0 15 0 274471381 14424936448 71986 33554432000 4194304 4196468 140730251082176 140500235501904 140499871363010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6223] ppid=6217 vsize=14086852 memory=-8253362664378450063 CPUtime=0.03 cores=0,2,4,6
/proc/6220/task/6223/stat : 6223 (java) S 6217 6220 2226 0 -1 1077944384 108 0 0 0 3 0 0 0 20 0 15 0 274471382 14424936448 71986 33554432000 4194304 4196468 140730251082176 140499826748048 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6224] ppid=6217 vsize=14086852 memory=7245577299922993209 CPUtime=0.07 cores=0,2,4,6
/proc/6220/task/6224/stat : 6224 (java) S 6217 6220 2226 0 -1 1077944384 372 0 0 0 6 1 0 0 20 0 15 0 274471382 14424936448 71986 33554432000 4194304 4196468 140730251082176 140499825695248 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6225] ppid=6217 vsize=14086852 memory=-8412656559033194355 CPUtime=0.02 cores=0,2,4,6
/proc/6220/task/6225/stat : 6225 (java) S 6217 6220 2226 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 274471382 14424936448 71986 33554432000 4194304 4196468 140730251082176 140499824642448 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6226] ppid=6217 vsize=14086852 memory=1401637097735671167 CPUtime=0.06 cores=0,2,4,6
/proc/6220/task/6226/stat : 6226 (java) S 6217 6220 2226 0 -1 1077944384 331 0 0 0 5 1 0 0 20 0 15 0 274471382 14424936448 71986 33554432000 4194304 4196468 140730251082176 140499823589648 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6227] ppid=6217 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6227/stat : 6227 (java) S 6217 6220 2226 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 274471384 14424936448 71986 33554432000 4194304 4196468 140730251082176 140499705854832 140500231277186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0

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

[pid=6220/tid=6226] ppid=6217 vsize=14090948 memory=9101648 CPUtime=9.26 cores=0,2,4,6
/proc/6220/task/6226/stat : 6226 (java) S 6217 6220 2226 0 -1 1077944384 13118 0 0 0 737 189 0 0 20 0 15 0 274471382 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499823589648 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6227] ppid=6217 vsize=14090948 memory=9101892 CPUtime=0.3 cores=0,2,4,6
/proc/6220/task/6227/stat : 6227 (java) S 6217 6220 2226 0 -1 1077944384 16110 0 0 0 29 1 0 0 20 0 15 0 274471384 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499705854832 140500231277186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6228] ppid=6217 vsize=14090948 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6228/stat : 6228 (java) S 6217 6220 2226 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 274471384 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499704800864 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6229] ppid=6217 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6229/stat : 6229 (java) S 6217 6220 2226 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 274471384 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499703747968 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6230] ppid=6217 vsize=14090948 memory=7522810661519516245 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6230/stat : 6230 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499702696272 140500231284635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6231] ppid=6217 vsize=14090948 memory=30 CPUtime=3.72 cores=0,2,4,6
/proc/6220/task/6231/stat : 6231 (java) S 6217 6220 2226 0 -1 1077944384 6931 0 0 0 371 1 0 0 20 0 15 0 274471387 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499701643632 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6232] ppid=6217 vsize=14090948 memory=0 CPUtime=3.2 cores=0,2,4,6
/proc/6220/task/6232/stat : 6232 (java) S 6217 6220 2226 0 -1 1077944384 8865 0 0 0 319 1 0 0 20 0 15 0 274471387 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499700590832 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6233] ppid=6217 vsize=14090948 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/6220/task/6233/stat : 6233 (java) S 6217 6220 2226 0 -1 1077944384 8641 0 0 0 88 2 0 0 20 0 15 0 274471387 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499699538032 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6234] ppid=6217 vsize=14090948 memory=9101892 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6234/stat : 6234 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499698485472 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6235] ppid=6217 vsize=14090948 memory=3684 CPUtime=0.02 cores=0,2,4,6
/proc/6220/task/6235/stat : 6235 (java) S 6217 6220 2226 0 -1 1077944384 164 0 0 0 1 1 0 0 20 0 15 0 274471387 14429130752 2275473 33554432000 4194304 4196468 140730251082176 140499697433776 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
Current children cumulated CPU time: 86.74 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 9101892 KiB

[startup+102.301 s]
/proc/loadavg: 1.81 1.62 1.45 3/215 6313
/proc/meminfo: memFree=12362928/32770624 swapFree=67108368/67108860
[pid=6220] ppid=6217 vsize=14090948 memory=9105412 CPUtime=138.89 cores=0,2,4,6
/proc/6220/stat : 6220 (java) S 6217 6220 2226 0 -1 1077944320 186102 0 0 0 13158 731 0 0 20 0 15 0 274471381 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140730251064720 140500231266039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
/proc/6220/statm: 3522737 2276353 3611 1 0 3484809 0
[pid=6220/tid=6222] ppid=6217 vsize=14090948 memory=9105412 CPUtime=92.29 cores=0,2,4,6
/proc/6220/task/6222/stat : 6222 (java) R 6217 6220 2226 0 -1 4202560 66550 0 0 0 9184 45 0 0 20 0 15 0 274471381 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140500235495248 140499871327298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6223] ppid=6217 vsize=14090948 memory=9105412 CPUtime=9.53 cores=0,2,4,6
/proc/6220/task/6223/stat : 6223 (java) S 6217 6220 2226 0 -1 1077944384 31344 0 0 0 798 155 0 0 20 0 15 0 274471382 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499826748048 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6224] ppid=6217 vsize=14090948 memory=55 CPUtime=9.5 cores=0,2,4,6
/proc/6220/task/6224/stat : 6224 (java) S 6217 6220 2226 0 -1 1077944384 11561 0 0 0 784 166 0 0 20 0 15 0 274471382 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499825695248 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6225] ppid=6217 vsize=14090948 memory=280074012628464 CPUtime=9.51 cores=0,2,4,6
/proc/6220/task/6225/stat : 6225 (java) S 6217 6220 2226 0 -1 1077944384 15037 0 0 0 788 163 0 0 20 0 15 0 274471382 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499824642448 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6226] ppid=6217 vsize=14090948 memory=9104952 CPUtime=9.47 cores=0,2,4,6
/proc/6220/task/6226/stat : 6226 (java) S 6217 6220 2226 0 -1 1077944384 16578 0 0 0 758 189 0 0 20 0 15 0 274471382 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499823589648 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6227] ppid=6217 vsize=14090948 memory=-7812193691855986592 CPUtime=0.3 cores=0,2,4,6
/proc/6220/task/6227/stat : 6227 (java) S 6217 6220 2226 0 -1 1077944384 16331 0 0 0 29 1 0 0 20 0 15 0 274471384 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499705854832 140500231277186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6228] ppid=6217 vsize=14090948 memory=9104952 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6228/stat : 6228 (java) S 6217 6220 2226 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 274471384 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499704800864 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6229] ppid=6217 vsize=14090948 memory=9168 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6229/stat : 6229 (java) S 6217 6220 2226 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 274471384 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499703747968 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6230] ppid=6217 vsize=14090948 memory=55 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6230/stat : 6230 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499702696272 140500231284635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6231] ppid=6217 vsize=14090948 memory=-6305709520686703744 CPUtime=3.85 cores=0,2,4,6
/proc/6220/task/6231/stat : 6231 (java) S 6217 6220 2226 0 -1 1077944384 7835 0 0 0 383 2 0 0 20 0 15 0 274471387 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499701643632 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6232] ppid=6217 vsize=14090948 memory=6852 CPUtime=3.37 cores=0,2,4,6
/proc/6220/task/6232/stat : 6232 (java) S 6217 6220 2226 0 -1 1077944384 9674 0 0 0 335 2 0 0 20 0 15 0 274471387 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499700590832 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6233] ppid=6217 vsize=14090948 memory=2148 CPUtime=0.93 cores=0,2,4,6
/proc/6220/task/6233/stat : 6233 (java) S 6217 6220 2226 0 -1 1077944384 9554 0 0 0 91 2 0 0 20 0 15 0 274471387 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499699538032 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6234] ppid=6217 vsize=14090948 memory=280074013512512 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6234/stat : 6234 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499698485472 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6235] ppid=6217 vsize=14090948 memory=290827423556305186 CPUtime=0.06 cores=0,2,4,6
/proc/6220/task/6235/stat : 6235 (java) S 6217 6220 2226 0 -1 1077944384 203 0 0 0 3 3 0 0 20 0 15 0 274471387 14429130752 2276353 33554432000 4194304 4196468 140730251082176 140499697433776 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
Current children cumulated CPU time: 138.89 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 9105412 KiB

[startup+162.301 s]
/proc/loadavg: 1.46 1.56 1.44 3/215 6314
/proc/meminfo: memFree=12572384/32770624 swapFree=67108368/67108860
[pid=6220] ppid=6217 vsize=14090948 memory=8922436 CPUtime=200.08 cores=0,2,4,6
/proc/6220/stat : 6220 (java) S 6217 6220 2226 0 -1 1077944320 230271 0 0 0 19272 736 0 0 20 0 15 0 274471381 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140730251064720 140500231266039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
/proc/6220/statm: 3522737 2230609 3612 1 0 3484809 0
[pid=6220/tid=6222] ppid=6217 vsize=14090948 memory=8993228 CPUtime=151.93 cores=0,2,4,6
/proc/6220/task/6222/stat : 6222 (java) R 6217 6220 2226 0 -1 4202560 100177 0 0 0 15146 47 0 0 20 0 15 0 274471381 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140500235504304 140499869425981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6223] ppid=6217 vsize=14090948 memory=8993228 CPUtime=9.88 cores=0,2,4,6
/proc/6220/task/6223/stat : 6223 (java) S 6217 6220 2226 0 -1 1077944384 31605 0 0 0 833 155 0 0 20 0 15 0 274471382 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499826748048 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6224] ppid=6217 vsize=14090948 memory=8993228 CPUtime=9.85 cores=0,2,4,6
/proc/6220/task/6224/stat : 6224 (java) S 6217 6220 2226 0 -1 1077944384 12105 0 0 0 819 166 0 0 20 0 15 0 274471382 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499825695248 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6225] ppid=6217 vsize=14090948 memory=8993228 CPUtime=9.86 cores=0,2,4,6
/proc/6220/task/6225/stat : 6225 (java) S 6217 6220 2226 0 -1 1077944384 18376 0 0 0 823 163 0 0 20 0 15 0 274471382 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499824642448 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6226] ppid=6217 vsize=14090948 memory=8993228 CPUtime=9.81 cores=0,2,4,6
/proc/6220/task/6226/stat : 6226 (java) S 6217 6220 2226 0 -1 1077944384 18730 0 0 0 792 189 0 0 20 0 15 0 274471382 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499823589648 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6227] ppid=6217 vsize=14090948 memory=8993228 CPUtime=0.32 cores=0,2,4,6
/proc/6220/task/6227/stat : 6227 (java) S 6217 6220 2226 0 -1 1077944384 16540 0 0 0 30 2 0 0 20 0 15 0 274471384 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499705854832 140500231277186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6228] ppid=6217 vsize=14090948 memory=8993228 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6228/stat : 6228 (java) S 6217 6220 2226 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 274471384 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499704800864 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6229] ppid=6217 vsize=14090948 memory=8993228 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6229/stat : 6229 (java) S 6217 6220 2226 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 274471384 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499703747968 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6230] ppid=6217 vsize=14090948 memory=8993228 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6230/stat : 6230 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499702696272 140500231284635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6231] ppid=6217 vsize=14090948 memory=8993228 CPUtime=3.89 cores=0,2,4,6
/proc/6220/task/6231/stat : 6231 (java) S 6217 6220 2226 0 -1 1077944384 8979 0 0 0 387 2 0 0 20 0 15 0 274471387 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499701643632 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6232] ppid=6217 vsize=14090948 memory=8922436 CPUtime=3.43 cores=0,2,4,6
/proc/6220/task/6232/stat : 6232 (java) S 6217 6220 2226 0 -1 1077944384 10736 0 0 0 341 2 0 0 20 0 15 0 274471387 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499700590832 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6233] ppid=6217 vsize=14090948 memory=1104 CPUtime=0.94 cores=0,2,4,6
/proc/6220/task/6233/stat : 6233 (java) S 6217 6220 2226 0 -1 1077944384 11257 0 0 0 92 2 0 0 20 0 15 0 274471387 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499699538032 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6234] ppid=6217 vsize=14090948 memory=14912 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6234/stat : 6234 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499698485472 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6235] ppid=6217 vsize=14090948 memory=8993228 CPUtime=0.09 cores=0,2,4,6
/proc/6220/task/6235/stat : 6235 (java) S 6217 6220 2226 0 -1 1077944384 331 0 0 0 4 5 0 0 20 0 15 0 274471387 14429130752 2230609 33554432000 4194304 4196468 140730251082176 140499697433776 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
Current children cumulated CPU time: 200.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 8922436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+213.701 s]
/proc/loadavg: 1.22 1.49 1.42 3/215 6315
/proc/meminfo: memFree=12709756/32770624 swapFree=67108368/67108860
[pid=6220] ppid=6217 vsize=14090948 memory=8783940 CPUtime=252.08 cores=0,2,4,6
/proc/6220/stat : 6220 (java) S 6217 6220 2226 0 -1 1077944320 269311 0 0 0 24466 742 0 0 20 0 15 0 274471381 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140730251064720 140500231266039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
/proc/6220/statm: 3522737 2195985 3612 1 0 3484809 0
[pid=6220/tid=6222] ppid=6217 vsize=14090948 memory=8783940 CPUtime=203.15 cores=0,2,4,6
/proc/6220/task/6222/stat : 6222 (java) R 6217 6220 2226 0 -1 4202560 132303 0 0 0 20264 51 0 0 20 0 15 0 274471381 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140500235495248 140499869425845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6223] ppid=6217 vsize=14090948 memory=8783940 CPUtime=10.06 cores=0,2,4,6
/proc/6220/task/6223/stat : 6223 (java) S 6217 6220 2226 0 -1 1077944384 31824 0 0 0 851 155 0 0 20 0 15 0 274471382 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499826748048 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6224] ppid=6217 vsize=14090948 memory=8820868 CPUtime=10.03 cores=0,2,4,6
/proc/6220/task/6224/stat : 6224 (java) S 6217 6220 2226 0 -1 1077944384 12612 0 0 0 837 166 0 0 20 0 15 0 274471382 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499825695248 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6225] ppid=6217 vsize=14090948 memory=8783940 CPUtime=10.04 cores=0,2,4,6
/proc/6220/task/6225/stat : 6225 (java) S 6217 6220 2226 0 -1 1077944384 20659 0 0 0 841 163 0 0 20 0 15 0 274471382 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499824642448 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6226] ppid=6217 vsize=14090948 memory=280070120031756 CPUtime=9.99 cores=0,2,4,6
/proc/6220/task/6226/stat : 6226 (java) S 6217 6220 2226 0 -1 1077944384 21934 0 0 0 810 189 0 0 20 0 15 0 274471382 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499823589648 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6227] ppid=6217 vsize=14090948 memory=8820868 CPUtime=0.32 cores=0,2,4,6
/proc/6220/task/6227/stat : 6227 (java) S 6217 6220 2226 0 -1 1077944384 16782 0 0 0 30 2 0 0 20 0 15 0 274471384 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499705854832 140500231277186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6228] ppid=6217 vsize=14090948 memory=8783940 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6228/stat : 6228 (java) S 6217 6220 2226 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 274471384 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499704800864 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6229] ppid=6217 vsize=14090948 memory=8783940 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6229/stat : 6229 (java) S 6217 6220 2226 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 274471384 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499703747968 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6230] ppid=6217 vsize=14090948 memory=8783940 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6230/stat : 6230 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499702696272 140500231284635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6231] ppid=6217 vsize=14090948 memory=2092 CPUtime=3.9 cores=0,2,4,6
/proc/6220/task/6231/stat : 6231 (java) S 6217 6220 2226 0 -1 1077944384 9099 0 0 0 388 2 0 0 20 0 15 0 274471387 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499701643632 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6232] ppid=6217 vsize=14090948 memory=8783940 CPUtime=3.43 cores=0,2,4,6
/proc/6220/task/6232/stat : 6232 (java) S 6217 6220 2226 0 -1 1077944384 10962 0 0 0 341 2 0 0 20 0 15 0 274471387 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499700590832 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6233] ppid=6217 vsize=14090948 memory=280074013933392 CPUtime=0.94 cores=0,2,4,6
/proc/6220/task/6233/stat : 6233 (java) S 6217 6220 2226 0 -1 1077944384 11338 0 0 0 92 2 0 0 20 0 15 0 274471387 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499699538032 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6234] ppid=6217 vsize=14090948 memory=8783940 CPUtime=0 cores=0,2,4,6
/proc/6220/task/6234/stat : 6234 (java) S 6217 6220 2226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471387 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499698485472 140500231276245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
[pid=6220/tid=6235] ppid=6217 vsize=14090948 memory=8783940 CPUtime=0.12 cores=0,2,4,6
/proc/6220/task/6235/stat : 6235 (java) S 6217 6220 2226 0 -1 1077944384 363 0 0 0 6 6 0 0 20 0 15 0 274471387 14429130752 2195985 33554432000 4194304 4196468 140730251082176 140499697433776 140500231277186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14995456 140730251088974 140730251089166 140730251089166 140730251091919 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 8783940 KiB

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

[startup+213.842 s]
# the end of solver process 6220 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.931 s, system=7.49502 s

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

[startup+213.805 s]*
/proc/loadavg: 1.22 1.49 1.42 3/202 6317
/proc/meminfo: memFree=14136428/32770624 swapFree=67108368/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 213.842
CPU time (s): 252.426
CPU user time (s): 244.931
CPU system time (s): 7.49502
CPU usage (%): 118.043
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 9105564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.931
system time used= 7.49502
maximum resident set size= 9105564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10572
involuntary context switches= 1454


# summary of solver processes directly reported to runsolver:
#   pid: 6220
#   total CPU time (s): 252.426
#   total CPU user time (s): 244.931
#   total CPU system time (s): 7.49502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04464 second user time and 2.28685 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-18 07:11:22
IDJOB=4312123
IDBENCH=141141
IDSOLVER=2800
FILE ID=node148/4312123-1534569082
RUNJOBID= node148-1534568587-5847
PBS_JOBID= 21038631
Free space on /tmp= 49632 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
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 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312123-1534569082/watcher-4312123-1534569082 -o /tmp/evaluation-result-4312123-1534569082/solver-4312123-1534569082 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534568587-5847 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1541612184 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312123-1534569082.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=1541612184

node148.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.50
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.50
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.50
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.50
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:        19827832 kB
MemAvailable:   30073680 kB
Buffers:          220636 kB
Cached:         10283764 kB
SwapCached:            4 kB
Active:          8711392 kB
Inactive:        3659248 kB
Active(anon):    1838716 kB
Inactive(anon):    96196 kB
Active(file):    6872676 kB
Inactive(file):  3563052 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             38628 kB
Writeback:             0 kB
AnonPages:       1873592 kB
Mapped:            32808 kB
Shmem:             65972 kB
Slab:             267840 kB
SReclaimable:     238580 kB
SUnreclaim:        29260 kB
KernelStack:        3504 kB
PageTables:         8760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3239796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1718272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 49600 MiB
End job on node148 at 2018-08-18 07:14:56