Trace number 4255549

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - ALNS 2017-07-26SAT (TO)2367 252.125 223.069

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-wap01a.xml
MD5SUM1f75bed7d5113015eb943bda0c7ab47c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark251.894
Satisfiable
(Un)Satisfiability was proved
Number of variables2368
Number of constraints110871
Number of domains1
Minimum domain size2368
Maximum domain size2368
Distribution of domain sizes[{"size":2368,"count":2368}]
Minimum variable degree15
Maximum variable degree289
Distribution of variable degrees[{"degree":15,"count":1},{"degree":19,"count":4},{"degree":20,"count":8},{"degree":21,"count":2},{"degree":25,"count":4},{"degree":26,"count":15},{"degree":27,"count":2},{"degree":28,"count":7},{"degree":30,"count":9},{"degree":32,"count":9},{"degree":33,"count":4},{"degree":34,"count":7},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":113},{"degree":39,"count":59},{"degree":40,"count":326},{"degree":42,"count":4},{"degree":43,"count":5},{"degree":45,"count":5},{"degree":46,"count":1},{"degree":47,"count":2},{"degree":49,"count":2},{"degree":50,"count":2},"...",{"degree":202,"count":5}, {"degree":203,"count":10}, {"degree":204,"count":3}, {"degree":205,"count":5}, {"degree":206,"count":2}, {"degree":207,"count":1}, {"degree":208,"count":3}, {"degree":209,"count":3}, {"degree":210,"count":4}, {"degree":211,"count":2}, {"degree":216,"count":1}, {"degree":217,"count":2}, {"degree":220,"count":2}, {"degree":223,"count":1}, {"degree":226,"count":1}, {"degree":227,"count":1}, {"degree":228,"count":1}, {"degree":231,"count":1}, {"degree":232,"count":1}, {"degree":244,"count":1}, {"degree":249,"count":1}, {"degree":254,"count":1}, {"degree":258,"count":1}, {"degree":268,"count":1}, {"degree":289,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":110871}]
Number of extensional constraints0
Number of intensional constraints110871
Distribution of constraint types[{"type":"intension","count":110871}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data

0.24/0.40	c version: 2017-07-26
0.24/0.40	c seed: 486372594
0.24/0.40	c timeout: 252
0.24/0.40	c memlimit: 11000
0.24/0.40	c nbcore: 4
0.42/0.43	c Parsing instance...
49.56/23.88	c Parsing done, starting search...
52.19/25.97	o 2367
252.05/223.01	s SATISFIABLE
252.05/223.02	v <instantiation>
252.05/223.02	v 	<list>
252.05/223.02	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]
252.05/223.02	v 	</list>
252.05/223.02	v 	<values>
252.05/223.02	v 		2367 2366 2365 2364 2363 2362 2366 2361 2360 2362 2359 2342 2358 2357 2341 2356 2355 2354 2353 2352 2351 2350 2349 2348 2340 2366 2365 2360 2355 2364 2362 2354 2353 2363 2352 2355 2348 2366 2350 2347 2367 2365 2367 2347 2344 2336 2343 2334 2366 2342 2341 2339 2337 2333 2351 2336 2330 2349 2361 2366 2362 2358 2349 2367 2365 2356 2339 2358 2355 2351 2344 2350 2348 2352 2364 2347 2361 2345 2363 2339 2366 2338 2335 2337 2367 2336 2330 2360 2361 2341 2342 2343 2344 2358 2346 2350 2359 2349 2343 2348 2358 2353 2354 2336 2356 2338 2339 2357 2345 2366 2365 2335 2355 2341 2367 2342 2334 2345 2349 2358 2347 2333 2336 2364 2364 2354 2332 2347 2359 2352 2362 2331 2363 2367 2365 2340 2329 2367 2360 2360 2339 2328 2366 2362 2366 2359 2362 2357 2365 2353 2365 2366 2361 2359 2352 2364 2366 2358 2356 2366 2353 2355 2360 2358 2367 2357 2355 2351 2350 2333 2330 2366 2330 2353 2347 2346 2367 2347 2344 2366 2364 2342 2356 2359 2341 2336 2352 2358 2366 2361 2351 2346 2345 2343 2365 2341 2340 2362 2338 2337 2336 2359 2335 2334 2333 2332 2331 2330 2367 2365 2366 2367 2360 2367 2364 2360 2363 2363 2352 2338 2362 2355 2346 2336 2361 2344 2337 2346 2346 2343 2335 2345 2345 2342 2334 2341 2337 2339 2336 2366 2358 2356 2345 2344 2365 2363 2356 2343 2336 2335 2334 2332 2330 2329 2366 2357 2361 2353 2348 2354 2353 2346 2350 2351 2367 2349 2347 2347 2360 2349 2356 2342 2364 2341 2338 2337 2359 2334 2363 2337 2349 2332 2356 2336 2330 2362 2332 2367 2360 2335 2351 2334 2333 2349 2361 2330 2329 2345 2366 2353 2355 2353 2358 2365 2362 2356 2361 2365 2361 2355 2355 2364 2336 2344 2367 2352 2362 2360 2367 2342 2346 2340 2354 2347 2346 2357 2345 2346 2366 2362 2353 2359 2366 2358 2350 2355 2349 2348 2352 2351 2326 2341 2341 2325 2340 2325 2324 2338 2322 2323 2336 2321 2322 2331 2319 2342 2365 2361 2345 2344 2362 2364 2354 2367 2338 2337 2341 2365 2353 2364 2354 2361 2364 2362 2364 2367 2344 2336 2355 2352 2366 2357 2365 2362 2359 2354 2359 2351 2350 2348 2347 2347 2356 2342 2355 2338 2333 2332 2331 2346 2367 2330 2352 2362 2366 2343 2323 2367 2365 2353 2349 2366 2367 2348 2365 2354 2352 2358 2355 2366 2364 2351 2363 2356 2367 2361 2359 2366 2367 2354 2361 2364 2359 2346 2367 2366 2361 2366 2364 2356 2357 2361 2367 2367 2355 2357 2359 2366 2367 2365 2349 2350 2365 2364 2361 2339 2360 2340 2361 2337 2341 2332 2333 2338 2340 2334 2344 2331 2332 2337 2359 2331 2341 2364 2361 2344 2331 2362 2349 2348 2358 2343 2351 2333 2350 2341 2347 2357 2331 2358 2366 2336 2367 2332 2334 2364 2361 2363 2359 2366 2365 2367 2364 2354 2353 2360 2367 2338 2363 2364 2363 2348 2333 2366 2361 2359 2361 2356 2351 2347 2362 2360 2365 2364 2332 2345 2358 2365 2340 2350 2357 2320 2321 2322 2327 2335 2339 2336 2343 2339 2343 2360 2366 2363 2365 2359 2364 2358 2361 2357 2365 2359 2354 2353 2352 2352 2361 2351 2350 2348 2347 2351 2353 2346 2344 2343 2342 2341 2340 2339 2349 2350 2338 2347 2337 2345 2345 2349 2336 2344 2340 2335 2341 2337 2364 2334 2338 2336 2351 2349 2333 2337 2335 2347 2336 2332 2335 2334 2366 2331 2332 2333 2367 2330 2331 2331 2356 2335 2329 2330 2330 2350 2333 2365 2365 2348 2357 2355 2357 2344 2332 2349 2361 2362 2356 2340 2335 2367 2367 2342 2333 2367 2366 2329 2356 2342 2367 2347 2367 2367 2344 2346 2354 2361 2350 2363 2364 2330 2363 2337 2367 2359 2331 2353 2338 2338 2346 2367 2367 2360 2354 2343 2337 2358 2341 2332 2345 2360 2340 2351 2348 2353 2350 2366 2367 2364 2353 2343 2358 2339 2337 2341 2336 2367 2344 2354 2357 2349 2348 2343 2349 2355 2367 2367 2343 2340 2352 2348 2360 2358 2364 2347 2346 2353 2358 2347 2350 2362 2351 2355 2356 2362 2348 2361 2367 2365 2365 2364 2363 2362 2339 2357 2350 2351 2346 2346 2366 2342 2345 2348 2356 2344 2340 2343 2341 2357 2367 2334 2340 2341 2354 2345 2338 2366 2365 2367 2367 2364 2340 2363 2350 2345 2341 2340 2367 2346 2354 2346 2335 2350 2331 2357 2367 2339 2330 2359 2341 2341 2344 2365 2364 2362 2347 2362 2361 2333 2332 2326 2337 2344 2366 2328 2336 2339 2367 2333 2327 2331 2352 2349 2365 2367 2332 2353 2346 2345 2358 2350 2329 2366 2324 2335 2334 2349 2338 2354 2344 2337 2347 2331 2367 2357 2338 2348 2367 2356 2335 2360 2351 2343 2349 2366 2367 2339 2340 2365 2361 2349 2345 2363 2358 2361 2366 2365 2351 2354 2362 2364 2339 2354 2363 2332 2338 2329 2342 2360 2339 2359 2351 2364 2366 2357 2367 2341 2340 2359 2346 2352 2345 2345 2367 2359 2358 2367 2355 2339 2363 2333 2338 2337 2340 2361 2350 2361 2359 2338 2347 2329 2349 2336 2355 2366 2348 2360 2344 2358 2367 2335 2354 2331 2343 2347 2337 2340 2329 2332 2327 2339 2326 2331 2336 2337 2335 2336 2334 2335 2325 2355 2341 2353 2347 2328 2335 2358 2336 2327 2343 2364 2354 2364 2355 2351 2325 2344 2340 2342 2334 2329 2341 2328 2344 2335 2330 2333 2352 2351 2355 2333 2342 2337 2329 2348 2367 2327 2334 2346 2345 2348 2346 2354 2339 2366 2353 2350 2349 2342 2364 2322 2330 2348 2347 2355 2320 2360 2331 2367 2337 2336 2335 2349 2333 2350 2332 2347 2331 2330 2359 2335 2326 2364 2356 2326 2348 2357 2341 2328 2347 2365 2343 2353 2333 2327 2355 2329 2342 2346 2339 2340 2335 2336 2356 2328 2362 2351 2340 2358 2354 2342 2327 2347 2325 2352 2347 2342 2346 2353 2365 2362 2365 2360 2328 2361 2344 2367 2362 2356 2332 2359 2364 2340 2362 2340 2360 2359 2365 2358 2341 2363 2338 2352 2365 2362 2338 2360 2363 2360 2356 2352 2358 2355 2327 2346 2354 2361 2352 2353 2334 2333 2342 2361 2353 2349 2352 2347 2351 2346 2356 2342 2341 2365 2355 2353 2363 2351 2362 2363 2339 2365 2363 2353 2360 2348 2350 2355 2352 2347 2360 2338 2334 2349 2358 2354 2337 2343 2331 2353 2328 2366 2358 2358 2354 2364 2343 2348 2338 2352 2347 2334 2360 2353 2335 2331 2321 2365 2342 2365 2347 2357 2358 2357 2324 2333 2329 2349 2356 2339 2359 2346 2332 2362 2337 2324 2344 2346 2332 2322 2324 2356 2328 2354 2336 2356 2329 2352 2351 2367 2355 2360 2344 2330 2350 2354 2349 2339 2360 2340 2344 2360 2352 2367 2343 2362 2334 2364 2351 2355 2360 2358 2361 2348 2367 2347 2363 2348 2334 2346 2354 2344 2364 2327 2333 2356 2351 2339 2338 2355 2360 2333 2342 2348 2347 2324 2367 2328 2353 2353 2363 2363 2356 2355 2362 2361 2331 2367 2341 2351 2338 2352 2364 2343 2327 2336 2342 2337 2331 2363 2359 2364 2360 2359 2363 2340 2326 2367 2363 2353 2331 2335 2352 2337 2354 2359 2364 2354 2336 2340 2332 2331 2320 2352 2341 2367 2358 2338 2354 2337 2336 2332 2342 2326 2328 2326 2345 2333 2352 2327 2319 2329 2326 2367 2347 2355 2339 2356 2341 2343 2358 2357 2363 2328 2357 2356 2352 2355 2362 2354 2330 2332 2339 2356 2348 2346 2330 2329 2351 2352 2343 2349 2347 2348 2361 2335 2337 2357 2329 2367 2356 2345 2341 2367 2355 2333 2353 2338 2351 2331 2344 2338 2349 2352 2339 2357 2335 2360 2362 2367 2362 2330 2350 2334 2328 2340 2362 2345 2360 2337 2336 2360 2343 2325 2324 2351 2362 2337 2350 2357 2367 2345 2339 2334 2349 2334 2354 2359 2362 2337 2330 2357 2329 2351 2330 2335 2367 2362 2354 2353 2345 2350 2358 2328 2342 2355 2363 2332 2357 2329 2357 2356 2348 2336 2334 2351 2338 2348 2328 2344 2349 2342 2352 2338 2351 2335 2333 2346 2348 2356 2330 2328 2348 2344 2338 2325 2328 2340 2333 2365 2322 2331 2330 2354 2355 2352 2334 2362 2348 2346 2357 2359 2354 2353 2356 2354 2319 2330 2311 2366 2335 2346 2345 2334 2361 2356 2326 2360 2356 2353 2350 2366 2346 2355 2342 2328 2342 2364 2337 2339 2338 2350 2349 2327 2343 2329 2355 2319 2322 2332 2320 2363 2339 2340 2356 2355 2354 2348 2341 2331 2348 2344 2322 2355 2317 2324 2333 2327 2358 2364 2329 2329 2356 2345 2318 2351 2330 2366 2316 2354 2347 2320 2343 2325 2339 2341 2353 2363 2340 2326 2319 2339 2333 2321 2337 2338 2323 2336 2339 2324 2335 2340 2326 2321 2346 2341 2359 2363 2357 2355 2366 2353 2340 2350 2354 2345 2329 2343 2355 2358 2338 2365 2337 2349 2352 2363 2365 2356 2341 2345 2334 2347 2325 2361 2351 2350 2338 2345 2342 2359 2352 2349 2329 2323 2359 2355 2353 2330 2344 2359 2326 2361 2322 2347 2358 2343 2355 2326 2353 2366 2345 2337 2335 2343 2349 2336 2354 2333 2331 2320 2337 2362 2349 2339 2352 2343 2316 2342 2350 2336 2361 2351 2344 2361 2350 2340 2346 2359 2354 2361 2352 2351 2353 2342 2350 2328 2349 2365 2338 2334 2367 2342 2341 2340 2351 2350 2322 2328 2329 2324 2323 2316 2353 2312 2332 2315 2321 2313 2360 2337 2339 2341 2355 2354 2330 2355 2323 2338 2335 2364 2347 2344 2330 2359 2364 2366 2362 2327 2360 2334 2331 2358 2343 2360 2318 2358 2365 2348 2359 2345 2367 2340 2345 2342 2353 2357 2317 2331 2327 2330 2356 2330 2345 2357 2347 2329 2346 2330 2342 2325 2333 2323 2361 2362 2334 2360 2366 2339 2354 2364 2367 2340 2346 2328 2342 2355 2333 2335 2348 2362 2348 2366 2355 2347 2350 2357 2346 2355 2358 2330 2355 2351 2359 2361 2346 2345 2352 2351 2344 2319 2328 2351 2325 2331 2328 2361 2347 2353 2365 2323 2355 2362 2353 2340 2339 2330 2343 2340 2347 2340 2339 2358 2335 2359 2345 2360 2364 2362 2317 2356 2365 2357 2349 2333 2341 2326 2367 2341 2358 2349 2334 2334 2352 2340 2348 2338 2365 2343 2339 2331 2361 2342 2351 2325 2320 2363 2336 2349 2321 2348 2347 2331 2322 2346 2329 2341 2345 2344 2360 2324 2359 2353 2363 2356 2348 2349 2332 2365 2329 2367 2345 2336 2338 2358 2365 2343 2346 2341 2346 2341 2326 2345 2334 2360 2362 2327 2331 2342 2332 2354 2354 2344 2364 2344 2326 2363 2360 2334 2332 2333 2343 2342 2334 2338 2313 2366 2365 2363 2337 2353 2360 2345 2328 2352 2338 2353 2337 2347 2336 2331 2349 2334 2339 2326 2362 2343 2357 2330 2359 2319 2357 2346 2357 2350 2349 2362 2349 2347 2346 2326 2329 2335 2356 2367 2339 2342 2337 2357 2342 2361 2359 2331 2324 2362 2336 2350 2342 2367 2345 2313 2322 2365 2357 2334 2336 2321 2344 2343 2342 2341 2317 2350 2352 2330 2338 2343 2324 2345 2343 2342 2328 2332 2346 2354 2357 2335 2335 2311 2312 2329 2356 2321 2350 2330 2316 2354 2329 2327 2352 2327 2315 2334 2356 2353 2338 2353 2350 2361 2345 2366 2332 2365 2346 2341 2359 2352 2348 2351 2366 2341 2353 2330 2351 2363 2364 2333 2340 2362 2322 2347 2344 2366 2359 2341 2352 2331 2332 2339 2327 2332 2335 2329 2325 2333 2338 2327 2360 2364 2336 2355 2339 2356 2337 2348 2347 2323 2366 2360 2337 2332 2328 2364 2347 2361 2366 2333 2348 2351 2328 2350 2358 2348 2331 2330 2367 2336 2364 2312 2334 2348 2336 2314 2327 2364 2348 2333 2332 2347 2351 2333 2343 2348 2355 2343 2333 2363 2365 2365 2343 2353 2324 2329 2354 2341 2344 2337 2354 2328 2352 2348 2364 2325 2328 2352 2354 2351 2357 2366 2362 2340 2340 2343 2339 2354 2329 2340 2361 2346 2321 2364 2346 2363 2349 2336 2363 2348 2323 2335 2357 2339 2355 2347 2361 2325 2345 2350 2367 2366 2344 2349 2334 2336 2354 2334 2356 2357 2346 2360 2352 2331 2346 2325 2357 2338 2345 2332 2327 2339 2350 2329 2343 2348 2352 2345 2320 2333 2362 2320 2340 2334 2359 2353 2350 2337 2351 2342 2345 2359 2320 2359 2344 2324 2355 2336 2354 2353 2363 2350 2364 2364 2351 2358 2363 2336 2335 2366 2330 2344 2340 2348 2325 2367 2351 2338 2365 2359 2352 2362 2364 2328 2342 2330 2362 2338 2339 2358 2357 2343 2362 2361 2349 2360 2337 2336 2324 2334 2332 2328 2337 2350 2349 2349 2332 2346 2353 2355 2349 2338 2341 2327 2336 2346 2343 2349 2358 2354 2338 2341 2321 2363 2338 2360 2350 2344 2340 2343 2326 2365 2350 2352 2358 2316 2334 2356 2351 2361 2324 2352 2364 2342 2322 2365 2344 2334 2352 2357 2347 2336 2323 2327 2326 2335 2335 2355 2344 2360 2342 2334 2351 2360 2329 2344 2359 2327 2334 2333 2332 2355 2354 2347 2358 2324 2337 2331 2358 2352 2347 2341 2356 2327 2355 2341 2330 2336 2343 2339 2363 2349 2319 2318 2361 2362 2321 2333 2366 2339 2331 2358 2335 2351 2318 2356 2336 2349 2358 2324 2314 2357 2340 2356 2346 2339 2325 2363 2330 2329 2366 2347 2358 2337 2321 2333 2344 2318 2349 2333 2344 2351 2359 2353 2320 2323 2328 2364 2337 2364 2329 2345 2358 2362 2335 2338 2357 2348 2354 2315 2347 2332 2356 2357 2363 2338 2331 2331 2330 2350 2335 2352 2353 2356 2348 2353 2361 2360 2354 2362 2345 2365 2340 2364 2363 2367 2361 2365 2355 2359 2323 2327 2339 2358 2336 2356 2344 2357 2337 2366 2330 2346 2359 2360 2350 2317 2350 2361 2363 2361 2359 2326 2360 2326 2342 2362 2364 2366 2361 2365 2363 2365 2341 2366 2366 2367 
252.05/223.02	v 	</values>
252.05/223.02	v </instantiation>

Verifier Data

OK	2367

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15322 MiB free)
  memory of node 1: 16384 MiB (15600 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255549-1502643093/watcher-4255549-1502643093 -o /tmp/evaluation-result-4255549-1502643093/solver-4255549-1502643093 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502642236-28698 --watchdog 312 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 486372594 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4255549-1502643093.xml 

running on 4 cores: 1,3,5,7

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

solver pid=28723, runsolver pid=28719

[startup+0.100282 s]*
/proc/loadavg: 1.01 1.06 1.55 1/183 28730
/proc/meminfo: memFree=31658784/32770624 swapFree=67108860/67108860
[pid=28723] ppid=28719 vsize=13358552 memory=14136 CPUtime=0 cores=1,3,5,7
/proc/28723/stat : 28723 (java) S 28719 28723 11586 0 -1 1077944320 3333 0 0 0 0 0 0 0 20 0 6 0 52649959 13679157248 3468 18446744073709551615 4194304 4196468 140721510884480 140721510867024 139669529116407 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
/proc/28723/statm: 3339638 3468 1874 1 0 3329135 0
[pid=28723/tid=28730] ppid=28719 vsize=13358552 memory=8186589130280312985 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28730/stat : 28730 (java) R 28719 28723 11586 0 -1 4202560 2043 0 0 0 0 0 0 0 20 0 6 0 52649968 13679157248 3534 18446744073709551615 4194304 4196468 140721510884480 139669533352528 139669513196894 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28731] ppid=28719 vsize=13358552 memory=732370409640578021 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28731/stat : 28731 (java) S 28719 28723 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 52649969 13679157248 3534 18446744073709551615 4194304 4196468 140721510884480 139669463550736 139669529126613 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28732] ppid=28719 vsize=13358552 memory=140271303124608 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28732/stat : 28732 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 52649969 13679157248 3534 18446744073709551615 4194304 4196468 140721510884480 139669462498192 139669529126613 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28733] ppid=28719 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28733/stat : 28733 (java) S 28719 28723 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 52649969 13679157248 3534 18446744073709551615 4194304 4196468 140721510884480 139669461445648 139669529126613 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28734] ppid=28719 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28734/stat : 28734 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 52649969 13679157248 3534 18446744073709551615 4194304 4196468 140721510884480 139669460393104 139669529126613 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14136 KiB

[startup+0.209757 s]*
/proc/loadavg: 1.01 1.06 1.55 2/208 28756
/proc/meminfo: memFree=31642552/32770624 swapFree=67108860/67108860
[pid=28723] ppid=28719 vsize=13975920 memory=28360 CPUtime=0.07 cores=1,3,5,7
/proc/28723/stat : 28723 (java) S 28719 28723 11586 0 -1 1077944320 6884 0 0 0 6 1 0 0 20 0 15 0 52649959 14311342080 7090 18446744073709551615 4194304 4196468 140721510884480 140721510867024 139669529116407 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
/proc/28723/statm: 3493980 7090 3326 1 0 3482759 0
[pid=28723/tid=28730] ppid=28719 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28723/task/28730/stat : 28730 (java) R 28719 28723 11586 0 -1 4202560 4979 0 0 0 5 0 0 0 20 0 15 0 52649968 14311342080 7090 18446744073709551615 4194304 4196468 140721510884480 139669533346152 139669529128342 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28731] ppid=28719 vsize=13975920 memory=732370409640578021 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28731/stat : 28731 (java) S 28719 28723 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52649969 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139669463550736 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28732] ppid=28719 vsize=13975920 memory=140271303124608 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28732/stat : 28732 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649969 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139669462498192 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28733] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28733/stat : 28733 (java) S 28719 28723 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52649969 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139669461445648 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28734] ppid=28719 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28734/stat : 28734 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649969 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139669460393104 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28739] ppid=28719 vsize=13975920 memory=140271303124608 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28739/stat : 28739 (java) S 28719 28723 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52649970 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139668715108336 139669529127554 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28741] ppid=28719 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28741/stat : 28741 (java) S 28719 28723 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52649971 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139668714054560 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28742] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28742/stat : 28742 (java) S 28719 28723 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52649971 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139668645471216 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28746] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28746/stat : 28746 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649973 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139668644419792 139669529135003 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28747] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28747/stat : 28747 (java) S 28719 28723 11586 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 52649973 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139668643367408 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28748] ppid=28719 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28748/stat : 28748 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649973 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139668642314864 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28749] ppid=28719 vsize=13975920 memory=140271303124608 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28749/stat : 28749 (java) R 28719 28723 11586 0 -1 4202560 278 0 0 0 0 0 0 0 20 0 15 0 52649973 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139668641262320 139669509085183 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28752] ppid=28719 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28752/stat : 28752 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649974 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139668640210016 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28756] ppid=28719 vsize=13975920 memory=140271303124608 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28756/stat : 28756 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649979 14311342080 7155 18446744073709551615 4194304 4196468 140721510884480 139668639156528 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28360 KiB

[startup+0.310077 s]*
/proc/loadavg: 1.01 1.06 1.55 3/209 28757
/proc/meminfo: memFree=31615500/32770624 swapFree=67108860/67108860
[pid=28723] ppid=28719 vsize=13975920 memory=40068 CPUtime=0.24 cores=1,3,5,7
/proc/28723/stat : 28723 (java) S 28719 28723 11586 0 -1 1077944320 10276 0 0 0 21 3 0 0 20 0 15 0 52649959 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 140721510867024 139669529116407 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
/proc/28723/statm: 3493980 10017 3515 1 0 3482759 0
[pid=28723/tid=28730] ppid=28719 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/28723/task/28730/stat : 28730 (java) R 28719 28723 11586 0 -1 4202560 8031 0 0 0 14 2 0 0 20 0 15 0 52649968 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139669533343680 139669513160037 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28731] ppid=28719 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28731/stat : 28731 (java) S 28719 28723 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52649969 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139669463550736 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28732] ppid=28719 vsize=13975920 memory=-8542328529919094630 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28732/stat : 28732 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649969 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139669462498192 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28733] ppid=28719 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28733/stat : 28733 (java) S 28719 28723 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52649969 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139669461445648 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28734] ppid=28719 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28734/stat : 28734 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649969 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139669460393104 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28739] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28739/stat : 28739 (java) S 28719 28723 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52649970 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139668715108336 139669529127554 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28741] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28741/stat : 28741 (java) S 28719 28723 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52649971 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139668714054560 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28742] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28742/stat : 28742 (java) S 28719 28723 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52649971 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139668645471216 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28746] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28746/stat : 28746 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649973 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139668644419792 139669529135003 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28747] ppid=28719 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28723/task/28747/stat : 28747 (java) S 28719 28723 11586 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 52649973 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139668643367408 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28748] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28748/stat : 28748 (java) S 28719 28723 11586 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 52649973 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139668642314864 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28749] ppid=28719 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28723/task/28749/stat : 28749 (java) R 28719 28723 11586 0 -1 4202560 371 0 0 0 4 0 0 0 20 0 15 0 52649973 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139668641262320 139669529137754 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28752] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28752/stat : 28752 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649974 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139668640210016 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28756] ppid=28719 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28756/stat : 28756 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649979 14311342080 10017 18446744073709551615 4194304 4196468 140721510884480 139668639156528 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40068 KiB

[startup+0.701044 s]
/proc/loadavg: 1.01 1.06 1.55 3/209 28757
/proc/meminfo: memFree=31589284/32770624 swapFree=67108860/67108860
[pid=28723] ppid=28719 vsize=13975940 memory=101976 CPUtime=1.07 cores=1,3,5,7
/proc/28723/stat : 28723 (java) S 28719 28723 11586 0 -1 1077944320 14538 0 0 0 101 6 0 0 20 0 15 0 52649959 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 140721510867024 139669529116407 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
/proc/28723/statm: 3493985 25494 3725 1 0 3482759 0
[pid=28723/tid=28730] ppid=28719 vsize=13975940 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/28723/task/28730/stat : 28730 (java) R 28719 28723 11586 0 -1 4202560 10105 0 0 0 49 4 0 0 20 0 15 0 52649968 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139669533353504 139669529138333 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28731] ppid=28719 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28731/stat : 28731 (java) S 28719 28723 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52649969 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139669463550736 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28732] ppid=28719 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28732/stat : 28732 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649969 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139669462498192 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28733] ppid=28719 vsize=13975940 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28733/stat : 28733 (java) S 28719 28723 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52649969 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139669461445648 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28734] ppid=28719 vsize=13975940 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28734/stat : 28734 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649969 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139669460393104 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28739] ppid=28719 vsize=13975940 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28739/stat : 28739 (java) S 28719 28723 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 52649970 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139668715108336 139669529127554 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28741] ppid=28719 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28741/stat : 28741 (java) S 28719 28723 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52649971 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139668714054560 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28742] ppid=28719 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28742/stat : 28742 (java) S 28719 28723 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52649971 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139668645471216 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28746] ppid=28719 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28746/stat : 28746 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649973 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139668644419792 139669529135003 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28747] ppid=28719 vsize=13975940 memory=19265 CPUtime=0.16 cores=1,3,5,7
/proc/28723/task/28747/stat : 28747 (java) S 28719 28723 11586 0 -1 1077944384 1022 0 0 0 16 0 0 0 20 0 15 0 52649973 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139668643367408 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28748] ppid=28719 vsize=13975940 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/28723/task/28748/stat : 28748 (java) R 28719 28723 11586 0 -1 4202560 1335 0 0 0 18 0 0 0 20 0 15 0 52649973 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139668642300888 139669514241340 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28749] ppid=28719 vsize=13975940 memory=-9174445032661854264 CPUtime=0.17 cores=1,3,5,7
/proc/28723/task/28749/stat : 28749 (java) S 28719 28723 11586 0 -1 1077944384 694 0 0 0 17 0 0 0 20 0 15 0 52649973 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139668641262320 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28752] ppid=28719 vsize=13975940 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28752/stat : 28752 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649974 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139668640210016 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28756] ppid=28719 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28756/stat : 28756 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649979 14311362560 25494 18446744073709551615 4194304 4196468 140721510884480 139668639156528 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 101976 KiB

[startup+1.50108 s]
/proc/loadavg: 1.33 1.13 1.56 5/209 28757
/proc/meminfo: memFree=31376140/32770624 swapFree=67108860/67108860
[pid=28723] ppid=28719 vsize=13977988 memory=300156 CPUtime=3.45 cores=1,3,5,7
/proc/28723/stat : 28723 (java) S 28719 28723 11586 0 -1 1077944320 20837 0 0 0 329 16 0 0 20 0 15 0 52649959 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 140721510867024 139669529116407 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
/proc/28723/statm: 3494497 75039 3779 1 0 3483271 0
[pid=28723/tid=28730] ppid=28719 vsize=13977988 memory=280542297908656 CPUtime=1.24 cores=1,3,5,7
/proc/28723/task/28730/stat : 28730 (java) R 28719 28723 11586 0 -1 4202560 10415 0 0 0 118 6 0 0 20 0 15 0 52649968 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139669533352640 139669132354439 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28731] ppid=28719 vsize=13977988 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28723/task/28731/stat : 28731 (java) S 28719 28723 11586 0 -1 1077944384 53 0 0 0 5 1 0 0 20 0 15 0 52649969 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139669463550736 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28732] ppid=28719 vsize=13977988 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/28723/task/28732/stat : 28732 (java) S 28719 28723 11586 0 -1 1077944384 143 0 0 0 5 2 0 0 20 0 15 0 52649969 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139669462498192 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28733] ppid=28719 vsize=13977988 memory=7084271440900809536 CPUtime=0.06 cores=1,3,5,7
/proc/28723/task/28733/stat : 28733 (java) S 28719 28723 11586 0 -1 1077944384 66 0 0 0 4 2 0 0 20 0 15 0 52649969 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139669461445648 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28734] ppid=28719 vsize=13977988 memory=-5628408999910123558 CPUtime=0.06 cores=1,3,5,7
/proc/28723/task/28734/stat : 28734 (java) S 28719 28723 11586 0 -1 1077944384 136 0 0 0 5 1 0 0 20 0 15 0 52649969 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139669460393104 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28739] ppid=28719 vsize=13977988 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28739/stat : 28739 (java) S 28719 28723 11586 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 52649970 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139668715108336 139669529127554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28741] ppid=28719 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28741/stat : 28741 (java) S 28719 28723 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52649971 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139668714054560 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28742] ppid=28719 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28742/stat : 28742 (java) S 28719 28723 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52649971 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139668645471216 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28746] ppid=28719 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28746/stat : 28746 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649973 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139668644419792 139669529135003 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28747] ppid=28719 vsize=13977988 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/28723/task/28747/stat : 28747 (java) R 28719 28723 11586 0 -1 4202560 3285 0 0 0 77 0 0 0 20 0 15 0 52649973 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139668643360600 139669512616613 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28748] ppid=28719 vsize=13977988 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/28723/task/28748/stat : 28748 (java) R 28719 28723 11586 0 -1 4202560 4347 0 0 0 82 0 0 0 20 0 15 0 52649973 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139668642304656 139669510636092 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28749] ppid=28719 vsize=13977988 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/28723/task/28749/stat : 28749 (java) S 28719 28723 11586 0 -1 1077944384 940 0 0 0 29 0 0 0 20 0 15 0 52649973 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139668641262320 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28752] ppid=28719 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28752/stat : 28752 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649974 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139668640210016 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28756] ppid=28719 vsize=13977988 memory=280542298145152 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28756/stat : 28756 (java) S 28719 28723 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52649979 14313459712 75039 18446744073709551615 4194304 4196468 140721510884480 139668639156528 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 13977988 KiB

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

/proc/28723/task/28730/stat : 28730 (java) R 28719 28723 11586 0 -1 4202560 32365 0 0 0 9417 39 0 0 20 0 15 0 52649968 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139669533350712 139669141756138 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28731] ppid=28719 vsize=13982084 memory=7953148 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28731/stat : 28731 (java) S 28719 28723 11586 0 -1 1077944384 6012 0 0 0 563 153 0 0 20 0 15 0 52649969 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139669463550736 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28732] ppid=28719 vsize=13982084 memory=7953104 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28732/stat : 28732 (java) S 28719 28723 11586 0 -1 1077944384 5547 0 0 0 576 140 0 0 20 0 15 0 52649969 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139669462498192 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28733] ppid=28719 vsize=13982084 memory=7953148 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28733/stat : 28733 (java) S 28719 28723 11586 0 -1 1077944384 5836 0 0 0 557 159 0 0 20 0 15 0 52649969 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139669461445648 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28734] ppid=28719 vsize=13982084 memory=7953104 CPUtime=7.19 cores=1,3,5,7
/proc/28723/task/28734/stat : 28734 (java) S 28719 28723 11586 0 -1 1077944384 7826 0 0 0 574 145 0 0 20 0 15 0 52649969 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139669460393104 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28739] ppid=28719 vsize=13982084 memory=56 CPUtime=0.27 cores=1,3,5,7
/proc/28723/task/28739/stat : 28739 (java) S 28719 28723 11586 0 -1 1077944384 13795 0 0 0 26 1 0 0 20 0 15 0 52649970 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139668715108336 139669529127554 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28741] ppid=28719 vsize=13982084 memory=280542297862880 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28741/stat : 28741 (java) S 28719 28723 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 52649971 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139668714054624 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28742] ppid=28719 vsize=13982084 memory=7953148 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28742/stat : 28742 (java) S 28719 28723 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 52649971 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139668645471232 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28746] ppid=28719 vsize=13982084 memory=780 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28746/stat : 28746 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649973 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139668644419792 139669529135003 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28747] ppid=28719 vsize=13982084 memory=7953148 CPUtime=3.09 cores=1,3,5,7
/proc/28723/task/28747/stat : 28747 (java) S 28719 28723 11586 0 -1 1077944384 10969 0 0 0 308 1 0 0 20 0 15 0 52649973 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139668643367408 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28748] ppid=28719 vsize=13982084 memory=4120 CPUtime=3.02 cores=1,3,5,7
/proc/28723/task/28748/stat : 28748 (java) S 28719 28723 11586 0 -1 1077944384 11066 0 0 0 299 3 0 0 20 0 15 0 52649973 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139668642314864 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28749] ppid=28719 vsize=13982084 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/28723/task/28749/stat : 28749 (java) S 28719 28723 11586 0 -1 1077944384 7689 0 0 0 85 2 0 0 20 0 15 0 52649973 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139668641262320 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28752] ppid=28719 vsize=13982084 memory=5788642093122089316 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28752/stat : 28752 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649974 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139668640210016 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28756] ppid=28719 vsize=13982084 memory=30048 CPUtime=0.06 cores=1,3,5,7
/proc/28723/task/28756/stat : 28756 (java) S 28719 28723 11586 0 -1 1077944384 313 0 0 0 2 4 0 0 20 0 15 0 52649979 14317654016 1988287 18446744073709551615 4194304 4196468 140721510884480 139668639156528 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
Current children cumulated CPU time: 130.63 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 7953148 KiB

[startup+162.301 s]
/proc/loadavg: 1.98 1.52 1.65 3/210 28784
/proc/meminfo: memFree=21500552/32770624 swapFree=67108860/67108860
[pid=28723] ppid=28719 vsize=13982084 memory=7954060 CPUtime=191.03 cores=1,3,5,7
/proc/28723/stat : 28723 (java) S 28719 28723 11586 0 -1 1077944320 119339 0 0 0 18448 655 0 0 20 0 15 0 52649959 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 140721510867024 139669529116407 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
/proc/28723/statm: 3495521 1988515 3827 1 0 3484295 0
[pid=28723/tid=28730] ppid=28719 vsize=13982084 memory=7954028 CPUtime=154.56 cores=1,3,5,7
/proc/28723/task/28730/stat : 28730 (java) R 28719 28723 11586 0 -1 4202560 40880 0 0 0 15416 40 0 0 20 0 15 0 52649968 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139669533351208 139669136485617 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28731] ppid=28719 vsize=13982084 memory=7954060 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28731/stat : 28731 (java) S 28719 28723 11586 0 -1 1077944384 6012 0 0 0 563 153 0 0 20 0 15 0 52649969 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139669463550736 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28732] ppid=28719 vsize=13982084 memory=7954060 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28732/stat : 28732 (java) S 28719 28723 11586 0 -1 1077944384 5547 0 0 0 576 140 0 0 20 0 15 0 52649969 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139669462498192 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28733] ppid=28719 vsize=13982084 memory=7954060 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28733/stat : 28733 (java) S 28719 28723 11586 0 -1 1077944384 5836 0 0 0 557 159 0 0 20 0 15 0 52649969 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139669461445648 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28734] ppid=28719 vsize=13982084 memory=0 CPUtime=7.19 cores=1,3,5,7
/proc/28723/task/28734/stat : 28734 (java) S 28719 28723 11586 0 -1 1077944384 7826 0 0 0 574 145 0 0 20 0 15 0 52649969 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139669460393104 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28739] ppid=28719 vsize=13982084 memory=280542298187176 CPUtime=0.28 cores=1,3,5,7
/proc/28723/task/28739/stat : 28739 (java) S 28719 28723 11586 0 -1 1077944384 13845 0 0 0 27 1 0 0 20 0 15 0 52649970 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139668715108336 139669529127554 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28741] ppid=28719 vsize=13982084 memory=7954060 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28741/stat : 28741 (java) S 28719 28723 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 52649971 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139668714054624 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28742] ppid=28719 vsize=13982084 memory=7954060 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28742/stat : 28742 (java) S 28719 28723 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 52649971 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139668645471232 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28746] ppid=28719 vsize=13982084 memory=7954060 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28746/stat : 28746 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649973 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139668644419792 139669529135003 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28747] ppid=28719 vsize=13982084 memory=7954060 CPUtime=3.25 cores=1,3,5,7
/proc/28723/task/28747/stat : 28747 (java) S 28719 28723 11586 0 -1 1077944384 13340 0 0 0 324 1 0 0 20 0 15 0 52649973 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139668643367408 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28748] ppid=28719 vsize=13982084 memory=7954060 CPUtime=3.15 cores=1,3,5,7
/proc/28723/task/28748/stat : 28748 (java) S 28719 28723 11586 0 -1 1077944384 12683 0 0 0 312 3 0 0 20 0 15 0 52649973 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139668642314864 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28749] ppid=28719 vsize=13982084 memory=7954060 CPUtime=0.93 cores=1,3,5,7
/proc/28723/task/28749/stat : 28749 (java) S 28719 28723 11586 0 -1 1077944384 11519 0 0 0 91 2 0 0 20 0 15 0 52649973 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139668641262320 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28752] ppid=28719 vsize=13982084 memory=7954060 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28752/stat : 28752 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649974 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139668640210016 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28756] ppid=28719 vsize=13982084 memory=1716 CPUtime=0.1 cores=1,3,5,7
/proc/28723/task/28756/stat : 28756 (java) S 28719 28723 11586 0 -1 1077944384 442 0 0 0 4 6 0 0 20 0 15 0 52649979 14317654016 1988515 18446744073709551615 4194304 4196468 140721510884480 139668639156528 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
Current children cumulated CPU time: 191.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 7954060 KiB

[startup+222.301 s]
/proc/loadavg: 1.99 1.61 1.67 2/198 28816
/proc/meminfo: memFree=23703600/32770624 swapFree=67108860/67108860
[pid=28723] ppid=28719 vsize=13982084 memory=7954104 CPUtime=251.34 cores=1,3,5,7
/proc/28723/stat : 28723 (java) S 28719 28723 11586 0 -1 1077944320 130488 0 0 0 24475 659 0 0 20 0 15 0 52649959 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 140721510867024 139669529116407 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
/proc/28723/statm: 3495521 1988526 3832 1 0 3484295 0
[pid=28723/tid=28730] ppid=28719 vsize=13982084 memory=7954100 CPUtime=214.56 cores=1,3,5,7
/proc/28723/task/28730/stat : 28730 (java) R 28719 28723 11586 0 -1 4202560 47368 0 0 0 21415 41 0 0 20 0 15 0 52649968 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669533352600 139669142396904 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28731] ppid=28719 vsize=13982084 memory=7954100 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28731/stat : 28731 (java) S 28719 28723 11586 0 -1 1077944384 6012 0 0 0 563 153 0 0 20 0 15 0 52649969 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669463550736 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28732] ppid=28719 vsize=13982084 memory=7954104 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28732/stat : 28732 (java) S 28719 28723 11586 0 -1 1077944384 5547 0 0 0 576 140 0 0 20 0 15 0 52649969 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669462498192 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28733] ppid=28719 vsize=13982084 memory=7954104 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28733/stat : 28733 (java) S 28719 28723 11586 0 -1 1077944384 5836 0 0 0 557 159 0 0 20 0 15 0 52649969 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669461445648 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28734] ppid=28719 vsize=13982084 memory=0 CPUtime=7.19 cores=1,3,5,7
/proc/28723/task/28734/stat : 28734 (java) S 28719 28723 11586 0 -1 1077944384 7826 0 0 0 574 145 0 0 20 0 15 0 52649969 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669460393104 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28739] ppid=28719 vsize=13982084 memory=280542298057840 CPUtime=0.28 cores=1,3,5,7
/proc/28723/task/28739/stat : 28739 (java) S 28719 28723 11586 0 -1 1077944384 13905 0 0 0 27 1 0 0 20 0 15 0 52649970 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668715108336 139669529127554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28741] ppid=28719 vsize=13982084 memory=7954092 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28741/stat : 28741 (java) S 28719 28723 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 52649971 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668714054624 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28742] ppid=28719 vsize=13982084 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28742/stat : 28742 (java) S 28719 28723 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 52649971 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668645471232 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28746] ppid=28719 vsize=13982084 memory=7954104 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28746/stat : 28746 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649973 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668644419792 139669529135003 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28747] ppid=28719 vsize=13982084 memory=4120 CPUtime=3.38 cores=1,3,5,7
/proc/28723/task/28747/stat : 28747 (java) S 28719 28723 11586 0 -1 1077944384 14907 0 0 0 336 2 0 0 20 0 15 0 52649973 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668643367408 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28748] ppid=28719 vsize=13982084 memory=7954104 CPUtime=3.27 cores=1,3,5,7
/proc/28723/task/28748/stat : 28748 (java) S 28719 28723 11586 0 -1 1077944384 14807 0 0 0 324 3 0 0 20 0 15 0 52649973 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668642314864 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28749] ppid=28719 vsize=13982084 memory=4120 CPUtime=0.96 cores=1,3,5,7
/proc/28723/task/28749/stat : 28749 (java) S 28719 28723 11586 0 -1 1077944384 12345 0 0 0 93 3 0 0 20 0 15 0 52649973 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668641262320 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28752] ppid=28719 vsize=13982084 memory=7954104 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28752/stat : 28752 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649974 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668640210016 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28756] ppid=28719 vsize=13982084 memory=7954100 CPUtime=0.14 cores=1,3,5,7
/proc/28723/task/28756/stat : 28756 (java) S 28719 28723 11586 0 -1 1077944384 526 0 0 0 6 8 0 0 20 0 15 0 52649979 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668639156528 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
Current children cumulated CPU time: 251.34 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 7954104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+223.001 s]*
/proc/loadavg: 1.99 1.61 1.67 5/212 28831
/proc/meminfo: memFree=23524480/32770624 swapFree=67108860/67108860
[pid=28723] ppid=28719 vsize=13982084 memory=7954104 CPUtime=252.05 cores=1,3,5,7
/proc/28723/stat : 28723 (java) S 28719 28723 11586 0 -1 1077944320 130525 0 0 0 24546 659 0 0 20 0 15 0 52649959 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 140721510867024 139669529116407 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
/proc/28723/statm: 3495521 1988526 3832 1 0 3484295 0
[pid=28723/tid=28730] ppid=28719 vsize=13982084 memory=-8774313645642428999 CPUtime=215.27 cores=1,3,5,7
/proc/28723/task/28730/stat : 28730 (java) R 28719 28723 11586 0 -1 4202560 47405 0 0 0 21486 41 0 0 20 0 15 0 52649968 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669533352600 139669142396932 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28731] ppid=28719 vsize=13982084 memory=-7003737579269690708 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28731/stat : 28731 (java) S 28719 28723 11586 0 -1 1077944384 6012 0 0 0 563 153 0 0 20 0 15 0 52649969 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669463550736 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28732] ppid=28719 vsize=13982084 memory=288230621803970871 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28732/stat : 28732 (java) S 28719 28723 11586 0 -1 1077944384 5547 0 0 0 576 140 0 0 20 0 15 0 52649969 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669462498192 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28733] ppid=28719 vsize=13982084 memory=15254852779379061 CPUtime=7.16 cores=1,3,5,7
/proc/28723/task/28733/stat : 28733 (java) S 28719 28723 11586 0 -1 1077944384 5836 0 0 0 557 159 0 0 20 0 15 0 52649969 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669461445648 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28734] ppid=28719 vsize=13982084 memory=4584 CPUtime=7.19 cores=1,3,5,7
/proc/28723/task/28734/stat : 28734 (java) S 28719 28723 11586 0 -1 1077944384 7826 0 0 0 574 145 0 0 20 0 15 0 52649969 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139669460393104 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28739] ppid=28719 vsize=13982084 memory=-8195925453750481479 CPUtime=0.28 cores=1,3,5,7
/proc/28723/task/28739/stat : 28739 (java) S 28719 28723 11586 0 -1 1077944384 13905 0 0 0 27 1 0 0 20 0 15 0 52649970 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668715108336 139669529127554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28741] ppid=28719 vsize=13982084 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28741/stat : 28741 (java) S 28719 28723 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 52649971 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668714054624 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28742] ppid=28719 vsize=13982084 memory=280542299296000 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28742/stat : 28742 (java) S 28719 28723 11586 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 52649971 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668645471232 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28746] ppid=28719 vsize=13982084 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28746/stat : 28746 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649973 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668644419792 139669529135003 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28747] ppid=28719 vsize=13982084 memory=-7666414585839465563 CPUtime=3.38 cores=1,3,5,7
/proc/28723/task/28747/stat : 28747 (java) S 28719 28723 11586 0 -1 1077944384 14907 0 0 0 336 2 0 0 20 0 15 0 52649973 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668643367408 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28748] ppid=28719 vsize=13982084 memory=-6520478321162704286 CPUtime=3.27 cores=1,3,5,7
/proc/28723/task/28748/stat : 28748 (java) S 28719 28723 11586 0 -1 1077944384 14807 0 0 0 324 3 0 0 20 0 15 0 52649973 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668642314864 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28749] ppid=28719 vsize=13982084 memory=-7521736447810188379 CPUtime=0.96 cores=1,3,5,7
/proc/28723/task/28749/stat : 28749 (java) S 28719 28723 11586 0 -1 1077944384 12345 0 0 0 93 3 0 0 20 0 15 0 52649973 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668641262320 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28752] ppid=28719 vsize=13982084 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/28723/task/28752/stat : 28752 (java) S 28719 28723 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52649974 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668640210016 139669529126613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
[pid=28723/tid=28756] ppid=28719 vsize=13982084 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/28723/task/28756/stat : 28756 (java) S 28719 28723 11586 0 -1 1077944384 526 0 0 0 6 8 0 0 20 0 15 0 52649979 14317654016 1988526 18446744073709551615 4194304 4196468 140721510884480 139668639156528 139669529127554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 18853888 140721510891899 140721510892078 140721510892078 140721510895567 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 7954104 KiB

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

[startup+223.069 s]
# the end of solver process 28723 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.499 s, system=6.62634 s

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

Child status: 143
Real time (s): 223.069
CPU time (s): 252.125
CPU user time (s): 245.499
CPU system time (s): 6.62634
CPU usage (%): 113.026
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 7956260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.499
system time used= 6.62634
maximum resident set size= 7956260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131003
page faults= 0
swaps= 0
block input operations= 1952
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9629
involuntary context switches= 529


# summary of solver processes directly reported to runsolver:
#   pid: 28723
#   total CPU time (s): 252.125
#   total CPU user time (s): 245.499
#   total CPU system time (s): 6.62634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31355 second user time and 2.20471 second system time

The end

Launcher Data

Begin job on node124 at 2017-08-13 18:37:16
IDJOB=4255549
IDBENCH=120625
IDSOLVER=2638
FILE ID=node124/4255549-1502643093
RUNJOBID= node124-1502642236-28698
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= OscaR - ALNS 2017-07-26
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255549-1502643093/watcher-4255549-1502643093 -o /tmp/evaluation-result-4255549-1502643093/solver-4255549-1502643093 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502642236-28698 --watchdog 312  java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 486372594 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4255549-1502643093.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=486372594

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31666288 kB
MemAvailable:   32005656 kB
Buffers:          170092 kB
Cached:           459432 kB
SwapCached:            0 kB
Active:           492924 kB
Inactive:         187076 kB
Active(anon):       2048 kB
Inactive(anon):    73804 kB
Active(file):     490876 kB
Inactive(file):   113272 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             88212 kB
Writeback:             4 kB
AnonPages:         50884 kB
Mapped:            42032 kB
Shmem:             25320 kB
Slab:             128436 kB
SReclaimable:     102108 kB
SUnreclaim:        26328 kB
KernelStack:        3088 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     298292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61944 MiB
End job on node124 at 2017-08-13 18:41:00