Trace number 4293752

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 NameAnswerCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13SAT 1191.96 1126.07

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin10_c18.xml
MD5SUM72806e24f62b8b3ef3e659c1068d636c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.09477
Satisfiable
(Un)Satisfiability was proved
Number of variables2025
Number of constraints410
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2025}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":2025}]
Minimum constraint arity45
Maximum constraint arity81
Distribution of constraint arities[{"arity":45,"count":360},{"arity":81,"count":50}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":410}]
Optimization problemNO
Type of objective

Solver Data

0.98/0.74	c Concrete v3.8.1528841891564 running
1191.85/1126.02	v <instantiation>
1191.85/1126.02	v       <list>
1191.85/1126.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]
1191.85/1126.02	v       </list>
1191.85/1126.02	v       <values>
1191.85/1126.02	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
1191.85/1126.02	v       </values>
1191.85/1126.02	v     </instantiation>
1191.85/1126.02	s SATISFIABLE

Verifier Data

OK	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293752-1532325330/watcher-4293752-1532325330 -o /tmp/evaluation-result-4293752-1532325330/solver-4293752-1532325330 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1801649640 -superng HOME/instance-4293752-1532325330.xml 

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

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


[startup+0.100093 s]*
/proc/loadavg: 1.34 1.29 1.27 3/206 9052
/proc/meminfo: memFree=28143172/32770624 swapFree=67108860/67108860
[pid=8995] ppid=8992 vsize=9972712 memory=18596 CPUtime=0.08 cores=0,2,4,6
/proc/8995/stat : 8995 (java) S 8992 8995 3468 0 -1 1077944320 4302 13094 0 0 1 0 4 3 20 0 6 0 50096254 10212057088 4649 33554432000 4194304 4196468 140730689945040 140730689927584 139815021661943 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
/proc/8995/statm: 2493178 4649 1932 1 0 2481616 0
[pid=8995/tid=9048] ppid=8992 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9048/stat : 9048 (java) R 8992 8995 3468 0 -1 4202560 2122 13094 0 0 0 0 4 3 20 0 6 0 50096263 10212057088 4649 33554432000 4194304 4196468 140730689945040 139814993498704 139815003055677 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9049] ppid=8992 vsize=9972712 memory=5793855462147758521 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9049/stat : 9049 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 6 0 50096263 10212057088 4649 33554432000 4194304 4196468 140730689945040 139815025904400 139815021672149 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9050] ppid=8992 vsize=9972712 memory=140211137865344 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9050/stat : 9050 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 6 0 50096264 10212057088 4649 33554432000 4194304 4196468 140730689945040 139814944656272 139815021672149 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9051] ppid=8992 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9051/stat : 9051 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 6 0 50096264 10212057088 4649 33554432000 4194304 4196468 140730689945040 139814593551376 139815021672149 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9052] ppid=8992 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9052/stat : 9052 (java) S 8992 8995 3468 0 -1 1077944384 2 13094 0 0 0 0 4 3 20 0 6 0 50096264 10212057088 4649 33554432000 4194304 4196468 140730689945040 139814592498832 139815021672149 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.209894 s]*
/proc/loadavg: 1.34 1.29 1.27 3/215 9061
/proc/meminfo: memFree=28122628/32770624 swapFree=67108860/67108860
[pid=8995] ppid=8992 vsize=10819896 memory=43960 CPUtime=0.25 cores=0,2,4,6
/proc/8995/stat : 8995 (java) S 8992 8995 3468 0 -1 1077944320 8306 13094 0 0 16 2 4 3 20 0 15 0 50096254 11079573504 10990 33554432000 4194304 4196468 140730689945040 140730689927584 139815021661943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
/proc/8995/statm: 2704974 10990 2971 1 0 2667397 0
[pid=8995/tid=9048] ppid=8992 vsize=10818936 memory=-2899909650764262549 CPUtime=0.18 cores=0,2,4,6
/proc/8995/task/9048/stat : 9048 (java) R 8992 8995 3468 0 -1 4202560 5441 13094 0 0 10 1 4 3 20 0 15 0 50096263 11078590464 11443 33554432000 4194304 4196468 140730689945040 139814993486752 139815014341661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9049] ppid=8992 vsize=10818936 memory=4211973937342655882 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9049/stat : 9049 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096263 11078590464 11443 33554432000 4194304 4196468 140730689945040 139815025904400 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9050] ppid=8992 vsize=10818936 memory=140211137865344 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9050/stat : 9050 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096264 11078590464 11509 33554432000 4194304 4196468 140730689945040 139814944656272 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9051] ppid=8992 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9051/stat : 9051 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096264 11078590464 11509 33554432000 4194304 4196468 140730689945040 139814593551376 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9052] ppid=8992 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9052/stat : 9052 (java) S 8992 8995 3468 0 -1 1077944384 2 13094 0 0 0 0 4 3 20 0 15 0 50096264 11078590464 11509 33554432000 4194304 4196468 140730689945040 139814592498832 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9053] ppid=8992 vsize=10818936 memory=140211137865344 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9053/stat : 9053 (java) S 8992 8995 3468 0 -1 1077944384 2 13094 0 0 0 0 4 3 20 0 15 0 50096265 11078590464 11509 33554432000 4194304 4196468 140730689945040 139814548244464 139815021673090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9054] ppid=8992 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9054/stat : 9054 (java) S 8992 8995 3468 0 -1 1077944384 13 13094 0 0 0 0 4 3 20 0 15 0 50096265 11078590464 11575 33554432000 4194304 4196468 140730689945040 139814003270560 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9055] ppid=8992 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9055/stat : 9055 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096266 11078590464 11575 33554432000 4194304 4196468 140730689945040 139813801944048 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9056] ppid=8992 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9056/stat : 9056 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11078590464 11575 33554432000 4194304 4196468 140730689945040 139813561653456 139815021680539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9057] ppid=8992 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8995/task/9057/stat : 9057 (java) S 8992 8995 3468 0 -1 1077944384 487 13094 0 0 1 0 4 3 20 0 15 0 50096268 11078590464 11575 33554432000 4194304 4196468 140730689945040 139814547192304 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9058] ppid=8992 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9058/stat : 9058 (java) S 8992 8995 3468 0 -1 1077944384 89 13094 0 0 0 0 4 3 20 0 15 0 50096268 11078557696 11628 33554432000 4194304 4196468 140730689945040 139814546139760 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9059] ppid=8992 vsize=10818904 memory=140211137865344 CPUtime=0.1 cores=0,2,4,6
/proc/8995/task/9059/stat : 9059 (java) S 8992 8995 3468 0 -1 1077944384 572 13094 0 0 3 0 4 3 20 0 15 0 50096268 11078557696 11628 33554432000 4194304 4196468 140730689945040 139814545087216 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9060] ppid=8992 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9060/stat : 9060 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11078557696 11628 33554432000 4194304 4196468 140730689945040 139813528095840 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9061] ppid=8992 vsize=10818904 memory=140211137865344 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9061/stat : 9061 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096269 11078557696 11628 33554432000 4194304 4196468 140730689945040 139814544034096 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 43960 KiB

[startup+0.310307 s]*
/proc/loadavg: 1.34 1.29 1.27 3/215 9061
/proc/meminfo: memFree=28108796/32770624 swapFree=67108860/67108860
[pid=8995] ppid=8992 vsize=10819352 memory=54388 CPUtime=0.38 cores=0,2,4,6
/proc/8995/stat : 8995 (java) S 8992 8995 3468 0 -1 1077944320 10167 13094 0 0 28 3 4 3 20 0 15 0 50096254 11079016448 13597 33554432000 4194304 4196468 140730689945040 140730689927584 139815021661943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
/proc/8995/statm: 2704838 13597 3090 1 0 2667149 0
[pid=8995/tid=9048] ppid=8992 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/8995/task/9048/stat : 9048 (java) R 8992 8995 3468 0 -1 4202560 6796 13094 0 0 19 2 4 3 20 0 15 0 50096263 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814993473952 139815005742430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9049] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9049/stat : 9049 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096263 11079016448 13597 33554432000 4194304 4196468 140730689945040 139815025904400 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9050] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9050/stat : 9050 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096264 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814944656272 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9051] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9051/stat : 9051 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096264 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814593551376 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9052] ppid=8992 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9052/stat : 9052 (java) S 8992 8995 3468 0 -1 1077944384 2 13094 0 0 0 0 4 3 20 0 15 0 50096264 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814592498832 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9053] ppid=8992 vsize=10819352 memory=140211137865343 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9053/stat : 9053 (java) S 8992 8995 3468 0 -1 1077944384 2 13094 0 0 0 0 4 3 20 0 15 0 50096265 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814548244464 139815021673090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9054] ppid=8992 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9054/stat : 9054 (java) S 8992 8995 3468 0 -1 1077944384 13 13094 0 0 0 0 4 3 20 0 15 0 50096265 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814003270560 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9055] ppid=8992 vsize=10819352 memory=140211137865344 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9055/stat : 9055 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096266 11079016448 13597 33554432000 4194304 4196468 140730689945040 139813801944048 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9056] ppid=8992 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9056/stat : 9056 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11079016448 13597 33554432000 4194304 4196468 140730689945040 139813561653456 139815021680539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9057] ppid=8992 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8995/task/9057/stat : 9057 (java) S 8992 8995 3468 0 -1 1077944384 488 13094 0 0 1 0 4 3 20 0 15 0 50096268 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814547192304 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9058] ppid=8992 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8995/task/9058/stat : 9058 (java) R 8992 8995 3468 0 -1 1077944384 89 13094 0 0 1 0 4 3 20 0 15 0 50096268 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814546139760 139815021673090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9059] ppid=8992 vsize=10819352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/8995/task/9059/stat : 9059 (java) R 8992 8995 3468 0 -1 4202560 590 13094 0 0 4 0 4 3 20 0 15 0 50096268 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814545087216 139815001633128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9060] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9060/stat : 9060 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11079016448 13597 33554432000 4194304 4196468 140730689945040 139813528095840 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9061] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9061/stat : 9061 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096269 11079016448 13597 33554432000 4194304 4196468 140730689945040 139814544034096 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54388 KiB

[startup+0.700728 s]
/proc/loadavg: 1.34 1.29 1.27 3/215 9061
/proc/meminfo: memFree=28098616/32770624 swapFree=67108860/67108860
[pid=8995] ppid=8992 vsize=10819352 memory=87692 CPUtime=0.98 cores=0,2,4,6
/proc/8995/stat : 8995 (java) S 8992 8995 3468 0 -1 1077944320 16493 13094 0 0 86 5 4 3 20 0 15 0 50096254 11079016448 21923 33554432000 4194304 4196468 140730689945040 140730689927584 139815021661943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
/proc/8995/statm: 2704838 21923 3237 1 0 2667149 0
[pid=8995/tid=9048] ppid=8992 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/8995/task/9048/stat : 9048 (java) R 8992 8995 3468 0 -1 4202560 12018 13094 0 0 56 3 4 3 20 0 15 0 50096263 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814993482768 139815003225472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9049] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9049/stat : 9049 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096263 11079016448 21923 33554432000 4194304 4196468 140730689945040 139815025904400 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9050] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9050/stat : 9050 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096264 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814944656272 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9051] ppid=8992 vsize=10819352 memory=3472468506438735667 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9051/stat : 9051 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096264 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814593551376 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9052] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9052/stat : 9052 (java) S 8992 8995 3468 0 -1 1077944384 2 13094 0 0 0 0 4 3 20 0 15 0 50096264 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814592498832 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9053] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9053/stat : 9053 (java) S 8992 8995 3468 0 -1 1077944384 6 13094 0 0 0 0 4 3 20 0 15 0 50096265 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814548244464 139815021673090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9054] ppid=8992 vsize=10819352 memory=280422038921792 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9054/stat : 9054 (java) S 8992 8995 3468 0 -1 1077944384 13 13094 0 0 0 0 4 3 20 0 15 0 50096265 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814003270560 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9055] ppid=8992 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9055/stat : 9055 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096266 11079016448 21923 33554432000 4194304 4196468 140730689945040 139813801944048 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9056] ppid=8992 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9056/stat : 9056 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11079016448 21923 33554432000 4194304 4196468 140730689945040 139813561653456 139815021680539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9057] ppid=8992 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/8995/task/9057/stat : 9057 (java) S 8992 8995 3468 0 -1 1077944384 883 13094 0 0 7 0 4 3 20 0 15 0 50096268 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814547192304 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9058] ppid=8992 vsize=10819352 memory=2241 CPUtime=0.15 cores=0,2,4,6
/proc/8995/task/9058/stat : 9058 (java) S 8992 8995 3468 0 -1 1077944384 685 13094 0 0 8 0 4 3 20 0 15 0 50096268 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814546139760 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9059] ppid=8992 vsize=10819352 memory=280422038658080 CPUtime=0.19 cores=0,2,4,6
/proc/8995/task/9059/stat : 9059 (java) S 8992 8995 3468 0 -1 1077944384 688 13094 0 0 12 0 4 3 20 0 15 0 50096268 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814545087216 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9060] ppid=8992 vsize=10819352 memory=11524 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9060/stat : 9060 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11079016448 21923 33554432000 4194304 4196468 140730689945040 139813528095840 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9061] ppid=8992 vsize=10819352 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9061/stat : 9061 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096269 11079016448 21923 33554432000 4194304 4196468 140730689945040 139814544034096 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 87692 KiB

[startup+1.50071 s]
/proc/loadavg: 1.34 1.29 1.27 5/215 9061
/proc/meminfo: memFree=28052408/32770624 swapFree=67108860/67108860
[pid=8995] ppid=8992 vsize=10834252 memory=200776 CPUtime=2.73 cores=0,2,4,6
/proc/8995/stat : 8995 (java) S 8992 8995 3468 0 -1 1077944320 24041 13094 0 0 255 11 4 3 20 0 15 0 50096254 11094274048 50194 33554432000 4194304 4196468 140730689945040 140730689927584 139815021661943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
/proc/8995/statm: 2708563 50194 3485 1 0 2670221 0
[pid=8995/tid=9048] ppid=8992 vsize=10834252 memory=101808 CPUtime=1.41 cores=0,2,4,6
/proc/8995/task/9048/stat : 9048 (java) R 8992 8995 3468 0 -1 4202560 16751 13094 0 0 128 6 4 3 20 0 15 0 50096263 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814993469728 139815021683869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9049] ppid=8992 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8995/task/9049/stat : 9049 (java) S 8992 8995 3468 0 -1 1077944384 21 13094 0 0 2 0 4 3 20 0 15 0 50096263 11094274048 50194 33554432000 4194304 4196468 140730689945040 139815025904400 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9050] ppid=8992 vsize=10834252 memory=280422038987136 CPUtime=0.09 cores=0,2,4,6
/proc/8995/task/9050/stat : 9050 (java) S 8992 8995 3468 0 -1 1077944384 157 13094 0 0 2 0 4 3 20 0 15 0 50096264 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814944656272 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9051] ppid=8992 vsize=10834252 memory=140211019335424 CPUtime=0.09 cores=0,2,4,6
/proc/8995/task/9051/stat : 9051 (java) S 8992 8995 3468 0 -1 1077944384 17 13094 0 0 2 0 4 3 20 0 15 0 50096264 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814593551376 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9052] ppid=8992 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8995/task/9052/stat : 9052 (java) S 8992 8995 3468 0 -1 1077944384 72 13094 0 0 1 0 4 3 20 0 15 0 50096264 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814592498832 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9053] ppid=8992 vsize=10834252 memory=288230621803970871 CPUtime=0.08 cores=0,2,4,6
/proc/8995/task/9053/stat : 9053 (java) S 8992 8995 3468 0 -1 1077944384 47 13094 0 0 1 0 4 3 20 0 15 0 50096265 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814548244464 139815021673090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9054] ppid=8992 vsize=10834252 memory=14977762981055007 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9054/stat : 9054 (java) S 8992 8995 3468 0 -1 1077944384 13 13094 0 0 0 0 4 3 20 0 15 0 50096265 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814003270624 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9055] ppid=8992 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9055/stat : 9055 (java) S 8992 8995 3468 0 -1 1077944384 2 13094 0 0 0 0 4 3 20 0 15 0 50096266 11094274048 50194 33554432000 4194304 4196468 140730689945040 139813801944064 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9056] ppid=8992 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9056/stat : 9056 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11094274048 50194 33554432000 4194304 4196468 140730689945040 139813561653456 139815021680539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9057] ppid=8992 vsize=10834252 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/8995/task/9057/stat : 9057 (java) S 8992 8995 3468 0 -1 1077944384 2052 13094 0 0 39 0 4 3 20 0 15 0 50096268 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814547192304 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9058] ppid=8992 vsize=10834252 memory=-2127759918530650248 CPUtime=0.44 cores=0,2,4,6
/proc/8995/task/9058/stat : 9058 (java) S 8992 8995 3468 0 -1 1077944384 1223 13094 0 0 37 0 4 3 20 0 15 0 50096268 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814546139760 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9059] ppid=8992 vsize=10834252 memory=232 CPUtime=0.47 cores=0,2,4,6
/proc/8995/task/9059/stat : 9059 (java) S 8992 8995 3468 0 -1 1077944384 1492 13094 0 0 39 1 4 3 20 0 15 0 50096268 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814545087216 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9060] ppid=8992 vsize=10834252 memory=118 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9060/stat : 9060 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11094274048 50194 33554432000 4194304 4196468 140730689945040 139813528095840 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9061] ppid=8992 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9061/stat : 9061 (java) S 8992 8995 3468 0 -1 1077944384 1 13094 0 0 0 0 4 3 20 0 15 0 50096269 11094274048 50194 33554432000 4194304 4196468 140730689945040 139814544034096 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 10834252 KiB

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

[startup+1126.07 s]
# the end of solver process 8995 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1188.74 s, system=3.21653 s

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

[startup+1123.2 s]
/proc/loadavg: 1.68 1.80 1.65 3/216 9245
/proc/meminfo: memFree=22341644/32770624 swapFree=67108860/67108860
[pid=8995] ppid=8992 vsize=10850656 memory=4105220 CPUtime=1188.81 cores=0,2,4,6
/proc/8995/stat : 8995 (java) S 8992 8995 3468 0 -1 1077944320 315440 13094 0 0 118560 314 4 3 20 0 15 0 50096254 11111071744 1026305 33554432000 4194304 4196468 140730689945040 140730689927584 139815021661943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
/proc/8995/statm: 2712664 1026305 3533 1 0 2674317 0
[pid=8995/tid=9048] ppid=8992 vsize=10850656 memory=4105220 CPUtime=1110.4 cores=0,2,4,6
/proc/8995/task/9048/stat : 9048 (java) R 8992 8995 3468 0 -1 4202560 113423 13094 0 0 110981 52 4 3 20 0 15 0 50096263 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814993495792 139814643302932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9049] ppid=8992 vsize=10850656 memory=1408 CPUtime=12.14 cores=0,2,4,6
/proc/8995/task/9049/stat : 9049 (java) S 8992 8995 3468 0 -1 1077944384 11250 13094 0 0 1156 51 4 3 20 0 15 0 50096263 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139815025904400 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9050] ppid=8992 vsize=10850656 memory=8112282956445269571 CPUtime=12.15 cores=0,2,4,6
/proc/8995/task/9050/stat : 9050 (java) S 8992 8995 3468 0 -1 1077944384 5446 13094 0 0 1154 54 4 3 20 0 15 0 50096264 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814944656272 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9051] ppid=8992 vsize=10850656 memory=1240 CPUtime=12.12 cores=0,2,4,6
/proc/8995/task/9051/stat : 9051 (java) S 8992 8995 3468 0 -1 1077944384 17080 13094 0 0 1153 52 4 3 20 0 15 0 50096264 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814593551376 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9052] ppid=8992 vsize=10850656 memory=640 CPUtime=12.11 cores=0,2,4,6
/proc/8995/task/9052/stat : 9052 (java) S 8992 8995 3468 0 -1 1077944384 15535 13094 0 0 1151 53 4 3 20 0 15 0 50096264 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814592498832 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9053] ppid=8992 vsize=10850656 memory=1792 CPUtime=0.52 cores=0,2,4,6
/proc/8995/task/9053/stat : 9053 (java) S 8992 8995 3468 0 -1 1077944384 18971 13094 0 0 41 4 4 3 20 0 15 0 50096265 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814548244464 139815021673090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9054] ppid=8992 vsize=10850656 memory=4105220 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9054/stat : 9054 (java) S 8992 8995 3468 0 -1 1077944384 15 13094 0 0 0 0 4 3 20 0 15 0 50096265 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814003270688 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9055] ppid=8992 vsize=10850656 memory=4105220 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9055/stat : 9055 (java) S 8992 8995 3468 0 -1 1077944384 9 13094 0 0 0 0 4 3 20 0 15 0 50096266 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139813801944064 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9056] ppid=8992 vsize=10850656 memory=10748 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9056/stat : 9056 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139813561653456 139815021680539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9057] ppid=8992 vsize=10850656 memory=1240 CPUtime=12.24 cores=0,2,4,6
/proc/8995/task/9057/stat : 9057 (java) S 8992 8995 3468 0 -1 1077944384 42612 13094 0 0 1210 7 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814547192304 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9058] ppid=8992 vsize=10850656 memory=4105220 CPUtime=12.8 cores=0,2,4,6
/proc/8995/task/9058/stat : 9058 (java) S 8992 8995 3468 0 -1 1077944384 45064 13094 0 0 1266 7 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814546139760 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9059] ppid=8992 vsize=10850656 memory=16480 CPUtime=4.22 cores=0,2,4,6
/proc/8995/task/9059/stat : 9059 (java) S 8992 8995 3468 0 -1 1077944384 42671 13094 0 0 406 9 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814545087216 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9060] ppid=8992 vsize=10850656 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9060/stat : 9060 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139813528095840 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9061] ppid=8992 vsize=10850656 memory=2344 CPUtime=0.63 cores=0,2,4,6
/proc/8995/task/9061/stat : 9061 (java) S 8992 8995 3468 0 -1 1077944384 1171 13094 0 0 28 28 4 3 20 0 15 0 50096269 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814544034096 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
Current children cumulated CPU time: 1188.81 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4105220 KiB

[startup+1124.8 s]
/proc/loadavg: 1.68 1.80 1.65 3/216 9245
/proc/meminfo: memFree=22341644/32770624 swapFree=67108860/67108860
[pid=8995] ppid=8992 vsize=10850656 memory=4105220 CPUtime=1190.48 cores=0,2,4,6
/proc/8995/stat : 8995 (java) S 8992 8995 3468 0 -1 1077944320 315490 13094 0 0 118727 314 4 3 20 0 15 0 50096254 11111071744 1026305 33554432000 4194304 4196468 140730689945040 140730689927584 139815021661943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
/proc/8995/statm: 2712664 1026305 3533 1 0 2674317 0
[pid=8995/tid=9048] ppid=8992 vsize=10850656 memory=8112282956445269571 CPUtime=1111.97 cores=0,2,4,6
/proc/8995/task/9048/stat : 9048 (java) R 8992 8995 3468 0 -1 4202560 113441 13094 0 0 111138 52 4 3 20 0 15 0 50096263 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814993496688 139814643105464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9049] ppid=8992 vsize=10850656 memory=-7003737579269690708 CPUtime=12.16 cores=0,2,4,6
/proc/8995/task/9049/stat : 9049 (java) S 8992 8995 3468 0 -1 1077944384 11255 13094 0 0 1158 51 4 3 20 0 15 0 50096263 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139815025904400 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9050] ppid=8992 vsize=10850656 memory=8112282956445269571 CPUtime=12.17 cores=0,2,4,6
/proc/8995/task/9050/stat : 9050 (java) S 8992 8995 3468 0 -1 1077944384 5457 13094 0 0 1156 54 4 3 20 0 15 0 50096264 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814944656272 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9051] ppid=8992 vsize=10850656 memory=1956 CPUtime=12.15 cores=0,2,4,6
/proc/8995/task/9051/stat : 9051 (java) S 8992 8995 3468 0 -1 1077944384 17086 13094 0 0 1156 52 4 3 20 0 15 0 50096264 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814593551376 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9052] ppid=8992 vsize=10850656 memory=1196 CPUtime=12.14 cores=0,2,4,6
/proc/8995/task/9052/stat : 9052 (java) S 8992 8995 3468 0 -1 1077944384 15543 13094 0 0 1154 53 4 3 20 0 15 0 50096264 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814592498832 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9053] ppid=8992 vsize=10850656 memory=8360 CPUtime=0.52 cores=0,2,4,6
/proc/8995/task/9053/stat : 9053 (java) S 8992 8995 3468 0 -1 1077944384 18973 13094 0 0 41 4 4 3 20 0 15 0 50096265 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814548244464 139815021673090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9054] ppid=8992 vsize=10850656 memory=5520 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9054/stat : 9054 (java) S 8992 8995 3468 0 -1 1077944384 15 13094 0 0 0 0 4 3 20 0 15 0 50096265 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814003270688 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9055] ppid=8992 vsize=10850656 memory=4105220 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9055/stat : 9055 (java) S 8992 8995 3468 0 -1 1077944384 9 13094 0 0 0 0 4 3 20 0 15 0 50096266 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139813801944064 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9056] ppid=8992 vsize=10850656 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9056/stat : 9056 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139813561653456 139815021680539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9057] ppid=8992 vsize=10850656 memory=2340 CPUtime=12.24 cores=0,2,4,6
/proc/8995/task/9057/stat : 9057 (java) S 8992 8995 3468 0 -1 1077944384 42612 13094 0 0 1210 7 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814547192304 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9058] ppid=8992 vsize=10850656 memory=932 CPUtime=12.8 cores=0,2,4,6
/proc/8995/task/9058/stat : 9058 (java) S 8992 8995 3468 0 -1 1077944384 45064 13094 0 0 1266 7 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814546139760 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9059] ppid=8992 vsize=10850656 memory=1568 CPUtime=4.22 cores=0,2,4,6
/proc/8995/task/9059/stat : 9059 (java) S 8992 8995 3468 0 -1 1077944384 42671 13094 0 0 406 9 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814545087216 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9060] ppid=8992 vsize=10850656 memory=2240 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9060/stat : 9060 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139813528095840 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9061] ppid=8992 vsize=10850656 memory=4128 CPUtime=0.63 cores=0,2,4,6
/proc/8995/task/9061/stat : 9061 (java) S 8992 8995 3468 0 -1 1077944384 1171 13094 0 0 28 28 4 3 20 0 15 0 50096269 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814544034096 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
Current children cumulated CPU time: 1190.48 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4105220 KiB

[startup+1125.6 s]
/proc/loadavg: 1.68 1.80 1.65 3/216 9245
/proc/meminfo: memFree=22341644/32770624 swapFree=67108860/67108860
[pid=8995] ppid=8992 vsize=10850656 memory=4105220 CPUtime=1191.28 cores=0,2,4,6
/proc/8995/stat : 8995 (java) S 8992 8995 3468 0 -1 1077944320 315490 13094 0 0 118807 314 4 3 20 0 15 0 50096254 11111071744 1026305 33554432000 4194304 4196468 140730689945040 140730689927584 139815021661943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
/proc/8995/statm: 2712664 1026305 3533 1 0 2674317 0
[pid=8995/tid=9048] ppid=8992 vsize=10850656 memory=8112282956445269571 CPUtime=1112.77 cores=0,2,4,6
/proc/8995/task/9048/stat : 9048 (java) R 8992 8995 3468 0 -1 4202560 113441 13094 0 0 111218 52 4 3 20 0 15 0 50096263 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814993496688 139814643216798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9049] ppid=8992 vsize=10850656 memory=3848 CPUtime=12.16 cores=0,2,4,6
/proc/8995/task/9049/stat : 9049 (java) S 8992 8995 3468 0 -1 1077944384 11255 13094 0 0 1158 51 4 3 20 0 15 0 50096263 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139815025904400 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9050] ppid=8992 vsize=10850656 memory=2600 CPUtime=12.17 cores=0,2,4,6
/proc/8995/task/9050/stat : 9050 (java) S 8992 8995 3468 0 -1 1077944384 5457 13094 0 0 1156 54 4 3 20 0 15 0 50096264 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814944656272 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9051] ppid=8992 vsize=10850656 memory=2640 CPUtime=12.15 cores=0,2,4,6
/proc/8995/task/9051/stat : 9051 (java) S 8992 8995 3468 0 -1 1077944384 17086 13094 0 0 1156 52 4 3 20 0 15 0 50096264 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814593551376 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9052] ppid=8992 vsize=10850656 memory=4108 CPUtime=12.14 cores=0,2,4,6
/proc/8995/task/9052/stat : 9052 (java) S 8992 8995 3468 0 -1 1077944384 15543 13094 0 0 1154 53 4 3 20 0 15 0 50096264 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814592498832 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9053] ppid=8992 vsize=10850656 memory=1404 CPUtime=0.52 cores=0,2,4,6
/proc/8995/task/9053/stat : 9053 (java) S 8992 8995 3468 0 -1 1077944384 18973 13094 0 0 41 4 4 3 20 0 15 0 50096265 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814548244464 139815021673090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9054] ppid=8992 vsize=10850656 memory=3196 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9054/stat : 9054 (java) S 8992 8995 3468 0 -1 1077944384 15 13094 0 0 0 0 4 3 20 0 15 0 50096265 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814003270688 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9055] ppid=8992 vsize=10850656 memory=4105220 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9055/stat : 9055 (java) S 8992 8995 3468 0 -1 1077944384 9 13094 0 0 0 0 4 3 20 0 15 0 50096266 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139813801944064 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9056] ppid=8992 vsize=10850656 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9056/stat : 9056 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139813561653456 139815021680539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9057] ppid=8992 vsize=10850656 memory=3100 CPUtime=12.24 cores=0,2,4,6
/proc/8995/task/9057/stat : 9057 (java) S 8992 8995 3468 0 -1 1077944384 42612 13094 0 0 1210 7 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814547192304 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9058] ppid=8992 vsize=10850656 memory=8112282956445269571 CPUtime=12.8 cores=0,2,4,6
/proc/8995/task/9058/stat : 9058 (java) S 8992 8995 3468 0 -1 1077944384 45064 13094 0 0 1266 7 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814546139760 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9059] ppid=8992 vsize=10850656 memory=4052 CPUtime=4.22 cores=0,2,4,6
/proc/8995/task/9059/stat : 9059 (java) S 8992 8995 3468 0 -1 1077944384 42671 13094 0 0 406 9 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814545087216 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9060] ppid=8992 vsize=10850656 memory=16248 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9060/stat : 9060 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139813528095840 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9061] ppid=8992 vsize=10850656 memory=8112282956445269571 CPUtime=0.63 cores=0,2,4,6
/proc/8995/task/9061/stat : 9061 (java) S 8992 8995 3468 0 -1 1077944384 1171 13094 0 0 28 28 4 3 20 0 15 0 50096269 11111071744 1026305 33554432000 4194304 4196468 140730689945040 139814544034096 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
Current children cumulated CPU time: 1191.28 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4105220 KiB

[startup+1126 s]*
/proc/loadavg: 1.68 1.80 1.65 5/216 9245
/proc/meminfo: memFree=22341644/32770624 swapFree=67108860/67108860
[pid=8995] ppid=8992 vsize=10850656 memory=4105496 CPUtime=1191.85 cores=0,2,4,6
/proc/8995/stat : 8995 (java) S 8992 8995 3468 0 -1 1077944320 325719 13094 0 0 118863 315 4 3 20 0 15 0 50096254 11111071744 1026374 33554432000 4194304 4196468 140730689945040 140730689927584 139815021661943 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
/proc/8995/statm: 2712664 1026374 3533 1 0 2674317 0
[pid=8995/tid=9048] ppid=8992 vsize=10850656 memory=8112282956445269571 CPUtime=1113.18 cores=0,2,4,6
/proc/8995/task/9048/stat : 9048 (java) R 8992 8995 3468 0 -1 4202560 117176 13094 0 0 111259 52 4 3 20 0 15 0 50096263 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814993498240 139815021683290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9049] ppid=8992 vsize=10850656 memory=0 CPUtime=12.16 cores=0,2,4,6
/proc/8995/task/9049/stat : 9049 (java) S 8992 8995 3468 0 -1 1077944384 11255 13094 0 0 1158 51 4 3 20 0 15 0 50096263 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139815025904400 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9050] ppid=8992 vsize=10850656 memory=0 CPUtime=12.17 cores=0,2,4,6
/proc/8995/task/9050/stat : 9050 (java) S 8992 8995 3468 0 -1 1077944384 5457 13094 0 0 1156 54 4 3 20 0 15 0 50096264 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814944656272 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9051] ppid=8992 vsize=10850656 memory=0 CPUtime=12.15 cores=0,2,4,6
/proc/8995/task/9051/stat : 9051 (java) S 8992 8995 3468 0 -1 1077944384 17086 13094 0 0 1156 52 4 3 20 0 15 0 50096264 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814593551376 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9052] ppid=8992 vsize=10850656 memory=0 CPUtime=12.14 cores=0,2,4,6
/proc/8995/task/9052/stat : 9052 (java) S 8992 8995 3468 0 -1 1077944384 15543 13094 0 0 1154 53 4 3 20 0 15 0 50096264 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814592498832 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9053] ppid=8992 vsize=10850656 memory=140215432832639 CPUtime=0.52 cores=0,2,4,6
/proc/8995/task/9053/stat : 9053 (java) S 8992 8995 3468 0 -1 1077944384 18986 13094 0 0 41 4 4 3 20 0 15 0 50096265 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814548244464 139815021673090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9054] ppid=8992 vsize=10850656 memory=2240 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9054/stat : 9054 (java) S 8992 8995 3468 0 -1 1077944384 15 13094 0 0 0 0 4 3 20 0 15 0 50096265 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814003270688 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9055] ppid=8992 vsize=10850656 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9055/stat : 9055 (java) S 8992 8995 3468 0 -1 1077944384 9 13094 0 0 0 0 4 3 20 0 15 0 50096266 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139813801944064 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9056] ppid=8992 vsize=10850656 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9056/stat : 9056 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139813561653456 139815021680539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9057] ppid=8992 vsize=10850656 memory=0 CPUtime=12.32 cores=0,2,4,6
/proc/8995/task/9057/stat : 9057 (java) R 8992 8995 3468 0 -1 4202560 43721 13094 0 0 1218 7 4 3 20 0 15 0 50096268 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814547179856 139815006052061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9058] ppid=8992 vsize=10850656 memory=2272 CPUtime=12.86 cores=0,2,4,6
/proc/8995/task/9058/stat : 9058 (java) R 8992 8995 3468 0 -1 4202560 47732 13094 0 0 1272 7 4 3 20 0 15 0 50096268 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814546127792 139815005567948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9059] ppid=8992 vsize=10850656 memory=140215432832639 CPUtime=4.24 cores=0,2,4,6
/proc/8995/task/9059/stat : 9059 (java) R 8992 8995 3468 0 -1 1077944384 45429 13094 0 0 408 9 4 3 20 0 15 0 50096268 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814545087216 139815021673090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9060] ppid=8992 vsize=10850656 memory=2272 CPUtime=0.07 cores=0,2,4,6
/proc/8995/task/9060/stat : 9060 (java) S 8992 8995 3468 0 -1 1077944384 3 13094 0 0 0 0 4 3 20 0 15 0 50096268 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139813528095840 139815021672149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
[pid=8995/tid=9061] ppid=8992 vsize=10850656 memory=140215432832639 CPUtime=0.63 cores=0,2,4,6
/proc/8995/task/9061/stat : 9061 (java) S 8992 8995 3468 0 -1 1077944384 1171 13094 0 0 28 28 4 3 20 0 15 0 50096269 11111071744 1026374 33554432000 4194304 4196468 140730689945040 139814544034096 139815021673090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140730689951915 140730689955164 140730689955164 140730689957839 0
Current children cumulated CPU time: 1191.85 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4105496 KiB

Child status: 0
Real time (s): 1126.07
CPU time (s): 1191.96
CPU user time (s): 1188.74
CPU system time (s): 3.21653
CPU usage (%): 105.851
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 4105496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1188.74
system time used= 3.21653
maximum resident set size= 4107648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42976
involuntary context switches= 2644


# summary of solver processes directly reported to runsolver:
#   pid: 8995
#   total CPU time (s): 1191.96
#   total CPU user time (s): 1188.74
#   total CPU system time (s): 3.21653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4001 second user time and 9.7971 second system time

The end

Launcher Data

Begin job on node149 at 2018-07-23 07:55:30
IDJOB=4293752
IDBENCH=141232
IDSOLVER=2751
FILE ID=node149/4293752-1532325330
RUNJOBID= node149-1532298084-3499
PBS_JOBID= 21018995
Free space on /tmp= 51816 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin10_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293752-1532325330/watcher-4293752-1532325330 -o /tmp/evaluation-result-4293752-1532325330/solver-4293752-1532325330 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1801649640 -superng HOME/instance-4293752-1532325330.xml

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

MD5SUM BENCH= 72806e24f62b8b3ef3e659c1068d636c
RANDOM SEED=1801649640

node149.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.60
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.60
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.60
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.60
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:        28150672 kB
MemAvailable:   31004152 kB
Buffers:          151472 kB
Cached:          2961164 kB
SwapCached:            0 kB
Active:          2616592 kB
Inactive:        1519024 kB
Active(anon):     972572 kB
Inactive(anon):    70228 kB
Active(file):    1644020 kB
Inactive(file):  1448796 kB
Unevictable:        7564 kB
Mlocked:            7564 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26708 kB
Writeback:             0 kB
AnonPages:       1042432 kB
Mapped:            49672 kB
Shmem:             17032 kB
Slab:             181000 kB
SReclaimable:     152996 kB
SUnreclaim:        28004 kB
KernelStack:        3792 kB
PageTables:         7404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1813528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    942080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51788 MiB
End job on node149 at 2018-07-23 08:14:17