Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.12.2 | SAT (TO) | 14 | 2400.09 | 2358.93 |
Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml |
MD5SUM | 1feceec156c21411e87c939d9e284415 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 2003.34 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3001 |
Number of constraints | 54 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":3001}] |
Minimum variable degree | 2 |
Maximum variable degree | 9 |
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 arity | 139 |
Maximum constraint arity | 479 |
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 constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":54}] |
Optimization problem | YES |
Type of objective | min SUM |
0.75/0.60 c Concrete v3.12.2.1568631193530 running 29.54/12.37 o 17 29.54/12.40 o 16 31.63/13.22 o 15 33.57/14.73 o 14 2400.04/2358.90 Exception in thread "main" java.util.concurrent.TimeoutException 2400.04/2358.91 at concrete.MAC.mac(MAC.scala:192) 2400.04/2358.91 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2400.04/2358.91 at scala.util.Try$.apply(Try.scala:212) 2400.04/2358.91 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2400.04/2358.91 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2400.04/2358.91 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2400.04/2358.91 at concrete.MAC.oneRun(MAC.scala:265) 2400.04/2358.91 at concrete.MAC.nextSolution(MAC.scala:284) 2400.04/2358.91 at concrete.MAC.nextSolution(MAC.scala:369) 2400.04/2358.91 at concrete.Solver.hasNext(Solver.scala:160) 2400.04/2358.91 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.04/2358.91 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.04/2358.91 at concrete.Solver.foreach(Solver.scala:67) 2400.04/2358.91 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2400.04/2358.91 at scala.util.Success.map(Try.scala:264) 2400.04/2358.91 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2400.04/2358.91 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2400.04/2358.91 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.04/2358.91 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2400.04/2358.91 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.04/2358.91 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2400.04/2358.91 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2400.04/2358.91 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2400.04/2358.91 at scala.App.$anonfun$main$1(App.scala:75) 2400.04/2358.91 at scala.App.$anonfun$main$1$adapted(App.scala:75) 2400.04/2358.91 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576) 2400.04/2358.91 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574) 2400.04/2358.91 at scala.collection.AbstractIterable.foreach(Iterable.scala:904) 2400.04/2358.91 at scala.App.main(App.scala:75) 2400.04/2358.91 at scala.App.main$(App.scala:73) 2400.04/2358.91 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.04/2358.91 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.04/2358.92 v <instantiation 2400.04/2358.92 v cost = '14'> 2400.04/2358.92 v <list> 2400.04/2358.92 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] 2400.04/2358.92 v </list> 2400.04/2358.92 v <values> 2400.04/2358.92 v 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 1 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2400.04/2358.92 v </values> 2400.04/2358.92 v </instantiation> 2400.04/2358.92 s SATISFIABLE
OK 14
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: 16375 MiB (13677 MiB free) memory of node 1: 16384 MiB (15466 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401457-1568684652/watcher-4401457-1568684652 -o /tmp/evaluation-result-4401457-1568684652/solver-4401457-1568684652 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568673291-31569 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=434527036 HOME/instance-4401457-1568684652.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=2237, runsolver pid=2234 [startup+0.10009 s]* /proc/loadavg: 1.51 1.42 1.39 2/216 2290 /proc/meminfo: memFree=29838796/32770688 swapFree=66961208/67108860 [pid=2237] ppid=2234 vsize=9972712 memory=16024 CPUtime=0.09 cores=4-7 /proc/2237/stat : 2237 (java) S 2234 2237 31537 0 -1 1077944320 4211 13011 0 0 1 0 5 3 20 0 6 0 444406900 10212057088 3940 33554432000 4194304 4196468 140729061577648 140729061560192 140181522726647 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 /proc/2237/statm: 2493178 3940 1833 1 0 2481616 0 [pid=2237/tid=2290] ppid=2234 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=4-7 /proc/2237/task/2290/stat : 2290 (java) R 2234 2237 31537 0 -1 4202560 2130 13011 0 0 0 0 5 3 20 0 6 0 444406910 10212057088 4072 33554432000 4194304 4196468 140729061577648 140181494563408 140181522748573 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2291] ppid=2234 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=4-7 /proc/2237/task/2291/stat : 2291 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 444406911 10212057088 4072 33554432000 4194304 4196468 140729061577648 140181526968848 140181522736853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2292] ppid=2234 vsize=9972712 memory=139686341899904 CPUtime=0.08 cores=4-7 /proc/2237/task/2292/stat : 2292 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 444406911 10212057088 4072 33554432000 4194304 4196468 140729061577648 140181425859216 140181522736853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2293] ppid=2234 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2293/stat : 2293 (java) S 2234 2237 31537 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 6 0 444406911 10212057088 4072 33554432000 4194304 4196468 140729061577648 140181094918416 140181522736853 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2294] ppid=2234 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7 /proc/2237/task/2294/stat : 2294 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 6 0 444406911 10212057088 4072 33554432000 4194304 4196468 140729061577648 140181093865872 140181522736853 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 16024 KiB [startup+0.211246 s]* /proc/loadavg: 1.51 1.42 1.39 3/229 2303 /proc/meminfo: memFree=29817024/32770688 swapFree=66961208/67108860 [pid=2237] ppid=2234 vsize=10819712 memory=39212 CPUtime=0.26 cores=4-7 /proc/2237/stat : 2237 (java) S 2234 2237 31537 0 -1 1077944320 7148 13011 0 0 17 1 5 3 20 0 15 0 444406900 11079385088 9803 33554432000 4194304 4196468 140729061577648 140729061560192 140181522726647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 /proc/2237/statm: 2704928 9803 3173 1 0 2667149 0 [pid=2237/tid=2290] ppid=2234 vsize=10819712 memory=8389772277269004345 CPUtime=0.2 cores=4-7 /proc/2237/task/2290/stat : 2290 (java) R 2234 2237 31537 0 -1 4202560 3667 13011 0 0 11 1 5 3 20 0 15 0 444406910 11079385088 9803 33554432000 4194304 4196468 140729061577648 140181494557488 140181522748573 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2291] ppid=2234 vsize=10819712 memory=4294967661 CPUtime=0.08 cores=4-7 /proc/2237/task/2291/stat : 2291 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406911 11079385088 9803 33554432000 4194304 4196468 140729061577648 140181526968848 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2292] ppid=2234 vsize=10819712 memory=288370062493611648 CPUtime=0.08 cores=4-7 /proc/2237/task/2292/stat : 2292 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406911 11079385088 9803 33554432000 4194304 4196468 140729061577648 140181425859216 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2293] ppid=2234 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2293/stat : 2293 (java) S 2234 2237 31537 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444406911 11079385088 9803 33554432000 4194304 4196468 140729061577648 140181094918416 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2294] ppid=2234 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7 /proc/2237/task/2294/stat : 2294 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406911 11079385088 9803 33554432000 4194304 4196468 140729061577648 140181093865872 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2295] ppid=2234 vsize=10819712 memory=139686341899904 CPUtime=0.08 cores=4-7 /proc/2237/task/2295/stat : 2295 (java) S 2234 2237 31537 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444406912 11079385088 9803 33554432000 4194304 4196468 140729061577648 140180982057712 140181522737794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2296] ppid=2234 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7 /proc/2237/task/2296/stat : 2296 (java) S 2234 2237 31537 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 444406913 11079385088 9803 33554432000 4194304 4196468 140729061577648 140180417668768 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2297] ppid=2234 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2297/stat : 2297 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406913 11079385088 9803 33554432000 4194304 4196468 140729061577648 140180283450608 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2298] ppid=2234 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2298/stat : 2298 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11079385088 9803 33554432000 4194304 4196468 140729061577648 140180043160016 140181522745243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2299] ppid=2234 vsize=10819712 memory=0 CPUtime=0.09 cores=4-7 /proc/2237/task/2299/stat : 2299 (java) S 2234 2237 31537 0 -1 1077944384 466 13011 0 0 1 0 5 3 20 0 15 0 444406916 11079385088 9803 33554432000 4194304 4196468 140729061577648 140180981004528 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2300] ppid=2234 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7 /proc/2237/task/2300/stat : 2300 (java) S 2234 2237 31537 0 -1 1077944384 187 13011 0 0 0 0 5 3 20 0 15 0 444406916 11079385088 9803 33554432000 4194304 4196468 140729061577648 140180979951984 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2301] ppid=2234 vsize=10819712 memory=139686341899904 CPUtime=0.11 cores=4-7 /proc/2237/task/2301/stat : 2301 (java) R 2234 2237 31537 0 -1 4202560 592 13011 0 0 3 0 5 3 20 0 15 0 444406916 11079385088 9803 33554432000 4194304 4196468 140729061577648 140180978898928 140181506971203 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2302] ppid=2234 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7 /proc/2237/task/2302/stat : 2302 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11079385088 9803 33554432000 4194304 4196468 140729061577648 140180009601376 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2303] ppid=2234 vsize=10819712 memory=139686341899904 CPUtime=0.08 cores=4-7 /proc/2237/task/2303/stat : 2303 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406917 11079385088 9803 33554432000 4194304 4196468 140729061577648 140180977847344 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 10819712 KiB Current children cumulated memory: 39212 KiB [startup+0.311658 s]* /proc/loadavg: 1.51 1.42 1.39 5/229 2303 /proc/meminfo: memFree=29804520/32770688 swapFree=66961208/67108860 [pid=2237] ppid=2234 vsize=10820196 memory=50400 CPUtime=0.4 cores=4-7 /proc/2237/stat : 2237 (java) S 2234 2237 31537 0 -1 1077944320 10782 13011 0 0 29 3 5 3 20 0 15 0 444406900 11079880704 12600 33554432000 4194304 4196468 140729061577648 140729061560192 140181522726647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 /proc/2237/statm: 2705049 12600 3306 1 0 2667149 0 [pid=2237/tid=2290] ppid=2234 vsize=10820196 memory=-8171376296011865461 CPUtime=0.29 cores=4-7 /proc/2237/task/2290/stat : 2290 (java) R 2234 2237 31537 0 -1 4202560 7288 13011 0 0 19 2 5 3 20 0 15 0 444406910 11079880704 12600 33554432000 4194304 4196468 140729061577648 140181494535600 140181506807134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2291] ppid=2234 vsize=10820196 memory=3691042062614867976 CPUtime=0.08 cores=4-7 /proc/2237/task/2291/stat : 2291 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406911 11079880704 12600 33554432000 4194304 4196468 140729061577648 140181526968848 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2292] ppid=2234 vsize=10820196 memory=139686341899904 CPUtime=0.08 cores=4-7 /proc/2237/task/2292/stat : 2292 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406911 11079880704 12600 33554432000 4194304 4196468 140729061577648 140181425859216 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2293] ppid=2234 vsize=10820196 memory=2209 CPUtime=0.08 cores=4-7 /proc/2237/task/2293/stat : 2293 (java) S 2234 2237 31537 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444406911 11079880704 12600 33554432000 4194304 4196468 140729061577648 140181094918416 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2294] ppid=2234 vsize=10820196 memory=2240 CPUtime=0.08 cores=4-7 /proc/2237/task/2294/stat : 2294 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406911 11079880704 12600 33554432000 4194304 4196468 140729061577648 140181093865872 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2295] ppid=2234 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2295/stat : 2295 (java) S 2234 2237 31537 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444406912 11079880704 12600 33554432000 4194304 4196468 140729061577648 140180982057712 140181522737794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2296] ppid=2234 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7 /proc/2237/task/2296/stat : 2296 (java) S 2234 2237 31537 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 444406913 11079880704 12600 33554432000 4194304 4196468 140729061577648 140180417668768 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2297] ppid=2234 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2297/stat : 2297 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406913 11079880704 12600 33554432000 4194304 4196468 140729061577648 140180283450608 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2298] ppid=2234 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2298/stat : 2298 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11079880704 12600 33554432000 4194304 4196468 140729061577648 140180043160016 140181522745243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2299] ppid=2234 vsize=10820196 memory=0 CPUtime=0.1 cores=4-7 /proc/2237/task/2299/stat : 2299 (java) S 2234 2237 31537 0 -1 1077944384 467 13011 0 0 2 0 5 3 20 0 15 0 444406916 11079880704 12600 33554432000 4194304 4196468 140729061577648 140180981004528 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2300] ppid=2234 vsize=10820196 memory=-1 CPUtime=0.09 cores=4-7 /proc/2237/task/2300/stat : 2300 (java) S 2234 2237 31537 0 -1 1077944384 196 13011 0 0 1 0 5 3 20 0 15 0 444406916 11079880704 12600 33554432000 4194304 4196468 140729061577648 140180979951984 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2301] ppid=2234 vsize=10820196 memory=139686341899904 CPUtime=0.13 cores=4-7 /proc/2237/task/2301/stat : 2301 (java) R 2234 2237 31537 0 -1 4202560 601 13011 0 0 5 0 5 3 20 0 15 0 444406916 11079880704 12600 33554432000 4194304 4196468 140729061577648 140180978898928 140181501358287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2302] ppid=2234 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7 /proc/2237/task/2302/stat : 2302 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11079880704 12600 33554432000 4194304 4196468 140729061577648 140180009601376 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2303] ppid=2234 vsize=10820196 memory=139686341899904 CPUtime=0.08 cores=4-7 /proc/2237/task/2303/stat : 2303 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406917 11079880704 12600 33554432000 4194304 4196468 140729061577648 140180977847344 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 10820196 KiB Current children cumulated memory: 50400 KiB [startup+0.700745 s] /proc/loadavg: 1.51 1.42 1.39 3/229 2303 /proc/meminfo: memFree=29793012/32770688 swapFree=66961208/67108860 [pid=2237] ppid=2234 vsize=10822316 memory=77768 CPUtime=1.06 cores=4-7 /proc/2237/stat : 2237 (java) S 2234 2237 31537 0 -1 1077944320 14658 13011 0 0 93 5 5 3 20 0 15 0 444406900 11082051584 19442 33554432000 4194304 4196468 140729061577648 140729061560192 140181522726647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 /proc/2237/statm: 2705579 19442 3508 1 0 2667661 0 [pid=2237/tid=2290] ppid=2234 vsize=10822316 memory=139689516335678 CPUtime=0.67 cores=4-7 /proc/2237/task/2290/stat : 2290 (java) R 2234 2237 31537 0 -1 4202560 10170 13011 0 0 55 4 5 3 20 0 15 0 444406910 11082051584 19442 33554432000 4194304 4196468 140729061577648 140181494554976 140181522748573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2291] ppid=2234 vsize=10822316 memory=139689516335679 CPUtime=0.08 cores=4-7 /proc/2237/task/2291/stat : 2291 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406911 11082051584 19442 33554432000 4194304 4196468 140729061577648 140181526968848 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2292] ppid=2234 vsize=10822316 memory=139689516335680 CPUtime=0.08 cores=4-7 /proc/2237/task/2292/stat : 2292 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406911 11082051584 19442 33554432000 4194304 4196468 140729061577648 140181425859216 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2293] ppid=2234 vsize=10822316 memory=6028 CPUtime=0.08 cores=4-7 /proc/2237/task/2293/stat : 2293 (java) S 2234 2237 31537 0 -1 1077944384 2 13011 0 0 0 0 5 3 20 0 15 0 444406911 11082051584 19442 33554432000 4194304 4196468 140729061577648 140181094918416 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2294] ppid=2234 vsize=10822316 memory=6297835844906604903 CPUtime=0.08 cores=4-7 /proc/2237/task/2294/stat : 2294 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406911 11082051584 19442 33554432000 4194304 4196468 140729061577648 140181093865872 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2295] ppid=2234 vsize=10822316 memory=7597128731138352721 CPUtime=0.08 cores=4-7 /proc/2237/task/2295/stat : 2295 (java) S 2234 2237 31537 0 -1 1077944384 5 13011 0 0 0 0 5 3 20 0 15 0 444406912 11082051584 19442 33554432000 4194304 4196468 140729061577648 140180982057712 140181522737794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2296] ppid=2234 vsize=10822316 memory=5859271421084128616 CPUtime=0.08 cores=4-7 /proc/2237/task/2296/stat : 2296 (java) S 2234 2237 31537 0 -1 1077944384 13 13011 0 0 0 0 5 3 20 0 15 0 444406913 11082051584 19442 33554432000 4194304 4196468 140729061577648 140180417668768 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2297] ppid=2234 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2297/stat : 2297 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406913 11082051584 19442 33554432000 4194304 4196468 140729061577648 140180283450608 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2298] ppid=2234 vsize=10822316 memory=3612 CPUtime=0.08 cores=4-7 /proc/2237/task/2298/stat : 2298 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11082051584 19442 33554432000 4194304 4196468 140729061577648 140180043160016 140181522745243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2299] ppid=2234 vsize=10822316 memory=46436 CPUtime=0.18 cores=4-7 /proc/2237/task/2299/stat : 2299 (java) R 2234 2237 31537 0 -1 4202560 937 13011 0 0 10 0 5 3 20 0 15 0 444406916 11082051584 19442 33554432000 4194304 4196468 140729061577648 140180980990552 140181504270370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2300] ppid=2234 vsize=10822316 memory=4548 CPUtime=0.17 cores=4-7 /proc/2237/task/2300/stat : 2300 (java) R 2234 2237 31537 0 -1 4202560 533 13011 0 0 9 0 5 3 20 0 15 0 444406916 11082051584 19442 33554432000 4194304 4196468 140729061577648 140180979940032 140181504270370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2301] ppid=2234 vsize=10822316 memory=288230617492226348 CPUtime=0.25 cores=4-7 /proc/2237/task/2301/stat : 2301 (java) S 2234 2237 31537 0 -1 1077944384 777 13011 0 0 17 0 5 3 20 0 15 0 444406916 11082051584 19442 33554432000 4194304 4196468 140729061577648 140180978898928 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2302] ppid=2234 vsize=10822316 memory=14417007739143609 CPUtime=0.08 cores=4-7 /proc/2237/task/2302/stat : 2302 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11082051584 19442 33554432000 4194304 4196468 140729061577648 140180009601376 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2303] ppid=2234 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2303/stat : 2303 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406917 11082051584 19442 33554432000 4194304 4196468 140729061577648 140180977847344 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 Current children cumulated CPU time: 1.06 s Current children cumulated vsize: 10822316 KiB Current children cumulated memory: 77768 KiB [startup+1.50079 s] /proc/loadavg: 1.51 1.42 1.39 6/229 2303 /proc/meminfo: memFree=29742660/32770688 swapFree=66961208/67108860 [pid=2237] ppid=2234 vsize=10832632 memory=202200 CPUtime=2.98 cores=4-7 /proc/2237/stat : 2237 (java) S 2234 2237 31537 0 -1 1077944320 26663 13011 0 0 279 11 5 3 20 0 15 0 444406900 11092615168 50550 33554432000 4194304 4196468 140729061577648 140729061560192 140181522726647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 /proc/2237/statm: 2708158 50550 3583 1 0 2670221 0 [pid=2237/tid=2290] ppid=2234 vsize=10832632 memory=6737 CPUtime=1.42 cores=4-7 /proc/2237/task/2290/stat : 2290 (java) R 2234 2237 31537 0 -1 4202560 16174 13011 0 0 128 6 5 3 20 0 15 0 444406910 11092615168 50550 33554432000 4194304 4196468 140729061577648 140181494557440 140181506807134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2291] ppid=2234 vsize=10832632 memory=15820010349255918 CPUtime=0.09 cores=4-7 /proc/2237/task/2291/stat : 2291 (java) S 2234 2237 31537 0 -1 1077944384 264 13011 0 0 1 0 5 3 20 0 15 0 444406911 11092615168 50550 33554432000 4194304 4196468 140729061577648 140181526968848 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2292] ppid=2234 vsize=10832632 memory=11782101928426 CPUtime=0.09 cores=4-7 /proc/2237/task/2292/stat : 2292 (java) S 2234 2237 31537 0 -1 1077944384 25 13011 0 0 1 0 5 3 20 0 15 0 444406911 11092615168 50550 33554432000 4194304 4196468 140729061577648 140181425859216 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2293] ppid=2234 vsize=10832632 memory=279372456427192 CPUtime=0.09 cores=4-7 /proc/2237/task/2293/stat : 2293 (java) S 2234 2237 31537 0 -1 1077944384 48 13011 0 0 1 0 5 3 20 0 15 0 444406911 11092615168 50550 33554432000 4194304 4196468 140729061577648 140181094918416 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2294] ppid=2234 vsize=10832632 memory=279372456104856 CPUtime=0.09 cores=4-7 /proc/2237/task/2294/stat : 2294 (java) S 2234 2237 31537 0 -1 1077944384 58 13011 0 0 1 0 5 3 20 0 15 0 444406911 11092615168 50550 33554432000 4194304 4196468 140729061577648 140181093865872 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2295] ppid=2234 vsize=10832632 memory=0 CPUtime=0.09 cores=4-7 /proc/2237/task/2295/stat : 2295 (java) S 2234 2237 31537 0 -1 1077944384 109 13011 0 0 1 0 5 3 20 0 15 0 444406912 11092615168 50550 33554432000 4194304 4196468 140729061577648 140180982057712 140181522737794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2296] ppid=2234 vsize=10832632 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2296/stat : 2296 (java) S 2234 2237 31537 0 -1 1077944384 14 13011 0 0 0 0 5 3 20 0 15 0 444406913 11092615168 50550 33554432000 4194304 4196468 140729061577648 140180417668768 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2297] ppid=2234 vsize=10832632 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2297/stat : 2297 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406913 11092615168 50550 33554432000 4194304 4196468 140729061577648 140180283450608 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2298] ppid=2234 vsize=10832632 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2298/stat : 2298 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11092615168 50550 33554432000 4194304 4196468 140729061577648 140180043160016 140181522745243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2299] ppid=2234 vsize=10832632 memory=0 CPUtime=0.56 cores=4-7 /proc/2237/task/2299/stat : 2299 (java) S 2234 2237 31537 0 -1 1077944384 2623 13011 0 0 48 0 5 3 20 0 15 0 444406916 11092615168 50550 33554432000 4194304 4196468 140729061577648 140180981004528 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2300] ppid=2234 vsize=10832632 memory=0 CPUtime=0.62 cores=4-7 /proc/2237/task/2300/stat : 2300 (java) S 2234 2237 31537 0 -1 1077944384 3441 13011 0 0 54 0 5 3 20 0 15 0 444406916 11092615168 50550 33554432000 4194304 4196468 140729061577648 140180979951984 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2301] ppid=2234 vsize=10832632 memory=279372456218976 CPUtime=0.46 cores=4-7 /proc/2237/task/2301/stat : 2301 (java) S 2234 2237 31537 0 -1 1077944384 1689 13011 0 0 38 0 5 3 20 0 15 0 444406916 11092615168 50550 33554432000 4194304 4196468 140729061577648 140180978898928 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2302] ppid=2234 vsize=10832632 memory=0 CPUtime=0.08 cores=4-7 /proc/2237/task/2302/stat : 2302 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11092615168 50550 33554432000 4194304 4196468 140729061577648 140180009601376 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2303] ppid=2234 vsize=10832632 memory=6944652177228980320 CPUtime=0.08 cores=4-7 /proc/2237/task/2303/stat : 2303 (java) S 2234 2237 31537 0 -1 1077944384 1 13011 0 0 0 0 5 3 20 0 15 0 444406917 11092615168 50550 33554432000 4194304 4196468 140729061577648 140180977847344 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 Current children cumulated CPU time: 2.98 s Current children cumulated vsize: 10832632 KiB ################ # More data... # ################ /proc/2237/task/2290/stat : 2290 (java) R 2234 2237 31537 0 -1 4202560 93526 13011 0 0 224902 26 5 3 20 0 15 0 444406910 11107315712 398011 33554432000 4194304 4196468 140729061577648 140181494562896 140181120041710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2291] ppid=2234 vsize=10846988 memory=2832 CPUtime=10.03 cores=4-7 /proc/2237/task/2291/stat : 2291 (java) S 2234 2237 31537 0 -1 1077944384 35156 13011 0 0 950 45 5 3 20 0 15 0 444406911 11107315712 398011 33554432000 4194304 4196468 140729061577648 140181526968848 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2292] ppid=2234 vsize=10846988 memory=1592044 CPUtime=9.98 cores=4-7 /proc/2237/task/2292/stat : 2292 (java) S 2234 2237 31537 0 -1 1077944384 33790 13011 0 0 944 46 5 3 20 0 15 0 444406911 11107315712 398011 33554432000 4194304 4196468 140729061577648 140181425859216 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2293] ppid=2234 vsize=10846988 memory=1592044 CPUtime=10.02 cores=4-7 /proc/2237/task/2293/stat : 2293 (java) S 2234 2237 31537 0 -1 1077944384 27447 13011 0 0 946 48 5 3 20 0 15 0 444406911 11107315712 398011 33554432000 4194304 4196468 140729061577648 140181094918416 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2294] ppid=2234 vsize=10846988 memory=1592044 CPUtime=9.97 cores=4-7 /proc/2237/task/2294/stat : 2294 (java) S 2234 2237 31537 0 -1 1077944384 26734 13011 0 0 942 47 5 3 20 0 15 0 444406911 11107315712 398011 33554432000 4194304 4196468 140729061577648 140181093865872 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2295] ppid=2234 vsize=10846988 memory=1592044 CPUtime=1.98 cores=4-7 /proc/2237/task/2295/stat : 2295 (java) S 2234 2237 31537 0 -1 1077944384 19967 13011 0 0 174 16 5 3 20 0 15 0 444406912 11107315712 398011 33554432000 4194304 4196468 140729061577648 140180982057712 140181522737794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2296] ppid=2234 vsize=10846988 memory=1592044 CPUtime=0.08 cores=4-7 /proc/2237/task/2296/stat : 2296 (java) S 2234 2237 31537 0 -1 1077944384 30 13011 0 0 0 0 5 3 20 0 15 0 444406913 11107315712 398011 33554432000 4194304 4196468 140729061577648 140180417668832 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2297] ppid=2234 vsize=10846988 memory=1592044 CPUtime=0.08 cores=4-7 /proc/2237/task/2297/stat : 2297 (java) S 2234 2237 31537 0 -1 1077944384 23 13011 0 0 0 0 5 3 20 0 15 0 444406913 11107315712 398011 33554432000 4194304 4196468 140729061577648 140180283450624 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2298] ppid=2234 vsize=10846988 memory=1592044 CPUtime=0.08 cores=4-7 /proc/2237/task/2298/stat : 2298 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11107315712 398011 33554432000 4194304 4196468 140729061577648 140180043160016 140181522745243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2299] ppid=2234 vsize=10846988 memory=1592044 CPUtime=4.68 cores=4-7 /proc/2237/task/2299/stat : 2299 (java) S 2234 2237 31537 0 -1 1077944384 22412 13011 0 0 456 4 5 3 20 0 15 0 444406916 11107315712 398011 33554432000 4194304 4196468 140729061577648 140180981004528 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2300] ppid=2234 vsize=10846988 memory=8560 CPUtime=4.36 cores=4-7 /proc/2237/task/2300/stat : 2300 (java) S 2234 2237 31537 0 -1 1077944384 16241 13011 0 0 426 2 5 3 20 0 15 0 444406916 11107315712 398011 33554432000 4194304 4196468 140729061577648 140180979951984 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2301] ppid=2234 vsize=10846988 memory=14008 CPUtime=1.96 cores=4-7 /proc/2237/task/2301/stat : 2301 (java) S 2234 2237 31537 0 -1 1077944384 10846 13011 0 0 185 3 5 3 20 0 15 0 444406916 11107315712 398011 33554432000 4194304 4196468 140729061577648 140180978898928 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2302] ppid=2234 vsize=10846988 memory=1592044 CPUtime=0.08 cores=4-7 /proc/2237/task/2302/stat : 2302 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11107315712 398011 33554432000 4194304 4196468 140729061577648 140180009601376 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2303] ppid=2234 vsize=10846988 memory=3612 CPUtime=0.76 cores=4-7 /proc/2237/task/2303/stat : 2303 (java) S 2234 2237 31537 0 -1 1077944384 1299 13011 0 0 30 38 5 3 20 0 15 0 444406917 11107315712 398011 33554432000 4194304 4196468 140729061577648 140180977847344 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 Current children cumulated CPU time: 2302.47 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 1592044 KiB [startup+2322.3 s] /proc/loadavg: 1.33 1.31 1.38 3/228 2684 /proc/meminfo: memFree=28231136/32770688 swapFree=66961208/67108860 [pid=2237] ppid=2234 vsize=10846988 memory=1591532 CPUtime=2363.06 cores=4-7 /proc/2237/stat : 2237 (java) S 2234 2237 31537 0 -1 1077944320 292429 13011 0 0 236035 263 5 3 20 0 15 0 444406900 11107315712 397883 33554432000 4194304 4196468 140729061577648 140729061560192 140181522726647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 /proc/2237/statm: 2711747 397883 3626 1 0 2673805 0 [pid=2237/tid=2290] ppid=2234 vsize=10846988 memory=1592044 CPUtime=2309.09 cores=4-7 /proc/2237/task/2290/stat : 2290 (java) R 2234 2237 31537 0 -1 4202560 94010 13011 0 0 230875 26 5 3 20 0 15 0 444406910 11107315712 397883 33554432000 4194304 4196468 140729061577648 140181494562656 140181113398976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2291] ppid=2234 vsize=10846988 memory=1592044 CPUtime=10.22 cores=4-7 /proc/2237/task/2291/stat : 2291 (java) S 2234 2237 31537 0 -1 1077944384 35541 13011 0 0 969 45 5 3 20 0 15 0 444406911 11107315712 397883 33554432000 4194304 4196468 140729061577648 140181526968848 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2292] ppid=2234 vsize=10846988 memory=1592044 CPUtime=10.17 cores=4-7 /proc/2237/task/2292/stat : 2292 (java) S 2234 2237 31537 0 -1 1077944384 34196 13011 0 0 963 46 5 3 20 0 15 0 444406911 11107315712 397883 33554432000 4194304 4196468 140729061577648 140181425859216 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2293] ppid=2234 vsize=10846988 memory=1592044 CPUtime=10.21 cores=4-7 /proc/2237/task/2293/stat : 2293 (java) S 2234 2237 31537 0 -1 1077944384 27967 13011 0 0 965 48 5 3 20 0 15 0 444406911 11107315712 397883 33554432000 4194304 4196468 140729061577648 140181094918416 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2294] ppid=2234 vsize=10846988 memory=1592044 CPUtime=10.17 cores=4-7 /proc/2237/task/2294/stat : 2294 (java) S 2234 2237 31537 0 -1 1077944384 27457 13011 0 0 961 48 5 3 20 0 15 0 444406911 11107315712 397883 33554432000 4194304 4196468 140729061577648 140181093865872 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2295] ppid=2234 vsize=10846988 memory=1591532 CPUtime=2.03 cores=4-7 /proc/2237/task/2295/stat : 2295 (java) S 2234 2237 31537 0 -1 1077944384 20168 13011 0 0 179 16 5 3 20 0 15 0 444406912 11107315712 397883 33554432000 4194304 4196468 140729061577648 140180982057712 140181522737794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2296] ppid=2234 vsize=10846988 memory=1592044 CPUtime=0.08 cores=4-7 /proc/2237/task/2296/stat : 2296 (java) S 2234 2237 31537 0 -1 1077944384 30 13011 0 0 0 0 5 3 20 0 15 0 444406913 11107315712 397883 33554432000 4194304 4196468 140729061577648 140180417668832 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2297] ppid=2234 vsize=10846988 memory=1592044 CPUtime=0.08 cores=4-7 /proc/2237/task/2297/stat : 2297 (java) S 2234 2237 31537 0 -1 1077944384 23 13011 0 0 0 0 5 3 20 0 15 0 444406913 11107315712 397883 33554432000 4194304 4196468 140729061577648 140180283450624 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2298] ppid=2234 vsize=10846988 memory=1592044 CPUtime=0.08 cores=4-7 /proc/2237/task/2298/stat : 2298 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11107315712 397883 33554432000 4194304 4196468 140729061577648 140180043160016 140181522745243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2299] ppid=2234 vsize=10846988 memory=1592044 CPUtime=4.68 cores=4-7 /proc/2237/task/2299/stat : 2299 (java) S 2234 2237 31537 0 -1 1077944384 22414 13011 0 0 456 4 5 3 20 0 15 0 444406916 11107315712 397883 33554432000 4194304 4196468 140729061577648 140180981004528 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2300] ppid=2234 vsize=10846988 memory=8560 CPUtime=4.36 cores=4-7 /proc/2237/task/2300/stat : 2300 (java) S 2234 2237 31537 0 -1 1077944384 16243 13011 0 0 426 2 5 3 20 0 15 0 444406916 11107315712 397883 33554432000 4194304 4196468 140729061577648 140180979951984 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2301] ppid=2234 vsize=10846988 memory=14008 CPUtime=1.96 cores=4-7 /proc/2237/task/2301/stat : 2301 (java) S 2234 2237 31537 0 -1 1077944384 10848 13011 0 0 185 3 5 3 20 0 15 0 444406916 11107315712 397883 33554432000 4194304 4196468 140729061577648 140180978898928 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2302] ppid=2234 vsize=10846988 memory=1592044 CPUtime=0.08 cores=4-7 /proc/2237/task/2302/stat : 2302 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11107315712 397883 33554432000 4194304 4196468 140729061577648 140180009601376 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2303] ppid=2234 vsize=10846988 memory=1592044 CPUtime=0.78 cores=4-7 /proc/2237/task/2303/stat : 2303 (java) S 2234 2237 31537 0 -1 1077944384 1316 13011 0 0 31 39 5 3 20 0 15 0 444406917 11107315712 397883 33554432000 4194304 4196468 140729061577648 140180977847344 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 Current children cumulated CPU time: 2363.06 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 1591532 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2358.9 s] /proc/loadavg: 1.48 1.34 1.39 3/227 2685 /proc/meminfo: memFree=28238728/32770688 swapFree=66961208/67108860 [pid=2237] ppid=2234 vsize=10846988 memory=1584860 CPUtime=2400.04 cores=4-7 /proc/2237/stat : 2237 (java) S 2234 2237 31537 0 -1 1077944320 294551 13011 0 0 239731 265 5 3 20 0 15 0 444406900 11107315712 396215 33554432000 4194304 4196468 140729061577648 140729061560192 140181522726647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 /proc/2237/statm: 2711747 396215 3626 1 0 2673805 0 [pid=2237/tid=2290] ppid=2234 vsize=10846988 memory=1584348 CPUtime=2345.47 cores=4-7 /proc/2237/task/2290/stat : 2290 (java) R 2234 2237 31537 0 -1 4202560 94309 13011 0 0 234513 26 5 3 20 0 15 0 444406910 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181494562192 140181109460674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2291] ppid=2234 vsize=10846988 memory=1584864 CPUtime=10.36 cores=4-7 /proc/2237/task/2291/stat : 2291 (java) S 2234 2237 31537 0 -1 1077944384 35881 13011 0 0 983 45 5 3 20 0 15 0 444406911 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181526968848 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2292] ppid=2234 vsize=10846988 memory=1586400 CPUtime=10.31 cores=4-7 /proc/2237/task/2292/stat : 2292 (java) S 2234 2237 31537 0 -1 1077944384 34652 13011 0 0 976 47 5 3 20 0 15 0 444406911 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181425859216 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2293] ppid=2234 vsize=10846988 memory=1584348 CPUtime=10.35 cores=4-7 /proc/2237/task/2293/stat : 2293 (java) S 2234 2237 31537 0 -1 1077944384 28375 13011 0 0 978 49 5 3 20 0 15 0 444406911 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181094918416 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2294] ppid=2234 vsize=10846988 memory=8112282956445269571 CPUtime=10.3 cores=4-7 /proc/2237/task/2294/stat : 2294 (java) S 2234 2237 31537 0 -1 1077944384 27853 13011 0 0 974 48 5 3 20 0 15 0 444406911 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181093865872 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2295] ppid=2234 vsize=10846988 memory=1585372 CPUtime=2.08 cores=4-7 /proc/2237/task/2295/stat : 2295 (java) S 2234 2237 31537 0 -1 1077944384 20368 13011 0 0 183 17 5 3 20 0 15 0 444406912 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180982057712 140181522737794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2296] ppid=2234 vsize=10846988 memory=1584860 CPUtime=0.08 cores=4-7 /proc/2237/task/2296/stat : 2296 (java) S 2234 2237 31537 0 -1 1077944384 30 13011 0 0 0 0 5 3 20 0 15 0 444406913 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180417668832 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2297] ppid=2234 vsize=10846988 memory=19722489827822 CPUtime=0.08 cores=4-7 /proc/2237/task/2297/stat : 2297 (java) S 2234 2237 31537 0 -1 1077944384 23 13011 0 0 0 0 5 3 20 0 15 0 444406913 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180283450624 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2298] ppid=2234 vsize=10846988 memory=1583836 CPUtime=0.08 cores=4-7 /proc/2237/task/2298/stat : 2298 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180043160016 140181522745243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2299] ppid=2234 vsize=10846988 memory=0 CPUtime=4.68 cores=4-7 /proc/2237/task/2299/stat : 2299 (java) S 2234 2237 31537 0 -1 1077944384 22416 13011 0 0 456 4 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180981004528 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2300] ppid=2234 vsize=10846988 memory=14008 CPUtime=4.36 cores=4-7 /proc/2237/task/2300/stat : 2300 (java) S 2234 2237 31537 0 -1 1077944384 16245 13011 0 0 426 2 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180979951984 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2301] ppid=2234 vsize=10846988 memory=22804 CPUtime=1.96 cores=4-7 /proc/2237/task/2301/stat : 2301 (java) S 2234 2237 31537 0 -1 1077944384 10850 13011 0 0 185 3 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180978898928 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2302] ppid=2234 vsize=10846988 memory=3612 CPUtime=0.08 cores=4-7 /proc/2237/task/2302/stat : 2302 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180009601376 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2303] ppid=2234 vsize=10846988 memory=46508 CPUtime=0.78 cores=4-7 /proc/2237/task/2303/stat : 2303 (java) S 2234 2237 31537 0 -1 1077944384 1333 13011 0 0 31 39 5 3 20 0 15 0 444406917 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180977847344 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 Current children cumulated CPU time: 2400.04 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 1584860 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2358.93 s] # the end of solver process 2237 was just reported to runsolver # cumulated CPU time of all completed processes: user=2397.39 s, system=2.69302 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2358.9 s] /proc/loadavg: 1.48 1.34 1.39 3/227 2685 /proc/meminfo: memFree=28238728/32770688 swapFree=66961208/67108860 [pid=2237] ppid=2234 vsize=10846988 memory=1584860 CPUtime=2400.04 cores=4-7 /proc/2237/stat : 2237 (java) S 2234 2237 31537 0 -1 1077944320 294551 13011 0 0 239731 265 5 3 20 0 15 0 444406900 11107315712 396215 33554432000 4194304 4196468 140729061577648 140729061560192 140181522726647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 /proc/2237/statm: 2711747 396215 3626 1 0 2673805 0 [pid=2237/tid=2290] ppid=2234 vsize=10846988 memory=1584348 CPUtime=2345.47 cores=4-7 /proc/2237/task/2290/stat : 2290 (java) R 2234 2237 31537 0 -1 4202560 94309 13011 0 0 234513 26 5 3 20 0 15 0 444406910 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181494562192 140181109460674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2291] ppid=2234 vsize=10846988 memory=1584864 CPUtime=10.36 cores=4-7 /proc/2237/task/2291/stat : 2291 (java) S 2234 2237 31537 0 -1 1077944384 35881 13011 0 0 983 45 5 3 20 0 15 0 444406911 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181526968848 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2292] ppid=2234 vsize=10846988 memory=1586400 CPUtime=10.31 cores=4-7 /proc/2237/task/2292/stat : 2292 (java) S 2234 2237 31537 0 -1 1077944384 34652 13011 0 0 976 47 5 3 20 0 15 0 444406911 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181425859216 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2293] ppid=2234 vsize=10846988 memory=1584348 CPUtime=10.35 cores=4-7 /proc/2237/task/2293/stat : 2293 (java) S 2234 2237 31537 0 -1 1077944384 28375 13011 0 0 978 49 5 3 20 0 15 0 444406911 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181094918416 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2294] ppid=2234 vsize=10846988 memory=8112282956445269571 CPUtime=10.3 cores=4-7 /proc/2237/task/2294/stat : 2294 (java) S 2234 2237 31537 0 -1 1077944384 27853 13011 0 0 974 48 5 3 20 0 15 0 444406911 11107315712 396215 33554432000 4194304 4196468 140729061577648 140181093865872 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2295] ppid=2234 vsize=10846988 memory=1585372 CPUtime=2.08 cores=4-7 /proc/2237/task/2295/stat : 2295 (java) S 2234 2237 31537 0 -1 1077944384 20368 13011 0 0 183 17 5 3 20 0 15 0 444406912 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180982057712 140181522737794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2296] ppid=2234 vsize=10846988 memory=1584860 CPUtime=0.08 cores=4-7 /proc/2237/task/2296/stat : 2296 (java) S 2234 2237 31537 0 -1 1077944384 30 13011 0 0 0 0 5 3 20 0 15 0 444406913 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180417668832 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2297] ppid=2234 vsize=10846988 memory=19722489827822 CPUtime=0.08 cores=4-7 /proc/2237/task/2297/stat : 2297 (java) S 2234 2237 31537 0 -1 1077944384 23 13011 0 0 0 0 5 3 20 0 15 0 444406913 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180283450624 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2298] ppid=2234 vsize=10846988 memory=1583836 CPUtime=0.08 cores=4-7 /proc/2237/task/2298/stat : 2298 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180043160016 140181522745243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2299] ppid=2234 vsize=10846988 memory=0 CPUtime=4.68 cores=4-7 /proc/2237/task/2299/stat : 2299 (java) S 2234 2237 31537 0 -1 1077944384 22416 13011 0 0 456 4 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180981004528 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2300] ppid=2234 vsize=10846988 memory=14008 CPUtime=4.36 cores=4-7 /proc/2237/task/2300/stat : 2300 (java) S 2234 2237 31537 0 -1 1077944384 16245 13011 0 0 426 2 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180979951984 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2301] ppid=2234 vsize=10846988 memory=22804 CPUtime=1.96 cores=4-7 /proc/2237/task/2301/stat : 2301 (java) S 2234 2237 31537 0 -1 1077944384 10850 13011 0 0 185 3 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180978898928 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2302] ppid=2234 vsize=10846988 memory=3612 CPUtime=0.08 cores=4-7 /proc/2237/task/2302/stat : 2302 (java) S 2234 2237 31537 0 -1 1077944384 3 13011 0 0 0 0 5 3 20 0 15 0 444406916 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180009601376 140181522736853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 [pid=2237/tid=2303] ppid=2234 vsize=10846988 memory=46508 CPUtime=0.78 cores=4-7 /proc/2237/task/2303/stat : 2303 (java) S 2234 2237 31537 0 -1 1077944384 1333 13011 0 0 31 39 5 3 20 0 15 0 444406917 11107315712 396215 33554432000 4194304 4196468 140729061577648 140180977847344 140181522737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14991360 140729061583600 140729061586117 140729061586117 140729061588943 0 Current children cumulated CPU time: 2400.04 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 1584860 KiB Child status: 143 Real time (s): 2358.93 CPU time (s): 2400.09 CPU user time (s): 2397.39 CPU system time (s): 2.69302 CPU usage (%): 101.745 Max. virtual memory (cumulated for all children) (KiB): 10847704 Max. memory (cumulated for all children) (KiB): 1974688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.39 system time used= 2.69302 maximum resident set size= 1974688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 308446 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 92966 involuntary context switches= 3164 # summary of solver processes directly reported to runsolver: # pid: 2237 # total CPU time (s): 2400.09 # total CPU user time (s): 2397.39 # total CPU system time (s): 2.69302 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.598 second user time and 22.7291 second system time The end
Begin job on node116 at 2019-09-17 03:43:31 IDJOB=4401457 IDBENCH=133715 IDSOLVER=2858 FILE ID=node116/4401457-1568684652 RUNJOBID= node116-1568673291-31569 PBS_JOBID= 21703792 Free space on /tmp= 61196 MiB SOLVER NAME= Concrete 3.12.2 BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r2.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401457-1568684652/watcher-4401457-1568684652 -o /tmp/evaluation-result-4401457-1568684652/solver-4401457-1568684652 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568673291-31569 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=434527036 HOME/instance-4401457-1568684652.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1feceec156c21411e87c939d9e284415 RANDOM SEED=434527036 node116.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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 29843892 kB MemAvailable: 31087304 kB Buffers: 139052 kB Cached: 1398328 kB SwapCached: 46588 kB Active: 1797500 kB Inactive: 551284 kB Active(anon): 765240 kB Inactive(anon): 94976 kB Active(file): 1032260 kB Inactive(file): 456308 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961208 kB Dirty: 35416 kB Writeback: 0 kB AnonPages: 876224 kB Mapped: 61368 kB Shmem: 40324 kB Slab: 170820 kB SReclaimable: 141360 kB SUnreclaim: 29460 kB KernelStack: 3760 kB PageTables: 6988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2041368 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 714752 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61160 MiB End job on node116 at 2019-09-17 04:22:50