Trace number 4284719

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 - Parallel with EPS 2017-08-22SAT (TO)15 19869.1 2520.1599

General information on the benchmark

NameBusScheduling/BusScheduling-cnt-s1/
BusScheduling-cnt-r2.xml
MD5SUM1feceec156c21411e87c939d9e284415
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables3001
Number of constraints54
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3001}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":68},{"degree":4,"count":284},{"degree":5,"count":1134},{"degree":6,"count":908},{"degree":7,"count":436},{"degree":8,"count":123},{"degree":9,"count":37}]
Minimum constraint arity139
Maximum constraint arity479
Distribution of constraint arities[{"arity":139,"count":1},{"arity":140,"count":1},{"arity":143,"count":1},{"arity":153,"count":3},{"arity":159,"count":1},{"arity":161,"count":1},{"arity":162,"count":2},{"arity":171,"count":1},{"arity":172,"count":1},{"arity":176,"count":1},{"arity":178,"count":1},{"arity":182,"count":1},{"arity":183,"count":1},{"arity":184,"count":2},{"arity":185,"count":1},{"arity":188,"count":1},{"arity":189,"count":2},{"arity":191,"count":2},{"arity":192,"count":1},{"arity":195,"count":2},{"arity":199,"count":1},{"arity":211,"count":2},{"arity":217,"count":1},{"arity":232,"count":1},{"arity":254,"count":1},{"arity":260,"count":1},{"arity":261,"count":1},{"arity":269,"count":1},{"arity":276,"count":1},{"arity":282,"count":1},{"arity":292,"count":1},{"arity":312,"count":1},{"arity":315,"count":1},{"arity":386,"count":1},{"arity":390,"count":1},{"arity":405,"count":1},{"arity":416,"count":2},{"arity":425,"count":1},{"arity":431,"count":1},{"arity":434,"count":1},{"arity":436,"count":1},{"arity":439,"count":1},{"arity":458,"count":1},{"arity":472,"count":1},{"arity":479,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":54}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.30/0.25	c version: 2017-08-22
0.30/0.25	c seed: 125832196
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 22000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
1.60/0.73	c Parsing done, starting search...
16.42/12.05	o 18
16.42/12.07	o 17
20.13/12.51	o 16
25.48/13.23	o 15
19868.38/2520.08	s SATISFIABLE
19868.38/2520.09	v <instantiation>
19868.38/2520.09	v 	<list>
19868.38/2520.09	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]
19868.38/2520.09	v 	</list>
19868.38/2520.09	v 	<values>
19868.38/2520.09	v 		1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19868.38/2520.09	v 	</values>
19868.38/2520.09	v </instantiation>

Verifier Data 

OK	15

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284719-1503445076/watcher-4284719-1503445076 -o /tmp/evaluation-result-4284719-1503445076/solver-4284719-1503445076 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503439171-7118 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 125832196 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284719-1503445076.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7470, runsolver pid=7467
Current StackSize limit: 8192 KiB


[startup+0.101146 s]*
/proc/loadavg: 8.11 8.66 8.74 1/198 7490
/proc/meminfo: memFree=23663740/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=26000852 memory=31872 CPUtime=0.12 cores=0-7
/proc/7470/stat : 7470 (java) S 7467 7470 7091 0 -1 1077944320 8356 0 0 0 11 1 0 0 20 0 20 0 177595170 26624872448 7968 33554432000 4194304 4196468 140736160184512 140736160167056 140243183595255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
/proc/7470/statm: 6500213 7968 3412 1 0 6487932 0
[pid=7470/tid=7472] ppid=7467 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7470/task/7472/stat : 7472 (java) R 7467 7470 7091 0 -1 4202560 6316 0 0 0 8 1 0 0 20 0 20 0 177595170 26624872448 7968 33554432000 4194304 4196468 140736160184512 140243187811952 140243140196851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7473] ppid=7467 vsize=26000852 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7470/task/7473/stat : 7473 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 7968 33554432000 4194304 4196468 140736160184512 140243106175376 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7474] ppid=7467 vsize=26000852 memory=139920367167104 CPUtime=0 cores=0-7
/proc/7470/task/7474/stat : 7474 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 7968 33554432000 4194304 4196468 140736160184512 140243105122576 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7475] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7475/stat : 7475 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 7968 33554432000 4194304 4196468 140736160184512 140243104070288 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7476] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7476/stat : 7476 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 7968 33554432000 4194304 4196468 140736160184512 140243103017488 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7477] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7477/stat : 7477 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 7968 33554432000 4194304 4196468 140736160184512 140243101965200 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7478] ppid=7467 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7470/task/7478/stat : 7478 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 7968 33554432000 4194304 4196468 140736160184512 140243100912400 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7479] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7479/stat : 7479 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 7968 33554432000 4194304 4196468 140736160184512 140243099860112 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7480] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7480/stat : 7480 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 7968 33554432000 4194304 4196468 140736160184512 140243098807312 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7481] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7481/stat : 7481 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595173 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242311989360 140243183606402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7482] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7482/stat : 7482 (java) S 7467 7470 7091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177595173 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242310935328 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7483] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7483/stat : 7483 (java) S 7467 7470 7091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177595173 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242309882992 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7484] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7484/stat : 7484 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242308831312 140243183613851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7485] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7485/stat : 7485 (java) S 7467 7470 7091 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242307779184 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7486] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7486/stat : 7486 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242306726384 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7487] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7487/stat : 7487 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242305674096 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7488] ppid=7467 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/7470/task/7488/stat : 7488 (java) S 7467 7470 7091 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 20 0 177595176 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242304621296 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7489] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7489/stat : 7489 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242303568224 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7490] ppid=7467 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7470/task/7490/stat : 7490 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 7968 33554432000 4194304 4196468 140736160184512 140242302515504 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31872 KiB

[startup+0.214652 s]*
/proc/loadavg: 8.11 8.66 8.74 2/198 7490
/proc/meminfo: memFree=23653380/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=26000852 memory=40688 CPUtime=0.3 cores=0-7
/proc/7470/stat : 7470 (java) S 7467 7470 7091 0 -1 1077944320 9414 0 0 0 27 3 0 0 20 0 20 0 177595170 26624872448 10172 33554432000 4194304 4196468 140736160184512 140736160167056 140243183595255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
/proc/7470/statm: 6500213 10172 3577 1 0 6487932 0
[pid=7470/tid=7472] ppid=7467 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/7470/task/7472/stat : 7472 (java) R 7467 7470 7091 0 -1 4202560 7002 0 0 0 18 1 0 0 20 0 20 0 177595170 26624872448 10172 33554432000 4194304 4196468 140736160184512 140243187816288 140243183616602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7473] ppid=7467 vsize=26000852 memory=9419 CPUtime=0 cores=0-7
/proc/7470/task/7473/stat : 7473 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 10172 33554432000 4194304 4196468 140736160184512 140243106175376 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7474] ppid=7467 vsize=26000852 memory=139920367174749 CPUtime=0 cores=0-7
/proc/7470/task/7474/stat : 7474 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 10172 33554432000 4194304 4196468 140736160184512 140243105122576 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7475] ppid=7467 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7470/task/7475/stat : 7475 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 10172 33554432000 4194304 4196468 140736160184512 140243104070288 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7476] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7476/stat : 7476 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 10172 33554432000 4194304 4196468 140736160184512 140243103017488 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7477] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7477/stat : 7477 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 10172 33554432000 4194304 4196468 140736160184512 140243101965200 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7478] ppid=7467 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7470/task/7478/stat : 7478 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 10172 33554432000 4194304 4196468 140736160184512 140243100912400 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7479] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7479/stat : 7479 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 10172 33554432000 4194304 4196468 140736160184512 140243099860112 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7480] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7480/stat : 7480 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624872448 10172 33554432000 4194304 4196468 140736160184512 140243098807312 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7481] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7481/stat : 7481 (java) S 7467 7470 7091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177595173 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242311989360 140243183606402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7482] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7482/stat : 7482 (java) S 7467 7470 7091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177595173 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242310935328 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7483] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7483/stat : 7483 (java) S 7467 7470 7091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177595173 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242309882992 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7484] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7484/stat : 7484 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242308831312 140243183613851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7485] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7485/stat : 7485 (java) R 7467 7470 7091 0 -1 4202560 320 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242307779184 140243164295552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7486] ppid=7467 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/7470/task/7486/stat : 7486 (java) S 7467 7470 7091 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 20 0 177595176 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242306726384 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7487] ppid=7467 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/7470/task/7487/stat : 7487 (java) S 7467 7470 7091 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 177595176 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242305674096 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7488] ppid=7467 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/7470/task/7488/stat : 7488 (java) R 7467 7470 7091 0 -1 4202560 392 0 0 0 5 0 0 0 20 0 20 0 177595176 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242304621296 140243183616602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7489] ppid=7467 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7489/stat : 7489 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242303568224 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7490] ppid=7467 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7470/task/7490/stat : 7490 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595176 26624872448 10172 33554432000 4194304 4196468 140736160184512 140242302515504 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 40688 KiB

[startup+0.310181 s]*
/proc/loadavg: 8.11 8.66 8.74 2/198 7490
/proc/meminfo: memFree=23645688/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=26000872 memory=49372 CPUtime=0.48 cores=0-7
/proc/7470/stat : 7470 (java) S 7467 7470 7091 0 -1 1077944320 10607 0 0 0 45 3 0 0 20 0 20 0 177595170 26624892928 12343 33554432000 4194304 4196468 140736160184512 140736160167056 140243183595255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
/proc/7470/statm: 6500218 12343 3714 1 0 6487932 0
[pid=7470/tid=7472] ppid=7467 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7470/task/7472/stat : 7472 (java) R 7467 7470 7091 0 -1 4202560 7726 0 0 0 27 2 0 0 20 0 20 0 177595170 26624892928 12343 33554432000 4194304 4196468 140736160184512 140243187819664 140242778618756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7473] ppid=7467 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7473/stat : 7473 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624892928 12343 33554432000 4194304 4196468 140736160184512 140243106175376 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7474] ppid=7467 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7474/stat : 7474 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624892928 12343 33554432000 4194304 4196468 140736160184512 140243105122576 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7475] ppid=7467 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7475/stat : 7475 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177595171 26624892928 12343 33554432000 4194304 4196468 140736160184512 140243104070288 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7476] ppid=7467 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7476/stat : 7476 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26624892928 12343 33554432000 4194304 4196468 140736160184512 140243103017488 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7477] ppid=7467 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/7470/task/7477/stat : 7477 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624892928 12343 33554432000 4194304 4196468 140736160184512 140243101965200 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7478] ppid=7467 vsize=26000872 memory=139920236704687 CPUtime=0 cores=0-7
/proc/7470/task/7478/stat : 7478 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26624892928 12343 33554432000 4194304 4196468 140736160184512 140243100912400 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7479] ppid=7467 vsize=26000872 memory=139920236706992 CPUtime=0 cores=0-7
/proc/7470/task/7479/stat : 7479 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26624892928 12343 33554432000 4194304 4196468 140736160184512 140243099860112 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7480] ppid=7467 vsize=26000872 memory=139920236709296 CPUtime=0 cores=0-7
/proc/7470/task/7480/stat : 7480 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26624892928 12343 33554432000 4194304 4196468 140736160184512 140243098807312 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7481] ppid=7467 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7481/stat : 7481 (java) S 7467 7470 7091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177595173 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242311989360 140243183606402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7482] ppid=7467 vsize=26000872 memory=279840473425552 CPUtime=0 cores=0-7
/proc/7470/task/7482/stat : 7482 (java) S 7467 7470 7091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177595173 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242310935328 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7483] ppid=7467 vsize=26000872 memory=279840473432464 CPUtime=0 cores=0-7
/proc/7470/task/7483/stat : 7483 (java) S 7467 7470 7091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177595173 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242309882992 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7484] ppid=7467 vsize=26000872 memory=279840473373744 CPUtime=0 cores=0-7
/proc/7470/task/7484/stat : 7484 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595176 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242308831312 140243183613851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7485] ppid=7467 vsize=26000872 memory=279840473446288 CPUtime=0.03 cores=0-7
/proc/7470/task/7485/stat : 7485 (java) S 7467 7470 7091 0 -1 1077944384 495 0 0 0 3 0 0 0 20 0 20 0 177595176 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242307779184 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7486] ppid=7467 vsize=26000872 memory=279840473453200 CPUtime=0.04 cores=0-7
/proc/7470/task/7486/stat : 7486 (java) S 7467 7470 7091 0 -1 1077944384 296 0 0 0 4 0 0 0 20 0 20 0 177595176 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242306726384 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7487] ppid=7467 vsize=26000872 memory=279840473450896 CPUtime=0.01 cores=0-7
/proc/7470/task/7487/stat : 7487 (java) S 7467 7470 7091 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 177595176 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242305674096 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7488] ppid=7467 vsize=26000872 memory=279840473467504 CPUtime=0.08 cores=0-7
/proc/7470/task/7488/stat : 7488 (java) R 7467 7470 7091 0 -1 4202560 495 0 0 0 8 0 0 0 20 0 20 0 177595176 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242304621296 140243183616602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7489] ppid=7467 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7489/stat : 7489 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177595176 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242303568224 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7490] ppid=7467 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/7470/task/7490/stat : 7490 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595176 26624892928 12343 33554432000 4194304 4196468 140736160184512 140242302515504 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49372 KiB

[startup+0.700897 s]
/proc/loadavg: 8.11 8.66 8.74 4/198 7490
/proc/meminfo: memFree=23630152/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=26002920 memory=88744 CPUtime=1.6 cores=0-7
/proc/7470/stat : 7470 (java) S 7467 7470 7091 0 -1 1077944320 14277 0 0 0 154 6 0 0 20 0 20 0 177595170 26626990080 22186 33554432000 4194304 4196468 140736160184512 140736160167056 140243183595255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
/proc/7470/statm: 6500730 22186 3781 1 0 6488444 0
[pid=7470/tid=7472] ppid=7467 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/7470/task/7472/stat : 7472 (java) R 7467 7470 7091 0 -1 4202560 8616 0 0 0 64 3 0 0 20 0 20 0 177595170 26626990080 22186 33554432000 4194304 4196468 140736160184512 140243187829184 140242778620180 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7473] ppid=7467 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7473/stat : 7473 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26626990080 22186 33554432000 4194304 4196468 140736160184512 140243106175376 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7474] ppid=7467 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7474/stat : 7474 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26626990080 22186 33554432000 4194304 4196468 140736160184512 140243105122576 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7475] ppid=7467 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/7470/task/7475/stat : 7475 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177595171 26626990080 22186 33554432000 4194304 4196468 140736160184512 140243104070288 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7476] ppid=7467 vsize=26002920 memory=792 CPUtime=0 cores=0-7
/proc/7470/task/7476/stat : 7476 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26626990080 22186 33554432000 4194304 4196468 140736160184512 140243103017488 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7477] ppid=7467 vsize=26002920 memory=948 CPUtime=0 cores=0-7
/proc/7470/task/7477/stat : 7477 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26626990080 22186 33554432000 4194304 4196468 140736160184512 140243101965200 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7478] ppid=7467 vsize=26002920 memory=10768 CPUtime=0 cores=0-7
/proc/7470/task/7478/stat : 7478 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26626990080 22186 33554432000 4194304 4196468 140736160184512 140243100912400 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7479] ppid=7467 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/7470/task/7479/stat : 7479 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177595171 26626990080 22186 33554432000 4194304 4196468 140736160184512 140243099860112 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7480] ppid=7467 vsize=26002920 memory=15828 CPUtime=0 cores=0-7
/proc/7470/task/7480/stat : 7480 (java) S 7467 7470 7091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177595171 26626990080 22186 33554432000 4194304 4196468 140736160184512 140243098807312 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7481] ppid=7467 vsize=26002920 memory=15796 CPUtime=0 cores=0-7
/proc/7470/task/7481/stat : 7481 (java) S 7467 7470 7091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177595173 26626990080 22186 33554432000 4194304 4196468 140736160184512 140242311989360 140243183606402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0

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

[pid=7470/tid=7494] ppid=7467 vsize=27544168 memory=4048 CPUtime=0.09 cores=0-7
/proc/7470/task/7494/stat : 7494 (java) S 7467 7470 7091 0 -1 1077944384 91 0 0 0 9 0 0 0 20 0 43 0 177596353 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242219676848 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7495] ppid=7467 vsize=27544168 memory=1228 CPUtime=2451.22 cores=0-7
/proc/7470/task/7495/stat : 7495 (java) R 7467 7470 7091 0 -1 4202560 60862 0 0 0 245066 56 0 0 20 0 43 0 177596353 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242216521472 140242786614536 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7496] ppid=7467 vsize=27544168 memory=5424 CPUtime=2450.72 cores=0-7
/proc/7470/task/7496/stat : 7496 (java) R 7467 7470 7091 0 -1 4202560 59965 0 0 0 245017 55 0 0 20 0 43 0 177596355 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242215468808 140242779723674 0 4 0 16800975 0 0 0 -1 7 0 0 33 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7497] ppid=7467 vsize=27544168 memory=4620 CPUtime=2449.22 cores=0-7
/proc/7470/task/7497/stat : 7497 (java) R 7467 7470 7091 0 -1 4202560 60118 0 0 0 244868 54 0 0 20 0 43 0 177596355 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242214417120 140242788226532 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7498] ppid=7467 vsize=27544168 memory=49080 CPUtime=2447.12 cores=0-7
/proc/7470/task/7498/stat : 7498 (java) R 7467 7470 7091 0 -1 4202560 65550 0 0 0 244653 59 0 0 20 0 43 0 177596355 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242213365344 140242780798784 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7499] ppid=7467 vsize=27544168 memory=1292 CPUtime=2450.05 cores=0-7
/proc/7470/task/7499/stat : 7499 (java) R 7467 7470 7091 0 -1 4202560 69260 0 0 0 244943 62 0 0 20 0 43 0 177596355 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242212311808 140242780799459 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7500] ppid=7467 vsize=27544168 memory=2428 CPUtime=0.08 cores=0-7
/proc/7470/task/7500/stat : 7500 (java) S 7467 7470 7091 0 -1 1077944384 36 0 0 0 8 0 0 0 20 0 43 0 177596355 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242211263408 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7501] ppid=7467 vsize=27544168 memory=5273648 CPUtime=0.07 cores=0-7
/proc/7470/task/7501/stat : 7501 (java) S 7467 7470 7091 0 -1 1077944384 51 0 0 0 7 0 0 0 20 0 43 0 177596355 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242210211120 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7502] ppid=7467 vsize=27544168 memory=5273648 CPUtime=2450.02 cores=0-7
/proc/7470/task/7502/stat : 7502 (java) R 7467 7470 7091 0 -1 4202560 64654 0 0 0 244940 62 0 0 20 0 43 0 177596356 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242209152520 140242780798565 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7503] ppid=7467 vsize=27544168 memory=4140 CPUtime=2449.19 cores=0-7
/proc/7470/task/7503/stat : 7503 (java) R 7467 7470 7091 0 -1 4202560 59569 0 0 0 244863 56 0 0 20 0 43 0 177596370 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242208100232 140242780799753 0 4 0 16800975 0 0 0 -1 0 0 0 37 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7504] ppid=7467 vsize=27544168 memory=5273648 CPUtime=0 cores=0-7
/proc/7470/task/7504/stat : 7504 (java) S 7467 7470 7091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 43 0 177596370 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242207053232 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7505] ppid=7467 vsize=27544168 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/7470/task/7505/stat : 7505 (java) S 7467 7470 7091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 43 0 177596370 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242205999920 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7506] ppid=7467 vsize=27544168 memory=5273648 CPUtime=0 cores=0-7
/proc/7470/task/7506/stat : 7506 (java) S 7467 7470 7091 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 43 0 177596370 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242204947120 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7507] ppid=7467 vsize=27544168 memory=5273648 CPUtime=0 cores=0-7
/proc/7470/task/7507/stat : 7507 (java) S 7467 7470 7091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 43 0 177596370 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242201760816 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7508] ppid=7467 vsize=27544168 memory=4140 CPUtime=0 cores=0-7
/proc/7470/task/7508/stat : 7508 (java) S 7467 7470 7091 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 43 0 177596376 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242200708016 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7509] ppid=7467 vsize=27544168 memory=5273648 CPUtime=0 cores=0-7
/proc/7470/task/7509/stat : 7509 (java) S 7467 7470 7091 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 43 0 177596377 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242199655728 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7510] ppid=7467 vsize=27544168 memory=7740678860465001042 CPUtime=0 cores=0-7
/proc/7470/task/7510/stat : 7510 (java) S 7467 7470 7091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 43 0 177596378 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242198602928 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7511] ppid=7467 vsize=27544168 memory=7740678860465001042 CPUtime=0 cores=0-7
/proc/7470/task/7511/stat : 7511 (java) S 7467 7470 7091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 43 0 177596379 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242197550640 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7512] ppid=7467 vsize=27544168 memory=7740678860465001042 CPUtime=0 cores=0-7
/proc/7470/task/7512/stat : 7512 (java) S 7467 7470 7091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 43 0 177596379 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242196497840 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7513] ppid=7467 vsize=27544168 memory=7740678860465001042 CPUtime=0 cores=0-7
/proc/7470/task/7513/stat : 7513 (java) S 7467 7470 7091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 43 0 177596379 28205228032 1318412 33554432000 4194304 4196468 140736160184512 140242195444528 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
Current children cumulated CPU time: 19728.5 s
Current children cumulated vsize: 27544168 KiB
Current children cumulated memory: 5273648 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520.01 s]*
/proc/loadavg: 8.95 8.76 8.72 11/222 7573
/proc/meminfo: memFree=18410964/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=27544168 memory=5270284 CPUtime=19868.4 cores=0-7
/proc/7470/stat : 7470 (java) S 7467 7470 7091 0 -1 1077944320 1413907 0 0 0 1985909 929 0 0 20 0 43 0 177595170 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140736160167056 140243183595255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
/proc/7470/statm: 6886042 1317571 3857 1 0 6873235 0
[pid=7470/tid=7472] ppid=7467 vsize=27544168 memory=-6733704525061579059 CPUtime=11.47 cores=0-7
/proc/7470/task/7472/stat : 7472 (java) S 7467 7470 7091 0 -1 1077944384 14445 0 0 0 1137 10 0 0 20 0 43 0 177595170 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140243187832960 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7473] ppid=7467 vsize=27544168 memory=4126316290023845779 CPUtime=12.93 cores=0-7
/proc/7470/task/7473/stat : 7473 (java) S 7467 7470 7091 0 -1 1077944384 76107 0 0 0 1248 45 0 0 20 0 43 0 177595171 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140243106175376 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7474] ppid=7467 vsize=27544168 memory=4108 CPUtime=12.91 cores=0-7
/proc/7470/task/7474/stat : 7474 (java) S 7467 7470 7091 0 -1 1077944384 85548 0 0 0 1246 45 0 0 20 0 43 0 177595171 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140243105122576 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7475] ppid=7467 vsize=27544168 memory=5273648 CPUtime=12.98 cores=0-7
/proc/7470/task/7475/stat : 7475 (java) S 7467 7470 7091 0 -1 1077944384 86472 0 0 0 1250 48 0 0 20 0 43 0 177595171 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140243104070288 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7476] ppid=7467 vsize=27544168 memory=4126316290023845779 CPUtime=12.89 cores=0-7
/proc/7470/task/7476/stat : 7476 (java) S 7467 7470 7091 0 -1 1077944384 77933 0 0 0 1244 45 0 0 20 0 43 0 177595171 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140243103017488 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7477] ppid=7467 vsize=27544168 memory=1228 CPUtime=12.91 cores=0-7
/proc/7470/task/7477/stat : 7477 (java) S 7467 7470 7091 0 -1 1077944384 78816 0 0 0 1250 41 0 0 20 0 43 0 177595171 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140243101965200 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7478] ppid=7467 vsize=27544168 memory=5424 CPUtime=12.88 cores=0-7
/proc/7470/task/7478/stat : 7478 (java) S 7467 7470 7091 0 -1 1077944384 78633 0 0 0 1243 45 0 0 20 0 43 0 177595171 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140243100912400 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7479] ppid=7467 vsize=27544168 memory=5273648 CPUtime=12.89 cores=0-7
/proc/7470/task/7479/stat : 7479 (java) S 7467 7470 7091 0 -1 1077944384 82577 0 0 0 1245 44 0 0 20 0 43 0 177595171 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140243099860112 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7480] ppid=7467 vsize=27544168 memory=2428 CPUtime=12.87 cores=0-7
/proc/7470/task/7480/stat : 7480 (java) S 7467 7470 7091 0 -1 1077944384 83780 0 0 0 1243 44 0 0 20 0 43 0 177595171 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140243098807312 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7481] ppid=7467 vsize=27544168 memory=1844 CPUtime=8.07 cores=0-7
/proc/7470/task/7481/stat : 7481 (java) S 7467 7470 7091 0 -1 1077944384 172934 0 0 0 720 87 0 0 20 0 43 0 177595173 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242311989360 140243183606402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7482] ppid=7467 vsize=27544168 memory=1944 CPUtime=0 cores=0-7
/proc/7470/task/7482/stat : 7482 (java) S 7467 7470 7091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 43 0 177595173 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242310935392 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7483] ppid=7467 vsize=27544168 memory=1696 CPUtime=0 cores=0-7
/proc/7470/task/7483/stat : 7483 (java) S 7467 7470 7091 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 43 0 177595173 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242309883008 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7484] ppid=7467 vsize=27544168 memory=1228 CPUtime=0 cores=0-7
/proc/7470/task/7484/stat : 7484 (java) S 7467 7470 7091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 43 0 177595176 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242308831312 140243183613851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7485] ppid=7467 vsize=27544168 memory=5424 CPUtime=1.29 cores=0-7
/proc/7470/task/7485/stat : 7485 (java) S 7467 7470 7091 0 -1 1077944384 9450 0 0 0 126 3 0 0 20 0 43 0 177595176 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242307779184 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7486] ppid=7467 vsize=27544168 memory=4620 CPUtime=1.34 cores=0-7
/proc/7470/task/7486/stat : 7486 (java) S 7467 7470 7091 0 -1 1077944384 6682 0 0 0 133 1 0 0 20 0 43 0 177595176 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242306726384 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7487] ppid=7467 vsize=27544168 memory=1396 CPUtime=1.25 cores=0-7
/proc/7470/task/7487/stat : 7487 (java) S 7467 7470 7091 0 -1 1077944384 8100 0 0 0 123 2 0 0 20 0 43 0 177595176 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242305674096 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7488] ppid=7467 vsize=27544168 memory=279840476684112 CPUtime=0.9 cores=0-7
/proc/7470/task/7488/stat : 7488 (java) S 7467 7470 7091 0 -1 1077944384 12881 0 0 0 87 3 0 0 20 0 43 0 177595176 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242304621296 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7489] ppid=7467 vsize=27544168 memory=4140 CPUtime=0 cores=0-7
/proc/7470/task/7489/stat : 7489 (java) S 7467 7470 7091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 177595176 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242303568224 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7490] ppid=7467 vsize=27544168 memory=49080 CPUtime=0.67 cores=0-7
/proc/7470/task/7490/stat : 7490 (java) S 7467 7470 7091 0 -1 1077944384 8825 0 0 0 36 31 0 0 20 0 43 0 177595176 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242302515504 140243183606402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7491] ppid=7467 vsize=27544168 memory=1292 CPUtime=0 cores=0-7
/proc/7470/task/7491/stat : 7491 (java) S 7467 7470 7091 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 43 0 177596331 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242224931712 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7492] ppid=7467 vsize=27544168 memory=2428 CPUtime=2.06 cores=0-7
/proc/7470/task/7492/stat : 7492 (java) R 7467 7470 7091 0 -1 1077944384 16752 0 0 0 82 124 0 0 20 0 43 0 177596342 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242221782048 140243183606402 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7493] ppid=7467 vsize=27544168 memory=1844 CPUtime=2468.85 cores=0-7
/proc/7470/task/7493/stat : 7493 (java) R 7467 7470 7091 0 -1 4202560 64670 0 0 0 246825 60 0 0 20 0 43 0 177596352 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242220726672 140242784434688 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7494] ppid=7467 vsize=27544168 memory=1944 CPUtime=0.09 cores=0-7
/proc/7470/task/7494/stat : 7494 (java) S 7467 7470 7091 0 -1 1077944384 91 0 0 0 9 0 0 0 20 0 43 0 177596353 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242219676848 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7495] ppid=7467 vsize=27544168 memory=1696 CPUtime=2468.6 cores=0-7
/proc/7470/task/7495/stat : 7495 (java) R 7467 7470 7091 0 -1 4202560 62005 0 0 0 246804 56 0 0 20 0 43 0 177596353 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242216523368 140242788226663 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7496] ppid=7467 vsize=27544168 memory=1228 CPUtime=2468.06 cores=0-7
/proc/7470/task/7496/stat : 7496 (java) R 7467 7470 7091 0 -1 4202560 60922 0 0 0 246751 55 0 0 20 0 43 0 177596355 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242215468808 140242780798584 0 4 0 16800975 0 0 0 -1 1 0 0 33 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7497] ppid=7467 vsize=27544168 memory=5424 CPUtime=2466.57 cores=0-7
/proc/7470/task/7497/stat : 7497 (java) R 7467 7470 7091 0 -1 4202560 61066 0 0 0 246603 54 0 0 20 0 43 0 177596355 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242214415720 140242780799031 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7498] ppid=7467 vsize=27544168 memory=4620 CPUtime=2464.46 cores=0-7
/proc/7470/task/7498/stat : 7498 (java) R 7467 7470 7091 0 -1 4202560 66765 0 0 0 246386 60 0 0 20 0 43 0 177596355 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242213364456 140242780798607 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7499] ppid=7467 vsize=27544168 memory=1396 CPUtime=2467.3 cores=0-7
/proc/7470/task/7499/stat : 7499 (java) R 7467 7470 7091 0 -1 4202560 70469 0 0 0 246668 62 0 0 20 0 43 0 177596355 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242212312168 140242780800047 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7500] ppid=7467 vsize=27544168 memory=13160 CPUtime=0.08 cores=0-7
/proc/7470/task/7500/stat : 7500 (java) S 7467 7470 7091 0 -1 1077944384 36 0 0 0 8 0 0 0 20 0 43 0 177596355 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242211263408 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7501] ppid=7467 vsize=27544168 memory=792 CPUtime=0.07 cores=0-7
/proc/7470/task/7501/stat : 7501 (java) S 7467 7470 7091 0 -1 1077944384 51 0 0 0 7 0 0 0 20 0 43 0 177596355 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242210211120 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7502] ppid=7467 vsize=27544168 memory=948 CPUtime=2467.34 cores=0-7
/proc/7470/task/7502/stat : 7502 (java) R 7467 7470 7091 0 -1 4202560 65825 0 0 0 246671 63 0 0 20 0 43 0 177596356 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242209152520 140242784321728 0 4 0 16800975 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7503] ppid=7467 vsize=27544168 memory=10768 CPUtime=2466.41 cores=0-7
/proc/7470/task/7503/stat : 7503 (java) R 7467 7470 7091 0 -1 4202560 60311 0 0 0 246584 57 0 0 20 0 43 0 177596370 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242208101744 140242780799680 0 4 0 16800975 0 0 0 -1 4 0 0 38 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7504] ppid=7467 vsize=27544168 memory=1204 CPUtime=0 cores=0-7
/proc/7470/task/7504/stat : 7504 (java) S 7467 7470 7091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 43 0 177596370 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242207053232 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7505] ppid=7467 vsize=27544168 memory=15828 CPUtime=0 cores=0-7
/proc/7470/task/7505/stat : 7505 (java) S 7467 7470 7091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 43 0 177596370 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242205999920 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7506] ppid=7467 vsize=27544168 memory=15796 CPUtime=0 cores=0-7
/proc/7470/task/7506/stat : 7506 (java) S 7467 7470 7091 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 43 0 177596370 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242204947120 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7507] ppid=7467 vsize=27544168 memory=4048 CPUtime=0 cores=0-7
/proc/7470/task/7507/stat : 7507 (java) S 7467 7470 7091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 43 0 177596370 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242201760816 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7508] ppid=7467 vsize=27544168 memory=26896 CPUtime=0 cores=0-7
/proc/7470/task/7508/stat : 7508 (java) S 7467 7470 7091 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 43 0 177596376 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242200708016 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7509] ppid=7467 vsize=27544168 memory=7528 CPUtime=0 cores=0-7
/proc/7470/task/7509/stat : 7509 (java) S 7467 7470 7091 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 43 0 177596377 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242199655728 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7510] ppid=7467 vsize=27544168 memory=840 CPUtime=0 cores=0-7
/proc/7470/task/7510/stat : 7510 (java) S 7467 7470 7091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 43 0 177596378 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242198602928 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7511] ppid=7467 vsize=27544168 memory=1696 CPUtime=0 cores=0-7
/proc/7470/task/7511/stat : 7511 (java) S 7467 7470 7091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 43 0 177596379 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242197550640 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7512] ppid=7467 vsize=27544168 memory=920 CPUtime=0 cores=0-7
/proc/7470/task/7512/stat : 7512 (java) S 7467 7470 7091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 43 0 177596379 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242196497840 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
[pid=7470/tid=7513] ppid=7467 vsize=27544168 memory=4116 CPUtime=0 cores=0-7
/proc/7470/task/7513/stat : 7513 (java) S 7467 7470 7091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 43 0 177596379 28205228032 1317571 33554432000 4194304 4196468 140736160184512 140242195444528 140243183605461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23293952 140736160191586 140736160191771 140736160191771 140736160194511 0
Current children cumulated CPU time: 19868.4 s
Current children cumulated vsize: 27544168 KiB
Current children cumulated memory: 5270284 KiB

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

[startup+2520.16 s]
# the end of solver process 7470 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19859.8 s, system=9.33432 s

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

[startup+2520.12 s]*
/proc/loadavg: 8.95 8.76 8.72 2/181 7575
/proc/meminfo: memFree=19216640/32770624 swapFree=67108860/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): 2520.16
CPU time (s): 19869.1
CPU user time (s): 19859.8
CPU system time (s): 9.33432
CPU usage (%): 788.409
Max. virtual memory (cumulated for all children) (KiB): 27544168
Max. memory (cumulated for all children) (KiB): 5303752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19859.8
system time used= 9.33432
maximum resident set size= 5304228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1416710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 810055
involuntary context switches= 425400


# summary of solver processes directly reported to runsolver:
#   pid: 7470
#   total CPU time (s): 19869.1
#   total CPU user time (s): 19859.8
#   total CPU system time (s): 9.33432

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.5339 second user time and 31.4665 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-23 01:23:35
IDJOB=4284719
IDBENCH=133715
IDSOLVER=2681
FILE ID=node114/4284719-1503445076
RUNJOBID= node114-1503439171-7118
PBS_JOBID= 20632148
Free space on /tmp= 61024 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r2.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284719-1503445076/watcher-4284719-1503445076 -o /tmp/evaluation-result-4284719-1503445076/solver-4284719-1503445076 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503439171-7118 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 125832196 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284719-1503445076.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1feceec156c21411e87c939d9e284415
RANDOM SEED=125832196

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        23680080 kB
MemAvailable:   31945268 kB
Buffers:          178112 kB
Cached:          8368476 kB
SwapCached:            0 kB
Active:          2659436 kB
Inactive:        5941656 kB
Active(anon):       5564 kB
Inactive(anon):    93520 kB
Active(file):    2653872 kB
Inactive(file):  5848136 kB
Unevictable:        7248 kB
Mlocked:            7248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42344 kB
Writeback:            32 kB
AnonPages:         61180 kB
Mapped:            54408 kB
Shmem:             41608 kB
Slab:             184352 kB
SReclaimable:     158028 kB
SUnreclaim:        26324 kB
KernelStack:        3088 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     340488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 60980 MiB
End job on node114 at 2017-08-23 02:05:35